素數
多疑又孤獨的數字
保羅·喬爾達諾曾在《質數的孤獨》裡這樣描述質數:
質數只能被一和它自身整除。在自然數的無窮序列中,它們處於自己的位置上,和其他所有數字一樣,被前後兩個數字擠著,但它們彼此間的距離卻比其他數字更遠一步。它們是多疑而又孤獨的數字,正是由於這一點,馬蒂亞覺得它們非常奇妙 在大學一年級的一門課上,馬蒂亞知道,在質數當中還有一些更加特別的成員,數學家稱之為「孿生質數」,它們是離得很近的一對質數,幾乎是彼此相鄰。
質數一直受數學家的關注與探索。在2000多年前,人們就在思考到底有沒有最大的素數?素數有多少個?
今天小編和大家分享一下幾何學之父歐幾裡得是如何證明素數有無限個的。為了幫助同學們更好的理解,我先和大家簡單的談談什麼是素數?如何判定素數?數學家目前找到最大的素數是多少?
一、什麼是素數
質數又稱素數。一個大於1的自然數,除了1和它自身外,不能被其他自然數整除的數叫做質數;否則稱為合數。我們VOA數學團隊的頭像就是由1000以內的質數組成的,寓意數學就像指路明燈一樣照亮我們前行的路!
歡迎大家點擊我們公眾號設為星標用戶,方便第一時間接受我們的推送。已經置頂的小夥伴,歡迎留言互動哦!讓小編能夠認識我們的鐵桿粉。
二、素數尋找算法
燈泡是由1000以內的素數構成!1000以內素數共有168個,它們分別是:
2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383,389,397,401,409,419,421,431,433,439,443,449,457,461,463,467,479,487,491,499,503,509,521,523,541,547,557,563,569,571,577,587,593,599,601,607,613,617,619,631,641,643,647,653,659,661,673,677,683,691,701,709,719,727,733,739,743,751,757,761,769,773,787,797,809,811,821,823,827,829,839,853,857,859,863,877,881,883,887,907,911,919,929,937,941,947,953,967,971,977,983,991,997
那麼如何尋找素數呢?
在公元前2世紀希臘數學家埃拉託斯特尼(Eratosthenes),就已經提出了一個非常簡單而且有效的素數篩法,我們稱之為埃拉託斯特尼篩法(Sieve of Eratosthenes)。核心是:要得到自然數n以內的全部素數,必須把不大於根號n的所有素數的倍數剔除,剩下的就是素數。
一個埃拉託斯特尼篩法的例子
三、梅森素數
素數當中,有一類素數非常特別,形如2p-1,17世紀法國數學家馬林·梅森對它進行了深入研究。為了紀念梅森的貢獻,學界把這種數稱之為梅森數,如果梅森數為素數,則稱之為梅森素數。
2017年12月26日,數學界發生一件大事,美國一位普通的電氣工程師Jonathan Pace,在他成為GIMPS計劃志願者的第14個年頭,找到第50個梅森素數,即277232917-1,這是目前為止人類發現的最大素數,共計23249425位。
2017年1月13日由日本虹色社發行的這本《2017年最大的素數》(『2017年最大の素數』),厚約32mm,共719頁,整本書只印了一個數,即2^77,232,917-1。這本奇特的書在發行兩周後迅速攀上日本亞馬遜數學類「暢銷書第1位」。
四、素數有無限個的證明
素數是無限的還是有限的?兩千年前的古希臘數學家歐幾裡得證明了這個問題,被認為是經典之作。以後又出現十幾種證明方法。例如歐拉的證明。他是如何證明的呢?
證明:假設素數沒有無限個.設它們為P1.P2.P3.P4.……Pn.設素數集合為S,
不妨再設實數a=P1*P2*P3*P4*……*Pn+1,則a不屬於S,因此a為合數,且a不能被任何素數整除。又由於合數a必然能分解出質因子,設其為p,則p必然為素數,且p能整除a。這與a不能被任何素數整除矛盾。所以假設不成立,素數有無限個。
五、相關猜想
哥德巴赫猜想:是否每個大於2的偶數都可寫成兩個素數之和?
孿生素數猜想:孿生素數就是差為2的素數對,例如11和13。是否存在無窮多的孿生素數?
黎曼猜想:關於黎曼ζ函數ζ(s)的零點分布的猜想,由數學家波恩哈德·黎曼(1826~1866)於1859年提出。德國數學家希爾伯特列出23個數學問題。其中第8問題中便有黎曼假設。素數在自然數中的分布並沒有簡單的規律。黎曼發現素數出現的頻率與黎曼ζ函數緊密相關。黎曼猜想提出:黎曼ζ函數ζ(s)非平凡零點(在此情況下是指s不為-2、-4、-6等點的值)的實數部份是1/2。即所有非平凡零點都應該位於直線1/2 + ti(「臨界線」(critical line))上。t為一實數,而i為虛數的基本單位。
歡迎有興趣的同學進行更進一步思考與探索!
VOA數學是數學愛好者的聚集地,其中V代表代數學之父韋達、O代表幾何學之父歐幾裡得、A代表近代統計學之父阿道夫.凱特勒。我們旨在傳播數學文化,點亮校園生活,並努力為00後數學愛好者提供一個分享與交流平臺!