Results 1 to 2 of 2

Math Help - Abundant numbres proof

  1. #1
    Super Member
    Joined
    Mar 2006
    Posts
    705
    Thanks
    2

    Abundant numbres proof

    Prove that there exist infinitely many odd abundant numbers.

    Proof.

    Consider the integers n = 945k, where k is any positive integers not divisible by 2,3,5, or 7.

    Since 945 = (3^3)(5)(7), so gcd(945,k)=1, implies that  \sigma (n) = \sigma (945) \sigma (k) = \sigma (3^3) \sigma (5) \sigma (7) \sigma (k) = \frac {3^4-1}{3-1} \frac {5^2-1}{5-1} \frac {7^2-1}{7-1} \sigma (k) = 1920 \sigma (k)

    Therefore I have  \sigma (945k) = 1920 \sigma (k)

    Now, I claim that  \sigma (945k) =  1920 \sigma (k) > (2)945k = 1890k \ \ \ \ \ \forall k \in \mathbb {N} , and I'm using induction to prove it.

    Certainly, 1920 \sigma (1) = 1920 > 1890 , so the claim is true when k=1.

    Suppose the claim is true for k=t, we then have  1920 \sigma (t) > 1890t

    Now, I want to show that (1920) \sigma (t+1) = 1890 (t+1) , how would I do that?

    Thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by tttcomrader View Post
    Prove that there exist infinitely many odd abundant numbers.

    Proof.

    Consider the integers n = 945k, where k is any positive integers not divisible by 2,3,5, or 7.

    Since 945 = (3^3)(5)(7), so gcd(945,k)=1, implies that  \sigma (n) = \sigma (945) \sigma (k) = \sigma (3^3) \sigma (5) \sigma (7) \sigma (k) = \frac {3^4-1}{3-1} \frac {5^2-1}{5-1} \frac {7^2-1}{7-1} \sigma (k) = 1920 \sigma (k)
    All you need to show is that \sigma (n) > 2n. Now \sigma(n) = 1920 \sigma(k) and 2n = 1890k. Since \sigma(k) > k it immediatelly completes the proof.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 15
    Last Post: June 8th 2011, 11:13 AM
  2. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  3. Abundant Integer
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: June 13th 2009, 11:38 AM
  4. Abundant Proof
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: November 5th 2008, 08:07 AM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 04:07 PM

Search Tags


/mathhelpforum @mathhelpforum