π的深入探索
前面几章把 算得很准,却始终没有回答它“是什么”。这一章追问 本身的性质:它是无理数吗?它能被代数方程刻画吗?它是现代数学里最特殊的常数之一吗?
无理性证明用的是反证法:假设 有理,构造一个精心选择的多项式并取适当积分,得到与假设矛盾的结论,从而 必是无理数。证明的巧妙之处全在那多项式的构造和积分区间的选取上。
更强的问题是超越性。代数数是满足某个整系数多项式的数,、 都属于此类,而 不满足任何这样的方程。Lindemann-Weierstrass 定理给出通路:非零代数数 的 是超越数,于是 若为代数数则 超越,可欧拉公式给出 ,矛盾。这个结论还有一个著名后果——尺规作图无法构造出面积为 的正方形。
历史的另一面同样值得看:巴比伦、埃及的近似,阿基米德的多边形逼近,刘徽的割圆术,祖冲之的领先,无穷级数之后的加速,直到今天的计算机竞速, 的每一位小数都是方法与算力的产物;它同时出现在物理学的周期现象、概率论的 Buffon 投针、数论与信号处理之中。
学完这一章,你能复述 无理性的反证思路,说出超越性证明依赖的关键定理与矛盾所在,也能解释为什么 会跨越多个学科出现。
发现内容有问题?
告诉我们哪里需要改进。
