據(jù)臺(tái)灣“聯(lián)合新聞網(wǎng)”7月11日?qǐng)?bào)道，美國(guó)和英國(guó)三個(gè)數(shù)學(xué)家日前對(duì)一道35年來(lái)懸而未決的數(shù)學(xué)難題提出解答，獲得當(dāng)初提出這個(gè)問(wèn)題的數(shù)學(xué)家提供的100美元賞金，可是要證明這個(gè)解答本身就造成問(wèn)題，因?yàn)橐阉孔x完得花10億年功夫。
“布爾畢氏三元數(shù)問(wèn)題”(Boolean Pythagorean Triples)是藍(lán)西理論(Ramsey Theory)范疇一個(gè)長(zhǎng)久未能解決的謎題。1980年代提出這個(gè)問(wèn)題的美國(guó)數(shù)學(xué)家格拉漢姆(Ronald Graham)，為此懸賞征求解答。來(lái)自德州大學(xué)、肯塔基大學(xué)和英國(guó)斯旺西大學(xué)的三名數(shù)學(xué)家表示他們利用分塊攻克策略(Cube-and-Conquer)這種混合性的可滿足性測(cè)試方法，解答及證明了布爾畢氏三元數(shù)問(wèn)題。
不過(guò)，他們承認(rèn)要證明他們的解答很難，因?yàn)樵诘轮菹冗M(jìn)運(yùn)算中心超級(jí)計(jì)算機(jī)協(xié)助下產(chǎn)生的證明文件，大小達(dá)到200TB，相當(dāng)于美國(guó)國(guó)會(huì)圖書(shū)館所有數(shù)碼資料的總和，這也是人類迄今得到的最“長(zhǎng)”的一個(gè)數(shù)學(xué)“證明”。
這個(gè)數(shù)學(xué)問(wèn)題本身似乎很簡(jiǎn)單：能否將正整數(shù)(例如1、2、3)染成藍(lán)色或紅色，并使?jié)M足勾股定理(A的平方+B的平方=C的平方)的任何數(shù)字系列不全是同一種顏色。例如，3的平方加4的平方=5的平方;如3和4是紅色，5就得是藍(lán)色，不能三個(gè)數(shù)字全是藍(lán)色或紅色。
證明顯示一直到7824這個(gè)數(shù)字為止，這種染色方式是可能的，可是超過(guò)這個(gè)數(shù)字就不行。超級(jí)計(jì)算機(jī)足足跑了兩天才得到這種證明。
本文來(lái)自：逍遙右腦記憶 http://yy-art.cn/gaozhong/1012274.html
相關(guān)閱讀：人教版高一數(shù)學(xué)知識(shí)點(diǎn)歸納