两个高中生发现的勾股定理新证明,现在论文来了。
而且就在刚刚,数学大神陶哲轩在看完这篇论文之后评价道:
前几年听说这个消息时候,还没有任何实质性的细节证明。
但现在,(在一些限制条件下)她们确实发现了至少五个新证明,而且跟任何已有的证明都不相同。
这两位高中生分别是Ne’Kiya Jackson和Calcea Johnson。
她们在 2022 年发现勾股定理新证明的时候,正就读于美国新奥尔良的圣玛丽学院(St. Mary’s Academy)。
勾股定理想必大家都已经非常熟悉了,包括那句耳熟能详的“勾三股四弦五”,以及它的基本公式a²+b²=c²。
虽然这个定理已经有2500 多年的历史,但毫不夸张地说,它的重要性依然贯穿于现代数学之中。
当时她们二人提出新证明时,可以说是在圈内引起了不小的轰动。因为长期以来,数学家们基本上都采用代数和几何的方法来证明这个定理。
但她们采用的却是三角学(Trigonometry,基于对角度及边长之间关系的直接推导)这个数学分支来做证明。
这是特别具有挑战性的一件事情。因为三角学在很大程度上就是基于勾股定理,大多数情况下就会导致所谓的“循环论证”(circular reasoning),即证明过程中偷用了待证的结果。
早在 1927 年,数学家 Elisha Loomis 就曾断言道:
使用三角学的规则无法完成对勾股定理的证明。
然而,就是这么一个看似“不可能”的方法,却被两位高中生给突破了。
要知道,当时跟她俩采用类似方法做过证明的,只有 2 位专业的数学家 ——Jason Zimba 和 Nuno Luzia,分别于 2009 年和 2015 年提出。
而现如今,二人正式在《美国数学月刊》公布了论文,把证明过程的细节内容都亮了出来,也得到了陶哲轩的认可。
更重要的是,这篇论文不仅详细介绍了五种全新的证明方法,她们还提出了一个系统性的方法,预计能够生成至少五种额外的新证明。
换言之,五个新证明是保底的,也可以达到十个!
其中,只有一个证明是她们在 2023 年 3 月参加学术会议时展示过的,另外九个是全新的。
那么她们二人到底是如何做到,我们继续往下看。
首先,我们来了解她们二人对三角学证明的解释。
三角学证明是使用三角函数的性质、恒等式和基本定理来证明几何或代数命题的方法。
它通常利用三角函数(如正弦、余弦、正切等)之间的关系,结合已知的三角恒等式和公式来得出结论。
实际上,正弦和余弦的三角比率是为一个锐角 α 定义的,通过创建一个直角三角形 ABC,其中 α 是两个锐角之一,然后比较三条边中的两条的长度:
sinα 定义为对边 BC 与斜边 AB 的比值,cosα 是邻边 AC 与斜边的比值。
但是,通过测量直角三角形来定义正弦或余弦只对锐角有效,所有其他角度需要一个完全不同的方法。
对于这些角度,她们使用单位圆:
从点 (1, 0) 开始,向逆时针方向(对于负角是顺时针方向)沿着圆移动,直到达到所需的中心角 α,最终到达点 (x, y)。然后我们定义 cosα = x 和 sinα = y。
对于一个锐角,这两种方法给出的正弦或余弦函数值是相同的,如图 1 所示:
但只有第一种方法可以合理地被称为三角学的,第二种方法可能被称为圆的(cyclotopic)会更恰当一些,如图 2 所示:
实际上,这两种方法之间的区别意味着,通过余弦定理(我们从 c² = a² + b² − 2abcosγ 开始,让 γ 成为一个直角)来证明勾股定理是一个圆的证明,而不是一个三角学的:
三角学不能计算一个直角的余弦值,而圆的测量告诉我们 cos (90°) = 0。
同样,使用 cos (α − β) 的公式(让 α = β 在恒等式 cos (α − β) = cosαcosβ + sinα*sinβ 中)来证明勾股定理也是圆的而不是三角学的,使用 sin (α + β) 的公式也是如此,其中 α 和 β 是互补角。
声称一个证明是三角学的也可以基于其他理由被否认。
例如,勾股定理最著名的证明之一使用了相似性 △ ABC ∼ △ ACD ∼ △ CBD,如图 3 所示:由于 a / c = x / a 和 b / c = y / b,有 c = x + y = a²/c + b²/c,从而得出 a² + b² = c²。
但这个证明可以很容易地被改写为三角学。
由于 a / c = x / a = sinα,有 x = asinα = (csinα) sinα = csin²α,同样 y = ccos²α。然后 c = x + y = c (sin²α + cos²α),从中得出 1 = sin²α + cos²α = (a / c)² + (b / c)²,因此 a² + b² = c²。
但在这里使用三角学术语并没有增加任何东西 —— 事实上,它只会使相同的方法更加复杂 —— 因此可以说这个证明使用了相似三角形,而不是三角学。
更一般地,任何证明 a² + b² = c² 的证明都可以通过将 csinα 写作 a 和 ccosα 写作 b(或者通过重新缩放边 a、b 和 c 到 sinα、cosα 和 1)来改写为“三角”证明。
首先证明 sin²α + cos²α = 1,之后反向替换 sinα = a / c 和 cosα = b / c 以显示 a² + b² = c²。
这种幻觉显示需要对一个“三角”勾股定理的证明持怀疑态度,这种证明以这种迂回的方式工作(即,首先证明恒等式 sin²α + cos²α = 1)以确保“三角学”不仅仅是使用正弦和余弦术语对边长的不必要重述。
为了确保证明勾股定理的过程不依赖于循环论证,她们二人在论文中提到了三个先决条件(preliminaries):
角度加法公式:
角度加法公式主要用于三角函数中的正弦和余弦运算。
对于锐角 α、β 和 α+β,正弦和余弦满足以下关系:
sin(α+β)=sinαcosβ+cosαsinβ
cos(α+β)=cosαcosβ−sinαsinβ
这些公式可以确保在不依赖勾股定理的情况下,能够对正弦和余弦进行直接计算,从而保持证明的严谨性和独立性。
正弦定理
正弦定理被用于分析某些三角形中边长之间的关系。
正弦定理的核心是描述了三角形各边的比例关系,当已知两个角和它们的对边时,可以确定第三边的长度。正弦定理表述如下:
这些公式用于接下来的证明中的多个步骤,特别是用于连接和计算不同边长,以便在已知特定角度的情况下得出边长关系。
等腰直角三角形的特殊情况
等腰直角三角形中,两个直角边相等,这种对称性简化了许多计算。这种特殊三角形的边长关系,直接得出边长满足勾股定理:
因此,对于等腰直角三角形,证明过程变得更加简洁,因为两边的平方和直接等于斜边的平方。
接下来,就到了关键的证明部分。
为了便于阅读和理解,这部分我们将直接放上证明的原文内容(公式着实不太好展示)。
除此之外,论文还对具体方法做了展开介绍。
二人先是提出了一个她们这项研究所要解决的基本问题,即:
我可以用给定的直角三角形 △ ABC 创造出哪些新的直角三角形?
将对新三角形的构造限制在那些角度为 △ ABC 的三个角度 α、β 和 90°(即 α+β)的整数倍之和或差的三角形上。
由此,这个问题的答案变得直接明了。
a) 如果 △ ABC 是一个等腰直角三角形(即 α=β=45°),那么所有角度为 α 和 β 的整数线性组合的三角形都是等腰直角三角形。
b) 如果在直角三角形 △ ABC 中 α<β,则存在一个直角三角形,其锐角为 2α 和 β−α。此外,对于每一对 {α,β},2α 和 β−α 是唯一能够形成直角三角形锐角的 α 和 β 的整数线性组合。
a) 由于等腰三角形 △ ABC 的三个角度都是 45° 的倍数,所以任何新三角形的所有角度(这些角度被限制为 △ ABC 的角度之和或差)仍然是 45° 的倍数,因此我们得到的三角形必定是一个等腰直角三角形。换句话说,如果我们从等腰直角三角形开始,那么无法构造出新的三角形。
b) 现在假设 α<β。如果新构造的直角三角形中的一个锐角为 mα+nβ(其中 m,n∈Z),则其补角为:
90°−(mα+nβ)=(α+β)−(mα+nβ)=(1−m)α+(1−n)β
如果整数 n 和 1−n 都不为零,那么其中一个(假设为 n)是负数,那么将 n 替换为 ∣n∣我们可以看到其中一个角度是 mα−nβ,其中 m>n>0。
但是当 α 的度数为 90n/(m+n) 时,其补角 β 的度数为 90m/(m+n),这种构造将会产生一个角度 mα−nβ=m⋅90n/(m+n)−n⋅90m/(m+n)=0。
这表明我们必须有 n=0,即其中一个锐角度数是 mα 的某个 m∈N。
如果 m=1,那么我们简单地恢复了原始三角形 △ ABC。如果 m=2,那么我们得到一个新的直角三角形,其锐角为 2α 和 β−α(注意 2α<90° 因为 α<45°)。
最后,我们看到 m≥3 是不可能的,因为如果 30°≤α<45°,则不会存在这样的三角形。
我们的引理确切地告诉我们如何寻找勾股定理的证明(对于非等腰直角三角形):从我们的原始三角形 ABC 开始,我们尽可能多地尝试创建一个新的直角三角形,其角度测量为 2α、β − α 和 90°。
例如,创建一个 2α 角度的最简单方法是结合两个 △ ABC 的副本,如图 13 所示。
这创造了等腰三角形 ABB’,其角度测量为 2α、β 和 β,所以下一步是取其中一个测量为 β 的角度,并将其转换为测量为 β − α 或 90 度的角度。
为了在顶点 B’处创建一个 90 度的角度,我们构建一个射线,使其与 BB’成 α 角度。如果我们然后延长边 AB 以在点 D 处与射线相交,我们就得到了我们第一个证明的图形(图 14)。
或者,如果我们在斜边 AB 的另一侧创建 2α 角度,并延长 BC 以在点 D 处与新射线相交,如下所示,我们得到了直接导致我们第二个证明的图形(图 15)。
而至于另外五种证明方法,感兴趣的读者可以点击文末链接查看详情哦。
但除了这次勾股定理的新证明之外,Ne’Kiya Jackson 和 Calcea Johnson 背后的故事也是值得聊一聊。
在这篇论文的致谢部分中,她们也对此做了讲述。
事情的起因是二人当年参加的一场高中数学竞赛,其中就有一道加分题:
创建一种新的勾股定理证明方法,奖励 500 美元。
于是,她们决定各自挑战这道题目。
然而,这项任务比她们最初预想的要困难得多,二人花费了无数个不眠之夜,反复尝试并失败。经过大约一个月的努力,她们分别完成了自己的证明并提交了作业。
并且她们的数学老师 Rich 认为证明的方法足够新颖,值得在数学会议上展示。
尽管她们对自己的工作并没有太大的信心,但还是决定尝试一下。
接下来的两三个月中,二人把所有空闲时间都投入到完善和打磨她们的工作中。她们既独立工作也共同合作,不仅在放学后,甚至周末和假期都在继续努力。
在此过程中,在 Rich 的指导下,她们创造了更多的证明方法。
尽管她们不确定是否有机会在会议上展示,因为通常只有专业数学家或偶尔的大学生能够在这样的会议上发言,但她们的高中作品最终还是受到了重视,并被批准在 2023 年 3 月的美国数学学会东南分会会议上展示。
Ne’Kiya 和 Calcea 是会议中最年轻的与会者和演讲者,虽然她们感到非常紧张,但想到这是她们所有努力的结晶,也让她们有了信心去展示。
她们的演讲获得了成功,随后也受到了美国数学学会的鼓励,将其研究成果提交给学术期刊。
这对二人来说是最艰巨的任务,因为她们对撰写学术论文毫无经验。
当时,她们还在适应大学生活的各种挑战,比如学习 LaTeX 代码、完成小组的 5 页论文、提交实验数据分析等。
但在导师们的指导下,再加上大量的个人努力,她们最终完成了论文的撰写。
现在回头看这个过程,Ne’Kiya 和 Calcea 在论文中这样写到:
到达这一步对我们来说并不容易,也不是一条直线前进的道路。
我们没有任何现成的路线图,也不确定工作是否会得到认可。很多次我们都想放弃,但最终,还是决定坚持到底,完成已经开始的事情。
而对于这篇论文,陶哲轩也发表了自己的想法:
这篇论文提醒了我们,即使是数学中最古老和最成熟的基础结果,有时也可以从一个全新的角度重新审视。
除此之外,目前也有不少的数学家已经加入到了讨论中:
完整论文放下面了,感兴趣的小伙伴可以阅读哦~
论文地址:https://www.tandfonline.com/doi/full/10.1080/00029890.2024.2370240#d1e4959
参考链接:
[1]https://mathstodon.xyz/@tao/113391326199704210
[2]https://www.sciencedaily.com/releases/2024/10/241028132143.htm
本文来自微信公众号:量子位(ID:QbitAI),作者:金磊,原标题《陶哲轩推荐:2 高中生发现勾股定理新证明,论文已发 <美国数学月刊>》
广告声明:文内含有的对外跳转链接(包括不限于超链接、二维码、口令等形式),用于传递更多信息,节省甄选时间,结果仅供参考,IT之家所有文章均包含本声明。