今天小編分享的科學經驗：3名高中生重新證明百年數學定理！只用課餘時間、方法非常創新，歡迎閱讀。
3 名高中生，只用課餘時間，重新證明了 100 年前的數學定理。
不只是圓，你可以在門格海綿（Menger Sponge）中找到任何一個數學結（knot）！
你可能對門格海綿還比較陌生，它是 Karl Menger（卡爾 · 門格爾）在 1926 年創建的一個非常有趣的概念，對現代數學、圖形學等領網域都很重要。
這個分形海綿在一百年間吸引了無數專業和業餘數學家，原因也很簡單：它看起來太有趣了。
2014 年，數百名數學愛好者還參與了一個名為 MegaMenger 的全球行動，用名片制作出了重達 200 磅的新版本門格海綿。
由于它有多孔、泡沫狀的結構，還經常被用來模拟減震器和特殊的空間 - 時間形式。
它的結構非常優雅。我們可以從一個立方體出發，首先移除位于其中心以及六個面中心的立方體。然後對剩下的 20 個立方體重復此過程。
在每次迭代中，它的間隙會呈指數級增加，最終結構非常類似我們常見的 " 海綿 "，這也是它名字的由來。
門格海綿也有着非常特别的數學性質：随着迭代，立方體的形狀體積會減少到零，而表面積無限增大。
Menger 在 1926 年提出這個概念時，就證明了任何能想象出來的曲線——簡單的線條和圓形，看起來像樹或雪花的結構——都可以變形然後嵌入海綿的某個地方，也就是說這種海綿是一種 "通用曲線"。
而今天的主角，來自加拿大的 3 名高中生，跟随當時還在就讀多倫多大學研究生的 Malors Espinosa ( 馬洛斯 · 埃斯皮諾薩 ) ，進一步擴展了這個定理的證明。
而且他們還發現，三葉結所屬類 "普雷策爾結（pretzel knot）" 也都可以映射到四面體版本的門格海綿中。
北卡羅來納州立大學的拓撲學家 Radmila Sazdanovic 也評論說，" 這是一種非常巧妙的證明方法。"
這到底是怎麼做到的呢？
用弧形圖與康托爾集表示結
Malors 在閱讀了相關證明後意識到，Menger 已經證明可以在他的海綿中找到任意一個圓。
那麼，如果是另外一種類似于 " 圓 "的形狀，這個定理還能成立嗎？
比如一個經典的數學結：将一條繩子扭曲并打結，然後将其兩端封閉形成一個環。此時，如果讓一只螞蟻沿着它行走，最終它會回到起點，就像在圓上一樣。
這樣一來，每個結都與圓等價，或者說 " 同胚（homeomorphic）" 于圓。
Malors 從這個想法中得到了靈感，他決定從自己授課的高中裡找一些學生來證明：門格海綿中可以找到任何一個結。
後來，三名高中生—— Joshua Broden、Noah Nazareth 和 Niko Voth 真的做到了！
在參加這個證明活動之前，三位學生從來沒有做過這種 " 沒有答案 " 的題目，但這群 14 歲的少年都非常激動。
他們的目标類似于用一根微型針穿過一團灰塵，也就是海綿經過多次移除後剩下的部分。
他們必須将針插在正确的位置，精确無誤地打結，而且不能離開海綿。如果他們的線因為任何一個結而漂浮在海綿的縫隙中，那就失敗了。
雖然這看起來非常困難，但有一種簡化的方法。繩結可以表示為一張平面上的特殊圖表，稱為弧表示（arc presentations）。
要繪制弧表示圖，首先要了解結的各股是如何前後移動的。然後，運用一套規則将這些信息轉化為網格上的一系列點。網格的每一行和每一列都将包含兩個點。
用水平和垂直線連接這些點。每當兩個線段交叉時，将垂直線畫在水平線之上。
每個結都可以用這種網格狀的方式表示。雖然弧表示法有時看起來比其他的繪制方法更復雜，但它可以讓數學家更容易研究結的一些重要性質。
當學生們看到縱橫交錯的線條圖時，他們聯想起了門格海綿的面。
你可以非常簡單地把弧線的水平線放在海綿的一個面上，把垂直線放在海綿的另一個面上。
難點在于如何将結拉伸回三維空間。在弧線的每一個轉角處，都需要通過海綿的内部将兩個面連接起來，避免碰到洞。
為了确保這一點，他們想到了康托爾集（the Cantor set），它是門格海綿的一維模拟。
要構建這個集合，首先要從一條線段開始，把它抽成三份。去掉中間的三分之一，然後對剩下的兩段做同樣的處理，以此類推，無窮無盡。最後剩下的就是零散的點了。
研究小組的證明同時利用了門格海綿和康托爾集，它們有相同數量的移除步驟。
他們發現，海綿面上坐标都在康托爾集中的點不應該有洞。而且，由于海綿的重復設計，在這些點的正後方也不應該有洞。因此，結可以自由、清晰地穿過海綿，而不會不小心跳出海綿的材料。
接下來，學生們要做的就是證明他們可以壓縮或拉伸任意繩結的弧線表示，使其所有角都與康托爾集中的坐标對齊。 ( 這種壓縮和拉伸是可行的，因為它不會影響弧線的整體結構，因此也不會影響它所代表的繩結）。
為了完成這最後一步，3 位同學走了一條捷徑。
他們證明，他們可以對任何弧線進行變形，使其垂直線段和水平線段的交叉點都在康托爾集中。這就自動保證了更多的角也會與康托爾集對齊。
換句話說，他們總能将給定的結嵌入門格爾海綿的某個迭代中。
這就已經完成了 Malors 最初的證明。不過，他們還想進一步推進這個研究：是否所有的結也可以嵌入門格海綿的四面體版本中？
對于學生們的想要在四面體中尋找三葉結的想法，Malors 起初堅信是不可能的。
但幾周後，學生們真的做到了：他們找到了一種新方法，可以将三葉結的弧表示映射到四面體中。
他們後來證明，這種方法适用于三葉結所屬的更廣泛的結類 "普雷策爾結（pretzel knot）"。
不過目前對于其他類型的結的證明還沒能完成。
One More Thing
Malors 表示，這次證明過程，讓學生們真正體會到了數學研究的痛苦。
不同于高中數學題目中總是會給出确定的答案，真正的數學研究中，很大一部分時間都是在有希望的失敗中掙扎。
Malors 認為學生們的證明方法可能為更廣泛地測量分形的復雜性提供了一種新思路。
并非所有的分形都能保證容納所有類型的結。也許可以根據它們能容納和不能容納哪些類型的結來更好地理解它們的結構。
至少，這件作品可以激發新的藝術靈感，類似于 2014 年的 MegaMenger 大賽等等。
在證明期間，3 位同學都已高中畢業。只有 Broden 決定在大學課業不忙的時候繼續研究四面體問題，但三人也都在考慮從事數學職業。
另一個同學 Nazareth 也表示：" 我正在努力為更大的事業，為真理的本質做出貢獻，這感覺很有意義。
參考鏈接：https://www.quantamagazine.org/teen-mathematicians-tie-knots-through-a-mind-blowing-fractal-20241126/
— 完 —
「MEET2025 智能未來大會」
火熱報名中
定檔 12 月 11 日！李開復博士、周志華教授、智源研究院王仲遠院長都來量子位MEET2025 智能未來大會探讨行業破局之道了！
最新嘉賓陣容在此，觀眾報名通道已開啟！歡迎來到 MEET 智能未來大會，期待與您一起預見智能科技新未來
左右滑動查看最新嘉賓陣容
點這裡關注我，記得标星哦～
一鍵三連「點贊」、「分享」和「在看」
科技前沿進展日日相見 ~
>
