如何证明pi是无理数：经典证法解析

如何证明pi是无理数，主流可落地的路径是采用拉马努金相关思路或尼文证明法，尼文证明法依靠反证法搭配构造辅助积分完成推导，推理链条短、适合具备大学初等微积分基础的人验证，该证法不能用初等代数、初中几何完成，只适合掌握定积分、极限和多项式求导规则的学习者，不适合只学过中小学数学的读者。假设π为有理数，写成a/b，a、b为正整数，构造特定多项式积分，再推导积分同时满足整数和介于0到1之间两个矛盾结论，以此推翻初始假设，确认π是无理数。

pi无理数证明核心逻辑

反证法是这套证明的根基，你先做出反向假设：π是有理数，也就是存在两个互质正整数a,b，使得π=a/b。这个假设是整个推导的起点，所有后续式子都建立在这个前提下，只要后续推出互相冲突的结论，就可以判定最初假设不成立。

尼文构造的多项式f(x)=xⁿ(a−bx)ⁿ/n!，n为任选的正整数，这个多项式展开之后，每一项系数都是整数，它的各阶导数在x=0和x=π处的取值同样都是整数。构造辅助积分I=∫₀^πf(x)sinxdx，分步对积分做分部积分，就能得到I可以表达成整数的组合，I本身是整数。

选取足够大的n，会出现新的约束关系。多项式f(x)在区间0到π上的最大值不会超过πⁿaⁿ/n!，sinx在区间内小于等于1，积分I的上界会小于π·πⁿaⁿ/n!。阶乘增长速度远快于指数函数，n足够大时，这个上界会小于1，积分I大于0且小于1。

矛盾已经形成。一个大于0小于1的正数，不可能同时是整数。初始假设π是有理数会导出这个矛盾，假设不成立，π为无理数。

不同pi无理数证法对比

兰伯特是最早证明π无理的数学家，1761年他利用tanx的连分数展开完成证明，只是这套推导涉及连分数收敛性质，入门门槛更高，课堂上较少使用。尼文在1947年发表的证明简化了推导步骤，现在大多数教材优先选用这个版本。

这套证明无法给出π的精确有理表达式，也不能直接证明π是超越数。

超越数的证明需要另一套独立论证，林德曼1882年完成π超越性证明。

你不能用有限小数、无限循环小数试算来证明π无理，再多的小数位数都只能说明目前没有出现循环，无法排除循环节藏在更靠后的位置。