|
Catalan’s 猜想 猜想:「在所有整數的所有次方所組成的數列中,唯一的連續整數只有8和9」 這是個看來簡單的問題,卻包含著整個數論結構,甚至讓許多著名的數學家陷入困境。如同費馬最後定理一般,看來簡單、逗趣的數論問題,卻又十分捉弄人,許多數學家經過幾個世紀的努力才將他證明出來。 如今,德國Paderborn大學的Perda Mihailescu,終於發現如何證明這涉及到整個自然數次方,令人肅然可敬的問題 (泰羅尼亞猜想) 的關鍵。首先,考慮所有整數的所有次方所組成的數列:4,8,9,16,25,27,36,…。在這數列當中,8和9不但是整數的次方數,也是個連續整數。 1844年,比利時數學家Eugene
Charles Catalan (1814~1894)提出猜想:「在所有整數的所有次方所組成的數列中,唯一的連續整數只有8和9」
如果要解決Catalan的問題,必須尋找所有滿足方程式
有趣的是,在Catalan猜想提出前500年,Levi
ben Gerson (1288~1344) 已經證明出在所有整數的平方和立方數中,相差為1的整數只有
1976年,紐西蘭Leiden大學的Robert Tijdeman對此問題有關鍵性的突破:不管此猜想是否成立,它有可能的整數解並非無限多個,而是有限個解。而且,指數p及q的數字必定小於某個數值,起初他證明這個數字非常龐大,後來他將之簡化成較易控制的程度。 2000年,Mihailescu證明,如果方程式存在其它的解,此解的指數數對一定是某種罕見的形式,稱作:Double
Wieferich Primes。這對質數遵守下列規則:
Mihailescu繼續在此猜想上努力。在今年年初,他似乎突然開竅似的證明出來,Mihailescu說,他的證明利用到先前雙Wieferich質數的結果。 自目前為此,Mihailescu的證明並非絕對的可信,但卻有十分可能的徵兆,法國Talence境內Bordeaux I 大學的Yuri F. Bilu已分析Mihailescu的證明,並為它寫下主要步驟的概要及有趣的評論,它說:「我確信Mihailescu的證明是對的!」 2002年3月24日,Mihailescu在蒙特婁市 (加拿大東南部港市) 的加拿大數論協會中,第一次發表他的證明,他的證明被接納,並得到許多卓越的數論學家的正面回應。 這麼看來,Cantalan猜想即將步入數學大定理的殿堂中!
|