一元二次方程求根公式的推倒過程

一元二次方程求根公式推導過程：等式兩邊都除以a，得x^2+bx/a+c/a=0。移項得x^2+bx/a=－c/a，方程兩邊都加上一次項係數b/a的一半的平方。開根後得x+b/2a=±[√(b^2-4ac)]/2a ，最終可得x=[-b±√(b^2-4ac)]/2a。

公式就是用數學符號表示各個量之間的一定關係(如定律或定理)的式子。

具有普遍性，適合於同類關係的所有問題。

在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴於這個公式的自由變量的值之外。