Ask your own question, for FREE!
Mathematics 27 Online
OpenStudy (jango_in_dtown):

Need a proof

OpenStudy (jango_in_dtown):

\[Prove that \phi(m_1)+\phi(m_2)+...+\phi(m_n)=\gcd(m,n)\]

OpenStudy (jango_in_dtown):

where m1,m2,...,mn divides both m and n

OpenStudy (jango_in_dtown):

@ganeshie8

OpenStudy (jango_in_dtown):

@Kainui

OpenStudy (jango_in_dtown):

m1, m2,...,mn are positive as well

ganeshie8 (ganeshie8):

Hey!

OpenStudy (anonymous):

What do u need help in

ganeshie8 (ganeshie8):

Your statement in compact form : \[\large a = \sum\limits_{d\mid a} \phi(d)\] Proof : Consider a partition of integers, \(\{1,2,3,\ldots,a\}\) : \[S_d=\{b : \gcd(a,b)=d; 1\le b\le a\}\] Notice that \(\gcd(a,b)=d\iff \gcd(a/d,b/d)=1\). That means \(|S_d| = \phi(a/d)\). Therefore, \[\large a = \sum\limits_{d\mid a} \phi(a/d) = \sum\limits_{d\mid a} \phi(d) \]

OpenStudy (jango_in_dtown):

Thanks @ganeshie8 .:)

OpenStudy (jango_in_dtown):

I dont have number theory but I needed a proof to be sure my claim in true, the result I will use in another problem.

ganeshie8 (ganeshie8):

np :) that notation isn't hard to understand, let me know if you want the detailed proof

OpenStudy (jango_in_dtown):

You already gave me in my inbox. And I understood, its nice and easy. Thanks to Gauss.:)

OpenStudy (jango_in_dtown):

hi @ganeshie8

ganeshie8 (ganeshie8):

Heyy

OpenStudy (jango_in_dtown):

I read the proof of Gauss.

OpenStudy (jango_in_dtown):

But I dont know how to prove what is given in the question

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!