怎么用正切函数连分数展开式证明圆周率是无理数? 第1页
1
liu-mao-xing-46 网友的相关建议:
这是瑞士数学家约翰·海因里希·兰伯特(Johann Heinrich Lambert)最早做出的证明，也是人类第一次证明圆周率是无理数。https://www.britannica.com/biography/Johann-Heinrich-Lambert
这个证明过程用高中数学足够理解。
在正切函数的无限连分数形式下
我们假设
那么
将分子分母同乘以b
在这个连分数下，分子都是 ，而分母是不断增大的
那么总会有一个 使得 从而 且
设
则
且如果A是无理数，那整个 也就是无理数。
现在我们假设A是有理数，那么
同时
有
两边取倒数，再整理可得
因为 那么设
而同样的 ，所以
以此类推，可以得到一个无限递减的正整数序列
而 是有限大的整数，这样的序列不可能存在，所以A不可能是有理数。
所以 是一个无理数。即有理数的正切值肯定是一个无理数。
最后
如果π是有理数，那么 也是有理数，那么 是一个无理数。
但 ，1 是有理数，矛盾。
所以，π是一个无理数。
1
相关话题
为什么傅里叶变换可以把时域信号变为频域信号？如何看待张益唐聘任山东大学威海校区数学与统计学院院长？
《JoJo的奇妙冒险 2》中大结局里卡兹被岩浆喷上外太空是否科学？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
数学重要的是记忆力、推理力，还是理解能力？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
印刷体的数学符号在手写的时候有哪些规范？
退休后的数学家或物理学家通常怎么打发生活？
根据这个四元四次方程组，计算 λ1 × λ2 × λ3 × λ4 的值。有什么简单方法？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
下一个讨论
请问这个式子有没有简便算法（写法）？
相关的话题
如何用初等数学证明2的a次方（a大于零）大于1？最优控制(optimal control)与最优化(optimization)有什么区别？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
C#为何属性和取值相同的dynamic对象的GetHashCode()相同，直接比较两者却又不同？？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
如何构造一个数学例子来证明零知识证明可行？
经济类问题可以用逻辑来解释吗？
你的科研之路是怎样的？
将一部分复变函数、傅里叶变换加入高考数学，一部分哈密顿力学拉格朗日变分法加入高考物理，大家是否赞同？
初等函数之上有无定义「高等函数」？
如何看待两名数学家在家隔离期间，成功破解 109 年前的数学证明难题？具有怎样的价值？
怎么样才能学德好数学？
如何看待一农民号称「推导出了世界上第一个悬链线计算公式」？
说数学是「自洽」的是什么意思？
工程数学四阶行列式有什么技巧算法吗？
现代数学和理论物理已经发展到怎样一个令人震惊的水平了？
为什么数学里非要写「当且仅当」，而不是「仅当」？
卓里奇的《数学分析》怎么样？
能说说你们心目中的数学大咖（数学家 or 教授都行），并且能介绍几个有关他（她）们与数学的故事吗？
数学上是否存在这样的情况，给定条件已经能确定结果的唯一性，但就是求不出来！据说椭圆周长就是。？
为什么会有数学家反对对无穷集合使用排中律？
如果你来讲《高等代数》课程，你会如何设计？
实变泛函都是很容易的课，为何说「实变函数学十遍，泛函分析心犯寒」？
有什么学习数学的好网站？
能分享一道如果“注意不到”就出不来的数学题吗？
数列1，2，9，44，265有名字吗？
在一个球内任取n个点，则这n个点落在同一个半球内的概率是多少？
QQ 群为什么叫 QQ 群，而不叫 QQ 环，QQ 域或者 QQ 格？
为什么很多中国人认为刻苦钻研数学的人会成为科学家而刻苦钻研哲学的人则会发疯？
五岁的孩子学习五以内加减算不算早呢，孩子就是不开窍怎么办？