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

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

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.

相关推荐
热点推荐
2023年末电视剧排行榜:《繁花》跌至第二,第一收视率高达2.318%

2023年末电视剧排行榜:《繁花》跌至第二,第一收视率高达2.318%

慕容梓宜
2024-04-17 23:20:36
中国造船厂的这一幕,西方卫星越看越惊心,10艘航母指日可待

中国造船厂的这一幕,西方卫星越看越惊心,10艘航母指日可待

沈从史
2024-04-17 17:30:03
回顾和周润发相恋5年的她:63岁含泪公开孩子身份,未婚多年育有3子

回顾和周润发相恋5年的她:63岁含泪公开孩子身份,未婚多年育有3子

娱乐圈酸柠檬
2024-04-18 10:16:21
广汽埃安V电动车路边起火:烧了20多分钟整车报废!客服:正常使用不会自燃;即便自燃,大概率因为外力

广汽埃安V电动车路边起火:烧了20多分钟整车报废!客服:正常使用不会自燃;即便自燃,大概率因为外力

和讯网
2024-04-18 15:36:31
马英九参访黄埔军校,看到政治部办公室门口有合照:哪个是周恩来

马英九参访黄埔军校,看到政治部办公室门口有合照:哪个是周恩来

大佬日志
2024-04-17 08:00:07
弹药储备快要耗尽 作战部队斗志全无:数十万大军彻底陷入困境!

弹药储备快要耗尽 作战部队斗志全无:数十万大军彻底陷入困境!

聚峰军评
2024-04-18 17:18:12
广州这场暴雨,可能比娱乐圈的水还深!电闪雷鸣,再加大冰雹!

广州这场暴雨,可能比娱乐圈的水还深!电闪雷鸣,再加大冰雹!

魅力四溢娱乐
2024-04-18 14:00:04
为什么名媛去社交前要狂灌菠萝汁?

为什么名媛去社交前要狂灌菠萝汁?

beebee
2024-04-17 11:02:37
毛东东,他现在是什么军衔?

毛东东,他现在是什么军衔?

一枚小吏
2024-04-17 17:08:19
沙漠变泽国!中东多地遭遇大暴雨 迪拜一天就凑够了两年降雨量

沙漠变泽国!中东多地遭遇大暴雨 迪拜一天就凑够了两年降雨量

财联社
2024-04-17 16:26:11
陈梦零封黑马,梁靖崑小林爆冷,马龙完胜勒布伦,八强已出四席

陈梦零封黑马,梁靖崑小林爆冷,马龙完胜勒布伦,八强已出四席

撒丁岛体育
2024-04-18 15:10:14
又有A股董事长母亲“短线交易”!立案!

又有A股董事长母亲“短线交易”!立案!

中国基金报
2024-04-17 20:59:54
银行内部评分标准曝光!你是优质客户吗?

银行内部评分标准曝光!你是优质客户吗?

小宇宙双色球
2024-04-18 07:10:03
突发!部分基金内部人员纷纷“割肉”离场,你还敢买基金嘛?

突发!部分基金内部人员纷纷“割肉”离场,你还敢买基金嘛?

资本百科
2024-04-18 08:47:49
媒体越来越离谱,专家越来越敢说!人们迟早发财美帝迟早要完

媒体越来越离谱,专家越来越敢说!人们迟早发财美帝迟早要完

走读新生
2024-04-18 14:07:07
夜长梦多!赖清德就职典礼安排:40个国家代表团,四五千人出席!

夜长梦多!赖清德就职典礼安排:40个国家代表团,四五千人出席!

阿芒娱乐说
2024-04-17 21:09:21
华为P70:全新升级Pura70!4月18日,P系列上市12周年!

华为P70:全新升级Pura70!4月18日,P系列上市12周年!

王老师日常
2024-04-17 17:58:25
专家级!安切洛蒂14次带皇马参加欧冠淘汰赛,只输过2次

专家级!安切洛蒂14次带皇马参加欧冠淘汰赛,只输过2次

直播吧
2024-04-18 07:38:11
家长给孩子取名“万事如意”?医院回应:属实

家长给孩子取名“万事如意”?医院回应:属实

鲁中晨报
2024-04-18 10:08:09
连丢三局,樊振东输了,2比4无缘WTT仁川决赛!决赛梁靖崑VS雨果

连丢三局,樊振东输了,2比4无缘WTT仁川决赛!决赛梁靖崑VS雨果

开成运动会
2024-03-30 21:29:24
2024-04-18 18:08:49
老胡说科学
老胡说科学
科学如此美妙,我想让你知道
1215文章数 33526关注度
往期回顾 全部

教育要闻

什么才是真正的努力

头条要闻

阿斯麦CEO:没理由不为已售给中国客户的设备提供服务

头条要闻

阿斯麦CEO:没理由不为已售给中国客户的设备提供服务

体育要闻

感谢季后赛,让我们看到杨瀚森的真实水平

娱乐要闻

《酱园弄》官宣!赵丽颖等配角上热搜

财经要闻

一夜回到九年前,万科急了

科技要闻

售罄毫无悬念!华为Pura70来了,最贵10999

汽车要闻

元UP中配130kW动力!比亚迪这次不抠门

态度原创

手机
艺术
教育
公开课
军事航空

手机要闻

华为Pura 70发布之前,鸿蒙原生应用又有了大动作

艺术要闻

艺术名画|波兰当代艺术家威廉·萨斯纳尔的绘画作品

教育要闻

让人羡慕,二本女孩考研上岸双一流高校,还是王牌专业,本人发声

公开课

睡前进食会让你发胖吗?

军事要闻

中方支持巴勒斯坦成为联合国正式成员国

无障碍浏览 进入关怀版