解法:林德曼证明 $\pi$ 的超越性解决化圆为方问题(1882年)
通俗地说
为了证明 是超越数,林德曼使用了反证法这一经典手法:假设相反,即 是代数数,再由此导出荒谬的结论。欧拉的著名恒等式 正是实现这一点的完美杠杆,因为它把 直接与 的一个幂联系起来。
如果 是代数数,把它乘以代数数 会得到另一个代数数 。欧拉恒等式接着说, 的这个代数指数 次幂等于 ——本身也是代数数。但经过适当推广的埃尔米特方法表明,这种情况绝不可能发生。
详细分析
用反证法假设 是代数数。由于 是 的根,是代数数,而两个代数数的乘积仍是代数数(它们在 上生成的复合域扩张是有限的),所以在此假设下 将是一个非零代数数。
欧拉恒等式 ,即 ,是复分析中的一个定理,无论 究竟是什么都无条件成立:它源自 、、 的幂级数定义,给出 ,从而 。结合" 是代数数"这一假设,这将意味着对非零代数数 有 ,而 本身是代数数( 的根)。
于是"π是代数数"这一假设,迫使产生一个非常具体的后果:某个非零代数数 (即 )使得 是代数数。下一步将说明,这个后果正是林德曼所证明的不可能之事,从而闭合了这个矛盾。