Maths Olympiad Prep

Library / /29 of 57

, 2009

Number theory Difficulty 5.8 AIME, harder Prove it JBMO

Problem:
Show that there are infinitely many positive integers cc, such that both of the following equations have solutions in positive integers:
(x2c)(y2c)=z2c \left(x^{2}-c\right)\left(y^{2}-c\right)=z^{2}-c
and
(x2+c)(y2c)=z2c \left(x^{2}+c\right)\left(y^{2}-c\right)=z^{2}-c

Solution

Solution:
The first equation always has solutions, namely the triples {x,x+1,x(x+1)c}\{x, x+1, x(x+1)-c\} for all xNx \in \mathbb{N}. Indeed,
(x2c)((x+1)2c)=x2(x+1)22c(x2+(x+1)2)+c2=(x(x+1)c)2c. \left(x^{2}-c\right)\left((x+1)^{2}-c\right)=x^{2}(x+1)^{2}-2c\left(x^{2}+(x+1)^{2}\right)+c^{2}=(x(x+1)-c)^{2}-c.

For the second equation, we try z=xycz=|xy-c|. We need
(x2+c)(y2c)=(xyc)2 \left(x^{2}+c\right)\left(y^{2}-c\right)=(xy-c)^{2}
or
x2y2+c(y2x2)c2=x2y22xyc+c2 x^{2}y^{2}+c\left(y^{2}-x^{2}\right)-c^{2}=x^{2}y^{2}-2xyc+c^{2}
Cancelling the common terms we get
c(x2y2+2xy)=2c2 c\left(x^{2}-y^{2}+2xy\right)=2c^{2}
or
c=x2y2+2xy2 c=\frac{x^{2}-y^{2}+2xy}{2}
Therefore, all cc of this form will work. This expression is a positive integer if xx and yy have the same parity, and it clearly takes infinitely many positive values. We only need to check z0z \neq 0, i.e. cxyc \neq xy, which is true for xyx \neq y. For example, one can take
y=x2 y=x-2
and
z=x2(x2)2+2x(x2)2=x22. z=\frac{x^{2}-(x-2)^{2}+2x(x-2)}{2}=x^{2}-2.
Thus, {(x,x2,2x2)}\{(x, x-2,2x-2)\} is a solution for c=x22c=x^{2}-2.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.