是无理数的证明

证明是无理数

用反证法,假设

构造函数

展开后变为

容易发现处的阶导数为.

阶导数为

考察积分

反复运用分部积分法,可得

另一方面,当,有

充分大时,必有,即,那么不是整数,与先前它是整数的结论矛盾.
所以不是有理数,是无理数.

证明是无理数

同样也用反证法,假设

根据泰勒展开,知道

将等式两边乘以,得到

显然是整数,记

足够大时,必有,即,不是整数,与上面推出的矛盾.所以不是有理数,是无理数.