圆周率π常被大众简化理解为“永远算不完的小数”，不少科普文章进一步渲染：一旦π被算尽，现代物理理论就会崩塌（注1）。这种说法虽抓人眼球，却混淆了纯数学演绎与物理实证的根本边界。π“算不尽”并非算力不足带来的经验表象，而是可严格证明的数论定理，根植于它的无理性与超越性。

人类对π的认知始于几何逼近。阿基米德运用穷竭法，借助圆内接、外切正96边形夹逼，得到3(10/71)<π<3(1/7），率先以严谨几何论证确认圆周与直径之比为常数，也埋下“无法用多边形完全贴合圆周”的直观猜想。但几何直观不足以证明其无限性，这一步要等到解析方法出现。

1761年，兰伯特利用正切函数的连分数展开完成关键证明：若非零实数x为有理数，则tanx必为无理数；其逆否命题成立——若tanx是非零有理数，则x为无理数。代入tan(π/4)=1，即可推知π/4无理，π随之是无理数。无理数等价于小数展开无限且不循环，这从根本上排除了π存在有限终点或循环节的可能。

更强的性质是超越性。1882年，林德曼依托林德曼–魏尔斯特拉斯定理，结合欧拉恒等式e^iπ=-1完成反证：若π是代数数，则iπ为非零代数数，e^iπ应当是超越数，与-1是代数数矛盾，故π为超越数。超越数不属于任何整系数多项式的根，这直接证明古典难题“化圆为方”不可解——有限次尺规作图只能构造代数数。

如今超级计算机已将π算至百万亿位，但这类计算的目标并非寻找尽头，而是检验高精度算法、测试计算机硬件稳定性，以及为π的十进制正规数猜想积累统计样本；π是否为正规数，至今仍是悬而未决的数学难题。

需要厘清一个广为流传的误区：π的无理性与超越性，是ZFC（Zermelo–Fraenkel Set Theory with the Axiom of Choice）公理框架下的逻辑结论。倘若假设π为有理数，并不会直接摧毁相对论、量子力学等物理理论，只会造成现有实数与复分析体系内部自相矛盾；物理规律本身独立于这套数学语言，仅当强行替换π为有限有理值时，才会出现模型预测与观测数据偏离。

π的魅力，在于它联结直观几何与抽象无穷。从圆的周长比例，到超越数论的深层结论，人类有限公司公理体系，就能严格证明无限的必然性，这正是数理理性独有的力量。

注1：https://weixin.qq.com/sph/AoA7aHsguy

支持单位：