Numero perfetto

In matematica, un numero perfetto è un numero naturale che è uguale alla somma dei suoi divisori positivi, escludendo il numero stesso. In termini formali, un numero naturale  si dice perfetto quando , dove la funzione  è la funzione sigma, cioè la funzione che fornisce la somma dei divisori positivi di .

Ad esempio, il numero , divisibile per  è un numero perfetto e lo stesso vale per  che è divisibile per ,  e .

Storia 
I numeri perfetti furono inizialmente studiati dai pitagorici. Un teorema enunciato da Pitagora e dimostrato da Euclide rivelò che se  è un numero primo, allora  è perfetto. Successivamente Eulero dimostrò che tutti i numeri perfetti pari devono essere di tale forma. I numeri nella forma  che sono primi sono detti primi di Mersenne. Si dimostra facilmente che se  non è primo allora non lo è neanche .

Secondo Filone di Alessandria il Mondo era stato creato in 6 giorni e il mese lunare siderale è quasi di 28 giorni proprio perché 6 e 28 sono numeri perfetti. Le proprietà matematiche e religiose di questi numeri perfetti vennero sottolineate in seguito anche da alcuni commentatori cristiani. Nel suo trattato "La Genesi alla lettera", libro IV, par. 7,14, Sant'Agostino scrisse: «Sei è un numero perfetto in sé stesso, e non perché Dio ha creato tutte le cose in sei giorni. Anzi è vero l'opposto: Dio ha creato tutte le cose in sei giorni proprio perché questo è un numero perfetto».

Conoscenze attuali 
Ad oggi, si conoscono 51 numeri perfetti, il più grande dei quali ha  cifre.

Esempio: 
Per via dell'espressione , ogni numero perfetto pari è necessariamente:
 un numero triangolare, visto che si può scrivere 

 un numero esagonale, visto che si può scrivere 

 è anche un numero pratico
 ha come espressione binaria  valori uguali a uno seguiti da  zeri (con  numero primo). Qui il pedice denota la base in cui il numero viene espresso:
610 = 1102
2810 = 111002
49610 = 1111100002
812810 = 11111110000002
3355033610 = 11111111111110000000000002.
Questi numeri sono stati ottenuti per n = 2, 3, 5, 7, 13. Il caso n = 11 fornisce un valore di  che non è primo.

I primi 12 numeri perfetti sono:

 6
 28 
 496
 8 128
 33 550 336 (8 cifre)
 8 589 869 056 (10 cifre)
 137 438 691 328 (12 cifre)
 2 305 843 008 139 952 128 (19 cifre)
 2 658 455 991 569 831 744 654 692 615 953 842 176 (37 cifre)
 191 561 942 608 236 107 294 793 378 084 303 638 130 997 321 548 169 216 (54 cifre)
 13 164 036 458 569 648 337 239 753 460 458 722 910 223 472 318 386 943 117 783 728 128 (65 cifre)
 14 474 011 154 664 524 427 946 373 126 085 988 481 573 677 491 474 835 889 066 354 349 131 199 152 128 (77 cifre)

Il successivo numero perfetto, il tredicesimo, è composto da 314 cifre. Fino ad ora si conoscono solo 51 primi di Mersenne, e quindi 51 numeri perfetti. Il più grande tra questi è  formato (in base 10) da  cifre.

I primi 47 numeri perfetti sono pari e quindi esprimibili come  con:

p = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609.

Si conoscono altri quattro numeri perfetti maggiori, con

p = 57885161, 74207281, 77232917, 82589933

Tuttavia non si è ancora verificato se ve ne siano altri in mezzo, né si sa se i numeri perfetti continuino all'infinito e se esistano numeri perfetti dispari.

Tutti i numeri perfetti pari terminano con un 6 oppure con un 8.
Infatti, da 2n-1 × (2n − 1) si ha che:
 2n-1 è pari e termina per 2, 4, 8, 6;
 (2n − 1) è dispari e termina per 3, 7, 5, 1.
La cifra finale '5' va scartata perché sappiamo che (2n − 1) dev'essere primo, quindi le coppie che rimangono sono (2,3), (4,7) e (6,1), i cui prodotti danno le cifre 6 e 8 come finali di ogni numero perfetto pari.

Se la somma dei divisori di  è maggiore di , il numero  viene detto abbondante, mentre se risulta minore di 2N esso viene chiamato difettivo. Ogni numero  che verifica  viene detto lievemente abbondante, mentre un numero che verifica  viene detto lievemente difettivo. Finora nessuno è riuscito a trovare numeri lievemente abbondanti. D'altra parte, mentre è facile verificare che tutte le potenze di due sono numeri lievemente difettivi, non si sa ancora se esistono numeri lievemente difettivi diversi dalle potenze di due.

Non è esclusa la possibilità che esista un numero perfetto dispari. In tal caso, è facilmente dimostrabile che esso non possa essere un quadrato perfetto. Infatti, preso un numero dispari, tutti i suoi divisori saranno dispari. Siccome la somma di una quantità pari di numeri dispari è pari, ne consegue che un numero perfetto dispari debba necessariamente avere un numero dispari di divisori propri (cioè escluso il numero stesso) e quindi un numero pari di divisori positivi. Questo è possibile esclusivamente se tale numero non è un quadrato perfetto in quanto deve avere almeno un fattore primo con esponente dispari.

Note

Bibliografia 
 
 Kevin G. Hare, New techniques for bounds on the total number of prime factors of an odd perfect number, Math. Comp. 76 (2007), 2241-2248

Voci correlate 
 Numero semi-perfetto
 Numero primo di Mersenne
 Numeri amicabili
 Numero socievole
 Numero abbondante
 Numero difettivo
 Numero lievemente abbondante
 Numero lievemente difettivo
 Numero pratico
 Funzione aritmetica
 Teorema di Euclide-Eulero

Altri progetti

Collegamenti esterni 
 
  Perfect, amicable and sociable numbers di David Moews
  Perfect numbers - History and Theory in MacTutor
 (EN) Successione A000396 della On-Line Encyclopedia of Integer Sequences

Successioni di interi