代数基本定理 重根-代数基本定理重根

代数根本定理：那个被苹果砸了？ 别把你那本教科书记住了。它只会说“复数域上任何一个非零多项式，起码有一个复根”，但彻底不会告诉你，这个根是唯一的，如何唯一的，就连为啥它不得不存有。
这就像你被苹果砸了一下，只认定疼，但苹果砸中了，你也就成了那个苹果。但代数根本定理想说的是，只要有一个苹果砸中了，剩下的那些苹果，要么已经躺着地上，要么正在滚动，要么正在逃跑，总而言之没有一个能彻底躲过这场雨。 这个定理最启动是在牛顿和莱布尼茨争论哪位发明白微积分的时候提出来的，实际上跟那个苹果没关系，只是个历史遗留难题。18 世纪末，数学家们在研究代数方程的时候遇到了费事。
那会儿大家都当作，只要方程的系数是实数，它的根一定也是实数。欧拉、牛顿、韦达还有罗伯逊他们哪位也没见过反例，大家还特别高兴，认定了得。但到了复数世界里，情况就变了。欧拉把复数写进了欧拉公式 $e^{ix} = cos x + i sin x$，从此“虚数单位” $i$ 这些词就诞生了。 到了 18 世纪，人们启动意识到，复数不只是是个数学玩具，它是解开所有方程的万能钥匙。你试着解一个三次方程 $x^3 - 3x + 1 = 0$。在实数世界里，你会发现这个方程有三个根，但都是无理数，就连没法用好办的根号表示出来。但你用复数算，你会发现，方程的三个根分别是 $2cos(frac{pi}{9})$, $2cos(frac{5pi}{9})$, $2cos(frac{7pi}{9})$。
这些是实数，别看长得怪怪的，但确实是具体的数字。 这让人怪，难道所有的实系数方程，根都务必是复数吗？自然不是。
要是你解 $x^2 + 1 = 0$，根是 $pm i$，它们不是实数，但系数是实数。
这看起来像是个矛盾。但到了 17 世纪，瑞士的数学家们已经发现，只要把系数放进复数域里，就不会有“先有鸡还是先有蛋”的难题了。C.-G. 达朗贝尔在 1748 年就已经给出了一个知足条件的整数系数的多项式，它的根都不是实数。
从此，复数启动作为“更广的域”登场。 这就像是把世界从二维变成了四维。你不再局限于平面上的两点，能够把三维的物体也画在平面上。
这不只是是数学上的扩展，这是人类思维范式的彻底翻转。我们那会儿总认定，只有数学家能解开“方塔里的苹果”，出于只有他们能走进那个看不见的空间。但目前，连我们都能用代数语言描述那些我们已经看到了的、生动活泼的、旋转着的水彩画。 这实际上是一个关于“存有性”的深刻革命。
那会儿，欧拉在证明局部结论时，用的是“要是”（假设）。他说：假设复数域里有一个数 $z$ 知足 $x^n - 1 = 0$，然后利用欧拉公式把它转化成正弦余弦，算出它等于 $1$，然后利用局部分式分解，推导出 $z$ 务必知足 $z = cos(frac{2pi k}{n}) + i sin(frac{2pi k}{n})$。
然后他又说：要是 $x^n - 1 = 0$ 还有一个根 $y$，那么 $y$ 也务必是这种形式，这样 $x$ 和 $y$ 都是单位根。但单位根的总个数有限，故此两个根不可能与此同时存有，只能是其中一个等于另一个。 目前，这个定理说得更直接了。
只要 $x^n - 1 = 0$，再乘以任意非零多项式，结局依然是一个 $n$ 次多项式。
这意味着，在这个新定义的“复数域”里，这个方程的解集里，起码包含一个“单位根”。
也就是说，起码有一个复数 $z$ 知足 $z^n = 1$。 这就够了吗？自然够了。出于 $z^n = 1$ 的根在复数域里只有 $n$ 个，都不相同。
既然起码还有一个知足条件，那剩下的 $n-1$ 个根呢？它们肯定也存有。并且，出于 $z$ 是一个数，它务必有对应的实部和虚部，故此这 $n$ 个根都是具体的、可计算的数字。
这就证明白：任何一个 $n$ 次多项式，在复数域里，要么有 $n$ 个根，要么有 $m$ 个根，但 $m < n$，且 $n-m$ 务必能被 $n$ 整除。 这就意味着，根的数量一辈子不会少于 $n$，要不就某些根重合了。
要是所有根都重合，那这 $n$ 个根就只是 $n$ 个彻底一样的数。
要是一个 $n$ 次多项式有 $n$ 个相同的根，那它就能够被分解成 $n$ 个相同的因式的乘积。
也就是说，它务必能够写成 $x^n - a = 0$ 的某个形式。 这听起来挺抽象，但想想看，要是 $x^n - a = 0$ 的所有根都重合，比如 $x^2 - 4 = 0$，那么 $sqrt{4}=2$，根就是 $2$ 和 $2$。
这两个根在集合里是一样的，只是计数算成了两个。
故此，$x^n - a = 0$ 能够看作是这个方程有重根。 这时候，你就不得不承认一个残酷的真理：要是一个 $n$ 次多项式没有重根，那么它的所有根都是互不相同的。但要是你加了重根，它就能够被分解成 $n$ 个彻底一样的因式。
故此，代数根本定理的核心结论是：任何一个 $n$ 次多项式，在复数域里，解集里务必有且只有 $n$ 个根。
这不只是是“起码一个”，这是“恰好 $n$ 个”。 这实际上是一个数学上的“存有性原则”。
要是一个方程有解，它就有解。
要是它有重根，它就是重根。
这两个结论合起来，就是代数根本定理的整个面貌。 这个定理告诉我们，数学世界里没有任何东西是“孤零零”的。一个方程的根，要么分散在平面的各个角落，构成一个漂亮的集合；要么聚集在一起，形成多个相同的点。甭管哪种情况，只要它存有，就一定存有。 这就解释了为啥那么多数学家在 18 世纪末到 19 世纪初还在为实根难题纠结。他们当作，只要系数是实数，根就应当是实数。但他们忘了，要是一个方程不可约，它的根可能是复数。但就算这样，这也意味着它的根的存有性是“数学真理”的一局部，是逻辑推导的必然结局。 你看，$x^2 - 2x + 2 = 0$。它的判别式是 $4 - 8 = -4$。根是 $frac{2 pm 2i}{2} = 1 pm i$。
这两个根在复数域里存有，并且互不相同。它们不是实数，但它们存有。
这就像你问一个“复数域里有没有实数根”，答案是肯定的，出于要是复数域里连一个非实根都没有，那整个复数域就瘪了，那代数根本定理就失效了。 故此，代数根本定理不是告诉我们方程“可能”有根，而是告诉我们方程“务必”有根。它打破了我们对实数根的迷信，把复数提升到了和实数一样坚实的地位。它告诉我们，只要你在数轴上画一条线，这条线背后藏着无穷多的东西，而那个定理就是那个导航仪，指着你通往所有隐藏根子的方向。 它不只是是一个代数技巧，它是数学逻辑的现代宣言。在这个宣言里，没有“要是”，只有“存有”。
没有“或许”，只有“必然”。任何一个 $n$ 次多项式，甭管如何变形，甭管如何凑巧，只要系数是复数，它的根就在复数域里，并且数量不差，并且都是具体的数字。 这就像是你走进一个只有你一个人的房间，你问：“这里有没有人？”回答是：“有，就是你自己。”这听起来挺冷，对吧？但这是数学的冷峻。它不假装热情，它只陈述事实。 要是你认定这个解释有点绕，要么认定它忒像教科书，那说明你还没跳过那个“要是”的阶段。在教科书里，我们往往把“要是 $x^n - a = 0$ 有重根”作为一个假设条件，然后推导结论。但在代数根本定理里，这个假设被直接消去了。它不再是一个条件，而是一个事实的附属品。 你看，$x^n - a = 0$ 的根互不相同，故此它们都是单根。
这意味着，要是有一个多项式 $P(x)$ 有重根，那么 $P(x)$ 一定能够分解成 $Q(x)$ 的 $k$ 次方，其中 $Q(x)$ 没有重根。
也就是说，任何有重根的 $n$ 次多项式，一定能够写成 $Q(x)^k$，其中 $k$ 是根的重数。 这就像是在说：要是你看到一个 $n$ 次多项式，且它的根都重了，那你肯定能够把它拆解成根本的不可约因式的乘积，且那些因式是彻底相同的。 这听起来是不是有点啰嗦？但正是这种啰嗦，构成了数学的厚度。它不追求简洁的公式，它追求的是对“存有”这一本质难题的彻底回应。它告诉我们，在复数这场宏大游戏中，任何试图隐藏根子的游戏都会黄了。根子务必出现，哪怕它们长得像玩具。 回到最初的那个苹果。
牛顿被苹果砸疼了，但他没想到，这苹果实际上砸中了数学的底层逻辑。
这棵树发芽了，长出了复数，长出了代数根本定理。它说：只要你愿意把根放进复数域，你就找拿到它们。它们就在，并且数量是固定的。 这就够了。代数根本定理不需求更多的假设。它不需求任何额外的公理。它只需求 $x$ 和 $n$，还有一个整个的复数集合。
只要有了这三样东西，任何 $n$ 次方程的根都站在这里，等着被看到。 故此，别再那些复杂的推导里找答案了。答案就在 $z^n - a = 0$ 的根里。它们在那里，在复数平面上，并且它们就是所有可能的根。
这就是代数根本定理的全体秘密，好办到不能再好办，却又好办到令人绝望。它说：根务必存有。
没有例外。