勾股定理还能这样证明？高中生一连发现10种证明方法，陶哲轩点赞

科技 2024-11-26 23:25 福建

本文经机器之心（微信公众号：almosthuman2014）授权转载，禁止二次转载
编辑：Panda、泽南

论文已上期刊，数学家表示赞叹。

几千年过去了，勾股定理还能有新发现？而且还是被两个高中生发现的？

这个人人都会的初中二年级数学知识，在学术领域居然有了新发展。本周二，UCLA 数学终身教授、菲尔兹奖得主陶哲轩在社交网络上的一番点赞引起了人们的兴趣。

陶哲轩表示，这是一篇有趣的论文，在简单探讨了两种证明是否算是同一种证明的话题之后，他提醒我们：即使是最古老和最完善的数学基础知识，有时也可以从新的角度重新审视。

在中国，周朝时期的商高提出了勾股定理的一个特例：「勾三股四弦五」。在西方，最早提出并证明此定理的为公元前六世纪古希腊的毕达哥拉斯学派，他们用演绎法证明了直角三角形斜边平方等于两直角边平方之和。所以该定理也被称为「毕达哥拉斯定理」。

勾股定理是人类早期发现并证明的重要数学定理之一，至今已成为数学定理中证明方法最多的定理之一 —— 从微分证明到面积证明，有超过 400 种证明方法。

两位高中生一口气发现了十种新方法，她们是如何证明的呢？

数学家赞叹：全新思路

故事要从 2022 年讲起，那年美国高中生 Ne’Kiya Jackson 和 Calcea Johnson 在回答数学竞赛的一道加分题时，发现了一种证明几千年历史勾股定理的新方法，令老师们赞叹不已。这仅仅是个开始。

她们写道：「在 500 美元奖金的激励下，我们决定独立承担这项任务。事实证明，这比我们最初想象的要难得多。为了得出一个证明，我们每个人都花了很多个漫长的夜晚，但都失败了。经过大约一个月的脑力劳动，我们每个人都完成并提交了我们的工作。我们高中的数学志愿老师 Rich 先生认为我们的证明足够新颖，可以在数学会议上发表。我们当时对自己的工作都没有那么自信，但我们还是决定继续下去。」

在接下来的两到三个月里，她们把所有的空闲时间都花在完善这些证明上。最终，她们获得了成功。

她们所在的学校，新奥尔良圣玛丽学院的一名志愿者鼓励她们将这个成果提交给专业会议。到 2023 年 3 月，他们成为在亚特兰大举行的美国数学学会东南分会会议上发言的最年轻的人。

她们表示：「令我们惊讶的是，我们的高中作业得到了认真对待，我们获准在 2023 年 3 月的美国数学学会东南分会会议上发言。作为会上最年轻的人和最年轻的演讲者，我们很害怕，但我们知道这是我们之前所有努力的结晶，这给了我们发言的信心。」

如今，去年开始上大学的 Jackson 和 Johnson 又取得了另一项成就：它们已经完成了一篇详细介绍该方法证明的学术论文，新工作于周一发表在科学期刊《美国数学月刊》上。

论文标题：Five or Ten New Proofs of the Pythagorean Theorem
论文链接：https://www.tandfonline.com/doi/full/10.1080/00029890.2024.2370240#abstract

Calcea Johnson 目前在路易斯安那州立大学读环境工程专业，Ne’Kiya Jackson 正在路易斯安那泽维尔大学攻读药学博士学位。

与多年来历代数学家使用代数、几何方式解释勾股定理的方式不同，Johnson 和 Jackson 使用三角学来证明它 —— 一个专注于三角形研究的数学分支。

专家认为 Johnson 和 Jackson 的方法极其具有挑战性，因为三角学作为一个领域本质上是基于勾股定理（毕达哥拉斯定理）的。那么使用三角函数来证明该定理通常需要数学家所说的「循环论证」。然而根据新的研究，证明并不是循环的。

「我们在证明中使用的定理…… 都没有假设毕达哥拉斯定理是正确的，」作者在论文中写道。

英国布里斯托大学数学学院名誉教授 Tom Murdoch 称这项研究令人印象深刻，「我认为这项研究的有趣之处在于，很多人认为这是不可能的。」

三角函数基于正弦和余弦，它们表示为直角三角形某些长度的比率。很容易陷入循环论证，而这项研究的吸引力在于，他们找到了一条使用正弦和余弦的论证路线，同时并不假设毕达哥拉斯定理是正确的。

Johnson 和 Jackson 在研究中概述了使用三角学证明该定理的五种新方法，他们的方法揭示了另外五种证明，总共十种。两人在 2023 年的会议上只展示了其中一种证明，在新论文中，还有九种是全新的。这里我们重点来看看她们给出的五种证明以及她们发现这些证明方式的思路，更多详情可访问原论文。

勾股定理的五种证明

由于前面已经证明了等腰直角三角形的勾股定理，因此在下面五个证明的前四个中，会假设 ABC 是一个非等腰直角三角形，其中 𝑎<𝑏，也就等价于 𝛼<45°<𝛽。根据 [引用 1] 的严格要求，下面每个证明都将从直角三角形的图形开始。

第一种证明

在第一个证明中，他们首先是沿 △𝐴𝐵𝐶 的 AC 边进行翻折，得到一个等腰三角形 𝐴𝐵𝐵′。

现在，如图 8 所示，基于 𝐴𝐵𝐵′ 构建一个直角三角形 𝐴𝐵′𝐷，其中直角在 𝐵′ 处。然后在 △𝐵′𝐵𝐷 中填充逐步变小的 △𝐴𝐵𝐶 的相似三角形。

图 8

由于 𝐵𝐵′ 的长度为 2a，并且是 △𝐵′𝐸𝐵 的较长直角边，因此边的比值 a : b : c 表明较短直角边 BE 的长度为但 BE 是 △𝐵𝐹𝐸 的较长直角边，因此 △𝐵𝐹𝐸 的斜边 BF 的长度为

根据构造，每个三角形的较短直角边也是下一个三角形的较长直角边，这意味着连续三角形的比率为 𝑎/𝑏；但间隔一个三角形的比率为 𝑎²/𝑏²，因此

因此，直角三角形 𝐴𝐵′𝐷 的斜边 AD 的长度为

在 △𝐴𝐵′𝐷 中，有 cos (2𝛼)=𝐴𝐵′/𝐴𝐷=𝑐/𝐴𝐷，因此 𝐴𝐷=𝑐/cos (2𝑎)。

将 AD 的两个等式合并到一起，可得：

请注意，其中一步使用了众所周知的收敛级数求和公式：

第二种证明

给定直角三角形 ABC，如下图所示，沿边 BC 找到一个点 D，使得 ∠𝐵𝐴𝐷=𝛼。这样一来，∠𝐴𝐷𝐶=90−2𝛼=𝛽−𝛼。

图 9

我们首先将正弦定理应用于 △𝐴𝐶𝐷：

由此得出

接下来，对 △𝐴𝐵𝐷 使用正弦定理：

比较 BD 的两个值，可得，化简可得 𝑎²+𝑏²=𝑐²。

第三种证明

首先，在 AC 边上找到一个点 D，使得 ∠𝐶𝐵𝐷=𝛽−𝛼，因此 ∠𝐴𝐵𝐷=𝛽−(𝛽−𝛼)=𝛼 且 ∠𝐵𝐷𝐶=90−(𝛽−𝛼)=2𝛼。如图 10 所示。

图 10

根据定义， sin (2𝛼)=𝐵𝐶/𝐵𝐷，因此

那么，

于是可得：

但由于 △𝐴𝐵𝐷 是等腰三角形，有 𝐴𝐷=𝐵𝐷，因此，消去 2b 后可得 𝑎²+𝑏²=𝑐²。

第四种证明

首先，如图 11 所示，画出斜边 AB 的垂直平分线 DE（使得 △𝐴𝐸𝐷∼△𝐴𝐵𝐶），然后构造矩形 AOBC 并画出它的对角线。

图 11

根据反射对称性，∠𝐵𝐶𝐷=∠𝐶𝐵𝐷=𝛽，然后 ∠𝐷𝐶𝐸=90−𝛽=𝛼 且 ∠𝐵𝐷𝐶=180−(𝛽+𝛽)=2𝛼。还有∠𝐶𝐷𝐸=90−2𝛼=𝛽−𝛼。

由于 𝐴𝐷=𝐵𝐷，有𝐴𝐷=𝐵𝐷=𝑐/2，而 △𝐴𝐸𝐷 的边之比 a：b：c 表明𝐷𝐸=𝐴𝐷(𝑎/𝑏)=𝑎𝑐/2𝑏 且 𝐴𝐸=𝐴𝐷(𝑐/𝑏)=𝑐²/2𝑏。因此

对 △𝐶𝐷𝐸 使用正弦定理可得：

第五种证明

与前四个证明不同，第五个证明仅适用于等腰直角三角形。

给定直角三角形 ABC，且有 𝛼≤𝛽，对于任意常数 𝑘（0<𝑘<1），可以画出一条线 DE 并使得 △𝐴𝐵𝐶∼△𝐴𝐷𝐸 具有比例因子 k。然后再画一条线 DF，使得 ∠𝐸𝐷𝐹=2𝛼。然后选择一个适当的 k 值，使得 F 位于 B 和 C 之间。

图 12

如果 ∠𝛼<45，则 DF 和 EC 可以延伸至点 G 处相交，从而得到一个直角三角形 DEG，其中 ∠𝐺=𝛽−𝛼。由于 𝐷𝐸∥𝐵𝐶，则可得 ∠𝐵𝐹𝐷=∠𝐸𝐷𝐹=2𝛼，则 ∠𝐵𝐷𝐹=180−(2𝛼+𝛽)=𝛽。对 △𝐵𝐷𝐹 使用正弦定理，可得

于是，

而在 △DEG 中，有 sin (𝛽−𝛼)=𝐷𝐸/𝐷𝐺，因此

则可得

并且由于 sin (𝛽−𝛼)=𝐶𝐹/𝐹𝐺，可得

当 ∠𝛼=45 时，仍然有 𝐵𝐹=(1−𝑘)𝑐²/2𝑎 （如果 M 是 BD 的中点，则 𝐵𝑀=(1−𝑘)𝑐/2 且 𝐵𝐹=𝑐/𝑎・𝐵𝑀）并且仍然有

因此对于任何直角三角形 ABC，可知

这两位高中生是如何得到这五种证明的？

在任何创造性活动中，都有一个基本问题：「我能用已有的东西创造什么？」

对于勾股定理，这个问题就变成了：「给定直角三角形 ABC，我可以创建哪些直角三角形？」

这两位高中生对这一问题进行了解答。他们对新三角形的创建做了限制，使其角是 △𝐴𝐵𝐶 的三个角 𝛼、𝛽 和 90 (=𝛼+𝛽) 度的「整数和」和 / 或「整数差」。

引理 1

a. 如果 ABC 是等腰直角三角形（因此 𝛼=𝛽=45），那么所有角是 𝛼 和 𝛽 的整数线性组合的三角形就只有等腰直角三角形。

b. 如果直角三角形 ABC 中的 𝛼 < 𝛽，则存在一个直角三角形，其锐角为 2𝛼 和 𝛽−𝛼。此外，2𝛼 和 𝛽−𝛼 是 𝛼 和 𝛽 的唯一整数线性组合，它们将是每对 {𝛼,𝛽} 的直角三角形的锐角。

证明

a. 由于等腰三角形 ABC 的所有三个角都是 45 的倍数，因此任何新三角形（其角度限制为 △𝐴𝐵𝐶 角度的和和 / 或差）中的所有三个角仍然是 45 的倍数，因此这个三角形必须是等腰直角三角形。也就是说，如果从等腰直角三角形开始，就无法创建一个新三角形。

b. 现在假设 𝛼 < 𝛽。如果新构造的直角三角形中锐角的大小为 𝑚𝛼 + 𝑛𝛽 (𝑚,𝑛∈ℤ)，则其补角大小为 90 – (𝑚𝛼 + 𝑛𝛽) =(𝛼+𝛽)–(𝑚𝛼 + 𝑛𝛽) = (1−𝑚)𝛼 + (1−𝑛)𝛽。如果整数 n 和 1−𝑛 都非零，因此其中一个（例如 n）必定为负数，则用 ⏧𝑛⏧ 替换 n，可知其中一个角度为 𝑚𝛼 – 𝑛𝛽，其中 m > n > 0。但是当 𝛼 为 90𝑛/(𝑚+𝑛) 度时，其补角 𝛽 为 90𝑚/(𝑚+𝑛) 度，这种构造会得到一个三角形，其角度为

这是不可能的，说明必定有 𝑛=0，这样对于某个 𝑚∈ℕ，其中一个锐角为 𝑚𝛼。

如果 𝑚=1，那就会得到原始三角形 ABC。如果 𝑚=2，那会得到一个新的直角三角形，其锐角为 2𝛼 和 𝛽 – 𝛼。（请注意，由于 𝛼 <45，因此 2𝛼 < 90。）最后，可以看到 𝑚 ≥ 3 是不可能的，因为不存在 30 ≤ 𝛼 < 45 的三角形。

该引理为这两位高中生提供了证明勾股定理的思路（对于非等腰直角三角形）：从原始三角形 ABC 开始，尝试以尽可能多的方式创建一个新的直角三角形，其角度为 2𝛼、𝛽 – 𝛼 和 90 度。

举个例子，为了创建 2𝛼 角，一种明显方法是将两个 △𝐴𝐵𝐶 组合到一起，如图 13 所示。

图 13

这会得到一个等腰三角形𝐴𝐵𝐵′，其角度分别为 2𝛼、𝛽 和 𝛽；下一步是取其中的 𝛽 角，并将其转换为 𝛽 – 𝛼 或 90 度。

要在顶点 𝐵′ 处创建 90 度角，可构造一条射线，使它与 𝐵𝐵′ 形成 𝛼 角。如果将边 AB 延伸到点 D 处与该射线相交，则会获得前面第一个证明的图像。

图 14

又或者，如果在斜边 AB 的另一侧创建 2𝛼 角，并延伸 CB 以与新射线相交于点 D，如下所示，则将获得第二个证明的图形。

图 15

这种简单的方法可得到许多新证明，其中五个如上所示，还有五个（或更多）留给感兴趣的读者去发现。

有时，对于问题过于了解，会让我们陷入认为它「理所当然」的束缚。能用全新的眼光看待问题，也是一种稀缺的能力。

这些「高中水平」的内容你看懂了吗？快快拿起纸笔也来尝试一番证明吧！

参考内容：

https://mathstodon.xyz/@tao/113391326199704210

https://www.cnn.com/2024/10/29/science/teens-pythagorean-theorem-study/index.html

https://www.cbsnews.com/news/high-school-students-pythagorean-theorem-trigonometry-proof-60-minutes/

---END---

程序猿

传播编程经验，挖掘程序员优秀的学习资源。

最新文章

刚刚，网易云音乐又崩了！官方回应

人类已知最大素数诞生：2¹³⁶²⁷⁹⁸⁴¹−1！前英伟达员工数千GPU爆肝算出，高达4100万位

网友喊话雷军生产卫生巾，网友的评论笑死我了

欣赏这个公司的举个手

“我们将告别 Kubernetes！”

勾股定理还能这样证明？高中生一连发现10种证明方法，陶哲轩点赞

我抛弃了 VS Code，拥抱这个爆火的 IDE！

微软Visual C++编译器团队架构师力挺C++26，称其是C++11以来最具影响力的版本

找工作直接跟老板谈！雷军现身成都，小伙当面递上简历，网友：一个敢递一个敢接

欣赏这个公司的举个手

对自我清晰的认知

Python首次超越JavaScript，GitHub年度报告发布！

35岁草根程序员下桌，去另一个赛道写“Hello World”

Go 即将冲击 JavaScript 地位，TIOBE 11 月榜单发布！

银行老员工站工位上悬绳轻生，内部爆料：降薪逼员工辞职、放弃工龄、签外包合同

.NET 9 正式发布！

17年不更新，世界上最简陋的网站，收割了全世界的程序员

已婚程序员

很严重了，劝大家极限存钱吧，从11月开始！

微信工程师：原生鸿蒙是一套新的技术框架，编程语言是独特的ArkTS语言

陶哲轩之后，华人再获数学塞勒姆奖，还是位90后

Linux 版微信正式官宣，居然选了这个 90 年代的“过气”框架

真cv工程师

刚刚！支付宝崩了？！网友急疯！最新消息来了

别搞混了！

8天累计加班41小时，39岁男子工作期间猝死，涉事公司：属劳务派遣

Win11 大更新先让用户“集体崩溃”：蓝屏死机、鼠标光标没了，9GB 缓存还删不掉！

最强15岁初中生：用开源项目赚到了数百万、超7年开发经验的全栈工程师、出任CTO

漫画 | Linux/Unix 比 Windows 差远了！

C/C++大限将至！美国强硬要求：2026年前关键软件必须全面剔除C

Elasticsearch开源仓库404，7万多star一夜清零

酒店开房订单“订后即焚”被指“鼓励出轨”，涉事平台回应

IT工程师在工作电脑存储64G不雅视频，公司发现后将其开除；员工辩称：我存了，但没看！赔我41万

用上这几个免费的后台管理模板，接个单不就方便了

姜萍造假实锤！阿里数赛出结果。。。

漫画 | 因为用了C语言，Linux内核代码一团糟！

不同工资的男生睡觉前会想什么？

Linux内核将删除3万多行代码——其开发者因杀妻被判终身监禁

等了13年的微信功能要来了，但这个条件刷掉大批人

JetBrains 官宣两款重量级 IDE 非商用免费

猎头向奇安信董事长求饶，未经同意获取上千员工通讯录被捕

千万别去外企！

一公司被曝全员37天无休且“没有加班费和调休”，两员工当场申请辞职，当地人社局介入调查

17年不更新，世界上最简陋的网站，收割了全世界的程序员

“国企女员工离岗16年”，丈夫回应：16年前怀孕在家休养，下周一就回去上班

代码美如画，装上这些主题，VSCode 还不得原地起飞！！！

雷军不忍了！发文澄清骂人视频！抖音疯传相关视频已被大量下架，网友：再不管都有点讨厌雷总的声音了

华为发布纯血鸿蒙系统，余承东称用10年干了欧美30年的事

GitHub评估第一！这AI竟然什么都能搜？

30+年前的Windows 3.1立大功？被曝依赖“古董级”系统，美国航空急需80亿美元升级！

分类

时事

民生

政务

教育

文化

科技

财富

体娱

健康

情感

旅行

百科

职场

楼市

企业

乐活

学术

汽车

时尚

创业

美食

幽默

美体

文摘

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉