Formula di TDN

Messaggioda Woody » 11/02/2006, 13:10

Salve a tutti! Conoscete la dimostrazione del fatto che: $\sum_{d|n} \phi(d) = n \qquad\forall n\in NN\\{0}$ ?
Woody
Woody
Junior Member
Junior Member
 
Messaggio: 201 di 223
Iscritto il: 13/02/2005, 14:05
Località: Italy

Re: Formula di TDN

Messaggioda carlo23 » 11/02/2006, 14:29

Woody ha scritto:Salve a tutti! Conoscete la dimostrazione del fatto che: $\sum_{d|n} \phi(d) = n \qquad\forall n\in NN\\{0}$ ?


Si, guarda che l'ho già dimostrato nel post di balckdie "Successioni di frazioni".

Comunque se vuoi che mi spieghi meglio, ecco fatto! :D

Come ben sappiamo per ogni numero primo $p$ si ha $phi(p^a)=p^a-p^a-1$, da cui segue che

$p^a=sum_(p|p^a) phi(p)$

infatti quest'ultima è una serie telescopica facilmente dove si annullano tutti i termini tranne $p^a$. Ora sappiamo che $phi$ è moltiplicativa cioè

$phi(ab)=phi(a)phi(b) forall gcd(a,b)=1$

quindi preso un $n$ in forma canonica $n=p_1^(a_1)p_2^(a_2)...p_u^(a_u)$ si ha

$n=prod_(k=1)^usum_(p|p_k^(a_k)) phi(p)=sum_(d|n)phi(d)$

Ciao! :D
carlo23
Senior Member
Senior Member
 
Messaggio: 780 di 1683
Iscritto il: 01/11/2005, 19:38

Messaggioda Woody » 11/02/2006, 16:30

Grazie mille! Ciao! :D
Woody
Woody
Junior Member
Junior Member
 
Messaggio: 202 di 223
Iscritto il: 13/02/2005, 14:05
Località: Italy


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Google [Bot] e 1 ospite