看似簡單的數學難題困擾了人類64年!現在它被破解了
據國外媒體報導,英國一位數學家最新破解了困擾人們64年的一道數學難題:33如何用3個立方數字之和表達。
雖然這個問題看似簡單,但它是一個長期存在的數字理論難題,它至少可追溯至1955年,早在3世紀,希臘思想家就可能認真思考過這個問題,這是要解的方程:x^ 3 + y^3 + z^3 = k。
這是丟番圖方程的一個例子,丟番圖方程是以埃及古代數學家丟番圖(生卒時間約246-330年),大約1800年前丟番圖提出一串含有多個未知變量的類似方程。如果你想試選一些數字,從1至無限大的整數,作為k數值。現在的挑戰是找到x、y、z的數值,當它們的立方和等於k,x、y、z的數值可以是負數,也可以是正數,它們可以是一個長串數字,也可以是一個小數字。
例如:如果你選擇k數值為8,該方程的一個解是:2^3 + 1^3 + (-1)^3 = 8。自上世紀80年代以來,數學家們一直在努力嘗試k數值,並尋找適合的x、y、z數值,解開這個方程式。但是他們發現一些數字永遠不會奏效,例如:k數值除以9餘數為4或者5的數都不會有丟番圖方程解,這排除了100之內的22個數,但其它78個數應當有相應的方程解,卻有兩個數一直困擾著科學家:33和42。
近期,布里斯託大學數學教授安德魯·布克(Andrew Booker)將其中一個數字從謎團名單中刪除,他創建了一個計算機算法,來尋找x^3 + y^3 + z^3 = k的解,該算法運行時涉及到10^16次數值。目前,布克打算揭曉k值在100之內的所有丟番圖方程解,他並未期望能解開k值為33的方程,但在計算機算法運行幾週,一個答案出現了:(8,866,128,975,287,528) ^3 + (–8,778,405,442,862,239)^3 + (–2,736,111,468,807,040)^3 = 33。
布克稱,當我發現這個方程解時,高興得跳了起來!而我的妻子卻對我的表現感到莫名其妙。這樣困擾科學家幾十年的數學難題就剩下42,基於當前布克的方程解,數學家們知道方程中的數值大於99千萬億。
基於現代計算能力,加快計算速度可能需要一段時間,不過對於道格拉斯·亞當斯(Douglas Adams)撰寫的《銀河系漫遊指南》系列叢書的粉絲而言,該情況並不令人意外。該書中虛構了一個生命、宇宙和一切終極問題的答案——42。《銀河系漫遊指南》中指出,一台超級計算機用了750萬年的時間來處理這個問題,結果發現42是一個神秘的無解數值。(葉傾城)