用反证法,假设
构造函数
设展开后变为
容易发现在处的阶导数为.
而的阶导数为
考察积分
反复运用分部积分法,可得
另一方面,当,有
当充分大时,必有,即,那么不是整数,与先前它是整数的结论矛盾.所以不是有理数,是无理数.
同样也用反证法,假设
根据泰勒展开,知道
将等式两边乘以,得到
而
显然是整数,记
当足够大时,必有,即,不是整数,与上面推出的矛盾.所以不是有理数,是无理数.