資源描述:
《孿生素?cái)?shù)猜想的證明》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、理論前沿ChinaEducationInnovatio:nHera:!ld:●矗嵋:孿生素?cái)?shù)猜想的證明①李英杰(廣東醫(yī)學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)教研室廣東湛江524023)摘要:本文通過計(jì)算機(jī)大量正確的計(jì)算找到了孿生素?cái)?shù)猜想為什么成立的規(guī)律,并用找到的規(guī)律以數(shù)列極限為工具,非常簡(jiǎn)單通俗易懂地證明了孿生素?cái)?shù)猜想成立。關(guān)鍵詞:孿生素?cái)?shù)猜想計(jì)算機(jī)計(jì)算為什么成立的規(guī)律數(shù)列極限證明中圖分類號(hào):O13文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):1673—9795(2010)09(a)一0085-03孿生素?cái)?shù)對(duì)?就是p~[1p+2都是
2、素?cái)?shù)。1Peano公理系統(tǒng)(2)雖沒有通項(xiàng)公式,但有通項(xiàng)a,a,?a,孿生素?cái)?shù)猜想是:孿生素?cái)?shù)對(duì)有無窮“Peano公理:設(shè)N是一個(gè)非空集合,滿通項(xiàng)中的a表示√開平方小數(shù)點(diǎn)后第rl位。多個(gè)n1。足以下條件:顯然,數(shù)列(1)(2)均能嚴(yán)格證明其增減這個(gè)猜想是在1849年由數(shù)學(xué)家Polignac(1)對(duì)每一個(gè)元素//EN,一定有唯一的性。提出的口1,距今已161年了,既沒有證明也沒一個(gè)N中的元素與之對(duì)應(yīng),這個(gè)元素記作引理2.2孿生素?cái)?shù)對(duì)是算出來的,不是有否定它【41。其間全世界的一些數(shù)學(xué)家為證n+,稱
3、為是n的后繼元素(或后繼);用數(shù)學(xué)公式推出來的,也不是不通過計(jì)算明它而嘔心瀝血,給出了一些重要結(jié)果。然(2)有元素Ⅳ,它不是N中任一元素的用數(shù)學(xué)方法證明出來的。而,所有這些努力有一個(gè)共同的缺點(diǎn),就是后繼;證明:因?yàn)橐蟮媚匙匀粩?shù)C的孿生素沒有找到孿生素?cái)?shù)猜想為什么成立的規(guī)(3)Ⅳ中的任意一個(gè)元素至多是一個(gè)元數(shù)對(duì)的個(gè)數(shù),根據(jù)定義2.1,必須通過計(jì)算律。筆者經(jīng)過多年的努力,用計(jì)算機(jī)算出了素的后繼,即從a+=一定可以推出a=;才能求得。因此,自然數(shù)C的孿生素?cái)?shù)對(duì)的對(duì)應(yīng)于偶數(shù)101,102,l03,l0
4、4,105,106,(4)(歸納公理)設(shè)是Ⅳ的一個(gè)子集合,個(gè)數(shù)是算出來的,不是用數(shù)學(xué)公式推出來107,108,109,·一,1On,··-e∈S。如果門∈S,則必有力∈S。那么,S:No的,也不是不通過計(jì)算用數(shù)學(xué)方法證明出最大的孿生素?cái)?shù)對(duì)個(gè)數(shù)是2,8,35,205,這樣的集合N稱為自然數(shù)集合,它的元來的。證畢。l224,8169,58980,440312,3424506,?,素叫做自然數(shù)?!盻l21引理2.3若n為自然數(shù),那么1On的孿生Ln?【5J素?cái)?shù)對(duì)存在,但寫不出來。這是一個(gè)嚴(yán)格增加的數(shù)列
5、。這一規(guī)律2孿生素?cái)?shù)公理證明:因?yàn)?0中的n是有限的自然數(shù),的找到,最終解決了孿生素?cái)?shù)對(duì)有無窮多定義2.1若和2均為素?cái)?shù),則稱它們最小是l。101的孿生素?cái)?shù)對(duì)為2(孿生素?cái)?shù)對(duì)個(gè)的問題。為孿生素?cái)?shù)。分別為(3,5)、(5,7))從理論上講,10的孿生本文是計(jì)算機(jī)科學(xué)、數(shù)學(xué)科學(xué)、哲學(xué)、定義2.2孿生素?cái)?shù)猜想是:孿生素?cái)?shù)對(duì)素?cái)?shù)對(duì)是存在的。但因n沒有給定,根據(jù)引宇宙學(xué)等多學(xué)科高端、高難度、大跨度的交有無窮多個(gè)。理2.2,10的孿生素?cái)?shù)對(duì)是算不出來的。因叉,因而產(chǎn)生了強(qiáng)大的優(yōu)勢(shì)互補(bǔ)的集成效定義2.3數(shù)列{
6、n一1}=0,1,2,?,n—此,l0的孿生素?cái)?shù)對(duì)存在,但寫不出來。證應(yīng),非常簡(jiǎn)單通俗易懂地證明了孿生素?cái)?shù)l,?的每一項(xiàng)都稱為個(gè)數(shù)。畢。猜想。且孿生素?cái)?shù)為什么成立的規(guī)律是可定義2.4公理是不能證明的客觀規(guī)律。例3:與101,102,103,104,105,106,107,操作的、可見的、可重復(fù)的、可證實(shí)的。任何定義2.5公理A,、A,、?、An相互間是108,109,?,10,?一位有識(shí)之士都可以用筆者提供的計(jì)算機(jī)相容的,是指它們可以同時(shí)存在。相對(duì)應(yīng)的孿生素?cái)?shù)對(duì)的個(gè)數(shù)是2,8,35,程序在Vis
7、ualc++6.0中運(yùn)行,看到這一規(guī)定義2.6公理A,、A一、An相互間是205,1224,8169,58980,440312,律確實(shí)是存在的,從而使每一位讀者對(duì)本獨(dú)立的,是指從它們中的任意i(1≤i8、,、?、An成含有通項(xiàng)項(xiàng)數(shù)n的數(shù)學(xué)關(guān)系式,才能證明重大的科學(xué)突破,使科學(xué)發(fā)生革命性的變相互間既是相容的又是相互獨(dú)立的,則稱它的增減性?;公理系統(tǒng)A是不完備的。證明:L是孿生素?cái)?shù)數(shù)列的第n項(xiàng)。因?yàn)槿澜绲臄?shù)學(xué)家為什么把孿生素?cái)?shù)猜引理2.1不用通項(xiàng)證明數(shù)列是嚴(yán)格增只有把L寫成含有通項(xiàng)項(xiàng)數(shù)13.的數(shù)學(xué)關(guān)系想證明了161年?根本原因是:(1)受了Peano加或減少的數(shù)學(xué)方法M是不存在的式,才能表示{L}的“任意前后兩項(xiàng)”,才能公理系統(tǒng)不完備性的約束。(2)沒有找到孿證明:若M存在,那么必須用M比較這