Teorema dell'infinità dei numeri primi

Il teorema dell'infinità dei numeri primi afferma che, per quanto grande si scelga un numero naturale n, esiste sempre un numero primo maggiore di n.

È stato dimostrato per la prima volta da Euclide nei suoi Elementi (libro IX, proposizione 20), ma ne sono state trovate circa altre cinquanta dimostrazioni, che usano una gran varietà di tecniche diverse: ad esempio Eulero lo ricavò dalla divergenza della serie armonica e dalla possibilità di scrivere ogni numero come prodotto di numeri primi; Christian Goldbach usò i numeri di Fermat, mentre Harry Furstenberg ideò una dimostrazione che sfrutta i metodi della topologia.[1]

Alcune di queste dimostrazioni (quella di Euclide, quella di Goldbach e un'altra che usa i numeri di Mersenne) si basano su una strategia simile, ovvero dimostrare che esiste una successione infinita di numeri che sono a due a due coprimi, da cui segue necessariamente l'infinità dei numeri primi.

Dimostrazioni

Dimostrazione di Euclide

La dimostrazione, molto semplice in termini moderni, è esposta negli Elementi di Euclide e può a buon diritto essere considerata la prima dimostrazione di un teorema di teoria dei numeri.

La dimostrazione avviene per assurdo, con il seguente ragionamento:

Si supponga che i numeri primi non siano infiniti ma solo ; sarebbe allora il più grande dei numeri primi. Sia il prodotto degli n numeri primi, non è divisibile per 2, perché lo è e quindi ha resto 1. Non è divisibile per 3, per lo stesso motivo. In generale, detto l'i-esimo numero primo, la divisione ha sempre resto 1: assumendo come dividendo, come divisore, come quoziente della divisione, è sufficiente dimostrare che , cioè che assunto come ipotesi.

A questo punto, per il teorema fondamentale dell'aritmetica, sono possibili due casi:

  1. è primo, e ovviamente essendo maggiore di quest'ultimo non è il più grande dei numeri primi;
  2. , non essendo primo, è il prodotto di numeri primi che non possono figurare tra gli ipotizzati (in quanto, come abbiamo appena mostrato, nessun divide ) e che devono quindi essere maggiori di ; anche in questo caso segue che non è il più grande dei numeri primi.

In entrambi i casi si perviene alla conclusione che non può non esistere un numero primo più grande di , dunque i numeri primi sono infiniti.

In realtà solo pochi dei numeri (detti numeri di Euclide) così trovati sono primi, perché il divario tra e cresce circa come il fattoriale, e quindi c'è sempre più possibilità che abbia un divisore tra e .

Una conseguenza immediata di questa dimostrazione è la seguente disuguaglianza:

La disuguaglianza di Bonse e le sue generalizzazioni forniscono risultati più forti.

Corollario

Lo stesso argomento in dettaglio: Primo fattoriale.

Un interessante corollario, che è evidente rigirando la dimostrazione, è che si può sempre costruire un intervallo, lungo a piacere, di numeri consecutivi che non siano numeri primi. Infatti se vogliamo avere un intervallo di 99 numeri consecutivi senza primi, è possibile costruirlo prendendo, ad esempio, il fattoriale di 100, ossia 9,33262154×10157. Questo numero, enorme, è divisibile per tutti i numeri tra e , per costruzione. Se poniamo che sia uno di questi numeri tra 2 e 100, e sono entrambi divisibili per . Abbiamo quindi 99 numeri consecutivi senza primi, da a . Si noti che, data la lunghezza dell'intervallo, gli estremi dell'intervallo costruito in questo modo non sono i minimi possibili.

Dimostrazione di Eulero

La dimostrazione di Eulero parte dal fatto che la serie armonica:

è divergente.

Eulero osserva che la serie armonica può vedersi come il prodotto di queste serie geometriche, una per ogni numero primo:

...

Le serie si calcolano facilmente ricordando che (vedi serie geometrica).

Infatti la serie armonica è la somma dei reciproci di tutti i numeri naturali e ogni numero naturale può rappresentarsi come il prodotto dei suoi fattori primi. Ci si convince allora facilmente che ogni elemento della serie armonica corrisponde a un possibile prodotto di elementi presi uno ad uno dalle serie suddette. Per esempio per l'elemento :

D'altra parte le serie sono tutte finite. Ma allora se i numeri primi fossero finiti, il loro prodotto sarebbe anch'esso finito, mentre sappiamo che la serie armonica diverge.

Ne segue che i numeri primi devono essere infiniti.

Dimostrazione topologica

Per ogni coppia di interi e con si ponga . La famiglia è una base di una topologia di , detta topologia degli interi equispaziati: la prova dell'infinitudine dei numeri primi si cela dietro le sue proprietà topologiche. Gli aperti di tale topologia godono di tre proprietà:

  1. ogni aperto è chiuso;
  2. ogni aperto non vuoto ha infiniti elementi;
  3. , ove è l'insieme dei numeri primi positivi.

La 2 è immediata e la 3 discende dal teorema fondamentale dell'aritmetica. Per quanto riguarda la 1 è sufficiente notare che

Se fosse finito, in virtù della 3 e della 1, avremmo che è aperto, ma ciò è in contraddizione con la 2.

Note

  1. ^ (EN) Harry Furstenberg, On the infinitude of primes, in Amer. Math. Monthly, vol. 62, n. 5, 1955, p. 353, DOI:10.2307/2307043.

Bibliografia

Voci correlate

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

Read other articles:

Species of flowering plant This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (April 2017) (Learn how and when to remove this message) Iliamna rivularis Scientific classification Kingdom: Plantae Clade: Tracheophytes Clade: Angiosperms Clade: Eudicots Clade: Rosids Order: Malvales Family: Malvaceae Genus: Iliamna Species: I. rivularis Binomial name Iliamna rivu…

In computational and mathematical biology, a biological lattice-gas cellular automaton (BIO-LGCA) is a discrete model for moving and interacting biological agents,[1] a type of cellular automaton. The BIO-LGCA is based on the lattice-gas cellular automaton (LGCA) model used in fluid dynamics. A BIO-LGCA model describes cells and other motile biological agents as point particles moving on a discrete lattice, thereby interacting with nearby particles. Contrary to classic cellular automaton…

South Africa international rugby union player Rugby playerPercy MontgomeryMontgomery in 2007Birth namePercival Colin MontgomeryDate of birth (1974-03-15) 15 March 1974 (age 50)Place of birthWalvis Bay, NamibiaHeight1.85 m (6 ft 1 in)Weight93 kg (205 lb)SchoolSouth African College SchoolChildren1Rugby union careerPosition(s) Fullback, Centre, FlyhalfSenior careerYears Team Apps (Points)2002–20052003–20052007–20082001–2008 NewportDragonsPerpignanBarbarians 173…

Artikel ini bukan mengenai Keterlihatan gereja. Gereja tak terlihat atau ketidakterlihatan gereja adalah sebuah konsep teolofi dari sebuah badan terlihat dari pemilihan yang hanya diketahui oleh Allah, kontras dengan gereja terlihat—yang merupakan, badan institusional di bumi yang mengkotbahkan Injil dan mengurusi sakramen. Setiap anggota gereja tak terlihat diselamatkan, sementara gereja tak terlihat berisi beberapa orang yang diselamatkan dan orang-orang lainnya yang tak diselamatkan. Menuru…

This article is about a type of transistor. For the RCA computer operating system, see Virtual Memory Operating System. For the virtual machine Android app, see VMOS (software). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: VMOS – news · newspapers · books · scholar · JSTOR (September 2016) (Learn how and whe…

В Википедии есть статьи о других людях с такой фамилией, см. Толстов; Толстов, Сергей. Сергей Павлович Толстов Дата рождения 25 января (7 февраля) 1907(1907-02-07) Место рождения Санкт-Петербург Дата смерти 28 декабря 1976(1976-12-28) (69 лет) Место смерти Москва Страна Российская империя → СС…

У этого термина существуют и другие значения, см. Западный округ. Западный внутригородской округ город Краснодар Дата основания 1936 год Дата упразднения 1994 Прежние имена Кагановичский, Ленинский районы Микрорайоны Дубинка, Черёмушки, Покровка Площадь 22[1]  км² Насел…

1970 studio album by Judy CollinsWhales & NightingalesStudio album by Judy CollinsReleasedNovember 1970Recorded1970StudioFedco Audio Labs, Providence, Rhode IslandGenreFolkLength42:32LabelElektraProducerMark AbramsonJudy Collins chronology Who Knows Where the Time Goes(1968) Whales & Nightingales(1970) Living(1971) Professional ratingsReview scoresSourceRatingAllMusic[1]The Village VoiceC+[2] Whales & Nightingales is the eighth studio album by American singer …

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言,清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日(哈薩克蘇維埃社會主義共和國總統) 哈萨克斯坦 哈萨克斯坦政府與…

American engineer and business executive For the British medievalist, see Amanda Simpson (art historian). This biographical article is written like a résumé. Please help improve it by revising it to be neutral and encyclopedic. (May 2022) Amanda Renae SimpsonUS Dept. Commerce photoBorn (1961-03-26) March 26, 1961 (age 63)Chicago, Illinois, U.S.Alma materHarvey Mudd College (BSc) California State University, Northridge (MSc) University of Arizona (MBA)Occupation(s)Vice-president, Rese…

S/2003 J 2S/2003 J 2 imaged by the Canada-France-Hawaii Telescope during follow-up observations in February 2003Discovery [1]Discovered byScott S. Sheppard et al.Discovery siteMauna Kea Obs.Discovery date5 February 2003Orbital characteristics [2]Epoch 17 December 2020 (JD 2459200.5)Observation arc16.42 yr (5,996 d)Earliest precovery date11 December 2001Semi-major axis0.1373976 AU (20,554,390 km)Eccentricity0.2776569Orbital period (sidereal)–…

Mexican public broadcaster Instituto Mexicano de la RadioTypePublic broadcastingradio networkCountryMexicoAvailabilityNational; available throughout Mexican statesHeadquartersMexico City, MexicoOwnerState governmentsKey peopleAna Cecilia Valdés TerrazasLaunch dateMarch 23, 1983Official websiteIMER official site The Instituto Mexicano de la Radio (English: Mexican Radio Institute) is a Mexican public broadcaster, akin to National Public Radio in the US. It is also known as IMER. History It was f…

Woodside, New York redirects here. For the hamlet in the town of Concord, see Woodside, Erie County, New York. For other places with the same name, see Woodside (disambiguation). Neighborhood of Queens in New York CityWoodsideNeighborhood of QueensFormer Childs Restaurant branch at 60th Street and Queens Boulevard in WoodsideLocation within New York CityCountry United StatesState New YorkCity New York CityCounty/Borough QueensCommunity DistrictQueens 2[1]Population (2010 U…

Large language family spoken in Sub-Saharan Africa BantuGeographicdistributionCentral Africa, Southeast Africa, East Africa, Southern Africa, Southern SomaliaLinguistic classificationNiger–Congo?Atlantic–CongoVolta–CongoBenue–CongoBantoidSouthern BantoidBantuProto-languageProto-BantuSubdivisions Zones A–S (geographic) Mbam–Bube–Jarawan Manenguba Sawabantu Basaa Bafia Beti Makaa–Njem Kele–Tsogo Teke–Mbede Mboshi–Buja Bangi–Tetela Mbole–Enya Lega–Binja Boan Lebonya Nyan…

Fundamental law of Gibraltar Gibraltar ConstitutionOverviewJurisdictionGibraltar Politics of Gibraltar Constitution Constitution Order 1950 Constitution Order 1964 Constitution Order 1969 Constitution Order 2006 European Union (Withdrawal) Act 2019 The Crown Monarch Charles III Government Governor David Steel Chief Minister Fabian Picardo Council of Ministers Legislature Speaker Adolfo J. Canepa Her Majesty's Most Loyal Opposition Judiciary Judiciary of Gibraltar Law of Gibraltar Elections Elect…

Protocol used for discovering network layer addresses Internet protocol suite Application layer BGP DHCP (v6) DNS FTP HTTP (HTTP/3) HTTPS IMAP IRC LDAP MGCP MQTT NNTP NTP OSPF POP PTP ONC/RPC RTP RTSP RIP SIP SMTP SNMP SSH Telnet TLS/SSL XMPP more... Transport layer TCP UDP DCCP SCTP RSVP QUIC more... Internet layer IP v4 v6 ICMP (v6) NDP ECN IGMP IPsec more... Link layer ARP Tunnels PPP MAC more... vte The Address Resolution Protocol (ARP) is a communication protocol used for discovering t…

John Randolph BrayColonel Heeza Liar and the Bandits (1916)Lahir(1879-08-25)25 Agustus 1879Detroit, Michigan, ASMeninggal10 Oktober 1978(1978-10-10) (umur 99)Bridgeport, Connecticut, ASPekerjaanAnimator How Animated Cartoons Are Made (1919) John Randolph Bray (25 Agustus 1879 – 10 Oktober 1978) adalah seorang animator asal Amerika Serikat.[1] Karya Bray mulai meminati animasi pada tahun-tahun awal perfilman. Pada 1914, ia membuka sebuah studio kawasan New York yang s…

President Trump making a phone call in 2017. He used pseudonyms during call-in interviews throughout the 1980s and 1990s. Donald Trump, an American businessman, politician, and former president of the United States has used several pseudonyms, including John Barron (or John Baron), John Miller and David Dennison. His practice of sometimes speaking to the media under the guise of a spokesperson has been described as an open secret at the Trump Organization and in New York media circles.[1]…

German breed of draft horse Black Forest HorseConservation statusFAO (2007): endangered[1]: 50 GEH: III endangered[2]Other namesGerman: Schwarzwälder KaltblutGerman: Schwarzwälder FuchsGerman: St. Märgener FuchsBlack Forest ColdbloodCountry of originGermanyDistributionBaden-WürttembergUsedraftharnessridingTraitsWeight500–600 kg[3]: 194 HeightMale: 150–160 cm[4]: 32 Female: 148–156 cm[3]: 1…

Balai kota Kalisz, Jr. Kalisch, kota di Provinsi Wielkopolska di Polandia tengah, terletak di sungai Prosna. Dalam sejarah perang Swedia kota ini terkenal karena Pertempuran Kalisch pada 19 Oktober 1706. Pranala luar Wikimedia Commons memiliki media mengenai Kalisz. Adipati Kalisz Artikel bertopik geografi atau tempat Polandia ini adalah sebuah rintisan. Anda dapat membantu Wikipedia dengan mengembangkannya.lbs