解法：林德曼证明 $\pi$ 的超越性解决化圆为方问题(1882年)
通俗地说
林德曼1882年的原始证明相当复杂,即便对专业数学家来说也难以理清脉络。在接下来的十年里,卡尔·魏尔斯特拉斯(1885年),以及大卫·希尔伯特、阿道夫·赫维茨和保罗·戈尔丹各自独立地(1893年),找到了通向同一结论的更短、更简洁的路径——今天课程中讲授的精简版本,继承自他们的简化,而非林德曼最初的论证。
随着1882年化圆为方问题得到解决,古代三大'不可能'作图问题——三等分角、倍立方与化圆为方——终于全部被证明为不可能,终结了专业数学家和业余爱好者都曾攻克了两千多年的这些问题。
详细分析
林德曼1882年的论证虽然正确,但被广泛认为难以理解;不到十年,卡尔·魏尔斯特拉斯(1885年)给出了更整洁的处理,而魏尔斯特拉斯的版本又被大卫·希尔伯特、阿道夫·赫维茨和保罗·戈尔丹在1893年各自独立地进一步简化,使用了更系统的对称函数记账方法。正是这条简化后的希尔伯特–赫维茨–戈尔丹论证路线,而非林德曼1882年的原始论文,构成了现代大多数教科书对该定理呈现方式的基础(包括这里第2–4步所概括的版本)。
这一结果对纯数学之外一个两千年悬而未决的问题也产生了异常直接的影响:到1882年,旺泽尔1837年对三等分角与倍立方问题的不可能性证明,连同林德曼的超越性证明,意味着古代三大经典尺规作图问题都已被严格证明为不可能——化圆为方是其中最难的一个,因为它需要一种真正全新的工具(超越数理论),而不是足以解决另外两个问题的代数域次数论证。
林德曼的超越性方法也开辟了一个持久的研究方向:它在1900年被希尔伯特第七问题([像 这样的数是否超越?)进一步推广,最终由格尔丰德与施奈德于1934年解决,展现出埃尔米特1873年最初使用的辅助函数技巧,其影响力远远延伸到了最初化圆为方问题之外。