一元二次方程求根公式推导过程：等式两边都除以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。

公式就是用数学符号表示各个量之间的一定关系(如定律或定理)的式子。

具有普遍，适合于同类关系的所有问题。

在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。