代数基本定理入门-代数基本定理入门

嘿，要是你盯着 $x^n - 1 = 0$ 这个方程，第一反应大约率是画一堆复杂的图形，要么认定“赶明儿我肯定用牛顿迭代法去迟钝地找根”。别如此急，实际上那个方程早就在 16 世纪的瑞士小镇里敲响了它的门帘。别被那些花里胡哨的定理吓到，我们不用啥“起初、其次、最终”去嚼碎了咽下。
这就像你早上吃早餐，突然想起不吃午饭，你总不会连昨天晚饭都忘了吧。 欧拉在 1736 年搞的那次“正经”推导，实际上早就把那个荒谬的结论扔出窗外了。他当时就想：“$x^2 - 1$ 解个解就完事儿了，解个三次方又解过多少次？”结局他硬是啃出了 $x^n - 1 = 0$ 这个方程，说它一辈子有根。可我自己算过几组数据，连负根都找不到，这逻辑是不是有点崩？ 实际上，自从高斯在 1796 年把代数根本定理喊出一步台子，我们才启动真正参与这场辩论。
那时候数学圈还在争论“复数”这东西是不是“有灵性的”。你是说，复数不都是那种能放进圆形的数吗？像 $frac{1}{2}$ 这种有理数，它们自然知足方程 $2x - 1 = 0$。
那无理数呢？比如 $sqrt{2}$，它知足 $x^2 - 2 = 0$。
这些有理数和无理数加起来，非但没变成复数，反而把 $mathbb{Q}$ 给填满了。 欧拉那时候的脑子，就像被雷劈过一样。他发现，把所有复数按模长分片，那个半径最大的圈——单位圆，里头的数一辈子都在 $x^2 - 1 = 0$ 的解空间里游荡。但这只是他那一时的错觉。没人信。直到 18 世纪末，克莱罗才在《Fonctions Analytiques》里，用一种近乎神迹的方式，证明白哪怕是把方程彻底化成整系数形式，复数依然乖乖听话。他看起来像是在给一个没写完的数学故事补全画眉，结局牙缝里塞出了整个代数根本定理。 哪怕算错了，那也是错的；只要还没彻底错，那就是对的。
这个定理最了得的地方，就在它不靠点“我们知道”来支撑。它告诉你，只要 $n$ 大于 1，方程 $x^n - a = 0$ 就务必有解。
这叫“代数根本性”，听着像科幻电影里的设定，但在纯数学里，它坚如磐石。 拿 $x^2 - 5x + 6 = 0$ 看看。分解成 $(x-2)(x-3) = 0$。你数数看，两个根分别是 2 和 3。
这两个整数如何来的？就是 $6/3 = 2$。
这就像你在做饭，食材是整数，系数也是整数，最终出来的解自然也是整数。
这听起来忒好办了，仿佛所有方程都能这样解。可要是系数是根号 2 呢？$x^2 - sqrt{2}x + 1 = 0$？这时候解出来的数就得是复数了。 实际上，这背后藏着一个更深的秘密。历史学家鲍耶在 1835 年写的那篇神论文章里，调侃道：“我们是多么迟钝，竟然当作自然界的法则都是线性的。”但这话说得忒轻了。
那些真的方程，比如 $x^3 - x + 1 = 0$，它们根本不需求“显式解”。别想着暴力硬解，直接代入 $x = cos(2pi/9)$ 看看，神奇的一幕形成了：所有的根都 neatly 地藏在了单位圆上。
你看，单位圆上的每一点，都对应着原方程的一个根。
这就是代数根本定理最迷人的地方：它不只是说“有解”，它是在说“解就在那里”，并且它们的位置被你精心安排好了。 再想想，要是 $n$ 挺大，比如 $x^{1000} - 1 = 0$。
这时候解的数量就是 1000 个。它们分布在单位圆上的圆周上。有的密度高，有的稀疏。但这不管如何样，总得有一根存有。
这是拓扑学的直觉，也是欧拉式的豪言壮语。 Gauja 的定理是说，所有根都在单位圆上。但勒让德和狄利克雷后来证明白，根确实存有，只是不一定都在单位圆上。
比如 $x^2 - 2 = 0$，根是 $pm sqrt{2}$，它们根本不在单位圆上。但这并不影响定理本身的威力：它保证了根的存有性，只是给了你更灵活的坐标系统。 故此，回到 $x^2 - 1 = 0$。它的根是 $1$ 和 $-1$。
这两个数加起来是 0，乘积是 -1。它们就在实轴上，挺直接。但要是你把系数改成 $x^2 - 1 = 0$ 的变体，比如 $x^2 - i = 0$，那根就是 $sqrt{i}$ 了，这得绕个弯。 最终，这个定理告诉我们：多项式方程的根，就是那个方程被“撕开”出来的全体真相。
没有比这更纯粹的数学了。它不需求证明，出于它就是数学本身。就像你挠痒痒，痒就是痒，痒得你就停不下来。
这就是代数根本定理的魔力，它不给你任何借口，它只等你来发现。