您当前的位置:首页 > 学习 > 阅览室

经典证明:pi^2是无理数

时间:12-04来源:作者:点击数:

Proofs from THE BOOK的第六章相当精彩,这一章循序渐进地介绍了多个无理性证明。先证明e是无理数,证明方法和高数课本上的基本相同;试图用类似的办法证明e^2也是无理数时,这一章的内容开始牛B了起来,一些巧妙的变换就让原来的办法继续适用于e^2的证明;加上一些更有趣的技巧,我们还能继续证明e^4也是无理数;当证明对除0外的所有有理数r,e^r都是无理数时,全章达到了高潮。

这一章还提到了pi^2是无理数的证明方法。这个证明建立在Ivan Niven于1947年提出的“pi是无理数”的经典证明的基础上:仅仅是在原证明过程中加了一些微妙的变化就得到了pi^2也是无理数的结论。注意到,“pi^2是无理数”是一个比“pi是无理数”更强的结论。由于有理数的平方还是有理数,因此证到了pi^2是无理数也就说明了pi必然是无理数;但反过来却不行,因为无理数的平方不一定也是无理数,比如根号2的平方就不是无理数。

证明过程用到了一个函数,其中n是一个任取的大于等于1的常数。可以想像,这个函数的分子部分展开后是一个关于x的整系数多项式,最低次数为n,最高次数为2n。我们将用到这个函数的两个性质:首先,当0<x<1时,显然有0 < f(x) < 1/n!;其次,函数f及其任意阶导数在x=0和x=1处都是整数。为了证明后一个结论,首先注意到当x=0时,不管是多少阶的导数,除了常数项以外其余项都是0;常数项只可能在n<=k<=2n时出现(k表示k阶导数),但此时它等于一个整系数乘以k!/n!,显然也是个整数。另外,由于f(x)=f(1-x),根据复合函数的微分法我们立即得到对任意x都成立,当然也就有

下面我们用反证法来证明,pi^2不是有理数。先假设pi^2=a/b,然后我们将推出一个荒谬的结论。定义函数

这个函数有一个有趣的性质:

由于

(最后一步依据我们的假设)

定义一个数N,于是有

而由前面的引理,F(0)和F(1)里的每一项都是整数(由于假设pi^2=a/b,所有的pi都和外面的b^n相乘化整了),因此N=F(0)+F(1)也是整数。

但是当x∈(0,1)时,被积函数是恒正的,并且根据前面的引理f(x)始终是小于1/n!的。于是有

我们的n是可以任取的,显然n可以足够大以使得(pi*a^n)/n!<1,此时0<N<1,这与N是整数矛盾。

方便获取更多学习、工作、生活信息请关注本站微信公众号城东书院 微信服务号城东书院 微信订阅号
推荐内容
相关内容
栏目更新
栏目热门