Maths Olympiad Prep

Library / /229 of 520

Number theory Difficulty 5.5 AIME, harder Find the answer

20. N2 (RUS) IMO\mathrm{IMO} The positive integers aa and bb are such that the numbers 15a+16515 a+165 and 16a15516 a-155 are both squares of positive integers. What is the least possible value that can be taken on by the smaller of these two squares?

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

20. Let 15a+16b=x215 a+16 b=x^{2} and 16a15b=y216 a-15 b=y^{2}, where x,yNx, y \in \mathbb{N}. Then we obtain x4+y4=(15a+16b)2+(16a15b)2=(152+162)(a2+b2)=481(a2+b2)x^{4}+y^{4}=(15 a+16 b)^{2}+(16 a-15 b)^{2}=\left(15^{2}+16^{2}\right)\left(a^{2}+b^{2}\right)=481\left(a^{2}+b^{2}\right).
In particular, 481=1337x4+y4481=13 \cdot 37 \mid x^{4}+y^{4}. We have the following lemma. Lemma. Suppose that px4+y4p \mid x^{4}+y^{4}, where x,yZx, y \in \mathbb{Z} and pp is an odd prime, where p1(mod8)p \neq 1(\bmod 8). Then pxp \mid x and pyp \mid y.
Proof. Since pxsysp \mid x^{s}-y^{s} and by Fermat's theorem pxp1yp1p \mid x^{p-1}-y^{p-1}, we deduce that pxdydp \mid x^{d}-y^{d}, where d=(p1,8)d=(p-1,8). But d8d \neq 8, so d4d \mid 4. Thus px4y4p \mid x^{4}-y^{4}, which implies that p2y4p \mid 2 y^{4}, i.e., pyp \mid y and pxp \mid x.
In particular, we can conclude that 13x,y13 \mid x, y and 37x,y37 \mid x, y. Hence xx and yy are divisible by 481 . Thus each of them is at least 481 .
On the other hand, x=y=481x=y=481 is possible. It is sufficient to take a=a= 31 - 481 and b=481b=481.
Second solution. Note that 15x2+16y2=481a215 x^{2}+16 y^{2}=481 a^{2}. It can be directly verified that the divisibility of 15x2+16y215 x^{2}+16 y^{2} by 13 and by 37 implies that both xx and yy are divisible by both primes. Thus 481x,y481 \mid x, y.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.