據(jù)臺灣“聯(lián)合新聞網(wǎng)”7月11日報道，美國和英國三個數(shù)學家日前對一道35年來懸而未決的數(shù)學難題提出解答，獲得當初提出這個問題的數(shù)學家提供的100美元賞金，可是要證明這個解答本身就造成問題，因為要把它全部讀完得花10億年功夫。

“布爾畢氏三元數(shù)問題”(Boolean Pythagorean Triples)是藍西理論(Ramsey Theory)范疇一個長久未能解決的謎題。1980年代提出這個問題的美國數(shù)學家格拉漢姆(Ronald Graham)，為此懸賞征求解答。來自德州大學、肯塔基大學和英國斯旺西大學的三名數(shù)學家表示他們利用分塊攻克策略(Cube-and-Conquer)這種混合性的可滿足性測試方法，解答及證明了布爾畢氏三元數(shù)問題。

不過，他們承認要證明他們的解答很難，因為在德州先進運算中心超級計算機協(xié)助下產(chǎn)生的證明文件，大小達到200TB，相當于美國國會圖書館所有數(shù)碼資料的總和，這也是人類迄今得到的最“長”的一個數(shù)學“證明”。

這個數(shù)學問題本身似乎很簡單：能否將正整數(shù)(例如1、2、3)染成藍色或紅色，并使?jié)M足勾股定理(A的平方+B的平方=C的平方)的任何數(shù)字系列不全是同一種顏色。例如，3的平方加4的平方=5的平方;如3和4是紅色，5就得是藍色，不能三個數(shù)字全是藍色或紅色。

證明顯示一直到7824這個數(shù)字為止，這種染色方式是可能的，可是超過這個數(shù)字就不行。超級計算機足足跑了兩天才得到這種證明。

本文來自：逍遙右腦記憶 http://www.yy-art.cn/gaozhong/1012274.html

相關閱讀：人教版高一數(shù)學知識點歸納