Originally Posted by

**curiousmuch** This problem has got me stumped.

Let (x,y,z) be a primitive Pythagorean triple. Prove that one of the integers in the triple is divisible by 3, one is divisible by 4, and one is divisible by 5.

3,4,5 do not have to divide different elements of the triple.

I mean we know that by definition a primitive Pythagorean triple has to satisfy x^2+y^2=z^2. We also know that one leg is odd, the other is even, and that the hypotenuse is odd. Also, gcd(x,y,z)=1.

I tried isolating one variable and then trying to show it is divisible by 3,4,5, but am running into trouble.

Help would be awesome. Thanks.

Hi **curiousmuch**.

Let

$\displaystyle x=m^2-n^2$

$\displaystyle y=2mn$

$\displaystyle z=m^2+n^2$

$\displaystyle m$ and $\displaystyle n$ cannot be both odd, otherwise $\displaystyle x,y,z$ would all be even. Hence one of $\displaystyle m$ and $\displaystyle n$ must be even. Hence $\displaystyle y$ is always divisible by 4.

If one of $\displaystyle m$ and $\displaystyle n$ is divisible by 3, then $\displaystyle y$ would also be divisible by 3. Suppose neither $\displaystyle m$ nor $\displaystyle n$ is a multiple of 3. Then 3 does not divide $\displaystyle m^2$ or $\displaystyle n^2$ either. Now, either $\displaystyle m^2\equiv n^2\pmod3$ or $\displaystyle m^2\not\equiv n^2\pmod3.$ In the former case, $\displaystyle x=m^2-n^2$ is divisible by 3. In the latter case, we have $\displaystyle m^2\equiv\pm1\pmod3$ and $\displaystyle n^2\equiv\mp1\pmod3.$ $\displaystyle \therefore$ 3 divides $\displaystyle m^2+n^2=z.$

If one of $\displaystyle m$ and $\displaystyle n$ is divisible by 5, then $\displaystyle y$ would also be divisible by 5. Suppose 5 does not divide $\displaystyle m$ or $\displaystyle n.$ By Fermat’s little theorem, $\displaystyle m^4\equiv1\pmod5$ and $\displaystyle n^4\equiv1\pmod5.$ Hence 5 divides $\displaystyle m^4-n^4=(m^2-n^2)(m^2+n^2)=xz.$ As 5 is prime, this means 5 divides either $\displaystyle x$ or $\displaystyle z.$