Maths Olympiad Prep

Track / Stage 7 / 299 of 300 #2179 of 2444

Problem 2179

National Olympiad second round; IMO P1/P4
Number theory Difficulty 8.0 Prove it IMO Shortlist · IMO

An integer aa is called friendly if the equation (m2+n)(n2+m)=a(mn)3(m^{2}+n)(n^{2}+m)=a(m-n)^{3} has a solution over the positive integers.

a. Prove that there are at least 500 friendly integers in the set {1,2,,2012}\{1,2, \ldots, 2012\}.

b. Decide whether a=2a=2 is friendly.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

a. Every aa of the form a=4k3a=4k-3 with k2k \geq 2 is friendly. Indeed the numbers m=2k1>0m=2k-1>0 and n=k1>0n=k-1>0 satisfy the given equation with a=4k3a=4k-3:
((2k1)2+(k1))((k1)2+(2k1))=(4k3)k3=a(mn)3. ((2k-1)^{2}+(k-1))((k-1)^{2}+(2k-1)) = (4k-3)k^{3} = a(m-n)^{3}.
Hence 5,9,,20095, 9, \ldots, 2009 are friendly and so {1,2,,2012}\{1,2, \ldots, 2012\} contains at least 502 friendly numbers.

b. We show that a=2a=2 is not friendly. Consider the equation with a=2a=2 and rewrite its left-hand side as a difference of squares:
14((m2+n+n2+m)2(m2+nn2m)2)=2(mn)3 \frac{1}{4}\left((m^{2}+n+n^{2}+m)^{2}-(m^{2}+n-n^{2}-m)^{2}\right) = 2(m-n)^{3}
Since m2+nn2m=(mn)(m+n1)m^{2}+n-n^{2}-m = (m-n)(m+n-1), we can further reformulate the equation as
(m2+n+n2+m)2=(mn)2(8(mn)+(m+n1)2) (m^{2}+n+n^{2}+m)^{2} = (m-n)^{2}\left(8(m-n)+(m+n-1)^{2}\right)
It follows that 8(mn)+(m+n1)28(m-n)+(m+n-1)^{2} is a perfect square. Clearly m>nm>n, hence there is an integer s1s \geq 1 such that
(m+n1+2s)2=8(mn)+(m+n1)2 (m+n-1+2s)^{2} = 8(m-n)+(m+n-1)^{2}
Subtracting the squares gives s(m+n1+s)=2(mn)s(m+n-1+s) = 2(m-n). Since m+n1+s>mnm+n-1+s > m-n, we conclude that s<2s<2. Therefore the only possibility is s=1s=1 and m=3nm=3n. However then the left-hand side of the given equation (with a=2a=2) is greater than m3=27n3m^{3}=27n^{3}, whereas its right-hand side equals 16n316n^{3}. The contradiction proves that a=2a=2 is not friendly.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.