第一百章 他是怎麼看出來的？！（2 / 2）
他又往附近看了看，附近更是有些重量級人物。
他們甚至直接拉著海報或者是黑板過來，當街展示自己的成果，
對於這些人，工作人員都視而不見了，大概是人太多，懶得多管了。
林曉不由感到興趣，想要見識一下這些民科們到底是怎麼處理問題的，他瞥了一下，居然發現不遠處就有一個人展示的是梅森素數判斷公式。
他搞定的問題就是梅森素數，此時倒是好奇這個人是怎麼做的，而且，能研究梅森素數判斷公式的人，應該也不至於很『民科』吧？
他想了想，反正距離會議開始還有半個小時的時間，不如逛一逛。
於是他便走了過去，站到黑板前看了起來。
黑板旁邊蹲著一個巴西人，是這個黑板的主人。
他見到林曉過來，還有他脖子上戴著的那個牌子，說明是來參加會議的，於是他臉上立馬就露出了熱情的表情。
參加會議的，那就是懂數學，於是他直接站了起來，說道：「你好，你也知道梅森素數吧？看看我的判斷公式，我可以肯定，絕對比盧卡斯-萊默檢驗法要更好！」
盧卡斯-萊默檢驗法就是當前用來檢索梅森素數的方法，已經有幾十年的歷史了。
結果這位直接就說比這個方法好？
林曉不置可否，簡單看了一下，結果黑板上隻有簡短的一行。
「令整數，設素數a，c大於零，c大於a，如果(2^a3-2)/(2^c-1)=則2^c-1為梅森素數。」
林曉：「……所以你這應該是一個猜想吧？你沒有證明過程啊。」
「如果要說猜想的話，那就應該是了，如果根據我的名字的話，它就應該叫做羅納爾猜想了！」
聽到林曉的話，他眼前很是興奮，似乎找到了一個讓自己名傳千古的法子。
不過很快他又說道：「當然，雖然它是猜想，不過我們現在可以先假設他成立，然後通過這個方法，我們也能夠精準的找出梅森素數。」
他說著，就找來黑板筆，在黑板上麵寫了起來。
「你看，現在我們可以令a等於7，c等於19，7和19都是素數嘛，然後代入式中，分子能被分母整除，所以當指數為19時，9為梅森素數。」
「我們再舉一個例，比如a等於3，c等於13，他們依然成立，而3同樣為梅森素數。」
「再比如a=5和c=31，a=13和c=61……」
「我們可以發現它都可以實現！」
這位大概是叫羅納爾的巴西人，列出了七組數字，全部都應驗了。
此時此刻，周圍也有一些人被他們這裡的討論吸引了過來，也來了不少人，看到羅納爾的展示，都有些驚訝。
好像……有點東西啊？
居然真的能行？
但就在這個時候，林曉觀察了一下式子後，忽然說道：「你試試a等於29，c等於67。」
聽到林曉的話，羅納爾一愣，便從旁邊找來計算器，試了起來。
而結果，讓所有人沉默了。
當代入林曉說的這兩個值時，原式赫然也能夠整除，但是並不能得出一個梅森素數！
周圍的人都忍不住震驚地看著林曉，他是怎麼看出來的？