Results 1 to 9 of 9

Math Help - Proof that m is divisible by 3 iff m^2 is divisible by 3

  1. #1
    Member
    Joined
    May 2011
    Posts
    169

    Proof that m is divisible by 3 iff m^2 is divisible by 3

    Let m=3k, where k is a positive integer.

    <-> m^2=9k^2

    <-> m^2=3(3k^2)

    <-> m^2 is divisible by 3.

    That is my attempt but I don't think the last line is correct.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Prove It's Avatar
    Joined
    Aug 2008
    Posts
    11,835
    Thanks
    1604

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    What you have done so far is correct (though you have used the wrong implies symbol, you should be using \displaystyle \implies), but you have only proven the if statement. To prove the iff statement (if and only if) you need to prove it in the other direction as well. I.e. show that if m^2 is divisible by 3, then so is m.

    This will be easiest to prove using the contrapositive - i.e. if m is not divisible by 3, then neither is m^2.

    This means that \displaystyle m = 3p + 1 or \displaystyle m = 3p + 2 only.

    If \displaystyle m = 3p + 1 then

    \displaystyle \begin{align*}m^2 &= (3p + 1)^2 \\ &= 9p^2 + 6p + 1 \\ &= 3(3p^2 + 2p) + 1 \end{align*}

    which is not divisible by 3.

    Do the same for \displaystyle m= 3p + 2 .
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,401
    Thanks
    762

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    a direct proof of the reverse implication:

    3 is prime, so if 3|ab, either 3 divides a or 3 divides b. now take a = b = m.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Member
    Joined
    May 2011
    Posts
    169

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    Thanks for your very helpful answers. Couple more questions (1) When we talk about m being divisible by k, do we only consider m,k positive integers? (2) Deveno, is that an iff statement. 3|ab iff 3 divides a or b

    If so surely we can do it in on go. 3|m^2 <-> 3 divides m or m <->3 divides m. Thanks
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member abhishekkgp's Avatar
    Joined
    Jan 2011
    From
    India
    Posts
    495
    Thanks
    1

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    hi Duke.
    there is a very general result which may help you in many situations which is:
    If p is a prime and if p|a^n then p|a.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    Quote Originally Posted by Duke View Post
    Let m=3k, where k is a positive integer.

    <-> m^2=9k^2

    <-> m^2=3(3k^2)

    <-> m^2 is divisible by 3.

    That is my attempt but I don't think the last line is correct.

    You can also see that fact with geometry:
    Attached Thumbnails Attached Thumbnails Proof that m is divisible by 3 iff m^2 is divisible by 3-1212.png  
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    May 2011
    Posts
    169

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    Quote Originally Posted by abhishekkgp View Post
    hi Duke.
    there is a very general result which may help you in many situations which is:
    If p is a prime and if p|a^n then p|a.
    Thanks. Can you answer my questions in post 4 please?
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    Quote Originally Posted by Duke View Post
    Thanks for your very helpful answers. Couple more questions (1) When we talk about m being divisible by k, do we only consider m,k positive integers? (2) Deveno, is that an iff statement. 3|ab iff 3 divides a or b

    If so surely we can do it in on go. 3|m^2 <-> 3 divides m or m <->3 divides m. Thanks
    That is Euclid's lemma - Wikipedia, the free encyclopedia
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,401
    Thanks
    762

    Re: Proof that m is divisible by 3 iff m^2 is divisible by 3

    yes it is an "iff", but the "if" part is trivial. the "only if" part is sometimes used as the defintion of a prime number.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 5
    Last Post: February 20th 2013, 10:32 AM
  2. Replies: 1
    Last Post: May 8th 2010, 12:49 AM
  3. Replies: 5
    Last Post: January 1st 2010, 02:59 AM
  4. divisible by 11 proof
    Posted in the Number Theory Forum
    Replies: 3
    Last Post: September 14th 2008, 09:49 AM
  5. [SOLVED] [SOLVED] Proof divisible by 64
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: April 22nd 2005, 06:12 AM

Search Tags


/mathhelpforum @mathhelpforum