MathLabs
定理已证明

推导求根公式

命题陈述

当 a≠0a\neq0 时,ax2+bx+c=0ax^2+bx+c=0 的每个实数解都满足 x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a}(其中 Δ=b2−4ac\Delta=b^2-4ac);反之,只要 Δ≥0\Delta\ge0,这个公式就能给出真正的解。

为什么成立?

因式分解只有在遇到“漂亮”的数时才凑效;配方法能把任何一元二次方程都变成“完全平方等于某个数”的形式,再用开平方“还原”回去——这样就得到一个无需猜测、能解所有一元二次方程的通用公式。

证明思路

第一步(标准化): 因为 a≠0a\neq0,把 ax2+bx+c=0ax^2+bx+c=0 每一项都除以 aa,得到 x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0,这是一个首项系数为 11 的等价方程。

第二步(配方): 前两项 x2+baxx^2+\dfrac{b}{a}x 正是完全平方式 (x+b2a)2=x2+bax+b24a2\left(x+\dfrac{b}{2a}\right)^2=x^2+\dfrac{b}{a}x+\dfrac{b^2}{4a^2} 的开头。在 x2+bax+ca=0x^2+\dfrac{b}{a}x+\dfrac{c}{a}=0 中加上再减去 b24a2\dfrac{b^2}{4a^2},可将其改写为 (x+b2a)2−b24a2+ca=0\left(x+\dfrac{b}{2a}\right)^2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=0。

第三步(分离平方项): 把常数项移到右边,并通分为公分母 4a24a^2:−b24a2+ca=−b2+4ac4a2=−b2−4ac4a2=−Δ4a2-\dfrac{b^2}{4a^2}+\dfrac{c}{a}=\dfrac{-b^2+4ac}{4a^2}=-\dfrac{b^2-4ac}{4a^2}=-\dfrac{\Delta}{4a^2}。由此得到 (x+b2a)2=Δ4a2\left(x+\dfrac{b}{2a}\right)^2=\dfrac{\Delta}{4a^2}。

第四步(两边开平方): 当 Δ≥0\Delta\ge0 时,右边是非负实数,两边都有实数平方根:x+b2a=±Δ2ax+\dfrac{b}{2a}=\pm\dfrac{\sqrt{\Delta}}{2a}(±\pm 已经涵盖了两种符号,无论 aa 本身的符号如何)。

第五步(分离x): 两边同减 b2a\dfrac{b}{2a}:x=−b2a±Δ2a=−b±Δ2ax=-\dfrac{b}{2a}\pm\dfrac{\sqrt{\Delta}}{2a}=\dfrac{-b\pm\sqrt{\Delta}}{2a},这正是 x=−b±Δ2ax=\dfrac{-b\pm\sqrt{\Delta}}{2a}。所用的每一步代数运算(除以非零的 aa、两边同加减同一个量、对相等的非负数开平方)都是可逆的,所以只要 Δ≥0\Delta\ge0,这个公式就既是必要的也是充分的。

用到此定理的主题

分步证明

该定理暂无分步证明。