Olympiad Maths Prep

Track / Stage 6 / 170 of 400 #1170 of 2000

Problem 1170

National olympiad, first round
Number theory Difficulty 6.3 Prove it 58th Ukrainian National Mathematical Olympiad · Ukraine

Find all triple of numbers (x,y,p)(x, y, p), where x,yx, y are positive integers and pp is a prime number, which satisfy the condition:
y(x2+p)x(y2+p)=p. y(x^2 + p) - x(y^2 + p) = p.

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

Factor the left-hand side of the equation:
(yx2xy2)+(ypxp)=pyx(xy)p(xy)=p(yxp)(xy)=p. (yx^2 - xy^2) + (yp - xp) = p \Rightarrow yx(x - y) - p(x - y) = p \Rightarrow (yx - p)(x - y) = p.
The last equation is possible in several cases.

Case 1. yxp=1yx - p = 1, xy=px - y = p. Then, we get a quadratic equation: x=y+px = y + p
y(y+p)p=1y2+ypp1=0. y(y + p) - p = 1 \Rightarrow y^2 + yp - p - 1 = 0.
Since y=1y=1 is the solution to this equation, then another solution is y=p1y=-p-1, but it is not a positive integer. Hence, we obtain that x=p+1x = p+1. Putting these values to the initial equation, we see that a tuple (p+1;1;p)(p+1; 1; p) satisfies the statement for arbitrary prime number pp.

Case 2. yxp=1yx - p = -1, xy=px - y = -p. Then, we get a quadratic equation: y=x+py = x + p
x(x+p)p=1x2+xpp+1=0. x(x + p) - p = -1 \Rightarrow x^2 + xp - p + 1 = 0.
Since xNx \in \mathbb{N}, the discriminant of the last equation must be the square of an integer number:
D=p24(p+1)=p2+4p4.D = p^2 - 4(-p+1) = p^2 + 4p - 4. Let us see which pp satisfies the conditions:
(p+1)2<p2+4p4<(p+2)2. (p+1)^2 < p^2 + 4p - 4 < (p+2)^2.
Right inequality holds for any pp, while the left one can be re-written:
p2+2p+1<p2+4p42p>5p3. p^2 + 2p + 1 < p^2 + 4p - 4 \Leftrightarrow 2p > 5 \Leftrightarrow p \ge 3.
Therefore, we must check separately the case p=2p=2, whereas for any other prime pp the discriminant is not the square of an integer number. For p=2p=2, we get D=8D=8, which is also not the square of an integer, which means such positive integer xx does not exist.

Case 3. yxp=pyx - p = p, xy=1x - y = 1. Then, we obtain the equations: x=y+1x = y+1 and yx=2pyx = 2p. From the 1st equation, x>yx > y, from the 2nd, y=1y=1 and x=2px = 2p or y=2y = 2 and x=px = p. If we combine these conditions, then we obtain y=1,x=2,p=1y=1, x=2, p=1 – contradiction, or y=2,x=p=3y=2, x=p=3 – solution.

Case 4. yxp=pyx - p = -p, xy=1x - y = -1. Obviously, the first equation yields the contradiction.

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