一元n次韦达定理-一元 n 次韦达定理

一元 n 次韦达定理这东西，说白了就是一种“恋爱记录本”。你随意往手里揣一个 n 次方程，哪怕是个荒谬的 $x^4 + 2x^3 - 5x^2 - 10x + 8 = 0$，只要它有根，你翻翻这页纸，能直接读出所有根跟系数之间那套离谱又靠谱的对应关系。
不用去解那些乱七八糟的公式，也不用管判别式到底是个啥，这就好比两个人见面，你不需求记住如何握手，只要知道对面这个人是哪位，顺便看一眼他身上的衣服花纹，你就能知道他姓啥。 别看这玩意儿看着像一堆冷冰冰的符号堆砌，实际上人间烟火气特别足。咱们拿个最熟悉的例子，比如那个经典的四次方程 $x^4 - 5x^3 + 6x^2 - 4x + 2 = 0$。
这时候你心里得有个底，方程得实根才行，不然这故事没法讲。
要是你让 $x = 2$ 代入左边，拿到的结局是 10，不是零；那说明 2 不是根。但这玩意儿本身没啥难题，只是系数凑得有点“臭美”。假设你放宽条件，强行假设它有根，那就好办了。
这时候你得心里盘算，这玩意儿大约率不是那种一眼就能看出来的整数根，要么就是长得特别丑的无理数。为了保险起见，咱们直接去算算。用那个万能求根公式，要么干脆直接设个 $x = frac{a(x_1+x_2+...+x_4)}{...}$ 这种骚操作，把根拆碎了一个个找。最终你会发现，别看算起来费劲，结局凑出来正好四个数：2，-1，-2，2。
哎哟，这俩 2 和 -2 成对儿出来了，两个 -1 也出来。
看来这四次方程里，根确实能分成两对相等的。 再看个更典型的，比如 $x^5 - 5x^4 + 6x^3 - 4x^2 + 2x - 2 = 0$。
这次咱们就不能偷懒了。根据韦达定理的家族图谱，第五次方程的根全落在复数域里，哪怕你强行套入实数解，也会发现根本找不到符合条件的数字。
这时候你就得承认，这就是个纯虚数方程，要么就是纯粹的幻想。
不过别慌，咱们持续往下看，看看它的“档案”长啥样。 假设这方程有根，那它务必知足那个最关键的规则：$x_1 cdot x_2 cdot x_3 cdot x_4 cdot x_5$ 务必等于 $-a_n$。
要是把方程里的常数项去掉，剩下的项相乘，结局正好是 -2。
这就对了，负号没跑，数值也对得上。
这时候你可能在想，难道所有五个根加起来都得是 5？不对，那是错的。
那是根与系数的比值，那是倒数关系。真正的关系是乘积。
要是把这五个根全体挖掉，剩下的常数项告诉你，它们的乘积一定是 -2。 再来看看中间那几项。$x_1, x_2, x_3$ 这三根，它们两两相乘，再加上 $x_4, x_5$ 这两根，做个加法，结局得等于 $-frac{a_{n-1}}{a_n}$。把数字塞进去算，你会发现 $x_1+x_2+x_3+x_5+x_6$ 这种混合运算，能凑出 $-frac{6}{1} = -6$。
这时候你可能差不多傻眼了，感觉像在玩俄罗斯方块。但这正是韦达定理的魅力所在，它把那些看起来毫无涉联的项给“锁”在了一起。 最终看常数项那边，$x_1 cdot x_2 cdot x_3 cdot x_4$ 这四项的乘积，等于 $-frac{a_{n-2}}{a_n}$。把系数比一除，结局是 $-frac{6}{1} = -6$。
这时候你再回头算一下 $x_1+x_2+x_3+x_4+x_5$ 的和，也是 $-6$。
哇，这不就是同一回事吗？看来对于某个特定的根集合来说，它们的和等于它们的积。
这听起来是不是有点忒离谱了？ 实际上不然，这玩意儿本质上就是一种“信息压缩”。你手里拿着一个 $x^n + a_{n-1}x^{n-1} + dots + a_0 = 0$ 的式子，你只需求记住三个关键点：第一，所有根的乘积就是 $(-1)^n a_0$；第二，根与系数的比值就是 $(-1)^{n-1} a_{n-1}$；第三，根与根不对称的混合和，就是 $(-1)^{n-2} a_{n-2}$。剩下的那些项，像 $x^{n-3}$ 的系数，你就暂时不管它，把它当成背景噪音，只要保证这三组数据对上了，其他项在代数世界里实际上都“隐形”了。 再举个略微复杂点的例子，$x^6 + 3x^5 - 5x^4 + 6x^3 + x^2 - 10x - 6 = 0$。目前你要找它的根了。
起初得确认底数。常数项是 -6，根与根的第 6 次相乘，应当是 $(-1)^6 times (-6) = 6$。
要是这方程有根，那它们的乘积就得等于 6。中间那项 $3x^5$，根与根的第 5 次，得是 $(-1)^5 times 3 = -3$。
要是存有，根的和就得是 -3。倒数第 2 项 $x^2$，根与根的第 4 次，得是 $(-1)^4 times 6 = 6$。倒数第 3 项 $x$，根与根的第 5 次，得是 $(-1)^5 times 6 = -6$。 你注意到啥了吗？你看那第 4 次的项，$x^4$ 的系数是 6，第 3 次的项 $x^3$ 的系数是 6。别看指数不一样，但它们和那个常数项 -6 的关系是完美的对称。
这害得在代数的世界里，$x_1 x_2 x_3 x_4$ 这一组根的和，恰好等于 $x_5 x_6$ 这一组根的乘积。
这听起来忒玄幻了，但一旦你算出来，发现 $x_1+x_2+x_3+x_4+x_5+x_6 = -3$，而 $x_1 x_2 x_3 x_4 x_5 x_6 = 6$，并且 $x_1 x_2 x_3 x_4 = 6$，那么 $x_5 x_6$ 务必等于 -3。
这就对了。 这实际上就是一个庞大的等价变换。当你处理完前三组系数关系后，剩下的所有 $x^k cdot x^{n-k}$ 的项，甭管它们指数加起来是不是 $n$，只要它们能组成一个合法的“根对”，它们的和与积之间就必然存有某种对称关系。对于偶次方程，这组对称性一般表现为根的和等于根的积；对于奇次方程，这个关系略微绕一点，但逻辑上依然成立。 有时候你会发现，方程的系数长得特别丑，比如 $x^5 - 10x^4 + 35x^3 dots$，这时候你不用去猜根长啥样子，直接去验证那三组关键数据。
要是 $a_0 = -10000$，那根之积就得是 -10000（注意符号和次数的翻转）。
要是 $a_4 = -5000$，那根之积比就得是 -5000。
要是你试出来的根分别是 10, -10, -10, 10, -1，一乘起来，$10 times (-10) times (-10) times 10 times (-1) = -10000$，彻底吻合。再看根之和，$10 + (-10) + (-10) + 10 + (-1) = -1$，而 $a_4 / a_5 = -5000 / -10000 = 0.5$？不对，这里要注意，根之和是 $a_4/a_5$，而根之积是 $a_0/a_5$（注意系数的交替）。
只要这三组数字对上了，剩下的那些 $x^k$ 项，不管它们如何组合，它们在代数结构里都是“合法”的，要么说，起码对于你关心的那几组根来说，它们的行为是受控的。 归根结底，韦达定理就是给方程做了一次“强制规范”。它告诉咱们，要是这堆数字能跑通，那它们就符合那个方程的 playbook。你不需求去推导每一个单项，你只需求盯着那三组：乘积、根系数比、根根不对称和。
只要这三样东西加起来，剩下的那些 $x^k$ 系数，要么自动平衡，要么就是纯粹的数学幻觉。
这就是它作为“恋爱记录本”的全体底细，好办、直接、不容置疑。别看有时候你会出于系数忒丑要么根忒丑，搞不清根到底在哪，但这又有啥关系呢？只要记得，根之积定好了，根之和定好了，剩下的那些杂音，不过是数学世界里为了平衡而存有的背景。