怎么用正切函数连分数展开式证明圆周率是无理数? 第1页
1
liu-mao-xing-46 网友的相关建议:
这是瑞士数学家约翰·海因里希·兰伯特(Johann Heinrich Lambert)最早做出的证明，也是人类第一次证明圆周率是无理数。https://www.britannica.com/biography/Johann-Heinrich-Lambert
这个证明过程用高中数学足够理解。
在正切函数的无限连分数形式下
我们假设
那么
将分子分母同乘以b
在这个连分数下，分子都是 ，而分母是不断增大的
那么总会有一个 使得 从而 且
设
则
且如果A是无理数，那整个 也就是无理数。
现在我们假设A是有理数，那么
同时
有
两边取倒数，再整理可得
因为 那么设
而同样的 ，所以
以此类推，可以得到一个无限递减的正整数序列
而 是有限大的整数，这样的序列不可能存在，所以A不可能是有理数。
所以 是一个无理数。即有理数的正切值肯定是一个无理数。
最后
如果π是有理数，那么 也是有理数，那么 是一个无理数。
但 ，1 是有理数，矛盾。
所以，π是一个无理数。
1
相关话题
如何评价网传数学家丘成桐批评清华大学在2020年大学生数学竞赛中惨败？圆周率 π 是否隐藏了本个宇宙的设计者留给这个宇宙的智慧文明的某种信息？
如何证明圆上若干点构成的多边形最大面积在正多边形时取到？
分家产的数学问题，17头牛老大1/2，老二1/3，老三1/9，是什么数学原理?
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
一个月内学好复变函数可行吗？
阅遍所有数学的重要领域的结果是否有可能？
数列收敛的 ε-N 定义怎么理解？其作用是什么？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
有多少个数学家叫 Kolmogorov ?
下一个讨论
请问这个式子有没有简便算法（写法）？
相关的话题
数学这门学科有多有趣？什么是泊松过程？
X趋向于0的sinX除以X极限为什么等于1啊？
如何比较 cos 38° 和 tan 38° 的大小？
怎么求lnsinx在0到pi/2的积分啊？
这个题怎么解，22题第二问有一步看不懂，红色笔圈？
该怎么用数学来个别开生面的表白呢？
2，1/2，3，1/3...n，1/n这样一个整式分式交替的数列是否有通项公式（不用分段式）?
为什么数学上证明必然正难则反易——补集思想，原理出处？
有类似二十面骰子这种可以随时拿在手里玩的精致小玩意儿吗？
如何用十分中二的方式解数学题？
这个数列怎么求和，求数学大神？
如何理解数学证明中的容易验证？
如何评价数海钓鱼将钓鱼题广泛传播的行为?
世界上大约有多少人可以完全看懂并理解怀尔斯对于费马大定理的证明？
椭圆的一般方程 Ax²+Bxy+Cy²+Dx+Ey+F=0，其中心点坐标如何推导？
二维空间的封闭是圆，三维空间的封闭是球，四维空间的封闭是什么？
请问为什么在数学上，任何问题通过迥然不同的方法求解，最后都一定会得到相同的答案?
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
你认为数学的基本思想方法是什么?
能用高等数学手段研究人文社科问题吗？
如何证明此不等式呢？
高中生物中讲存在单层和双层膜细胞器，那么单双层膜怎么区分？理论依据（数学和生物学的依据最好）有哪些？
自增运算这道题怎么解？
这道题如何用柯西审敛准则证明收敛?
麻生公开课教材问题如果a, b是两个相等的实数，那么a=0.是否正确？
设H包含n个非零复数，关于复数乘法组成n阶群，证明H＝{n个n次单位根}，怎么证明呢，谢谢大家了？
1和0.999...是两个不同的数字，在数学上却是相等的，是不是有悖论？
如何看待学生所认为的「数学是门没用的学科！」？
关于这个函数项级数，有没有一些研究成果？