Number theoryDifficulty 5.6AIME, harderProve itTurkey
Prove that for infinitely many positive integers k, there are no positive integers m and n satisfying m4+nn2+m2=k.
Solution
Let p≡3(mod4) be a prime number. We will show that for k=p2 there are no positive integers m and n satisfying the equation. Suppose that there is a solution. If we rewrite the equation as n2−p2n+(m2−p2m4)=0 we obtain a quadratic equation for n and the discriminant must be a perfect square. Therefore, p4+4p2m4−4m2=s2 for some integer s. Then p∣(2m)2+s2 and we get m=px and s=pt for some integers x and t. So we have p2+4p4x4−4x2=t2 and again we obtain p∣(2x)2+t2. Thus, we have x=py and t=pu for some integers y and u. Dividing both sides by p2 gives 1+4p6y4−4y2=u2 Let z=2p3. Since y=0 and z>2, we conclude (zy2−1)2=z2y4−2zy2+1<z2y4−4y2+1=u2<z2y4=(zy2)2. Since u2 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.