1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Another small number theory proof

  1. May 9, 2010 #1
    Show that if x, y ∈ Z and 3|x2+z2 then 3|x and 3|z



    => 3|x+z or 3|x-z

    if 3|x+z

    then 3|(x+z)2 = x2+z2 +2xz

    => 3|x2+z2 +2xz - (x2+z2)

    => 3|2xz

    => 3|xz

    so 3|x or 3|z

    where to go from here?

    just the arguement that if 3|x then 3|x2

    and therefore 3 must divide z2 => 3|z?

    Last edited: May 9, 2010
  2. jcsd
  3. May 9, 2010 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    That's pretty much it
  4. May 9, 2010 #3
    Is the statement of the problem correct? We see a "y" in the hypothesis, but a "z" in the conclusion. More serious, instead of


    did you mean


    I'm guessing that you meant the latter since your solution starts with


    and (x-z)(x+z) = x2-z2

    Finally, you had two cases (3|x+z or 3|x-z), but only addressed the first.

  5. May 9, 2010 #4


    User Avatar
    Science Advisor
    Homework Helper

    It can't be x^2-z^2. If x=4 and z=2, 3|12, but 3 doesn't divide 4 OR 2. Firepanda should try thinking about what x^2 mod 3 equals.
    Last edited: May 9, 2010
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook