Maths Olympiad Prep

Library / /112 of 397

Number theory Difficulty 5.4 AIME, harder Prove it Taiwan

An integer aa is called friendly if the equation (m2+n)(n2+m)=a(mn3)(m^2 + n)(n^2 + m) = a(m - n^3) has positive integer solutions m,nm, n.

a. Prove that the set {1,2,,2013}\{1, 2, \dots, 2013\} contains at least 500 friendly integers (friendly integers).

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

Solution

(a) We take a=4k3a = 4k - 3, k2k \ge 2, and then take m=2k1m = 2k - 1, n=k1n = k - 1, we obtain
(m2+n)(n2+m)=((2k1)2+(k1))((k1)2+(2k1))=(4k3)k3=a(mn)3. (m^2+n)(n^2+m) = ((2k-1)^2+(k-1))((k-1)^2+(2k-1)) = (4k-3)k^3 = a(m-n)^3.
Therefore 5,9,,2009,20135, 9, \dots, 2009, 2013 are friendly and {1,2,,2013}\{1, 2, \dots, 2013\} contains at least 503 friendly integers.

(b) We prove that a=2a = 2 is not friendly. We consider the equation (m2+n)(n2+m)=2(mn3)(m^2+n)(n^2+m) = 2(m-n^3) when a=2a = 2, and write the left side in the form of a difference of squares:
14((m2+n+n2+m)2(m2+nn2+m)2)=2(mn)3.(1) \frac{1}{4}((m^2+n+n^2+m)^2 - (m^2+n-n^2+m)^2) = 2(m-n)^3. \quad (1)
Since m2+nn2m=(mn)(m+n1)m^2+n-n^2-m = (m-n)(m+n-1), we can obtain
(m2+n+n2+m)2=(mn)2(8(mn)+(m+n1)2). (m^2+n+n^2+m)^2 = (m-n)^2(8(m-n) + (m+n-1)^2).
Therefore 8(mn)+(m+n1)28(m-n) + (m+n-1)^2 is a perfect square. Clearly m>nm > n, so there exists an integer s1s \ge 1 such that
(m+n1+2s)2=8(mn)+(m+n1)2. (m+n-1+2s)^2 = 8(m-n) + (m+n-1)^2.
Expanding the above we get 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 have s<2s < 2. So the only possibility is s=1s = 1 and m=3nm = 3n. Substituting m=3nm = 3n into (1) we find 27n3=16n327n^3 = 16n^3, giving n=m=0n = m = 0, a contradiction. Therefore a=2a = 2 is not friendly.

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: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.