Olympiad Maths Prep

Library / /17 of 41

Number theory Difficulty 5.3 AIME, harder Prove it Romania

The positive integers mm and nn are such that m2016+m+n2m^{2016} + m + n^2 is divisible with mnmn.
a) Give an example of such mm and nn, with m>nm > n.
b) Prove that mm is a perfect square.

Solution

a) For instance, m=4m = 4, n=2n = 2.

b) Let dd be the greatest common divisor of mm and nn, and a,bNa, b \in \mathbb{N}^* be such that m=dam = d a, n=dbn = d b, with (a,b)=1(a, b) = 1.
The initial condition becomes: d2016a2016+da+d2b2d^{2016} a^{2016} + d a + d^2 b^2 is divisible with d2abd^2 a b. So dabd a b divides d2015a2016+a+db2d^{2015} a^{2016} + a + d b^2. Since aa divides d2015a2016d^{2015} a^{2016}, it follows that aa divides db2d b^2. But (a,b)=1(a, b) = 1, so aa divides dd.
On the other hand, dd divides d2015a2016d^{2015} a^{2016} and db2d b^2, hence dd divides aa.
From the above d=ad = a, hence m=d2m = d^2, therefore mm is a perfect square.

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.