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 29th, 2009, 10:57 AM
Newbie
 
Join Date: Oct 2009
Posts: 8
Country:
Thanks: 8
Thanked 0 Times in 0 Posts
kyldn6 is on a distinguished road
Default Combinatorial Study of Phi(n)

Prove that \phi(m) is even if m > 2.

and

Find all integers n such that \phi(n) = 12.

For the second one is it possible to do it simply with inspection or is there a formula I'm just missing?
Reply With Quote
Advertisement
 
  #2  
Old October 29th, 2009, 11:36 AM
MHF Contributor
 
Join Date: Oct 2009
Posts: 1,172
Thanks: 54
Thanked 400 Times in 378 Posts
tonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nice
Default

Quote:
Originally Posted by kyldn6 View Post
Prove that \phi(m) is even if m > 2.

and

Find all integers n such that \phi(n) = 12.

For the second one is it possible to do it simply with inspection or is there a formula I'm just missing?

If m=\prod\limits_{n=1}^r p_i^{a_i} \,,\,\,p_i\,\,primes\,,\,\,0<a_i\in \mathbb{N}, then

\phi(m)=m\,\prod\limits_{n=1}^r\left(1-\frac{1}{p_i}\right)

This answers question 1 at once, and for question 2 you have a little maths to do. Enjoy!

Tonio
Reply With Quote
The following users thank tonio for this useful post:
Donate to MHF
  #3  
Old November 5th, 2009, 08:33 AM
Junior Member
 
Join Date: Oct 2008
Posts: 36
Country:
Thanks: 14
Thanked 0 Times in 0 Posts
harkapobi is on a distinguished road
Default

Quote:
Originally Posted by tonio View Post
If m=\prod\limits_{n=1}^r p_i^{a_i} \,,\,\,p_i\,\,primes\,,\,\,0<a_i\in \mathbb{N}, then

\phi(m)=m\,\prod\limits_{n=1}^r\left(1-\frac{1}{p_i}\right)

This answers question 1 at once, and for question 2 you have a little maths to do. Enjoy!

Tonio
Hi, I dont understand how you use this formula for \phi(m) to find m for question 2. Could you please explain a little further?

Katy
Reply With Quote
  #4  
Old November 5th, 2009, 09:06 AM
chisigma's Avatar
Super Member
 
Join Date: Mar 2009
Location: near Piacenza (Italy)
Posts: 503
Country:
Thanks: 17
Thanked 160 Times in 144 Posts
chisigma has a spectacular aura aboutchisigma has a spectacular aura aboutchisigma has a spectacular aura about
Default

For the second question see here...

Euler Totient problem

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
  #5  
Old November 5th, 2009, 12:13 PM
MHF Contributor
 
Join Date: Oct 2009
Posts: 1,172
Thanks: 54
Thanked 400 Times in 378 Posts
tonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nice
Default

Quote:
Originally Posted by harkapobi View Post
Hi, I dont understand how you use this formula for \phi(m) to find m for question 2. Could you please explain a little further?

Katy

I'll give you a little additional hint: if n=p_1^{r_1}\cdot...\cdot p_k^{r_k}\,,\,\,then\,\,\phi(n)=p_1^{r_1}\cdot...\cdot p_k^{r_k}\left(1-\frac{1}{p_1}\right)\cdot...\cdot \left(1-\frac{1}{p_k}\right) =p_1^{r_1-1}\cdot...\cdot p_k^{r_k-1}(p_1-1)\cdot...\cdot (p_k-1).

OTOH, we know 12=2^2\cdot 3, so...

Tonio
Reply With Quote
  #6  
Old November 5th, 2009, 02:10 PM
Junior Member
 
Join Date: Oct 2008
Posts: 36
Country:
Thanks: 14
Thanked 0 Times in 0 Posts
harkapobi is on a distinguished road
Default

I'm sorry, i know i'm probably being really dumb but I still dont get it.

2^{2}3

How do you find n?
Reply With Quote
  #7  
Old November 5th, 2009, 03:03 PM
MHF Contributor
 
Join Date: Oct 2009
Posts: 1,172
Thanks: 54
Thanked 400 Times in 378 Posts
tonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nicetonio is just really nice
Default

Quote:
Originally Posted by harkapobi View Post
I'm sorry, i know i'm probably being really dumb but I still dont get it.

2^{2}3

How do you find n?

Check cases: p_i-1 is even unless p_i=2, so you can have 12=12\cdot 1=6\cdot 2=4\cdot 3:

1) 12=12\cdot 1=\left[p_1^{r_1-1}\cdot...\cdot p_k^{r_k-1}\right]\left[(p_1-1)\cdot...\cdot (p_k-1)\right]
The only form (p_1-1)\cdot...\cdot (p_k-1) can be 1 is if there's only one prime and it is 2, but then the prime 3 lacks us, so this can't be:

2) 12=1\cdot 12=\left[p_1^{r_1-1}\cdot...\cdot p_k^{r_k-1}\right]\left[(p_1-1)\cdot...\cdot (p_k-1)\right]
The only way we can have 1 =\left[p_1^{r_1-1}\cdot...\cdot p_k^{r_k-1}\right] is if all the primes appear raised to 1, but then we must have 12 = \left[(p_1-1)\cdot...\cdot (p_k-1)\right] , which is possible only if there's one single prime which then must equal 13.

So we already have \phi(13)=12\Longrightarrow \phi(2*13)=\phi(26)=12 , since \phi(2)=1

Now you try 6\cdot 2\,,\,\,2\cdot 6\,,\,\,4\cdot 3\,\,and\,\,3\cdot 4

Tonio
Reply With Quote
  #8  
Old November 5th, 2009, 03:54 PM
Junior Member
 
Join Date: Oct 2008
Posts: 36
Country:
Thanks: 14
Thanked 0 Times in 0 Posts
harkapobi is on a distinguished road
Default

Ok, I understand that I think. My question is actually \phi(n) = 6

So I have
Case 1: 6\cdot 1 where can only be 1 if there is only 1 prime and its 2. But then no 3 to make 6.

Case 2: 1\cdot 6 where I get that there is a single prime 7. Then I also get n = 14 because \phi(2\cdot 7) = 1\cdot 6

Case 3: 2\cdot 3
here I get \left[p_1^{r_1-1}\cdot ... \cdot p_k^{r_k-1}\right] = 2 so then there is one prime 2 raised to the power of 2, then all others raised to the power of 1.

But = (2 - 1) \cdot ... (p_k - 1) = 3 and this is not possible.

Case 4: 2\cdot 3

\left[p_1^{r_1-1}\cdot ... \cdot p_k^{r_k-1}\right] = 3 so there is one prime 3 raised to the power of 2 and all others raised to 1.

So (3-1)\cdot ... (p_k - 1) = 2 \cdot ... (p_k - 1) = 2 so there is only one other prime which is 2. Giving me 3^2\cdot 2 = 18

but i know i'm supposed to get a 9 from somewhere. I can't see where tho. Sorry to be a pain. Thank you for all the help.

Katy
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 11:00 PM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, 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.