sum of two squares proof

• Aug 4th 2009, 01:51 PM
diddledabble
sum of two squares proof
Show that 8k+7 cannot be the sum of three squares
• Aug 4th 2009, 02:11 PM
pickslides
I might be reaching a bit here but I can show it can be the sum of 2 squares.

$\displaystyle (\sqrt{8k})^2+(\sqrt{7})^2 = 8k+7$
• Aug 4th 2009, 02:14 PM
diddledabble
My mistake
It should be three squares.
• Aug 4th 2009, 02:32 PM
Gamma
I won't write it all out explicitly for you, but here is how you would go about it, there will be lots of cases and things for you to work out.

first of all you look at the residue classes mod 8. If it could be done, then you would need to be able to satisfy $\displaystyle 7\equiv a^2 + b^2 + c^2$ (mod 8).

$\displaystyle 0^2 \equiv 0$ (mod 8)
$\displaystyle 1^2 \equiv 1$ (mod 8)
$\displaystyle 2^2 \equiv 4$ (mod 8)
$\displaystyle 3^2 \equiv 1$ (mod 8)
$\displaystyle 4^2 \equiv 0$ (mod 8)
$\displaystyle 5^2 \equiv 1$ (mod 8)
$\displaystyle 6^2 \equiv 4$ (mod 8)
$\displaystyle 7^2 \equiv 1$ (mod 8)

There is no way to add 3 numbers coming from the set {0,1,4} (repetition obviously allowed) and get 7 (mod 8). Therefore it cannot be done.