請問是否所有形如「"2的質數次方"-1」的整數(不管它是質數還是合數)都是「無平方數因數的數」?

如題,謝謝。

所謂「無平方數因數的數」,就是某個正整數,它的因數分解中,每一個質因數只出現唯一一次,不會出現兩次以上。
例如:
12=2*2*3,有2個2,所以12不是「無平方數因數的數」
54=2*3*3*3,有3個3,所以54不是「無平方數因數的數」
30=2*3*5,2,3,5恰好各出現一次,所以30是「無平方數因數的數」
這道數學題不就你把證明式寫出來,透過演繹推理的方式就可以得到答案了,不然就算我們回答是或不是,也沒有辦法提供真實的答案。

如果數學論證方面不行,還可以寫一個for迴圈,先用電腦跑一遍列出所有square-free的integer,然後再比對所謂「"2的質數次方"-1」,進行最後的確認

Mason.Lyu wrote:
這道數學題不就你把證明式寫出來,透過演繹推理的方式就可以得到答案了,不然就算我們回答是或不是,也沒有辦法提供真實的答案。

當然不是只回答是或不是啊!
如果答「是」,請證明;如果答「不是」,請舉反例。數學證明難道不是應該這樣嗎?

當初費馬認為2^(2^n)+1都是質數,後來歐拉就分解出2^32+1=641*6700417,破了費馬的這個猜想,這也是一種證明。
cloudyma wrote:
當然不是只回答是或不...(恕刪)


自己的作業自己寫
cloudyma wrote:
當然不是只回答是或不...(恕刪)

要是證明得出來還要在這裡跟你嘴砲?
cloudyma wrote:
如題,謝謝。所謂「...(恕刪)

像是

2^2 -1 = 3

2^7 -1 = 127

這種數嗎?

willison1082 wrote:
自己的作業自己寫...(恕刪)


這不是作業,為什麼提出自己想到的數學問題常常被認為是作業?哥德巴赫猜想難道是哥德巴赫派給歐拉的作業?費馬大定理難道是費馬的老師派給費馬的作業?

cloudyma wrote:
這不是作業,為什麼...(恕刪)

這真的是你自己想的???????
還是你一兩百年前提出的?
我印象中幾年前有看過解法,
但忘記這種數叫什麼了。
你找經濟系的高材生,
可以解答你這個問題。
奶油銓 wrote:
像是
2^2 -1 ...(恕刪)


2^2-1=3,質數,本身就是自己唯一的質因數,所以其每個質因數當然只出現一次
2^3-1=7,質數,本身就是自己唯一的質因數,所以其每個質因數當然只出現一次
2^5-1=31,質數,本身就是自己唯一的質因數,所以其每個質因數當然只出現一次
2^7-1=127,質數
2^11-1=2047=23*89,23與89都只出現一次
2^13-1=8191,質數
2^17-1=131071,質數
2^19-1=524287,質數
2^23-1=8388607=47*178481,47與178481都只出現一次
2^29-1=536870911=233*1103*2089,233與1103與2089都只出現一次
2^31-1=2147483647,質數
2^37-1=137438953471=223*616318177
2^41-1=2199023255551=13367*164511353
2^43-1=8796093022207=431*9719*2099863
2^47-1=140737488355327=2351*4513*13264529
2^53-1=9007199254740991=6361*69431*20394401
........

指數的部分都是質數,依此類推。
以上的例子因數分解後,其每個質因數都只出現一次(例如2^5-1=31=31^1,以及2^29-1=233^1*1103^1*2089^1),這樣的現象會永遠持續下去,還是有例外?
如果會永遠持續下去,為什麼?
如果有例外,最小的例外是什麼?
希望我已把問題盡量說清楚了。
Liang1217 wrote:
這真的是你自己想的?...(恕刪)


確實是我自己想的,亦即我不是由別處看來的,但我不能保證先前沒有其他人注意到這個問題。
這種數是「梅森數(Mersenne number)」的特例,目前我只知道它們不一定是質數(最小的例外是2^11-1=2047=23*89;11是質數,但2^11-1是合數),但不確定它們是不是一定是「無平方數因數的數」。
過往的數學家用電腦因數分解梅森數時,只在乎它是不是質數;當它是合數時,並不進一步確認它是不是「無平方數因數的數」,所以我既不能證明它是對的,也找不到例外。
關閉廣告
文章分享
評分
評分
複製連結

今日熱門文章 網友點擊推薦!