Results 1 to 3 of 3

Math Help - Arithmetical functions

  1. #1
    Member
    Joined
    Feb 2009
    From
    Chennai
    Posts
    148

    Arithmetical functions

    Let P(n) be the product of positive integers which are \leq n and relatively prime to n  . Prove that     \displaystyle P(n) =n^{\phi(n)} \prod\limits_{d \mid n} \biggl(\frac{d!}{d^d} \biggr)^{\mu(n/d)}
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member PaulRS's Avatar
    Joined
    Oct 2007
    Posts
    571
    Let F( n) = \sum_{(k,n)=1;1\leq k\leq n} {\log(\tfrac{k}{n})}

    Then \sum_{d|n}F(d) =\log(\tfrac{1}{n})+...+\log(\tfrac{n}{n})=\log\le  ft(\frac{n!}{n^n}\right) (see here )

    Thus, by Möbius inversion formula: F(n) = \sum_{d|n}\log\left(\frac{d!}{d^d}\right)\cdot \mu\left(\frac{n}{d}\right) = \log\left(\prod_{d|n}\left(\frac{d!}{d^d}\right)^{  \mu\left(\frac{n}{d}\right) }\right) (1)

    Now: F(n) =  \sum_{(k,n)=1;1\leq k\leq n} {\log(k)} -\phi(n)\cdot \log( n)  = \log(P(n))-\log(n^{\phi(n)})

    Then taking exponentials in (1) your identity follows.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Feb 2009
    From
    Chennai
    Posts
    148

    superb

    Hi--

    Paul, that was a superb answer. I really liked the proof. By the way i am just a beginner in analytic number theory and i am finding this a bit difficult as i am learning it on my own. Difficulty not in the proofs or theorems but in solving problems.

    Like, i couldn never have considered the way you taken F(n). I mean how did u get the idea...

    Pls help..i really want to master number theory as its such a wonderful subject....
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 0
    Last Post: April 15th 2010, 06:50 PM
  2. Replies: 3
    Last Post: February 23rd 2010, 05:54 PM
  3. Replies: 11
    Last Post: November 15th 2009, 12:22 PM
  4. Replies: 7
    Last Post: August 12th 2009, 05:41 PM
  5. Arithmetical sequence
    Posted in the Algebra Forum
    Replies: 9
    Last Post: January 27th 2006, 01:21 PM

Search Tags


/mathhelpforum @mathhelpforum