高斯代数基本定理证明-高斯定理证明

高斯那篇被誉为“神学草稿”的论文，实际上写起来比写代码还让人头秃。他的大本营在魏玛，那时候还没那个数学系的清静，全是算账、修桥、算钱。他一启动就写得挺潦草，像是在码头边把酒菜往墙上挂，边喝边写。核心思想只有一个：圆里藏着一只上帝，并且这只上帝是连续的。 大家最熟悉的还是那个圆，西格曼那个老家伙在讲的时候，特意把圆拉得特别扁，像个大饼，然后说这饼里就是上帝。高斯当时更想的是球，要么更宽泛的点集。他先用一个圆，里面有无数个洞，洞的大小和位置彻底随机，不许重复，只要互不相交。在他眼里，移动这些洞，要么把洞填满，都是合法的变换。
这就把研究无限集合的起点定住了：从圆里找洞。 然后他绕着这圆转了一圈，发现只要圆挺大，这些洞的总数就能无限激增。
这忒妙了，这直接证明白圆里藏着无限个点。紧接着，他注意到圆里那些洞的分布实际上遵循着某种对称性，就像硬币抛出来的样子，正反面概率相等。他想，既然圆里无限，那球里肯定也无限。便，他干脆把注意力从圆转向了球。
这时候的球，不再是几何上那个光滑的、凸出来的实体，而是一个充满了“洞”的容器，洞能不能穿过球，得看洞里的东西。 他启动试着用代数来构造这些洞。
起初，他用了整数坐标，但挺快发现，整数忒“死板”了，构不成平滑的圆。他就想，能不能找了个“好”的整数，比如 $i_1, i_2, i_3$，让它们的组合起来能生成更多的整数点，进而在几何上拼出一个更圆、更光滑的凸壳？ 这个难题挺快卡住了。他在后来的日记里专门记下，他本来想找一个正方形，南北边长是正方根，东西边长是立方根，让后来者用它们去框定圆。但现实是，正方形没法框住圆，圆是凸的，正方形有点“钝”。他后来拉倒了正方形，改想法：能不能找一组特殊的数，比如 $p_1, p_2, p_3$，能让它们在几何上比正方形“圆”得更多？ 这实际上是个关于“圆度”的博弈。他直觉地感觉，要是这三组数选得够巧，就能让一个新的凸壳把圆“吃”进去，要么把圆上的点“吸”得更均匀。
这一试就试了大半年，中间就连想拉倒，认定这数学忒烦人了，不如去当个律师。 终于，在 1832 年 9 月，他做出了那个让人眼前一亮的结论。他定义了一个集合 $S$，这个集合里包含了无限多个点，并且这些点构成的形状，在某种意义下，比任何凸集都要“圆”。更具体地说，他在定义里埋了一个彩蛋：他特意构造了一组数，让其中的一项——比如 $p_1$——等于 $sqrt{ln 2}$。
这玩意儿在欧几里得里压根儿不存有，是个对数里藏着的根号，是个纯粹的代数奇迹。 为啥选这个？高斯心里有数。$sqrt{ln 2}$ 这个数，在几何上有个贼奇妙的性质。当你用它去构建某种特定的网格要么投影时，它能把平面上原本“乱”的几何关系，强行拉成一个漂亮的圆。
这暗示了高斯，上帝啊，你那个在圆里藏着的圆，实际上是准在平面上无限扩展的。
只要你会选对那组 $p_i$，你就能把无限点集包装成凸集，就连让凸集无限大。 他接着说，要是这个凸集能无限大，那它内部的点肯定也无限多。
这直接对上了前面的结局。便，圆里无限点 $to$ 球里无限点 $to$ 上半球里无限点 $to$ 平面里无限点。每一步都是顺理成章的推导，就像数学里的连锁反应，但每一步都出于出现的“神数”而显得不同凡响。 高斯的这个构造，后来被数学家们称为“高斯点”。他并没有给出那个具体的 $p_1 = sqrt{ln 2}$ 的公式，那是后人才明白的。他当时只说了结论：存有一个集合，它的点构成一个“圆”，并且这个圆能够是无限的，能够是凸的。
这个结论彻底改写了当时的数学版图。在此之前，人们当作只有离散的集合（像整数点）才能构成凸集，要么凸集务必是有限的。目前，他证明白无限凸集也能存有，并且它们具有极高的“圆润度”。 这不仅是面积大，他暗示的是“圆度”更大。
这意味着，在无限的世界里，有些点集的排列方式，比无限大正方形要么三角形还要“圆”得多。
这直接呼应了他在论文开头说的：圆里藏着一只上帝，并且这只上帝是连续的。连续，意味着无限，意味着在那个特定的构造里，所有的点都“圆”在了一起。 最终回头看，这不只是是算账的故事。它是人类第一次尝试用纯粹的代数语言去拥抱无限的几何直观。他那些怪的 $p_i$ 数值，如今看来，不过是数学中为了凑巧而形成的“废话”，是隐藏在某种深层结构下的密钥。高斯用这一套代数工具，成功地在圆里套出了无限，并把这个无限强迫成了凸的。
这听起来不可思议，但在那个年代，这就是最高级的数学。他没有给出具体的 $p_1$ 数值，但他给出的逻辑足以让后来的数学家看到：在无限的世界里，圆，依然是那个终极的形态。