Results 1 to 6 of 6
Like Tree2Thanks
  • 1 Post By emakarov
  • 1 Post By emakarov

Math Help - Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

  1. #1
    Junior Member
    Joined
    Sep 2013
    From
    United States
    Posts
    67
    Thanks
    3

    Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Course: Foundations of Higher Mathematics

    Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    I feel confident about this one. It's only the first part of the biconditional. Here's my attempt.

    Assume that 2|(n^4-3) , i.e. n^4-3=2a, for some integer a.

    Then, n^4=2a+3
    =2(a+1) +1
    =2b+1.
    Since a+1 is an integer, b is an integer also.

    Therefore n^4 is odd, which means that n is odd, i.e. n=2c+1, for some integer c.

    Then, n^2+3=(2c+1)^2+3
    =4c^2+4c+4
    =4(c^2+c+1)=4d, for some integer d

    Therefore n^2+3=4d, hence 4|(n^2+3)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771

    Re: Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Nicely done.
    Thanks from MadSoulz
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Forum Admin topsquark's Avatar
    Joined
    Jan 2006
    From
    Wellsville, NY
    Posts
    9,853
    Thanks
    321
    Awards
    1

    Re: Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Quote Originally Posted by MadSoulz View Post
    Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)
    My take, which I don't know how to finish:
    From the first relation: n^4 - 3 \equiv 0 \text{ (mod 2)} which leads to n \equiv 1 \text{ (mod 2)}

    And from the second: n^2 + 3 \equiv 0 \text{ (mod 4)} which leads to n \equiv {1, 3} \text{ (mod 4)}

    How do I finish? Is it the Chinese remainder theorem?

    -Dan
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Sep 2013
    From
    United States
    Posts
    67
    Thanks
    3

    Re: Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Quote Originally Posted by topsquark View Post
    My take, which I don't know how to finish:
    From the first relation: n^4 - 3 \equiv 0 \text{ (mod 2)} which leads to n \equiv 1 \text{ (mod 2)}

    And from the second: n^2 + 3 \equiv 0 \text{ (mod 4)} which leads to n \equiv {1, 3} \text{ (mod 4)}

    How do I finish? Is it the Chinese remainder theorem?

    -Dan
    I'm not too familiar with modulo just yet. And I've never heard of that theorem before.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771

    Re: Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Quote Originally Posted by topsquark View Post
    From the first relation: n^4 - 3 \equiv 0 \text{ (mod 2)} which leads to n \equiv 1 \text{ (mod 2)}

    And from the second: n^2 + 3 \equiv 0 \text{ (mod 4)} which leads to n \equiv {1, 3} \text{ (mod 4)}
    I am not sure which fact stated purely in terms of ≡ to use, but it is clear that n ≡ 1, 3 (mod 4) iff n is odd.
    Thanks from topsquark
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Forum Admin topsquark's Avatar
    Joined
    Jan 2006
    From
    Wellsville, NY
    Posts
    9,853
    Thanks
    321
    Awards
    1

    Re: Prove that 2|(n^4 - 3) if and only if 4|(n^2+3)

    Quote Originally Posted by emakarov View Post
    I am not sure which fact stated purely in terms of ≡ to use, but it is clear that n ≡ 1, 3 (mod 4) iff n is odd.
    I can't believe I missed that. Thanks!

    -Dan
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: October 9th 2013, 07:23 PM
  2. Replies: 2
    Last Post: August 28th 2009, 02:59 AM
  3. Please prove
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: April 7th 2009, 01:58 PM
  4. prove
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: September 18th 2008, 05:22 AM
  5. Prove
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 17th 2008, 12:57 PM

Search Tags


/mathhelpforum @mathhelpforum