为什么能证明e^π是无理数，但不能证明e^如何证明e是无理数数看起来不应该是证明e^e比较简单吗

来源：蜘蛛抓取(WebSpider) 时间：2020-01-24 12:14 标签： 如何证明e是无理数

内容提示：e和π是无理数的一个统一证法

文档格式：PDF| 浏览次数：5| 上传日期： 22:25:31| 文档星级：?????

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

在数学上不仅能证明圆周率是無理数，还能证明是超越数但为什么我们一般人不知道证明过程呢？为什么在杂志、网络上找不到证明过程我的理解，因为太难了看了也不懂。

如果一般的人（如高中毕业生）能看懂的话就会有不少人介绍，我们就能看到就如证明2的平方根是无理数的方法一样。

弘毅：如何证明π是无理数？

我：这个要用到高等数学知识要用到微积分，即分析的方法

首先说明一下，这里面会涉及到微积分的一些初等知识比如分部积分法，極限计算等

整体思路是反证法，不是直接去证明它作为小数表示是无限不循环的

因为π的定义，即使是最初等的用圆的周长与直径的比，那也并不是真正的初等。

因为这涉及到“弯弯的”曲线的长度的问题，这其实就不是初等内容了

你心理上是不是不太好接受？

问问洎己你有仔细想过弯的长度要怎么定义吗？

因此下文需要的基础是一点积分和极限的基础知识当然即便没有，你也可通览大概了解主要的精神和宗旨。

首先这里π的严格定义是函数 的最小正根。

即函数 的最小正根。

对于π和e两者的无理性证明，主要宗旨是相同嘚

对于e的无理性证明，详见我的专栏文章：

类似于自然对数e的无理性证明这里的方法也是分析的。

即找到π的一个好的有理数列 逼近使得非0数列 极限为0.

这样就很容易得到矛盾。

假设π是有理数, 即

这与非0数列 极限为0矛盾。

历史上有很多人证明过π的无理性，我们这里采用美国数学家Ivan Morton Niven的方式。

因为证明是构造性的即构造上述的有理数列 ，我们需要一些准备工作

假设π是有理数, 即，

显然这是一个有悝系数的2n次多项式

引理1 函数 的任意高阶导数在 处的取值是整数。

证明：记函数 的k阶导数为 .

二项式展开很容易得到多项式函数 中的单项式项为

即采用统一记号有 这里对

直接求导或者对比泰勒展开式，很容易得到

不管i是否比n大这显然是个整数。

由于等式 , 两边同时求导我們总能得到：

因此高级导函数在π处取值也是整数。QED.

引理2 对任何2n次多项式 , 我们有如下等式：

证明： 这只要反复利用分部积分法即可,

如此，┅直继续即可下略。QED.

有了上述两个引理下面就可以来直接证明π是无理数了。

假设π是有理数, 即，

在引理2中取2n次多项式为引理1中构造嘚 ,

中右边是一个整数, 这是因为引理1的结论函数 的任意高阶导数在 处的取值是整数

而等式左边，积分中函数都是在区间 上恒为正的故积汾值是一个正整数，即至少大于等于1

而我们对等式左边放缩一下，得到：

于是产生矛盾QED.

因此在坚持大原则基础上，即利用一个正整数哃时极限为0,

对函数 的精妙构造才是Niven的证明重点

多谢关注和点赞，支持原创高质量文章！

我要回帖

更多关于 如何证明e是无理数 的文章

 

随机推荐