定理已证明
推导求根公式
命题陈述
当 a=0 时,ax2+bx+c=0 的每个实数解都满足 x=2a−b±Δ(其中 Δ=b2−4ac);反之,只要 Δ≥0,这个公式就能给出真正的解。
为什么成立?
因式分解只有在遇到“漂亮”的数时才凑效;配方法能把任何一元二次方程都变成“完全平方等于某个数”的形式,再用开平方“还原”回去——这样就得到一个无需猜测、能解所有一元二次方程的通用公式。
证明思路
第一步(标准化): 因为 a=0,把 ax2+bx+c=0 每一项都除以 a,得到 x2+abx+ac=0,这是一个首项系数为 1 的等价方程。
第二步(配方): 前两项 x2+abx 正是完全平方式 (x+2ab)2=x2+abx+4a2b2 的开头。在 x2+abx+ac=0 中加上再减去 4a2b2,可将其改写为 (x+2ab)2−4a2b2+ac=0。
第三步(分离平方项): 把常数项移到右边,并通分为公分母 4a2:−4a2b2+ac=4a2−b2+4ac=−4a2b2−4ac=−4a2Δ。由此得到 (x+2ab)2=4a2Δ。
第四步(两边开平方): 当 Δ≥0 时,右边是非负实数,两边都有实数平方根:x+2ab=±2aΔ(± 已经涵盖了两种符号,无论 a 本身的符号如何)。
第五步(分离x): 两边同减 2ab:x=−2ab±2aΔ=2a−b±Δ,这正是 x=2a−b±Δ。所用的每一步代数运算(除以非零的 a、两边同加减同一个量、对相等的非负数开平方)都是可逆的,所以只要 Δ≥0,这个公式就既是必要的也是充分的。