Teorema di Dirichlet
Nella teoria dei numeri, il teorema di Dirichlet (Peter Gustav Lejeune Dirichlet) afferma che dati due numeri interi coprimi e esistono infiniti primi della forma dove è un intero positivo, o, in altre parole, ogni progressione aritmetica siffatta contiene infiniti numeri primi.
Questo teorema rappresenta una naturale generalizzazione di quanto affermato da Euclide, e cioè che esistono infiniti numeri primi (ciò infatti rappresenta il caso particolare in cui a = b = 1). In effetti, è in genere piuttosto facile dimostrare casi particolari di questo teorema (ad esempio che esistono infiniti primi della forma o o ecc.), ma il caso generale presenta invece parecchie difficoltà. È importante osservare che il teorema non dice affatto che esistono infiniti numeri primi consecutivi in progressione aritmetica. Eulero affermò che ogni progressione aritmetica che cominci con contiene un infinito numero di primi. Il teorema in questa forma fu prima congetturato da Gauss e dimostrato da Dirichlet nel 1835 con le L-serie di Dirichlet. La dimostrazione è modellata sul precedente lavoro di Eulero che collegava la funzione zeta di Riemann alla distribuzione dei numeri primi. Il teorema rappresenta l'inizio della moderna teoria dei numeri analitica.
Nella teoria dei numeri algebrica il teorema di Dirichlet viene generalizzato al teorema di densità di Chebotarev.
Casi particolari
[modifica | modifica wikitesto]Esistono delle dimostrazioni elementari per numerosi casi particolari del teorema, che si ottengono sulla falsariga della dimostrazione dell'infinità dei numeri primi data da Euclide.
Primi della forma 4n - 1
[modifica | modifica wikitesto]Supponiamo per assurdo che esistano solo un numero finito di primi della forma , e sia il più grande di essi. Consideriamo il seguente intero:
dove il prodotto contiene tutti i numeri primi dispari minori o uguali a Il numero ha la forma ed essendo , deve essere composto. Tutti i suoi fattori sono inoltre maggiori di e, quindi, devono essere della forma [1]. Ma il prodotto di due o più numeri di questa forma è ancora della forma . Ciò conduce a un assurdo, pertanto esistono infiniti numeri primi della forma
Primi della forma 4n + 1
[modifica | modifica wikitesto]Sia un intero. Poniamo Quindi è dispari e maggiore di Chiamiamo il più piccolo divisore primo di Poiché non è divisibile per nessuno dei numeri allora e inoltre
Eleviamo entrambi i membri all'esponente :
Per il teorema di Fermat, , quindi . Questa congruenza è evidentemente soddisfatta solo se è pari, e quindi . In definitiva, per ogni esiste un primo della forma I numeri di questa forma sono dunque infiniti.
Altri casi particolari
[modifica | modifica wikitesto]Si possono fornire delle dimostrazioni semplici per molti altri casi, come le forme , , , , , , , , ; con tecniche elementari, uno dei risultati più generali noti è che esistono infiniti numeri primi nelle progressioni aritmetiche delle forme e , ossia i casi particolari del teorema di Dirichlet in cui e .
Problemi analoghi
[modifica | modifica wikitesto]Il teorema può essere riespresso affermando che ogni polinomio di primo grado ax + b genera infiniti numeri primi quando alla x sono assegnati valori che sono numeri interi positivi, purché a e b siano coprimi. È facile tentare delle generalizzazioni: si congettura per esempio che ogni polinomio di secondo grado ax2 + bx + c con a, b, c coprimi, a positivo, a + b e c non entrambi pari e discriminante che non sia un quadrato perfetto, generi infiniti numeri primi; analoga affermazione vale per i polinomi di grado superiore (purché ovviamente non siano fattorizzabili). La soluzione di problemi di questo tipo sembra ancora lontana, anche nei casi semplici come il polinomio x2 + 1. Tuttavia lo stesso Dirichlet dimostrò che ogni forma quadratica in due variabili ax2 + bxy + cy2 con a, b e c coprimi genera infiniti numeri primi; B. M. Bredihin provò che anche la forma x2 + y2 + 1 genera infiniti primi, e recentemente (John Friedlander e Henryk Iwaniec, 1998) lo stesso è stato dimostrato per la forma x2 + y4.[2]
Note
[modifica | modifica wikitesto]- ^ Poiché è multiplo di ogni primo minore di allora è con essi coprimo; perciò, ogni suo fattore primo deve essere maggiore di e, dovendo essere ovviamente dispari, ma non potendo essere della forma (per ipotesi), deve essere della forma
- ^ John Friedlander, Iwaniec, Henryk, The polynomial X2 + Y4 captures its primes (PDF), in Annals of Mathematics, vol. 148, 1998, pp. 945–1040, DOI:10.2307/121034. URL consultato il 14 settembre 2008 (archiviato dall'url originale l'8 agosto 2017).
Bibliografia
[modifica | modifica wikitesto]- Tom M. Apostol, Introduction to Analytic Number Theory, 2ª ed., New York, Apringer-Verlag, 1976, ISBN 0-387-90163-9.
- Godfrey Harold Hardy, Edward Maitland Wright, An Introduction to the Theory of Numbers, 5ª ed., Oxford, Clarendon Press, 1979, ISBN 0-19-853171-0.
- Trygve Nagell, Introduction to number theory, 2ª ed., New York, Chelsea, 2001, ISBN 0-8218-2833-9.
Voci correlate
[modifica | modifica wikitesto]- Teorema di Linnik (1944)
- Funzione L di Dirichlet
- Teorema di Friedlander-Iwaniec (1998)
- Congettura di Bunjakovskij
- The Prime Pages
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Dirichlet’s theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Teorema di Dirichlet, su MathWorld, Wolfram Research.
- (EN) Dirichlet's Theorem on Primes in Arithmetic Progressions, su primes.utm.edu.