韦达定理公式推导过程-韦达定理公式推导

韦达定理的“凭空而来” 在高中数学的代数世界里，韦达定理（Vieta's formulas）是最让人“头大”的一个结论。它看起来挺好办，两个方程交叉相乘，根与根之间的乘积、和，竟然能直接跟系数对应起来。
这简直是降维打击，毫无逻辑可言。 大家想想看，解方程 $ax^2 + bx + c = 0$，解出来的 $x_1$ 和 $x_2$ 到底长啥样？要是 $a=1, b=-3, c=2$，那方程就是 $x^2 - 3x + 2 = 0$，解出来就是 $x=1$ 和 $x=2$。
这时候，两根之积 $x_1 x_2 = 2$，两根之和 $x_1 + x_2 = 3$。
你看，这个规律忒像魔术了，数学家们早就发现了，但压根儿没人能讲清楚它“为啥”会这样。 实际上，代数学里有个核心思想，叫“多项式恒等”。任何带有根的多项式，在根代入后的值都等于零。
这个好办的公理，大神们就是如此把它“挤”出来的。 我们拿一个经典的二次方程做实验吧。假设方程是 $x_1 + x_2 = alpha$，$x_1 x_2 = beta$。 想象一下，我们把 $x_1$ 和 $x_2$ 当成两个自由变量。
要是我们要让整个表达式恒为零（也就是多项式成立），那就务必把这两个变量消掉。
如何消？最自然的方式就是相乘。 我们构造一个式子：$(x_1 + x_2)^2 - (alpha x_1 x_2 + beta x_1 x_2) = dots$ 哎不对，这忒乱。 换个思路，利用因式分解。
要是 $x_1$ 是根，说明 $x_1^2 + bx_1 + c = 0$；要是 $x_2$ 是根，说明 $x_2^2 + bx_2 + c = 0$。 把这两个式子加起来： $x_1^2 + x_2^2 + b(x_1 + x_2) + 2c = 0$。 这时候，要是我们能管住 $x_1^2 + x_2^2$，那就忒好了，出于我们手里已经知道 $x_1 + x_2$ 是 $alpha$，$x_1 x_2$ 是 $beta$。 利用彻底平方公式，$x_1^2 + x_2^2 = (x_1 + x_2)^2 - 2x_1 x_2 = alpha^2 - 2beta$。 代入上面的式子： $(alpha^2 - 2beta) + b(alpha) + 2c = 0$。 整理一下，发现这个式子左边全是关于 $alpha$ 和 $beta$ 的线性项，而右边全是 0。 为了保持等式的平衡，系数务必为零。
也就是说，$alpha$ 和 $beta$ 务必知足特定关系。 这就好比你在玩一个平衡游戏，左边推的力务必等于右边推的力，否则整个系统会崩溃。在这个语境下，左边代表根的结构，右边代表系数。
要是系数不知足韦达定理，那这两个根就不可能与此同时存有。 这事儿的推导过程实际上贼短促有力，没有长篇大论的铺垫。它像是一个数学契约：你给了两个根，务必按这个比例分配系数，否则契约不成立。 再举个更直观的例子，不用二次方程，试试三次方程要么四次方程吧。 寻思方程 $x^4 + ax^3 + bx^2 + cx + d = 0$。 既然 $x_1, x_2, x_3, x_4$ 都是它的根，说明它们只要代入进去，整个式子就得等于 0。 我们能够构造一个“信息计数”的式子。把所有根的系数加起来： $(x_1 + x_2 + x_3 + x_4)^2 = a^2 x_1^2 + b^2 x_2^2 + dots$ 哎，这忒复杂了，变量忒多。 不如直接展开看。 $(x_1 x_3 + x_1 x_2 + x_1 x_4 + dots)^2 = (a x^3 + dots)^2$ 这也不对劲。 还是回到那个核心逻辑：多项式恒等。 设 $P(x) = (x - x_1)(x - x_2)(x - x_3)(x - x_4)$。 我们要找的是，$x_1+x_2+x_3+x_4$ 和 $x_1x_2x_3x_4$ 分别等于啥。 先算前两项的乘积：$x_1+x_2$ 和 $x_1x_2$。 设 $S_1 = x_1+x_2+x_3+x_4$，$S_2 = x_1x_2x_3x_4$。 我们直接构造 $(x_1+x_2+x_3+x_4)^2 - 4x_1x_2x_3x_4$ 看看。 展开 $(S_1)^2 = x_1^2+x_2^2+x_3^2+x_4^2 + 2(x_1x_2+x_1x_3+dots)$。 这仿佛还是有点绕。 让我们用更好办的两变量法。 取两个方程相乘？不，韦达定理是对两个根，是一元二次方程的结论，不能直接套到三次方程上去推导。 还是用那个最经典的推导，分两步走，感觉像剥洋葱。 第一步，利用对称多项式。 对于任何对称多项式，其值只与根的和与积相关。 我们寻思式子 $S = (x_1+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$ 是方程的根，故此 $x_1^2 + bx_1 + c = 0$ 和 $x_2^2 + bx_2 + c = 0$。 两式相加：$x_1^2 + x_2^2 + b(x_1+x_2) + 2c = 0$。 移项：$x_1^2 + x_2^2 = -b(x_1+x_2) - 2c$。 代入上面的 $S$：$S = -bS - 2c$，即 $S(1+b) = -2c$。 故此 $S = frac{-2c}{1+b}$。 这就怪了，这个式子 $S$ 里混了 $x_1^2, x_1x_2$ 等项。韦达定理要求的是 $x_1+x_2$ 和 $x_1x_2$ 的直接关系，而不是 $x_1+x_2$ 的平方减去 $x_1x_2$ 的平方。 啊，明白了，之前的直觉方向有点偏。韦达定理推导的关键在于：变量替换。 定义两个新变量 $u = x_1 + x_2$，$v = x_1 x_2$。 我们要证明 $x_1, x_2$ 知足的方程能够转化为关于 $u, v$ 的方程。 已知 $x_1, x_2$ 是 $x^2 + px + q = 0$ 的根。 那么 $u+v = x_1+x_2+x_1x_2$，$uv = x_1x_2(x_1+x_2) = x_1x_2u$。 这仿佛也没简化多少。 回到最正统的教科书推导路径，那就是构造一个“富余项”让它消亡。 设方程为 $x^2 + ax + b = 0$，根为 $x_1, x_2$。 出于 $x_1$ 是根，故此 $x_1^2 + ax_1 + b = 0$ ①。 出于 $x_2$ 是根，故此 $x_2^2 + ax_2 + b = 0$ ②。 ①减②得：$(x_1^2 - x_2^2) + a(x_1 - x_2) = 0$。 $(x_1 - x_2)(x_1 + x_2 + a) = 0$。 出于 $x_1 neq x_2$（假设不等根），故此 $x_1 + x_2 = -a$。 代入 ①：$x_1^2 - ax_1 + b = 0$。 两边同乘 $x_2$：$x_1^2 x_2 - a x_1 x_2 + b x_2 = 0$。 $= x_1(x_1 x_2) - a x_1 x_2 + b x_2$。 这还没凑出 $x_1+x_2$。 什么的，刚刚那个“对称多项式”的思路实际上是对的，是我刚刚卡壳了。 对于二次方程，根与系数的关系实际上是： $x_1 + x_2 = -(frac{b_{coeff}}{a_{coeff}})$ $x_1 x_2 = (frac{c_{coeff}}{a_{coeff}})$ 推导过程实际上就一句话：将根代入，收集同类项，出于等式恒成立，故此所有“根相关”的项系数务必抵消或平衡。 想象一下，一个表达式里，$x_1^2$ 被 $x_2^2$ 消掉了，$x_1 x_2$ 被 $x_1 x_2$ 消掉了，剩下的就是常数项了。
这就是韦达定理的精髓。它是多项式理论中最朴素也最强大的形式。 再举个具体的例子，大家可能对“小明算根”这种故事感兴趣吧？ 小明解方程 $x^2 - 3x + 2 = 0$。 根是 1 和 2。 和是 3，积是 2。 要是把根代入方程： $1^2 - 3(1) + 2 = 1 - 3 + 2 = 0$。 $2^2 - 3(2) + 2 = 4 - 6 + 2 = 0$。 这看起来忒巧了。 那要是有根 $x_1 = 1.5$，$x_2 = 0.5$ 呢？ 和是 2，积是 0.75。 代入方程 $x^2 - 2x + 0.75 = 0$。 $(1.5)^2 - 2(1.5) + 0.75 = 2.25 - 3 + 0.75 = 0$。 $0.5^2 - 2(0.5) + 0.75 = 0.25 - 1 + 0.75 = 0$。 彻底吻合。 故此，韦达定理就像是多变量方程的“简化版”。 对于一元二次方程，变量只有两个，它们之间的依赖关系挺好办：和与积。 对于原方程，变量有四个（假设四次），但它们的组合（和、积、两两和、两两积）实际上也能通过类似的线性组合表示出来。 最终的结论就是： $(x_1 + x_2 + dots) times (text{其他根相关项}) = text{系数}$。 这就是韦达定理的“魔法”。它不需求解出每一个根，只需求知道根的结构。 对于三次方程，总和、两两积的总和、三三积的总和、四四积的总和，都能通过系数直接算出来。 这背后藏着的是多项式在复数域上的性质，根在复平面上分布，对称性极强。 最终再总结一下，韦达定理不是凭空出现的，它是“多项式恒等”这个庞大理论大厦的一个小尖角。它告诉我们，只要方程成立，根之间的秘密就藏在那个恒等式里，等着被我们取出来。 下次遇到这个定理时，别再认定它多么玄妙了，它只是数学里最优雅的一次“信息压缩”。