Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Number theory
Reply
 
Thread Tools Display Modes
  #1  
Old October 14th, 2009, 07:48 PM
Junior Member
 
Join Date: May 2009
Posts: 36
Thanks: 5
Thanked 11 Times in 9 Posts
streethot is on a distinguished road
Default Euler Totient problem

Find all n such that:

\varphi(n)=12
Reply With Quote
Advertisement
 
  #2  
Old October 14th, 2009, 08:40 PM
chisigma's Avatar
Super Member
 
Join Date: Mar 2009
Location: near Piacenza (Italy)
Posts: 729
Country:
Thanks: 24
Thanked 267 Times in 235 Posts
chisigma is a jewel in the roughchisigma is a jewel in the roughchisigma is a jewel in the roughchisigma is a jewel in the rough
Default

The \varphi(*) is a multiplicative function so that if m and n are coprime, then...

\varphi(m\cdot n)= \varphi(m)\cdot \varphi(n) (1)

For n=1 and n=2 is \varphi(n)=1 and \forall n>2 \varphi(n) is an even number, so that the solutions of the equation...

\varphi (m\cdot n)=12 (2)

... are obtained by systematic search of couples of coprime numbers m and n for which is...

\varphi(m)=12, \varphi(n)=1

\varphi(m)=6, \varphi(n)=2 (3)

Since \varphi(13)=12 solutions are...

13 \cdot 1 =13

13\cdot 2 = 26

Since \varphi(7)=6 also solutions are...

7 \cdot 3 = 21

7 \cdot 4= 28

7 \cdot 6 = 42

Finally is \varphi (9)= 6 so that solution is...

9\cdot 4 = 36

The numbers k for which is \varphi(k)=12 are...

k=13,21,26,28,36,42

Kind regards

\chi \sigma
__________________
My new avatar will remain until the sentence of the European Court that removes the crucifix from the italian schools will be revised...
Reply With Quote
  #3  
Old November 5th, 2009, 08:40 AM
Junior Member
 
Join Date: Oct 2008
Posts: 53
Country:
Thanks: 22
Thanked 0 Times in 0 Posts
harkapobi is on a distinguished road
Default

Quote:
Originally Posted by chisigma View Post
The \varphi(*) is a multiplicative function so that if m and n are coprime, then...

\varphi(m\cdot n)= \varphi(m)\cdot \varphi(n) (1)

For n=1 and n=2 is \varphi(n)=1 and \forall n>2 \varphi(n) is an even number, so that the solutions of the equation...

\varphi (m\cdot n)=12 (2)

... are obtained by systematic search of couples of coprime numbers m and n for which is...

\varphi(m)=12, \varphi(n)=1

\varphi(m)=6, \varphi(n)=2 (3)

Since \varphi(13)=12 solutions are...

13 \cdot 1 =13

13\cdot 2 = 26

Since \varphi(7)=6 also solutions are...

7 \cdot 3 = 21

7 \cdot 4= 28

7 \cdot 6 = 42

Finally is \varphi (9)= 6 so that solution is...

9\cdot 4 = 36

The numbers k for which is \varphi(k)=12 are...

k=13,21,26,28,36,42


\chi \sigma
Hi, thank you for directing me here. Its good to see an example, but i dont understand this method.

Why do you multiply 7 by 3, 4 and 6? And how do you get \phi(7) = 6 and \phi(9) = 6. I know you can easily work these out but aren't both of these just an instance of the same sort of question as \phi(m) = 12? Aren't there more \phi(m) = 6?

Sorry if i'm being a bit slow, all this is very confusing for me.
Reply With Quote
  #4  
Old November 5th, 2009, 09:20 PM
chisigma's Avatar
Super Member
 
Join Date: Mar 2009
Location: near Piacenza (Italy)
Posts: 729
Country:
Thanks: 24
Thanked 267 Times in 235 Posts
chisigma is a jewel in the roughchisigma is a jewel in the roughchisigma is a jewel in the roughchisigma is a jewel in the rough
Default

The basic assumptions are...

a) is \varphi(n)=1 only for n=1 and n=2. For all n>2 , \varphi (n) is an even number...

b) is \varphi(m\cdot k)=\varphi(m)\cdot \varphi(k) if and only if m and k are coprime...

On the basis of b) the identification of an n for which \varphi(n)=12 is for the fact that must be n=m\cdot k where m and k are coprime and \varphi(m)\cdot \varphi(k) = 12. There are the following possibilities...

\varphi(m)=12 , \varphi(k)=1

\varphi(m)=6 , \varphi(k)=2

The situation...

\varphi(m)=4 , \varphi(k)=3

... as proposed by tonio in the original post, is impossible on the basis of a)...

Kind regards

\chi \sigma
__________________
My new avatar will remain until the sentence of the European Court that removes the crucifix from the italian schools will be revised...
Reply With Quote
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 05:08 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2010, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.