Numeri perfetti pari

Numeri interi, razionali, divisibilità, equazioni diofantee, ...
Rispondi
Stoppa2006
Messaggi: 51
Iscritto il: 28 nov 2006, 20:12

Numeri perfetti pari

Messaggio da Stoppa2006 »

Un numero di primo di Mersenne è un numero primo della forma:
$ M_p=2^p-1 $
Un numero si dice perfetto se:
$ \sigma(n)=\displaystyle\sum_{d|n}d=2n $
Dimostrare che un numero pari è perfetto se e solo se $ n=2^{p-1}M_p $ con $ M_p $ primo di Mersenne.
Avatar utente
Poliwhirl
Messaggi: 383
Iscritto il: 01 gen 1970, 01:00
Località: Napoli

Messaggio da Poliwhirl »

Complemento: dimostrare che se $ M_p = 2^p -1 $ è un numero primo di Mersenne allora $ p $ è un numero primo.

Bye
#Poliwhirl#
darkcrystal
Messaggi: 706
Iscritto il: 14 set 2005, 11:39
Località: Chiavari

Messaggio da darkcrystal »

Poliwhirl ha scritto:dimostrare che se $ M_p = 2^p -1 $ è un numero primo di Mersenne allora $ p $ è un numero primo.
Banalmente: se m|p (e 1<m<p...) allora (2^m-1)|(2^p-1) e 2^m-1 ha almeno un fattore primo diverso da 2^p-1...
Ciao!
"Solo due cose sono infinite: l'universo e la stupidità dell'uomo, e non sono tanto sicuro della prima" - Einstein

Membro dell'EATO
Avatar utente
Aurora
Messaggi: 12
Iscritto il: 14 ago 2006, 21:27
Località: pisa

Messaggio da Aurora »

Dunque....

Sia $ 2^{h}*k $ , con k dispari, un perfetto pari.

Poichè sigma è moltiplicativa si ha:

$ \sigma(2^{h}k)=\sigma(2^{h})*\sigma(k)=2^{h+1}k $

Ma poichè

$ \sigma(2^{h})=2^{h} + 2^{h-1} +...+ 1= 2^{h+1} -1 $

risulta

$ \sigma(k)*(2^{h+1}-1)=2^{h+1}k $

Quindi deve essere

$ \sigma(k)=2^{h+1}m $

da cui

$ k=m(2^{h+1}-1) $

$ \sigma(m(2^{h+1}-1))=2^{h+1}m $

Ma poichè

$ \sigma(m(2^{h+1}-1))=m*\sigma(2^{h+1}-1) + d $

con d la somma dei restanti divisori...
Se

$ 2^{h+1}-1 $

non fosse un primo, sarebbe

$ m*\sigma(2^{h+1}-1)>m(2^{h+1}) $

e se m fosse diverso da 1, d sarebbe diverso da 0.

Da ciò segue facilmente la tesi...

Spero di non aver fatto troppa confusione :wink:
Stoppa2006
Messaggi: 51
Iscritto il: 28 nov 2006, 20:12

Messaggio da Stoppa2006 »

Mi sembra che sia tutto ok :wink:
Rispondi