代数学基本定理证明-代数基本定理证明

嘿，你低头看看你手里的苹果，这玩意儿圆圆的，一个个的，你感觉它像不像一个集合？你把它切开，这一瓣这一瓣的，每一瓣也都是圆的，如何一堆圆的东西总归扎堆在一起？这感觉仿佛连毛都没摸到，如何突然就蹦出个定理来：任何多项式，总能在数轴上找到根？别急，咱们不按常理出牌，把那些教科书里摆拍好、语言也磨平的假话先扔掉。 先别管那些定义，直接上场景。想象你手里拿着个方程：$x^2 - 5 = 0$。你随意抓个草，数一数这儿有根吗？没有啊，$1$ 不中，$2$ 不中，$3$ 也不中，$4$ 也不中。
这抛物线得跨个脚才能过 $x$ 轴，但数轴上连个脚都没有。
这时候你得往更大的数里翻找，$5$ 呢？$6$ 呢？仿佛真找不到整数解，难道它就是个“死”的方程？ 但别急着叹气。持续扩大你的视野，看看 $x^4 - 1 = 0$。
这个方程，也就是 $x^4 = 1$。你会在 $1, -1, i, -i$ 这四个数里找到解吗？能找到。
为啥 $2$ 不中？出于 $2$ 是偶数，$2^4$ 忒大；$0$ 不中，$0 neq 1$；$3$ 不中，$3^4$ 更离谱。但你猜如何着？$i^4$ 刚好是 $1$。
这数字不是凭空变出来的，它们是在某种特定的结构里等着你的。 这就引出了那个听起来挺“玄学”的概念：根的存有。
你想想，多项式是个几何形状，跟数轴上的点打交道。
要是它的形状穿过了数轴的零点，那它肯定得碰到点。碰到点就是根。
这话说起来仿佛有点道理，但你别被这个“道理”给带偏了。我们还得看看系数能不能整除。 举个反例，比如 $2x - 5 = 0$。
这个方程如何解？$2x = 5$，故此 $x = 2.5$。
这个 $x$ 是实数，也是根。但要是你看它的系数，$2$ 和 $5$ 都是整数，明明能整除啊。
什么的，这里有个坑。教科书里一般说的是整数系数。
要是系数是 $3x^2 - 5x + 1 = 0$，那用求根公式算出来的 $x$ 是多少呢？判别式是 $25 - 12 = 13$。$sqrt{13}$ 是个无理数，开不出来。
那它还有根吗？有啊，就是那个 $frac{5 pm sqrt{13}}{6}$。
这俩数都是实数，但咱们脑子里那套“整数系数”的滤镜给过滤掉了。 这就让你不得不承认，所谓的“代数根本定理”，实际上是个错觉。它说的是：在复数域里，任何 $n$ 次多项式，总能在复数平面上找到 $n$ 个根。
比如那个 $x^2 - 5 = 0$，在实数域里没根，但在复数域里，根是 $i$ 和 $-i$。
这两个复数，在数轴上是虚轴上的点，离原点 $i$ 挺近，但在几何上算不算“碰到”了？ 这就涉及到“代数根本定理”真正的灵魂。它不是说你数轴上找不到，而是说在扩展了数系的复杂空间里，每一个多项式都是“有”根的，并且总数刚好是 $n$ 个。你不用去数轴上找，也不用去猜整数。你能够随意画个图，要么随意算个数。
只要次数是 $n$，根的数量就是 $n$，它们散落在哪儿不关键，关键的是它们存有。 再说说那些“为啥”。
为啥是 $n$ 个？
为啥是复数域？这实际上是欧几里得几何里“两点之间线段最短”的变体，但在代数里，这就是空间维度的难题。实数是实轴上的点，复数是复平面上的点。多项式是定义在这个平面上的函数。你试图让函数值等于 $0$，就像用一把尺子去量一个二维的平面。
要是你只盯着实轴，你找不到所有的位置。你得打开复平面，让坐标里的虚部也动起来。一旦虚部准你调整，那些原本看似“飘”着的根，就会稳稳地趴在复平面上。 比如你吃西瓜，$x^2 - 4x + 3 = 0$。根是 $1$ 和 $3$。
这两个数都在实数轴上，你一眼就能看到。但要是方程是 $x^2 - 1 = 0$，根是 $1$ 和 $-1$。还是有点好办。
举个例子，$x^4 - 2x^2 + 1 = 0$。
这在根的世界里，实际上是 $(x^2 - 1)^2 = 0$。
这意味着 $x^2 - 1 = 0$ 这个子方程出现了两次。
故此，$x = 1$ 和 $x = -1$ 都是二重根。在数轴上，它们只是两个点，但在代数结构里，它们被视为两个独立的实体，各自占据了“位置”的两次。 别当作找到根就完事了。找到根之后，你还能干啥？你能把它们串起来，组成那个著名的乘积公式：$A(x) = A(x-a_1)(x-a_2)...(x-a_n)$。
这就仿佛你在数轴上把那些点一个个钉住，方程就变成了这些点的“形状”。 但这里有个庞大的方言冲突。在数轴上，你把根当成点，你画出来的图，根就在点旁边。但在复平面上，你把根当成二维坐标，你画出来的图，根就在坐标 $(1, 0)$ 和 $(3, 0)$。
这就好比你在图书馆找书，在物理书上，书就在某一页；在数学的几何包里，书在某个坐标上。物理书让你闭上眼想，几何书让你睁开眼数。它们的结局一样，但描绘的方式不同。 再回本方程，$x^2 - 2x + 1 = 0$。根是 $1$。
只有一个根。
为啥是 $1$ 个？出于 $n=2$，但根的数量是 $1$ 个，只是重了。
这就是代数根本定理最妙的地方：它不关心根是“单根”还是“重根”，它只关心总共有多少个不同的解？
要么，更准地说，它在处理多重根的时候，已经把它们算作独立的计数单位了。 故此，当你最终再看那个 $x^2 - 5 = 0$ 的图时，你可能确实没有物理上的根了。但你心里知道，在某个看不见的复平面坐标里，那根 $i$ 和 $-i$ 已经在那里等着了。它们不是没来，只是你还没预备好用“实数尺子”去量量它们的距离。 总而言之，代数根本定理告诉我们：数轴上的点，一辈子不够用。务必把视野扩大到整个复平面，把所有可能的方向都打开。
只要方程的阶数 $n$ 确定，根的数量 $n$ 就固定不变。
这不像是个猜想，这像是你走进了一片森林，最终发现甭管你如何砍树，树的数量一辈子是固定的，只不过有些树长在树荫下，有些长在阳光里，有些躲在灌木丛里。数学家了得的地方，就是他们知道不管树在哪，数量一辈子是 $n$。