三次函数求根，实际上是高斯消元法在离散代数里的自然流露，别把它当成啥由简到繁的数学流水线。想象一下我们在解方程组时，面对两个变量务必选出最大值或最小值，这种直觉挺好办迁移到三维空间里找三个变量的“最优解”，也就是三个根。
实际上最启动的思路就是基于判别式那把双刃剑，它直接拍板了根是不是复数，就连能不能凑成整数，但这玩意儿对于三次函数来说，描述力根本不够，毕竟它无法处理所有情况。 咱们启动破局。三次函数 $f(x) = ax^3 + bx^2 + cx + d$ 的根，本质上就是把多项式分解成三个一次因子的乘积。
要是根是复数，那就能够用韦达定理里的共轭对把它们打包，哪怕实数解只有一个，复数解也是成对的，这时候的关键在于算出那个实根 $x_1$，然后利用 $x_1^3 + x_1^2(text{something}) + x_1 + d = 0$ 的关系去反推别的根。
这听起来有点绕，但想想看，是不是就像解方程 $ax^2 + bx + c = 0$ 时，用求根公式一样，把 $x_1$ 当作一个已知常数，代入到二次方程的变形里，凑出另一个根？ 举个例子，设 $f(x) = 2x^3 - 3x^2 - 4x + 1 = 0$。咱们先试着猜一下整数根。试一下 $x=1$，代入得 $2-3-4+1 = -4$，不对；试 $x=-1$，$-2-3+4+1=0$！
哎，这就找到了一个实根 $x_1 = -1$。
这忒关键了，出于 $x_1$ 是实数，那我们就有了秘密武器——复数单位根 $omega = e^{ifrac{2pi}{3}}$。 既然 $x_1$ 是根，我们就能够把原多项式写成分别式：$(x-x_1)(x^2 + Ax + B) = 0$。
这里 $A$ 和 $B$ 都是复数，要么说是带虚部的数。代入 $x=-1$，左边变成 $(-2)(1 - A - B) = 2(1+A+B)$，这务必等于 $0$，故此 $A+B = -1$。接下来看系数对比，原式展开后 $x^2$ 的系数是 $-3$，而 $(x-x_1)(x^2+Ax+B)$ 展开后 $x^2$ 的系数是 $1+A$，故此 $1+A = -3 Rightarrow A = -4$。进而 $B = -1 - (-4) = 3$。便我们拿到了二次方程 $x^2 - 4x + 3 = 0$，它的根显然是 $x_2=3, x_3=1$。 这个推导过程实际上充满了“数据”的博弈。
要是一启动没有注意到整数根的存有，我们就得老老实实去解那个形如 $x^3 - px^2 + qx - r = 0$ 的通用公式，那步骤会繁琐到让人想摔键盘。三次方程求根公式里那个 $c_1 = -e^{itheta}$ 的局部，实际上就是在处理那个 $A, B$ 里的虚数局部，也就是处理 $omega, omega^2$ 这些循环的根。别看形式上是 $S(x) = a(x-r_1)(x-r_2)(x-r_3)$，但为了计算撇脱，我们习惯先把 $x_1$ 这种实数根单独拎出来，剩下的两个根用复数运算混在一起。 再深入一点，三个复数根实际上是有某种对称性的。它们要么都落在同一个圆上，要么都在某个圆内，要么都在某个圆外，这取决于多项式的常数项和首项系数的符号。
要是系数都是正的，根就在单位圆内；一个正一个负一个正，根就在单位圆外。
这种几何上的约束，在代数运算里体现为根与系数的关系。
比如刚刚的例子，根是 $-1, 3, 1$，都在实轴上，这对应的是实系数多项式，虚部系数为 0。
要是系数里有虚数，根就会跑到复平面上去，这时候我们就务必依赖复数单位根的性质来维持方程的平衡。 回到公式本身，三次方程求根公式大约是： $x = -frac{b}{3a} + c_1 + sqrt[3]{dots} + sqrt[3]{dots} - frac{1}{3a}(text{something})$。 这里 $c_1 = -e^{itheta}$ 起到了调节功能，它把那个看起来复杂的三次项转换成了更好办的形式。
要是 $a>0$，根就位于以 $-b/3a$ 为圆心、半径为 $|c_1|$ 的圆内；要是 $a<0$，圆心就跑到左边去了。
这个圆的大小由判别式拍板，判别式越大，根越分散，可能跨越实轴；判别式越小，根越靠近中心。 实际上三次方程求根公式的推导过程，和三角函数法有点类似，都是从代数的结构出发，最终发现复数单位根能优雅地解决卡壳的难题。别看有时候硬套公式会显得机械，但一旦你理解了复数单位根 $omega$ 把三个根打包成一个循环这个核心点，剩下的代数变形就变得顺理成章了。
有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。 自然，大量人会认定三次公式忒复杂，难记，就连认定它不如二次公式那样漂亮简洁。但换个角度看，二次方程求根公式本质上就是 $x = frac{-b pm sqrt{b^2-4ac}}{2a}$，它描述了两个根的关系。三次方程多了个 $c_1$，本质上是增添了自由度，让公式能覆盖更广泛的场景。
要是强行把三次公式写成纯实数的形式，步骤会变得贼冗长，简直不可能在有限步骤内搞定。 故此，三次函数求根公式的核心不在于算出三个具体的数字，而在于理解这个公式背后的几何直觉：在复数平面上，三个根一直围绕某个圆分布，而这个圆的位置和大小由系数的相对大小拍板。
要是 $a>0$，根就在以 $-b/3a$ 为中心的圆内；要是 $a<0$，圆心在更左边。
这个圆的大小由判别式拍板，判别式越大，根越分散，可能跨越实轴；判别式越小，根越靠近中心。 有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。
实际上三次方程求根公式的推导过程，和三角函数法有点类似，都是从代数的结构出发，最终发现复数单位根能优雅地解决卡壳的难题。 别看有时候硬套公式会显得机械，但一旦你理解了复数单位根 $omega$ 把三个根打包成一个循环这个核心点，剩下的代数变形就变得顺理成章了。
有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。 自然，大量人会认定三次公式忒复杂，难记，就连认定它不如二次公式那样漂亮简洁。但换个角度看，二次方程求根公式本质上就是 $x = frac{-b pm sqrt{b^2-4ac}}{2a}$，它描述了两个根的关系。三次方程多了个 $c_1$，本质上是增添了自由度，让公式能覆盖更广泛的场景。
要是强行把三次公式写成纯实数的形式，步骤会变得贼冗长，简直不可能在有限步骤内搞定。 故此，三次方程求根公式的核心不在于算出三个具体的数字，而在于理解这个公式背后的几何直觉：在复数平面上，三个根一直围绕某个圆分布，而这个圆的位置和大小由系数的相对大小拍板。
要是 $a>0$，根就在以 $-b/3a$ 为中心的圆内；要是 $a<0$，圆心就跑到左边去了。
这个圆的大小由判别式拍板，判别式越大，根越分散，可能跨越实轴；判别式越小，根越靠近中心。 这个推导过程实际上充满了“数据”的博弈。
要是一启动没有注意到整数根的存有，我们就得老老实实去解那个形如 $x^3 - px^2 + qx - r = 0$ 的通用公式，那步骤会繁琐到让人想摔键盘。三次方程求根公式里那个 $c_1 = -e^{itheta}$ 的局部，实际上就是在处理那个 $A, B$ 里的虚数局部，也就是处理 $omega, omega^2$ 这些循环的根。别看形式上是 $S(x) = a(x-r_1)(x-r_2)(x-r_3)$，但为了计算撇脱，我们习惯先把 $x_1$ 这种实数根单独拎出来，剩下的两个根用复数运算混在一起。 代入 $x=-1$，左边变成 $(-2)(1 - A - B) = 2(1+A+B)$，这务必等于 $0$，故此 $A+B = -1$。接下来看系数对比，原式展开后 $x^2$ 的系数是 $-3$，而 $(x-x_1)(x^2+Ax+B)$ 展开后 $x^2$ 的系数是 $1+A$，故此 $1+A = -3 Rightarrow A = -4$。进而 $B = -1 - (-4) = 3$。便我们拿到了二次方程 $x^2 - 4x + 3 = 0$，它的根显然是 $x_2=3, x_3=1$。 这个推导过程实际上充满了“数据”的博弈。
要是一启动没有注意到整数根的存有，我们就得老老实实去解那个形如 $x^3 - px^2 + qx - r = 0$ 的通用公式，那步骤会繁琐到让人想摔键盘。三次方程求根公式里那个 $c_1 = -e^{itheta}$ 的局部，实际上就是在处理那个 $A, B$ 里的虚数局部，也就是处理 $omega, omega^2$ 这些循环的根。别看形式上是 $S(x) = a(x-r_1)(x-r_2)(x-r_3)$，但为了计算撇脱，我们习惯先把 $x_1$ 这种实数根单独拎出来，剩下的两个根用复数运算混在一起。 代入 $x=-1$，左边变成 $(-2)(1 - A - B) = 2(1+A+B)$，这务必等于 $0$，故此 $A+B = -1$。接下来看系数对比，原式展开后 $x^2$ 的系数是 $-3$，而 $(x-x_1)(x^2+Ax+B)$ 展开后 $x^2$ 的系数是 $1+A$，故此 $1+A = -3 Rightarrow A = -4$。进而 $B = -1 - (-4) = 3$。便我们拿到了二次方程 $x^2 - 4x + 3 = 0$，它的根显然是 $x_2=3, x_3=1$。 实际上三次方程求根公式的推导过程，和三角函数法有点类似，都是从代数的结构出发，最终发现复数单位根能优雅地解决卡壳的难题。别看有时候硬套公式会显得机械，但一旦你理解了复数单位根 $omega$ 把三个根打包成一个循环这个核心点，剩下的代数变形就变得顺理成章了。
有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。 自然，大量人会认定三次公式忒复杂，难记，就连认定它不如二次公式那样漂亮简洁。但换个角度看，二次方程求根公式本质上就是 $x = frac{-b pm sqrt{b^2-4ac}}{2a}$，它描述了两个根的关系。三次方程多了个 $c_1$，本质上是增添了自由度，让公式能覆盖更广泛的场景。
要是强行把三次公式写成纯实数的形式，步骤会变得贼冗长，简直不可能在有限步骤内搞定。 故此，三次方程求根公式的核心不在于算出三个具体的数字，而在于理解这个公式背后的几何直觉：在复数平面上，三个根一直围绕某个圆分布，而这个圆的位置和大小由系数的相对大小拍板。
要是 $a>0$，根就在以 $-b/3a$ 为中心的圆内；要是 $a<0$，圆心就跑到左边去了。
这个圆的大小由判别式拍板，判别式越大，根越分散，可能跨越实轴；判别式越小，根越靠近中心。 有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。
实际上三次方程求根公式的推导过程，和三角函数法有点类似，都是从代数的结构出发，最终发现复数单位根能优雅地解决卡壳的难题。 别看有时候硬套公式会显得机械，但一旦你理解了复数单位根 $omega$ 把三个根打包成一个循环这个核心点，剩下的代数变形就变得顺理成章了。
有时候你会发现，用复数单位根法算出的根，比直接解三次方程公式出来的根更直观一些，出于复数单位根自带相位旋转的概念，能把三次变换变成三次加一次虚数，最终凑成实数。 自然，大量人会认定三次公式忒复杂，难记，就连认定它不如二次公式那样漂亮简洁。但换个角度看，二次方程求根公式本质上就是 $x = frac{-b pm sqrt{b^2-4ac}}{2a}$，它描述了两个根的关系。三次方程多了个 $c_1$，本质上是增添了自由度，让公式能覆盖更广泛的场景。
要是强行把三次公式写成纯实数的形式，步骤会变得贼冗长，简直不可能在有限步骤内搞定。 故此，三次方程求根公式的核心不在于算出三个具体的数字，而在于理解这个公式背后的几何直觉：在复数平面上，三个根一直围绕某个圆分布，而这个圆的位置和大小由系数的相对大小拍板。
要是 $a>0$，根就在以 $-b/3a$ 为中心的圆内；要是 $a<0$，圆心就跑到左边去了。
这个圆的大小由判别式拍板，判别式越大，根越分散，可能跨越实轴；判别式越小，根越靠近中心。
