迪讓將黑板掛了起來,回頭對(duì)陸舟得意地挑了挑眉毛。
“馬上就好!”
就在這位印度小哥在白板上寫寫畫畫的時(shí)候,陸舟注意到,不少人將饒有興趣的視線投向這邊,并且朝著這邊靠近過來。
懷著好奇的心里,站在海報(bào)旁邊的陸舟,順著這位印度小哥的證明思路看了下去。
其實(shí)抽象來看,他的思路很簡(jiǎn)單。
首先假設(shè)孿生素?cái)?shù)是有限對(duì),并且設(shè)最大的孿生素?cái)?shù)對(duì)為。可知pn以內(nèi)的素?cái)?shù)是有限的,設(shè)為p1、p2...。
然后構(gòu)造一個(gè)大素?cái)?shù)p=p1p2p3*...*>
顯然p不能被從p1到pn的所有素?cái)?shù)整除,永遠(yuǎn)余1,所以p是素?cái)?shù)。同理可證得,p-2=p1p2p3*...*pn-1顯然也是素?cái)?shù),被任何從p1到pn的素?cái)?shù)除永遠(yuǎn)差1。
由于p是素?cái)?shù),p-2也是素?cái)?shù),倆個(gè)構(gòu)成一對(duì)孿生素?cái)?shù)。
那么問題來了,p和p-2構(gòu)成的孿生素?cái)?shù)對(duì),比最初設(shè)置的那個(gè)“最大素?cái)?shù)對(duì)”還要大,從而否定pn,pn-1為最大孿生素?cái)?shù)對(duì)。
就像是爬梯子一樣,無論多大,永遠(yuǎn)能找到比更大的素?cái)?shù)對(duì)。
從而推翻假設(shè)中,“孿生素?cái)?shù)對(duì)是有限的”這一結(jié)論,反過來“孿生素?cái)?shù)對(duì)無限”便是對(duì)的。
內(nèi)容未完,下一頁繼續(xù)閱讀