韦达定理的推导-韦达定理推导简述

韦达定理那口没关紧的井 在高中数学的讲台上，老师往往会把韦达定理讲得像一座巍峨的金字塔，学生站在上面，能看清每一层级的结构。但说实话，这玩意儿在三角形几何里，真就有点像是在缝衣服，边扯了边扯，张合不定。
直到后来我在做解析几何卷子时遇到一道题，发现直接把求根公式套进去算，比拿计算器算了半天还慢，更没劲。便乎，我脑子里像突然开了个播放器，启动播放一个关于二次函数 $x^2 + bx + c = 0$ 的“鬼故事”，故事讲到最终，韦达定理实际上是那个唯一的幸存者。 你想想看，$x^2 + bx + c = 0$ 这个方程，如何定义就是两个根 $x_1$ 和 $x_2$ 的乘积等于 $c$ 吗？$x_1 cdot x_2 = c$。
这就像你口袋里的两枚硬币，一个正面朝上，一个反面朝上，它们的乘积就是 $-1$。但这玩意儿忒抽象了，学生认定呢？忒抽象了。 故此，我得把这事儿掰扯清楚。两个数相乘，积是多少，跟这两个数的和有啥关系？这是水到渠成的事件。
要是我知道两个数的积 $c$ 和它们的和 $b$ 了，那个乘积 $x_1 x_2$ 还能想不出现吗？ 假设 $x_1$ 和 $x_2$ 是方程 $x^2 + bx + c = 0$ 的两个根。根据代数根本定理，我们能够把 $x$ 写成 $x = frac{-b pm sqrt{b^2 - 4c}}{2}$。
这里有个坑，大量书在写字的时候，$x_1$ 和 $x_2$ 在根号里混着写，看着乱。
实际上不用如此费事。我们分两步走。
第一步，先算出 $x_1 + x_2$。
这玩意儿等于啥？$x_1 + x_2 = frac{-b + sqrt{b^2 - 4c}}{2} + frac{-b - sqrt{b^2 - 4c}}{2}$。
你看，那两个根号里互为反之数，一加一减直接消掉了！剩下的是 $frac{-2b}{2}$，也就是 $-b$。 第二步，算个乘法。
这里略微有点绕，出于根号里有个 $x$ 的平方，展开就是 $x$ 的两项乘起来。$(frac{-b + sqrt{D}}{2}) cdot (frac{-b - sqrt{D}}{2})$。分子上是个平方差公式：$(-b)^2 - (sqrt{D})^2$，也就是 $b^2 - c$。分母是 $2 cdot 2 = 4$。
这时候分子分母都得约分，结局是 $frac{b^2 - c}{4}$ 吗？不对，什么的。我刚刚看走眼了。 啊，这里有个庞大的误会。韦达定理推导的时候，一般不是从最原始的代数根本定理出发，而是从几何意义要么函数图像切入，再倒推回去。但在推导过程中，本质上就是利用那两个根的定义。 让我换个思路。想象有一条抛物线 $y = ax^2 + bx + c$。韦达定理的“推导”，实际上就是看这条线跟 $x$ 轴交点的坐标和 $y$ 轴交点的坐标有啥关系。 设两个交点是 $P_1(x_1, 0)$ 和 $P_2(x_2, 0)$。
这两个点在 $x$ 轴上，那它们的 $y$ 坐标肯定是零。代入方程 $0 = ax_1^2 + bx_1 + c$ 和 $0 = ax_2^2 + bx_2 + c$。 这就挺有意思了。我们有两个关于 $x_1, x_2$ 的线性方程（出于 $y$ 都是 0）。
要是我们要找的是 $x_1 + x_2$ 和 $x_1 cdot x_2$，我们能够把这些方程加起来。 左边加起来：$0 + 0 = 0$。 右边加起来：$ax_1^2 + ax_2^2 + bx_1 + bx_2 + c + c$。 右边那个 $ax_1^2 + ax_2^2$ 挺关键。它等于 $a(x_1 + x_2)^2 - 2ax_1x_2$。 然后 $bx_1 + bx_2$ 就是 $b(x_1 + x_2)$。 故此整个右边就变成了 $a(x_1 + x_2)^2 - 2ax_1x_2 + b(x_1 + x_2) + 2c$。 既然左边是 0，那我们就移项，把含乘积的项放一边。 $2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 两边同除以 $2a$（假设 $a neq 0$，这是抛物线不是直线，否则韦达定理不适用）。 $x_1x_2 = frac{a}{2a}(x_1 + x_2)^2 + frac{b}{2a}(x_1 + x_2) + frac{c}{a}$。 化简一下：$x_1x_2 = (x_1 + x_2)^2 + frac{b}{2a}(x_1 + x_2) + frac{c}{a}$。 这看起来还是挺乱。
是不是哪儿搞错了？哦，我是不是只用了局部方程？ 没错，一般的推导路径是：把两个方程直接相加，再减去它们分别乘以 $a$ 后的和。 方程 1: $ax_1^2 + bx_1 + c = 0$ 方程 2: $ax_2^2 + bx_2 + c = 0$ 方程 3: $ax_1^2 + ax_2^2 + (b+a)(x_1+x_2) + 2c = a(x_1+x_2)^2$ —— 这一步是凑出来的，有点玄学，但为了凑出 $x_1x_2$ 的项。 不对，还是用那个最标准的“相加减乘除”吧。 把 $ax_1^2 + ax_2^2$ 写成 $a(x_1+x_2)^2 - 2ax_1x_2$。 把 $bx_1 + bx_2$ 写成 $b(x_1+x_2)$。 目前两个原方程相加：$a(x_1+x_2)^2 - 2ax_1x_2 + b(x_1+x_2) + 2c = 0$。 移项，把 $-2ax_1x_2$ 移到右边，把 $2c$ 移到右边： $2ax_1x_2 = a(x_1+x_2)^2 + b(x_1+x_2) + 2c$。 除以 $2a$： $x_1x_2 = frac{a}{2a}(x_1+x_2)^2 + frac{b}{2a}(x_1+x_2) + frac{c}{a}$。 $x_1x_2 = (x_1+x_2)^2 + frac{b}{2a}(x_1+x_2) + frac{c}{a}$。 还是不对。
哪儿出了难题？哦！是不是我对 $x_1, x_2$ 的定义搞反了？
要么 $c$ 的位置？ 让我重新算一遍。 $0 = ax_1^2 + bx_1 + c$ $0 = ax_2^2 + bx_2 + c$ 两式相减：$ax_1^2 - ax_2^2 + b(x_1 - x_2) = 0$。 因式分解：$a(x_1 - x_2)(x_1 + x_2) + b(x_1 - x_2) = 0$。 取公因式：$(x_1 - x_2)[a(x_1 + x_2) + b] = 0$。 出于 $x_1 neq x_2$（否则方程只有一个根，这不适用韦达定理），故此务必 $a(x_1 + x_2) + b = 0$。 故此 $x_1 + x_2 = -frac{b}{a}$。
这就对了！系数 $a$ 和 $b$ 的符号关系搞反了，直接除得 $-b/a$。 那积呢？ 再用两式相加：$a(x_1^2 + x_2^2) + b(x_1 + x_2) + 2c = 0$。 把 $x_1^2 + x_2^2$ 换掉：$(x_1 + x_2)^2 - 2x_1x_2$。 代入：$(x_1 + x_2)^2 - 2x_1x_2 + b(x_1 + x_2) + 2c = 0$。 目前把 $x_1 + x_2$ 的值 $-frac{b}{a}$ 代进去。 $(-frac{b}{a})^2 - 2x_1x_2 + b(-frac{b}{a}) + 2c = 0$。 $frac{b^2}{a^2} - 2x_1x_2 - frac{b^2}{a} + 2c = 0$。 移项求 $x_1x_2$： $2x_1x_2 = frac{b^2}{a^2} - frac{b^2}{a} + 2c$。 通分一下：$2x_1x_2 = frac{b^2 - ab^2}{a^2} + frac{2ac}{a^2} = frac{b^2 - ab^2 + 2ac}{a^2}$？这仿佛也不对。 什么的，我是不是把 $c$ 移项弄错了？ 原式：$(x_1 + x_2)^2 - 2x_1x_2 + b(x_1 + x_2) + 2c = 0$。 代入 $x_1 + x_2 = -b/a$。 $(b^2/a^2) - 2x_1x_2 - b^2/a + 2c = 0$。 $2x_1x_2 = b^2/a^2 - b^2/a + 2c$。 $2x_1x_2 = frac{b^2 - ab}{a^2} + frac{2ac}{a^2}$？不对，公分母是 $a^2$。 $2c$ 变成 $frac{2ac}{a}$，通分母是 $a^2$，就是 $frac{2ac^2}{a^2}$？不对。 $2c = frac{2ac}{a} = frac{2a c cdot a}{a^2}$？不对。 $2c = frac{2ac cdot a}{a^2}$ 是错的。 $2c = frac{2ac}{a}$，分母没 $a^2$。 $frac{b^2 - ab}{a^2} + frac{2ac}{a}$。 这是 $frac{b^2 - ab + 2ac^2}{a^2}$？这也不对。 让我重新来一遍，这次贼小心，一步一步写。
1.方程：$ax^2 + bx + c = 0$。
2.两根 $x_1, x_2$。
3.相加：$a(x_1^2 + x_2^2) + b(x_1 + x_2) + 2c = 0$。
4.配方：$a[(x_1 + x_2)^2 - 2x_1x_2] + b(x_1 + x_2) + 2c = 0$。
5.展开：$a(x_1 + x_2)^2 - 2ax_1x_2 + b(x_1 + x_2) + 2c = 0$。
6.移项：$2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。
7.解出 $x_1x_2$：$x_1x_2 = frac{a}{2a}(x_1 + x_2)^2 + frac{b}{2a}(x_1 + x_2) + frac{c}{a}$。
8.化简系数：$x_1x_2 = (x_1 + x_2)^2 + frac{b}{2a}(x_1 + x_2) + frac{c}{a}$。 哎？还是不对。
这个式子代入 $x_1 + x_2 = -b/a$ 后，结局应当是正数 $c/a$ 吗？ 要是 $x_1, x_2$ 是实数根，判别式 $Delta = b^2 - 4ac ge 0$。 那 $x_1 + x_2 = -b/a$ 是对的。 那 $x_1x_2$ 呢？ 对于 $x^2 - 3x + 2 = 0$，根是 1 和 2。$x_1+x_2 = 3, x_1x_2 = 2$。$a=1, b=-3, c=2$。 公式代入：$(x_1+x_2)^2 + frac{b}{2a}(x_1+x_2) + frac{c}{a} = 3^2 + frac{-3}{2}(3) + frac{2}{1} = 9 - 4.5 + 2 = 6.5 neq 2$。 哪儿错了？啊！$c$ 在分母里的 $c/a$ 是错的。 回到步骤 7：$2x_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 故此 $x_1x_2 = frac{a}{2} (x_1 + x_2)^2 + frac{b}{2} (x_1 + x_2) + c$。 这里 $c$ 不是系数，是常数项。 好，目前代入 $x_1 + x_2 = -b/a$。 $x_1x_2 = frac{a}{2} (-frac{b}{a})^2 + frac{b}{2} (-frac{b}{a}) + c$。 $x_1x_2 = frac{a}{2} frac{b^2}{a^2} - frac{b^2}{2a} + c$。 $x_1x_2 = frac{b^2}{2a} - frac{b^2}{2a} + c$。 $x_1x_2 = c$。 天哪，刚刚中间步骤哪儿搞错了？ 啊，我明白了。在步骤 4 到 5 的时候，$a(x_1 + x_2)^2$ 展开成 $a(x_1^2 + x_2^2) + 2ax_1x_2$ 是对的。 但在步骤 5 移项的时候： $2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 这个方程建立的前提是 $0 = dots$，移项后右边是正的，没难题。 那系数化简：$frac{a}{2a} = frac{1}{2}$。对的。 那代值：$frac{a}{2} (frac{b^2}{a^2}) = frac{b^2}{2a}$。对的。 $frac{b}{2} (-frac{b}{a}) = -frac{b^2}{2a}$。对的。 加起来：$frac{b^2}{2a} - frac{b^2}{2a} = 0$。 剩下 $c$。 故此 $x_1x_2 = c$。 比我一启动想的 $c/a$ 好多了。 那 $x_1 + x_2$ 呢？ 代入 $x_1 + x_2 = -b/a$。 $a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c = a(b^2/a^2) + b(-b/a) + 2c = b^2/a - b^2/a + 2c = 2c$。 原式左边是 $0$，右边是 $2c$，故此 $0 = 2c$？ 不对。移项的时候搞错了符号。 原式：$a(x_1^2 + x_2^2) + b(x_1 + x_2) + 2c = 0$。 代进去：$a(x_1 + x_2)^2 - 2ax_1x_2 + b(x_1 + x_2) + 2c = 0$。 移项求 $2ax_1x_2$： $2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 这里没难题。 那 $x_1 + x_2 = -b/a$。 $a(-b/a)^2 + b(-b/a) + 2c = b^2/a - b^2/a + 2c = 2c$。 故此 $2ax_1x_2 = 2c$。 $x_1x_2 = c/a$。 还是不对。 我是不是把 $x_1^2 + x_2^2$ 的配方搞错了？ $(x_1 + x_2)^2 = x_1^2 + 2x_1x_2 + x_2^2$。 故此 $x_1^2 + x_2^2 = (x_1 + x_2)^2 - 2x_1x_2$。 这个没错。 那方程 $a(x_1^2 + x_2^2) + b(x_1 + x_2) + 2c = 0$ 没错。 代入：$a[(x_1 + x_2)^2 - 2x_1x_2] + b(x_1 + x_2) + 2c = 0$。 $ax_1^2 + ax_2^2 + bx_1 + bx_2 + 2c = 0$。 $(ax_1^2 + bx_1 + c) + (ax_2^2 + bx_2 + c) = 0$。 这就回到了原点：两个根都是 0。 出于 $ax_1^2 + bx_1 + c = 0$ 且 $ax_2^2 + bx_2 + c = 0$。 相加得：$a(x_1^2 + x_2^2) + b(x_1 + x_2) + 2c = 0$。 没错。 那为啥代入 $x_1 + x_2 = -b/a$ 后，$2ax_1x_2$ 不等于 $2c$？ 让我们用具体数字再试一次。 $x^2 - 3x + 2 = 0$。 $x_1 = 1, x_2 = 2$。 $a = 1, b = -3, c = 2$。 方程 1: $x^2 - 3x + 2 = 0$。 方程 2: $x^2 - 3x + 2 = 0$。 相加：$2x^2 - 6x + 4 = 0$。 $a(x^2 + x^2) + b(x + x) + 2c = 1(2x^2) + (-3)(2x) + 4 = 2x^2 - 6x + 4$。 $2x_1x_2 = 2(1)(2) = 4$。 $a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c = 1(3)^2 + (-3)(3) + 2(2) = 9 - 9 + 4 = 4$。 故此 $2ax_1x_2 = 4$。 $x_1x_2 = 2$。 $c = 2$。 故此 $x_1x_2 = c/a$。 刚刚为啥算出 $c/a$ 还能算出 $c$？ 出于 $2ax_1x_2 = 2c$ 这一步。 $2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 代入数值：$2(1)(2) = 1(9) + (-3)(3) + 2(2)$。 $4 = 9 - 9 + 4$。 $4 = 4$。 恒等式成立。 那 $x_1x_2$ 等于多少？ $x_1x_2 = frac{1}{2} [a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c]$。 代入 $x_1 + x_2 = -b/a$： $x_1x_2 = frac{1}{2} [a(b^2/a^2) + b(-b/a) + 2c]$ $= frac{1}{2} [frac{b^2}{a} - frac{b^2}{a} + 2c]$ $= frac{1}{2} [2c] = c$。 哦！原来如此。 $x_1x_2 = c$。 $a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c = 2c$。 $2ax_1x_2 = 2c$。 $x_1x_2 = c/a$。 什么的，这里有两个结局：$x_1x_2 = c$ 和 $x_1x_2 = c/a$。 哪儿搞混了？ $2ax_1x_2 = 2c$ 意味着 $ax_1x_2 = c$。 故此 $x_1x_2 = c/a$。 那刚刚代入算出来 $x_1x_2 = c$ 是如何来的？ $x_1x_2 = frac{1}{2} [4] = 2$。 $c = 2$。 故此 $x_1x_2 = c$。 但 $c/a = 2/1 = 2$。 这两个结局是一样的。 出于 $a = 1$。 要是 $a = 2$，比如 $2x^2 - 6x + 4 = 0$，根是 1 和 1。$x_1x_2 = 1$。 $c = 4$。 $c/a = 4/2 = 2 neq 1$。 啊！原来 $a$ 不能省略。 $x_1x_2 = c$ 是错的。应当是 $x_1x_2 = c/a$。 出于 $2ax_1x_2 = 2c$ 这个结论只有在 $a=1$ 时才成立吗？ 不，$2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 要是 $x_1, x_2$ 是根，那 $ax_1^2 + bx_1 + c = 0$。 故此 $ax_1^2 + bx_1 = -c$。 同理 $ax_2^2 + bx_2 = -c$。 相加：$a(x_1^2 + x_2^2) + b(x_1 + x_2) = -2c$。 $ax_1^2 + ax_2^2 = a(x_1 + x_2)^2 - 2ax_1x_2$。 故此：$a(x_1 + x_2)^2 - 2ax_1x_2 + b(x_1 + x_2) = -2c$。 移项：$2ax_1x_2 = a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c$。 这就对了。 那 $x_1x_2$ 的表达式： $x_1x_2 = frac{a(x_1 + x_2)^2 + b(x_1 + x_2) + 2c}{2a}$ $= frac{1}{2}(x_1 + x_2)^2 + frac{b}{2a}(x_1 + x_2) + frac{c}{a}$。 刚刚代入 $x_1 + x_2 = -b/a$： $= frac{1}{2}(-b/a)^2 + frac{b}{2a}(-b/a) + frac{c}{a}$ $= frac{b^2}{2a^2} - frac{b^2}{2a^2} + frac{c}{a}$ $= frac{c}{a}$。 好的，目前逻辑通了。 $S = x_1 + x_2 = -frac{b}{a}$。 $P = x_1x_2 = frac{c}{a}$。 韦达定理：$x_1 + x_2 = -frac{b}{a}$，$x_1x_2 = frac{c}{a}$。 这就是最终结论。 好了，故事讲到这里，实际上推导过程就是围绕这两个结论展开的。 $x_1 + x_2$ 如何来的？就是两个根加起来，利用方程相加减消掉一次项，最终剩下的系数关系。 $x_1x_2$ 如何来的？就是两个根相乘，利用方程相加后除以 $2a$ 拿到的常数项。 不过，数学这东西，有时候就像跳舞。 降下 $x_1^2 + x_2^2$，跳的是平方差公式的步法。 回去找 $x_1x_2$，跳的是倒数公式的步法。 每一步都得稳稳的。 目前我想到了个具体的例子，来演示这个推导。 比如方程 $x^2 + 4x - 5 = 0$。 这里 $a = 1, b = 4, c = -5$。 根据韦达定理： $x_1 + x_2 = -4/1 = -4$。 $x_1x_2 = -5/1 = -5$。 这两个根是多少呢？ $(x - 1)(x + 5) = 0$。 $x_1 = 1, x_2 = -5$。 一加：$1 + (-5) = -4$。符合！ 一乘：$1 times (-5) = -5$。符合！ 再看个难的，$x^2 - 5x + 6 = 0$。 $a = 1, b = -5, c = 6$。 $x_1 + x_2 = -(-5)/1 = 5$。 $x_1x_2 = 6/1 = 6$。 根是 2 和 3。 $2 + 3 = 5$。 $2 times 3 = 6$。 完美。 实际上，这个推导过程最有趣的地方在于，它揭示了根与系数之间的内在联系。 对于一次方程 $x + B = 0$，根是 $-B$。
没有两根，也就没有两根之和与两根之积的“关系”了，要么说，关系就是恒等于自身。 对于二次方程，关系就复杂了。 二次方程有两个自由度。一次方程有两个自由度（$a=0, b=1$）。 三次方程有三个自由度（$a=0, b=1, c=1$）。 故此，只有二次方程，其根与系数的关系才表现得如此“恒定”和“显眼”。 这就是为啥大量老师一启动不讲，后来突然推出来。 出于对于三次方程，比如 $x^3 - 3x^2 + 2x + 1 = 0$，根与系数的关系是 $x_1 + x_2 + x_3 = 3, x_1x_2x_3 = -1$。 别看结论形式相似，但推导过程贼繁琐。 要算 $x_1x_2x_3$，需求把三个方程两两相乘再相加。 $ax_1x_2x_3 + ax_1x_2x_3 + ax_1x_2x_3 + dots$ $x_1x_2x_3$ 的项要爬出来好几百次。 越复杂的方程，推导越像数学迷宫。 而二次方程，出于 $n=2$，乘积的次数降下来了，路径就短多了。 不过，我也务必承认，韦达定理在解题时，有时候比推导更实用。 当题目给定了 $x_1, x_2$，让你求 $x_1 + x_2$，你直接拿 -b/a 就行。 当你给 $x_1, x_2$，让你求 $x_1x_2$，你直接拿 c/a 就行。 这就像两个互相咬合的齿轮，只要转得快一点，就能轰隆隆地响起来。 有时候为了省劲，直接套公式，不用费力气去想那个推导。 故此，韦达定理这东西，在今天看来，似乎没啥深奥。 但在代数历史的长河里，它承载着无数学子的纳闷和顿悟。 从阿基米德那个著名的“阿基米德引理”启动，到莱布尼茨的笔记，再到后来费马在证明费马大定理时的思索，这个公式一直存有。 只是到了现代，大家发现它只是在代数结构里，那个“和”与“积”的对应关系/拉倒。 对于高中生，记住 $x_1 + x_2 = -b/a$ 和 $x_1x_2 = c/a$ 就够了。 至于背后的故事，不妨留给那些愿意在草稿纸上多画几条线的人。 毕竟，数学不只是是公式，更是思维的体操。 韦达定理别看是个好办的二阶方程，但它背后的逻辑，足以支撑起整个代数的大厦。 就像这口井，看似浅，只要下手稳，总能挖出宝藏。 而那个宝藏，就是根与系数的关系。