La dimostrazione della congettura di Goldbach è uno dei più grandi problemi ancora irrisolti che riguardano i numeri primi. Inizialmente formulata nel 1742 dal matematico Christian Goldbach, dal quale prende il nome, è stata riformulata da Eulero nella forma in cui la conosciamo oggi:
Ogni numero pari maggiore di 2 può essere scritto come somma di due numeri primi.
Nonostante l'evidenza empirica e la semplicità dell'enunciato, la congettura resiste a tutti i tentativi di dimostrazione da quasi tre secoli. Tuttavia, diversi matematici hanno dimostrato delle versioni della congettura meno forti.
L'affermazione formulata da Christian Goldbach è una "congettura", quindi, in linea di principio, si tratta di un'ipotesi. Ciò vuol dire che potrebbe essere:
- Vera, ossia tutti i numeri pari maggiori di 2 sono esprimibili come somma di due numeri primi;
- Falsa, ossia esiste almeno un numero pari maggiore di 2 che non si può scrivere come somma di due numeri primi.
Attualmente esistono diversi tentativi di dimostrazione della congettura di Goldbach, che sono completi, nel senso che arrivano alla conclusione, ma contengono una serie di problemi, per cui non sono stati considerati validi dalla comunità internazionale. Noi proponiamo invece alcune strategie dimostrative, che sono ancora lungi dal diventare dimostrazioni complete, ma già hanno portato a dei risultati intermedi interessanti e finora non confutati. Speriamo che questo materiale possa costituire un utile spunto per chi si è messo, come noi, alla ricerca della dimostrazione...
L'affermazione formulata da Christian Goldbach è una "congettura", quindi, in linea di principio, si tratta di un'ipotesi. Ciò vuol dire che potrebbe essere:
- Vera, ossia tutti i numeri pari maggiori di 2 sono esprimibili come somma di due numeri primi;
- Falsa, ossia esiste almeno un numero pari maggiore di 2 che non si può scrivere come somma di due numeri primi.
La congettura di Goldbach si colloca nell'ambito della Teoria dei numeri, la branca della matematica che studia i numeri interi. Per comprendere le dimostrazioni dei risultati simili alla congettura, e molto probabilmente anche per dimostrare la congettura stessa, sono richieste solide conoscenze di teoria dei numeri. Queste conoscenze, però, raramente entrano a par parte del curriculum di studi di un matematico...
La teoria dei tratteggi è una nuova teoria matematica che studia il rapporto tra la successione dei numeri naturali e la loro relazione di divisibilità. Problemi tipici sono il calcolo dell'n-esimo numero naturale divisibile per almeno uno di k numeri fissati, o non divisibile per alcuno di essi. Per tale natura, la teoria si presta allo studio dei numeri primi mediante un approccio costruttivo, ispirato al crivello di Eratostene...
La congettura di Goldbach si colloca nell'ambito della Teoria dei numeri, la branca della matematica che studia i numeri interi. Per comprendere le dimostrazioni dei risultati simili alla congettura, e molto probabilmente anche per dimostrare la congettura stessa, sono richieste solide conoscenze di teoria dei numeri. Queste conoscenze, però, raramente entrano a par parte del curriculum di studi di un matematico...
La teoria dei tratteggi è una nuova teoria matematica che studia il rapporto tra la successione dei numeri naturali e la loro relazione di divisibilità. Problemi tipici sono il calcolo dell'n-esimo numero naturale divisibile per almeno uno di k numeri fissati, o non divisibile per alcuno di essi. Per tale natura, la teoria si presta allo studio dei numeri primi mediante un approccio costruttivo, ispirato al crivello di Eratostene...
Ultimi articoli
Dato un numero pari N > 2, chiameremo coppie di Goldbach per N le coppie di numeri primi la cui somma è N. La Congettura di Goldbach afferma che, qualunque sia N, il numero di queste coppie è almeno 1. In questo articolo ragioneremo nel senso opposto: troveremo una stima per eccesso del numero di coppie di Goldbach, ossia stabiliremo quante possono essere al massimo. Lo faremo utilizzando la teoria dei crivelli sviluppata finora, in particolare il crivello di Selberg.
In questa formulazione della strategia dimostrativa basata sugli spazi, cercheremo delle condizioni che ci consentano di concludere che un tratteggio, singolo o doppio, abbia spazi nell'intervallo (1, 2n), dove 2n è il numero pari della Congettura. Con un semplice ragionamento si conclude che è sufficiente che esistano almeno due spazi nelle prime 2n colonne del tratteggio, per cui cercheremo un modo per approssimare il numero di spazi contenuti fino a una certa colonna, studiando l'errore introdotto con tale approssimazione.
Nel precedente articolo abbiamo tentato di maggiorare il numero di spazi contenuti in un tratteggio fino a una certa colonna e abbiamo constatato che la funzione di errore che si ottiene può assumere valori molto grandi. Ciò però accade solo quando di assume che la colonna finale possa essere qualsiasi, mentre nel nostro caso sappiamo che tale colonna appartiene sempre all'intervallo di validità, che è una porzione del tratteggio molto piccola rispetto all'intero periodo. Introducendo questo vincolo, la funzione di errore cambia drasticamente...
Questo articolo conclude la parte "tecnica" della dimostrazione del crivello di Selberg e pone le basi per le applicazioni che vedremo in seguito. Le parti della dimostrazione che abbiamo visto negli articoli precedenti ci porteranno, in pochi passaggi, all'enunciato da cui siamo partiti, il Teorema C.4, che però è solo una versione semplificata del teorema. In questo articolo ne enunceremo anche la forma ordinaria e vedremo che la sua dimostrazione differisce solo in pochi punti da quella della versione semplificata.
Nella caratterizzazione degli spazi abbiamo visto, per i primi tre ordini di tratteggi lineari, con quali formule si possono ottenere tutti e soli gli spazi che precedono (o, rispettivamente, che seguono) un trattino di componente n_1 (la più piccola componente del tratteggio). In questo articolo daremo uno sguardo più approfondito a queste formule, arrivando a darne un'interpretazione grafica.