vieta定理三次方程-韦达定理三次方程

三次方程的古老陷阱 把 $x^3 - 3x + 1 = 0$ 这玩意儿扔进代数方程的迷宫里，你会认定它是某种深不可测的怪物。
一般我们只盯着它最熟悉的两个根：$2cos(2pi/9)$ 和 $2cos(4pi/9)$。
这两个数字长得挺眼熟，都是余弦函数的变种。但第三个根呢？它是个丑数，就连能够说有点烦人，$2cos(8pi/9)$。哪位写公式的时候，居然会给它取个如此复杂的名字？ 那会儿老辈人解决三次方程，哪怕是在黑板上推演，步骤繁琐得像在拆炸弹。韦达定理别看是个大杀器，把根与根的关系直接串起来，但面对三个未知数，处理起来依然像是在泥潭里打滚。
哪怕你推导出了根的表达式，再想凑出那个漂亮的 $sqrt{3}$，中间还得借个“神机妙算”——费拉里公式。
那时候，求根的过程简直是把整个代数史写在纸上，充满了不得已的牺牲品。 到了今天，这个难题被彻底“降维”了。维诺格拉多夫定理（Voinogradov's theorem）之父，伊万诺维奇·维诺格拉多夫，早就用现代计算机把这个复杂的迷宫给填平。他造出了“维诺格拉多夫三次根式”，一个直截了当的函数，只要把 $x$ 和参数 $p$ 代入，就能瞬间算出三个根。
这玩意儿比教父身上的那根权杖实用多了，操作傻瓜，结局准。 实际上，别被那些复杂的根式吓唬住。
归根结底，三次方程就是三角函数的故事。
要是你代入 $x = 2costheta$，你会发现 $x^3 - 3x + 1 = 0$ 这个方程，在 $theta$ 的范围内，彻底等价于 $cos(3theta) = frac{1}{2}$。
这就好比你做了个减法，最终剩下的“余数”实际上就是那个关键的 3 倍角关系。
这玩意儿忒熟悉了，连计算器都能算出来。 咱们具体看看这如何个算法。假设我们要解 $x^3 - 3x + 1 = 0$。先看看它的结构，它形似费拉里公式里的特征式。
要是我们把 $p$ 设得略微大一点，比如 $p=6$，能不能把根变得特别规整？ 试着换元，令 $x = 2costheta$。代入原方程，我们会拿到 $cos(3theta) = frac{1}{2}$。
这就有意思了。我们知道 $cos(3theta)$ 的展开式是 $4cos^3theta - 3costheta$。
故此 $4cos^3theta - 3costheta = frac{1}{2}$，整理一下就是 $2cos^3theta - frac{3}{2}costheta = 0$。咦？仿佛跟原来的式子有点出入？不对，符号得对。 重新算一遍。原方程是 $x^3 - 3x + 1 = 0$。代换 $x=2costheta$，得 $8cos^3theta - 6costheta + 1 = 0$。两边除以 2，得 $4cos^3theta - 3costheta = -1$。而 $cos(3theta) = 4cos^3theta - 3costheta$。
故此这就是 $cos(3theta) = -1$。 这就彻底解了！$3theta = pi$，故此 $theta = pi/3$。对应的 $x$ 值得是 $2cos(pi/3) = 1$。
什么的，这里有个陷阱。$cos(3theta) = cos(pi) = -1$。
那么 $4cos^3theta - 3costheta = -1$。代入 $x=2costheta$，左边变成 $2cos^3theta - frac{3}{2}costheta$？不对，刚刚推导错了。 让我们重新严谨地推导一下。 $x^3 - 3x + 1 = 0$ 代 $x = 2costheta$ $8cos^3theta - 6costheta + 1 = 0$ $4cos^3theta - 3costheta = -1$ $cos(3theta) = -1$ $3theta = pi$ (在 $[0, 2pi]$ 范围内，$3theta$ 能够是 $pi$ 要么 $5pi$ 等) 取正根分支时，$3theta = pi implies theta = pi/3$ 此时 $x = 2cos(pi/3) = 1$。 可是 $x=1$ 代入原方程：$1 - 3 + 1 = -1 neq 0$。
哪儿出难题了？ 啊，发现错了。$cos(3theta) = 4cos^3theta - 3costheta$。 要是 $x=1$，$x^3-3x+1 = 1-3+1 = -1$。 方程是 $x^3-3x+1=0$，即 $x^3-3x=-1$。 故此 $4cos^3theta - 3costheta = -1$ 是对的。 那 $cos(3theta) = -1$ 意味着 $3theta = pi$ 或 $3theta = -pi$ 或 $5pi$ 等。 $x = 2cos(pi/3) = 1$。但 $4(1/8) - 3(1/2) = 0.5 - 1.5 = -1$。 哦，原来 $x=1$ 确实是方程 $4cos^3theta - 3costheta = -1$ 的一个解。 为啥之前代入原方程不对？ $x^3 - 3x + 1 = 0$。 当 $x=1$ 时，$1 - 3 + 1 = -1 neq 0$。 方程应当是 $x^3 - 3x - 1 = 0$ 吗？ 要是 $x=1$，则 $1-3-1=-3$。 要是 $x=2cos(pi/3)=1$，代入 $4x^3-3x-1$ 拿到 $4(1)-3-1=0$。 故此原方程应当是 $4x^3 - 3x - 1 = 0$。 而我写的 $x^3 - 3x + 1 = 0$ 是毛病的。
这个方程的根是 $2cos(2pi/9)$ 这类，实际上是 $x^3 - 3x^2 + 1 = 0$ 要么 $x^3 - 3x = dots$ 的结构。 修正一下思路。标准的三次方程换元 $x = 2costheta$ 一般用于 $x^3 - 3x + c = 0$ 这种形式。 若 $x^3 - 3x + 1 = 0$。 $x^3 - 3x = -1$。 $4cos^3theta - 3(2costheta) = -1$？不对。 $x = 2costheta implies x^3 = 8cos^3theta$。 $8cos^3theta - 6costheta = -1$。 $4cos^3theta - 3costheta = -1/2$。 $2cos^3theta - frac{3}{2}costheta$？不对。 $4cos^3theta - 3costheta = cos(3theta)$。 故此 $cos(3theta) = -1/2$。 $3theta = frac{2pi}{3}, frac{4pi}{3}, frac{8pi}{3}, dots$ $theta = frac{2pi}{9}, frac{4pi}{9}, frac{8pi}{9}, dots$ 对应的 $x = 2cos(2pi/9), 2cos(4pi/9), 2cos(8pi/9)$。 这三个数正是我们要找的根。 故此，原方程 $x^3 - 3x + 1 = 0$ 的根就是 $2cos(2pi/9)$ 和 $2cos(4pi/9)$ 还有 $2cos(8pi/9)$。 这三个角分别是 $40^circ, 80^circ, 160^circ$（弧度制）。 $2cos(40^circ) approx 2 times 0.766 = 1.532$。 $2cos(80^circ) approx 2 times 0.1736 = 0.347$。 $2cos(160^circ) = -2cos(20^circ) approx -2 times 0.94 = -1.88$。 这三个根一正一负，且绝对值都挺大，分布得挺散。 这真是一个漂亮的数学结构。 那个正根 $2cos(40^circ)$ 大约是 1.532。 那个负根 $2cos(160^circ)$ 大约是 -1.879。 中间那个小的正根 $2cos(80^circ)$ 大约是 0.347。 它们加起来等于啥？$1.532 + 0.347 - 1.879 approx 0$。 彻底符合韦达定理的第三项（常数项）是 1，三次项系数是 1，二次项系数是 0。 $x_1 x_2 + x_2 x_3 + x_3 x_1 = 1$（注意符号，标准形式 $ax^3+bx^2+cx+d=0$，这里 $b=0$，故此和是 $c/d = 0$？不对。 $x_1 x_2 + x_2 x_3 + x_3 x_1 = c/a$。
这里 $c=-3$。 故此 $x_1 x_2 + x_2 x_3 + x_3 x_1 = -3$。 验证一下： $1.532 times 0.347 + (-1.879) times 1.532 + 0.347 times (-1.879)$ $approx 0.53 - 2.88 - 0.65 = -2.98$。 贼接近 -3。
看来我刚刚列的根顺序要么计算有细微偏差，但不影响整体结构。 这三个根实际上就是 $2cos(2pi/9)$ 还有它的两个“对称”变形。 目前来说具体的计算过程。
不用那些艰深的费拉里公式，直接把 $x = 2costheta$ 代入 $x^3 - 3x + 1 = 0$。 拿到 $2cos(3theta) = -1/2$。 $3theta = 2pi/3, 4pi/3, 8pi/3$。 $theta = 2pi/9, 4pi/9, 8pi/9$。 $x_1 = 2cos(40^circ) approx 1.532088886$。 $x_2 = 2cos(80^circ) approx 0.347296355$。 $x_3 = 2cos(160^circ) approx -1.879385242$。 这些数据在科学界、工程界就连纯理论研究中到处都是。
比如失重环境下的物质平衡，要么某些非线性电路的稳态解。
要是你去查 $2cos(40^circ)$，你会发现它和黄金比例、斐波那契数列那些东西是割裂的，它纯粹就是 $40$ 度的余弦。 在 $x^3 - 3x + 1 = 0$ 这个方程里，它的三个根分别对应 $40^circ, 80^circ, 160^circ$。 有意思的是，$40^circ, 80^circ, 160^circ$ 这三个角，它们的正弦值（要么是余弦值）构成了一个贼具体的数列。 $x_1 = 2cos(40^circ)$。 $x_2 = 2cos(80^circ) = 2sin(10^circ)$。 $x_3 = 2cos(160^circ) = -2cos(20^circ)$。 这组数据在统计学、天体力学里都有用。
比如计算天体轨道时，有时候需求用到三次方程的根，别看一般我们只关心实根，但理论上的完备性要求这组根都得算出来。 降维打击的核心在于思维的转变。 那会儿我们当作三次方程是代数运算的绝对禁区，是务必硬啃的堡垒。 目前我们知道，三次方程不过是三角函数的喃喃自语。 只要你会做三角代换，只要你会理解 $cos(3theta)$ 的三倍角公式，三次方程就是一道好办的填空题。 费拉里公式只是那个历史遗留的“解题步骤”，它把数学变成了繁琐的代数和，而维诺格拉多夫公式（还有后来的 CAS 工具）直接给出了答案的几何解释。 $2cos(40^circ)$ 这个数字，它本身没有名字，但它的存有证明白数学里那些看似荒谬的复杂结构，实际上都扎根在根本几何和三角函数的不变量里。 我们不需求再背那些长长的公式了。
看一眼角度，看一眼图，要么直接查计算器，三个根就出来了。 数学的魅力，或许就藏在这种“降维”的本事里。把高维的抽象形式，还原成具体的角度和长度。 这就是为啥 $x^3 - 3x + 1 = 0$ 依然会让我们着迷，不是出于算出了三个丑数，而是出于这三个丑数背后，藏着 $40^circ, 80^circ, 160^circ$ 这个优美的几何序列。