Olympiad Maths Prep

Library / /2 of 5

Number theory Difficulty 5.6 AIME, harder Prove it Turkey

Prove that for infinitely many positive integers kk, there are no positive integers mm and nn satisfying
n2+m2m4+n=k. \frac{n^2 + m^2}{m^4 + n} = k.

Solution

Let p3(mod4)p \equiv 3 \pmod 4 be a prime number. We will show that for k=p2k = p^2 there are no positive integers mm and nn satisfying the equation. Suppose that there is a solution. If we rewrite the equation as
n2p2n+(m2p2m4)=0 n^2 - p^2 n + (m^2 - p^2 m^4) = 0
we obtain a quadratic equation for nn and the discriminant must be a perfect square. Therefore,
p4+4p2m44m2=s2 p^4 + 4p^2 m^4 - 4m^2 = s^2
for some integer ss. Then p(2m)2+s2p \mid (2m)^2 + s^2 and we get m=pxm = px and s=pts = pt for some integers xx and tt. So we have
p2+4p4x44x2=t2 p^2 + 4p^4 x^4 - 4x^2 = t^2
and again we obtain p(2x)2+t2p \mid (2x)^2 + t^2. Thus, we have x=pyx = py and t=put = pu for some integers yy and uu. Dividing both sides by p2p^2 gives
1+4p6y44y2=u2 1 + 4p^6 y^4 - 4y^2 = u^2
Let z=2p3z = 2p^3. Since y0y \neq 0 and z>2z > 2, we conclude
(zy21)2=z2y42zy2+1<z2y44y2+1=u2<z2y4=(zy2)2. (zy^2 - 1)^2 = z^2 y^4 - 2z y^2 + 1 < z^2 y^4 - 4y^2 + 1 = u^2 < z^2 y^4 = (z y^2)^2.
Since u2u^2 lies between two consecutive perfect squares, we get a contradiction.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.