Maths Olympiad Prep

Library / /36 of 49

, 2022

Number theory Difficulty 6.6 National Olympiad Prove it Bulgaria

Determine all prime numbers pp, for which there exist positive integers xx and yy, such that
p+49=2x2p2+49=2y2. \left| \begin{array}{l} p + 49 = 2x^2 \\ p^2 + 49 = 2y^2 \end{array} \right. .

Solution

We will prove that p=23p = 23 is the unique solution. Subtracting the second equality from the first one, we get p(p1)=2(yx)(y+x)p(p-1) = 2(y-x)(y+x). From the first equality pp is odd, thus p2p \ne 2 and p(yx)(y+x)p \mid (y-x)(y+x). Clearly y>xy > x, so assuming p(yx)p \mid (y-x), we get pyx<y+xp \le y-x < y+x. Therefore,
2(yx)(y+x)>2p2>p2>p(p1) - a contradiction.    p(y+x). 2(y-x)(y+x) > 2p^2 > p^2 > p(p-1) \text{ - a contradiction.} \quad \implies \quad p \mid (y+x).

Assuming ypy \ge p, from the second equation it follows 49=2y2p2p249 = 2y^2 - p^2 \ge p^2, i.e., p7p \le 7. Since 26=3+49226 = \frac{3+49}{2}, 27=5+49227 = \frac{5+49}{2}, 28=7+49228 = \frac{7+49}{2} are not perfect squares, none of those values is a solution. For the remaining case y<py < p, we have x+y<2y<2px+y < 2y < 2p, thus x+y=px+y = p. So yx=p2xy-x = p-2x and
p1=2(yx)=2(p2x)p=4x12x24x48=0x1,2=1±5. p-1 = 2(y-x) = 2(p-2x) \Leftrightarrow p = 4x-1 \Leftrightarrow 2x^2 - 4x - 48 = 0 \Leftrightarrow x_{1,2} = 1 \pm 5.

Finally, since 4<0-4 < 0, the only solution is x=6x = 6, p=461=23p = 4 \cdot 6 - 1 = 23 and y=px=17y = p - x = 17. Direct check confirms that this is indeed a solution.

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.