Teorema dell'infinità dei numeri primi

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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

[modifica | modifica wikitesto]

Dimostrazione di Euclide

[modifica | modifica wikitesto]

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.

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

[modifica | modifica wikitesto]

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

[modifica | modifica wikitesto]

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.

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

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica