网易首页 > 网易号 > 正文 申请入驻

世界上最短的数学论文系列——尼文关于π无理性的证明,极为巧妙

0
分享至

无理数很有趣,小数点后的数字永不循环地延续下去,但整个数字总是小于一个固定值,这就有点难搞了?没有错,我所说的就是π。在这里,我们将讨论一个半页纸的证明,证明这个数字π的无理性。

  • 伊万-尼文(Ivan Niven)

人类文明知道π以及它与圆的周长和面积的关系已经有几千年了,可以追溯到古代巴比伦人,当时最后的猛犸象已经灭绝了。然而,尽管π的估值从3到3.12再到3.14等等,但π的无理性本质直到1760年才被瑞士学者约翰·海因里希·兰伯特发现并证明,后来又被其他著名数学家如埃尔米特、卡特莱特、布尔巴基和拉茨科维奇证明。

这些证明中,伊万·尼文的证明用简单易懂的数学工具及矛盾方法,将其压缩在半页纸里。让我们来看看。

首先假设π是一个有理数,可以表示为π=a/b,其中a&b是整数,b≠0。让我们考虑一个函数:

我们可以改变n,从1到任意数n的数,来创建一个多项式F(x):

现在,回到f(x),很明显,当n!与f(x)相乘时,分母是1,因此对于任何x,f(x)值都是一个整数。所以:

现在,如果你考虑右手边,(a -bx)^n中x的最小幂是0,即a^n,当它与x^n相乘时,结果中x的最小幂是n,最大是n+n=2n。

如果对f(x)进行微分,当x=0或(a-bx)=0=>x=a/b=π(如前所述)时,结果总是0,因为分子中的所有项都有x。现在,让我们对{F'(x)sin x - F(x)cos x}对x进行微分:

经过一点点简化,我们得到了一个结果:

我们知道,积分是微分的逆运算,反之亦然。因此,如果我们对f(x)sin x进行积分,也就是对{F'(x)sin x - F(x)cos x}进行微分后得到的结果,得到{F ' (x) sin x - F(x) cos x} 在0到π的范围内的积分:

这里π = a/b。就像我们之前说过的,F(π) + F(0)是一个整数,当F(x)微分任意次数时,我们得到的结果是x = a/b = π和x = 0。

但由于f(x)是一个多项式函数,对于0

所以积分是正的,但实际上对于一个非常大的n值来说是不成立的,因为常数或上界在更大的n值中趋向于0。

换句话说,本应该对任何n值都有效的积分在更大的n值时不成立。因此,有两个地方可能出了问题,要么是在积分过程中出现了错误,要么是π实际上不能写成a/b。但如果你用多种方法来验证积分过程,结果总是一样的,那么只剩下一个选择:π≠a/b,也就是π是无理的。

虽然现在有很多人记住了π后面的很多位小数,但只有少数人知道如何证明它的无理性。虽然有很多证明,但伊万-尼文的证明是最简明的。如果认为这是理所当然的,那就失去了数学所能提供的所有乐趣。

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

/阅读下一篇/

几何的力量,非周期性无可比拟的美,首次发现震惊了当时的科学家

返回网易首页 下载网易新闻客户端
相关推荐
热点推荐
一上去就是输分!掘金让他留在轮换阵容中好像并不是明智的选择?

一上去就是输分!掘金让他留在轮换阵容中好像并不是明智的选择?

稻谷与小麦
2025-04-22 23:19:49
过去都是小打小闹,真正的中美大决战,决胜于未来五年

过去都是小打小闹,真正的中美大决战,决胜于未来五年

曾经年少
2025-04-09 14:42:27
退休金两三万的老人当年是怎么缴的保费,缴了几年,谁给缴的?

退休金两三万的老人当年是怎么缴的保费,缴了几年,谁给缴的?

逍遥论经
2025-02-25 08:49:20
卢伟:引援方向重点是一号位和五号位,我们需要的外援是要为球队拼命的

卢伟:引援方向重点是一号位和五号位,我们需要的外援是要为球队拼命的

雷速体育
2025-04-22 21:00:09
“国民神药”,不好卖了?

“国民神药”,不好卖了?

中国新闻周刊
2025-04-22 12:14:30
双重保险!2大核心手握绝对优势,中国斯诺克迎来黄金时刻

双重保险!2大核心手握绝对优势,中国斯诺克迎来黄金时刻

十点体坛
2025-04-22 13:17:23
眼睛伤情闹翻?郭艾伦被广州交易?郭艾伦表态,广州队官宣

眼睛伤情闹翻?郭艾伦被广州交易?郭艾伦表态,广州队官宣

东球弟
2025-04-22 14:52:44
江苏两厅级干部被查

江苏两厅级干部被查

鲁中晨报
2025-04-22 20:00:02
汗颜!男硕士超百页PPT举报男导师引导发生性关系,事件细节曝光

汗颜!男硕士超百页PPT举报男导师引导发生性关系,事件细节曝光

火山诗话
2025-04-20 15:06:45
俄国防部第51GRAU弹药库遇袭发生爆炸,10万吨弹药灰飞烟灭

俄国防部第51GRAU弹药库遇袭发生爆炸,10万吨弹药灰飞烟灭

山河路口
2025-04-22 23:29:52
胡兵出局!瞿颖带两个继女打网球,已与男方交往9年,在泰国定居

胡兵出局!瞿颖带两个继女打网球,已与男方交往9年,在泰国定居

侃侃娱季
2025-04-21 22:34:18
两个人有这五个表现,说明“缘尽”了,就不要挣扎了

两个人有这五个表现,说明“缘尽”了,就不要挣扎了

阿珂读书
2025-04-01 09:44:38
杨幂:陪睡觉太正常了?进组几个月,大家都需要解决生理问题?

杨幂:陪睡觉太正常了?进组几个月,大家都需要解决生理问题?

草莓解说体育
2025-04-16 14:36:18
看了雍正批复年希尧的奏折原件,原来皇帝批奏折这么简单!真涨见识了!

看了雍正批复年希尧的奏折原件,原来皇帝批奏折这么简单!真涨见识了!

书画博学
2025-03-13 16:45:41
所有退休人员注意了:补发5年养老金?关键看你是否满足这3条件!

所有退休人员注意了:补发5年养老金?关键看你是否满足这3条件!

诗词中国
2025-04-22 13:00:11
大批导弹运进菲律宾,菲上将要干涉台海,美军已准备好封锁海峡?

大批导弹运进菲律宾,菲上将要干涉台海,美军已准备好封锁海峡?

东方点兵
2025-04-22 20:29:22
打了14年,伦纳德季后赛砍下3000分,同届欧文汤神巴特勒多少分?

打了14年,伦纳德季后赛砍下3000分,同届欧文汤神巴特勒多少分?

大西体育
2025-04-22 16:21:41
史无前例,80多国驻华使节突然齐聚北京!

史无前例,80多国驻华使节突然齐聚北京!

铁血论古今
2025-04-22 22:00:08
我爸和小三在一起20年后想结婚,我妈没闹,在他婚礼那天绝地反击

我爸和小三在一起20年后想结婚,我妈没闹,在他婚礼那天绝地反击

凯裕说故事
2025-04-21 16:26:22
单身老汉10年间强占村里15名留守妇女,只因掌握她们弱点

单身老汉10年间强占村里15名留守妇女,只因掌握她们弱点

苏大强专栏
2025-04-18 17:39:39
2025-04-23 05:43:00
老胡说科学 incentive-icons
老胡说科学
科学如此美妙,我想让你知道
1229文章数 33544关注度
往期回顾 全部

教育要闻

名校自主招生考题,配方法轻松解答!

头条要闻

越南总理定调与美关税谈判后 越南股市一度闪崩后反转

体育要闻

当今足坛最疯的门将,能有多离谱?

娱乐要闻

大s儿女回京!张兰气场全开汪小菲谈养老

财经要闻

宜宾银行与五粮液集团频繁关联交易

科技要闻

美团骑手亲述:京东外卖单子佣金高却难抢

汽车要闻

捷途山海T2加长版/山海L9等 捷途新车展前亮相

态度原创

亲子
教育
游戏
艺术
手机

亲子要闻

宝妈分享怎样和孩子约定玩手机,快来学习高情商妈妈如何立规矩!

教育要闻

这道简单的数学题,却难倒了无数的大学生,究竟是什么原因呢

《上古卷轴4:复刻版》公布 2006原版和复刻版画面对比

艺术要闻

故宫珍藏的墨迹《十七帖》,比拓本更精良,这才是地道的魏晋写法

手机要闻

realme UI 6.0 支持朋友圈 Live 实况照片