回覆列表
-
1 # 超級數學建模
-
2 # 普朗克斯坦
不講證偽的話。三體問題找週期性的特解計算機也是功不可沒。
三體問題週期性特解(等質量等初速度的三個球體僅在彼此引力作用下做週期性運動的特解)
拉格朗日…尤拉找出一些簡單的特解,被稱為拉格朗日-尤拉族特解。
20世紀七十年代,布魯克/赫農藉助計算機得出一些特解,布魯克-赫農族特解。
1993年,美國數學家克里斯摩爾發現一些8字形軌跡特解,8字形族特解。
2013年,兩位物理學家藉助計算機模擬,又找到13族新的特解。這些特解軌跡如鬆散的線團,非常複雜。
其實這樣的例子並不少,主要是當時提出這個猜想的時候,推翻猜想的反例卻遠遠超出人類自身的計算能力,就必須得依靠計算機的大量計算,才能判斷到時是對是錯。
我們今天先從最有名的尤拉來講起,作為中世紀著名的數學家,尤拉一生的創作極為豐富,只要不是藝術類和語言類的同學,相信都對尤拉念念不忘(有一些痛,一輩子都忘不了)。
孩子,該起來看書了。尤拉是一些產出極為豐富的數學家,他也曾提出過這麼一個猜想(尤拉猜想):
當尤拉提出這個猜想的時候,聲稱該方程沒有正整數解。
在這個猜想提出來之後,尤拉並沒有證實是否正確就已離去,而在尤拉離世後的兩百多年裡,大批數學家都嘗試去解開這道謎題,但並沒有人成功,誰也無法證明尤拉猜想是對的,同時也無法舉一個例子來證明這個是錯誤的。
即便在計算機出現後,由於算力不足,依舊沒辦法找到一個反例來證明尤拉猜想是錯的,而這似乎也讓人們更加相信尤拉猜想是正確的。
伴隨著計算算力的提升,尤拉猜想正式被證偽:
1988年,哈佛大學的Noam Elkies在一次計算中,發現了這個等式:此時,這也就正式宣傳尤拉猜想是錯誤的。但思想的堤壩有了出口,思維便一發不可收拾,在隨後的深入研究中,Noam Elkies發現該方程存在無窮多個正數解。
儘管尤拉猜想兩百多年來屹立不倒,但最終還是被推翻了,兩百多年來,各路豪強用盡腦力也無法破解的謎題,終究被計算機所打破,而這也正入Simon Singh 所著的《費馬大定理:一個困惑了世間智者358年的謎》中的那句話:“這裡的教訓是,你不能透過只對前一百萬個數字來證明一個猜想對所有的數都成立。”
其實,數學上的證偽和證實都是一個非常有趣的過程,我們不斷的用例子來證明這個猜想是對的,到後來你會發現,即便是一百萬個對的例子卻敵不過一個反例。
最後說多兩句:這也和我們的人生一樣,可能一輩子都在做好事,但某天因為某些原因做了一件小壞事,善良人設轟然倒塌,成了一個大家眼中的不良人。是非曲直苦難辯,自有日月道分明!