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 $N$ si dice perfetto quando $σ (N) = 2 N$ , dove la funzione $σ (N)$ è la funzione sigma, cioè la funzione che fornisce la somma dei divisori positivi di $N$ .

Ad esempio, il numero $28$ , divisibile per $1, 2, 4, 7, 14$ è un numero perfetto e lo stesso vale per $6$ che è divisibile per $1$ , $2$ e $3$ :

28 = 1 + 2 + 4 + 7 + 14

6 = 1 + 2 + 3

Storia

I numeri perfetti furono inizialmente studiati dai pitagorici. Un teorema enunciato da Pitagora e dimostrato da Euclide rivelò che se $2^{n} - 1$ è un numero primo, allora $2^{n - 1} \cdot (2^{n} - 1)$ è perfetto. Successivamente Eulero dimostrò che tutti i numeri perfetti pari devono essere di tale forma. I numeri nella forma $2^{n} - 1$ che sono primi sono detti primi di Mersenne. Si dimostra facilmente che se $n$ non è primo allora non lo è neanche $2^{n} - 1$ .

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 52 numeri perfetti, il più grande dei quali ha 82048639 cifre.

Esempio: $6 = 2^{1} \cdot (2^{2} - 1)$ .

Per via dell'espressione $2^{n - 1} \cdot (2^{n} - 1)$ , ogni numero perfetto pari è necessariamente:

un numero triangolare, visto che si può scrivere

2^{n - 1} (2^{n} - 1) = \frac{(2^{n} - 1) \cdot 2^{n}}{2} = \frac{k (k + 1)}{2}

k = 2^{n} - 1

un numero esagonale, visto che si può scrivere

2^{n - 1} (2^{n} - 1) = 2^{2 n - 1} - 2^{n - 1} = 2 k^{2} - k

k = 2^{n - 1}

è anche un numero pratico
ha come espressione binaria $p$ valori uguali a uno seguiti da $p - 1$ zeri (con $p$ numero primo). Qui il pedice denota la base in cui il numero viene espresso:

6₁₀ = 110₂

28₁₀ = 11100₂

496₁₀ = 111110000₂

8128₁₀ = 1111111000000₂

33550336₁₀ = 1111111111111000000000000₂.

Questi numeri sono stati ottenuti per n = 2, 3, 5, 7, 13. Il caso n = 11 fornisce un valore di $k = 2^{n} - 1 = 2047 = 23 \cdot 89$ 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 52 primi di Mersenne, e quindi 52 numeri perfetti. Il più grande tra questi è 2^136279840 × (2^136279841 − 1), formato (in base 10) da 82048639 cifre.

I primi 49 numeri perfetti sono pari e quindi esprimibili come 2^{p − 1}(2^p − 1) 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, 57885161, 74207281.

Si conoscono altri tre numeri perfetti maggiori, con

p = 77232917, 82589933, 136279841

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 2^{n − 1} × (2ⁿ − 1) si ha che:

2^{n − 1} è pari e termina per 2, 4, 8, 6;
(2ⁿ − 1) è dispari e termina per 3, 7, 5, 1.

La cifra finale '5' va scartata perché sappiamo che (2ⁿ − 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 $N$ è maggiore di $2 N$ , il numero $N$ viene detto abbondante, mentre se risulta minore di 2N esso viene chiamato difettivo. Ogni numero $N$ che verifica $σ (N) = 2 N + 1$ viene detto lievemente abbondante, mentre un numero che verifica $σ (N) = 2 N - 1$ 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

1 2 Fino a ottobre 2024.
↑ GIMPS Home, su mersenne.org.
↑ (EN) Successione A000043, su On-Line Encyclopedia of Integer Sequences, The OEIS Foundation.
↑ GIMPS Milestones Report, su mersenne.org. URL consultato il 2 gennaio 2019.

Bibliografia

(EN) Martin Gardner, Perfect, Amicable, Sociable, in Mathematical Magic Show, 1990, pp. 160-172.
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

Altri progetti

Wikiquote contiene citazioni sul numero perfetto
Wikizionario contiene il lemma di dizionario «numero perfetto»
Wikimedia Commons contiene immagini o altri file sul numero perfetto

Collegamenti esterni

(EN) number number, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

(EN) Eric W. Weisstein, Perfect Number, su MathWorld, Wolfram Research.
(EN) Perfect, amicable and sociable numbers di David Moews
(EN) Perfect numbers - History and Theory in MacTutor
(EN) Successione A000396 della On-Line Encyclopedia of Integer Sequences

Controllo di autorità	GND (DE) 7683309-4

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

[:0-1] 1 2 Fino a ottobre 2024.

[2] GIMPS Home, su mersenne.org.

[3] (EN) Successione A000043, su On-Line Encyclopedia of Integer Sequences, The OEIS Foundation.

[4] GIMPS Milestones Report, su mersenne.org. URL consultato il 2 gennaio 2019.