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 November 5th, 2009, 10:51 PM
Bruno J.'s Avatar
Generous Contributor
 
Join Date: Jun 2009
Posts: 444
Country:
Thanks: 94
Thanked 154 Times in 137 Posts
Bruno J. has a spectacular aura aboutBruno J. has a spectacular aura about
Default A question about Euler's phi function

This one is for fun. I just made it up.

Show that \inf_{n \in \mathbb{N}}\frac{\phi(n)}{n}=0.
Reply With Quote
Advertisement
 
  #2  
Old November 6th, 2009, 01:03 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

We can start from the explicit expression of \varphi (n) ...

\varphi(n)= n\cdot \prod_{p|n} (1-\frac{1}{p}) (1)

... from which we derive immediately...

\frac{\varphi(n)}{n} = \prod_{p|n} (1-\frac{1}{p}) (2)

Now we remember the well known 'Euler's product' written in the 'not very usual form' ...

\frac{1}{\zeta(s)} = \prod_{p} (1-\frac{1}{p^{s}}) (3)

... from which, setting s=1 we derive immediately...

\prod_{p} (1-\frac{1}{p})=0 (4)

The (4) tells us that for any \varepsilon >0 we have an integer k so that is...

\prod_{n=1}^{k} (1-\frac{1}{p_{n}}) < \varepsilon (5)

Combining (2) and (5) we conclude that for any \varepsilon >0 it exist a k so that setting...

n=\prod_{i=1}^{k} p_{i} (6)

...is...

\frac{\varphi(n)}{n} < \varepsilon (7)

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
The following users thank chisigma for this useful post:
Donate to MHF
  #3  
Old November 6th, 2009, 06:06 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 chisigma View Post
We can start from the explicit expression of \varphi (n) ...

\varphi(n)= n\cdot \prod_{p|n} (1-\frac{1}{p}) (1)

... from which we derive immediately...

\frac{\varphi(n)}{n} = \prod_{p|n} (1-\frac{1}{p}) (2)

Now we remember the well known 'Euler's product' written in the 'not very usual form' ...

\frac{1}{\zeta(s)} = \prod_{p} (1-\frac{1}{p^{s}}) (3)

... from which, setting s=1 we derive immediately...

\prod_{p} (1-\frac{1}{p})=0 (4)


Doesn't Riemann's zeta function has a pole in s = 1?

Tonio



The (4) tells us that for any \varepsilon >0 we have an integer k so that is...

\prod_{n=1}^{k} (1-\frac{1}{p_{n}}) < \varepsilon (5)

Combining (2) and (5) we conclude that for any \varepsilon >0 it exist a k so that setting...

n=\prod_{i=1}^{k} p_{i} (6)

...is...

\frac{\varphi(n)}{n} < \varepsilon (7)

Kind regards

\chi \sigma
.
Reply With Quote
  #4  
Old November 6th, 2009, 06:28 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

Doesn't Riemann's zeta function has a pole in s = 1?...

Tonio

... of course it has!... that's why the inverse of the Riemann's zeta function has a zero in s=1, so that is...

\frac{1}{\zeta(s)}_{s=1}=0 (1)

... of course! ...

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
The following users thank chisigma for this useful post:
Donate to MHF
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 10:45 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.