Olympiad Maths Prep

Track / Stage 4 / 227 of 340 #487 of 2000

Problem 487

AMC 12 late, AIME early
Number theory Difficulty 4.9 Prove it Berkeley Math Circle Monthly Contest 1 · United States

Problem:

Let xx be an odd positive integer other than 11. Prove that one can find positive integers yy and zz such that
x2+y2=z2. x^{2} + y^{2} = z^{2}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Solution:

Let
y=x212andz=x2+12. y = \frac{x^{2} - 1}{2} \quad \text{and} \quad z = \frac{x^{2} + 1}{2}.
Because xx is odd, x21x^{2} - 1 and x2+1x^{2} + 1 are both even and therefore yy and zz are integers. Moreover, because xx is more than 11, x21x^{2} - 1 and x2+1x^{2} + 1 are more than 00 and thus yy and zz are positive. Finally, the desired equation x2+y2=z2x^{2} + y^{2} = z^{2} is equivalent to
x2+(x212)2=(x2+12)2x2+(x21)24=(x2+1)244x2+(x21)2=(x2+1)24x2+x42x2+1=x4+2x2+1, \begin{aligned} x^{2} + \left(\frac{x^{2} - 1}{2}\right)^{2} & = \left(\frac{x^{2} + 1}{2}\right)^{2} \\ x^{2} + \frac{\left(x^{2} - 1\right)^{2}}{4} & = \frac{\left(x^{2} + 1\right)^{2}}{4} \\ 4x^{2} + \left(x^{2} - 1\right)^{2} & = \left(x^{2} + 1\right)^{2} \\ 4x^{2} + x^{4} - 2x^{2} + 1 & = x^{4} + 2x^{2} + 1, \end{aligned}
which is true.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.