Maths Olympiad Prep

Library / /50 of 520

Number theory Difficulty 5.3 AIME, harder Find the answer

Determine all pairs (m,n)(m, n) of positive integers for which

(m+n)32n(3m2+n2)+8 (m+n)^{3} \mid 2 n\left(3 m^{2}+n^{2}\right)+8

A number or a short expression. Spacing and $ signs are ignored.

Solution

Suppose the quotient of 2n(3m2+n2)+82 n\left(3 m^{2}+n^{2}\right)+8 and (m+n)3(m+n)^{3} is not equal to 1. Then it is at least 2, so we have

(m+n)3n(3m2+n2)+4 (m+n)^{3} \leq n\left(3 m^{2}+n^{2}\right)+4

or equivalently,

m3+3m2n+3mn2+n33m2n+n3+4 m^{3}+3 m^{2} n+3 m n^{2}+n^{3} \leq 3 m^{2} n+n^{3}+4

or equivalently,

m3+3mn24 m^{3}+3 m n^{2} \leq 4

From this, it immediately follows that m<2m<2, so m=1m=1. Then we have 1+3n241+3 n^{2} \leq 4, so also n=1n=1. The pair (m,n)=(1,1)(m, n)=(1,1) is indeed a solution, as 2324+82^{3} \mid 2 \cdot 4+8.
The other possibility is that the quotient is exactly 1. Then we have

(m+n)3=2n(3m2+n2)+8 (m+n)^{3}=2 n\left(3 m^{2}+n^{2}\right)+8

or equivalently,

m3+3m2n+3mn2+n3=6m2n+2n3+8 m^{3}+3 m^{2} n+3 m n^{2}+n^{3}=6 m^{2} n+2 n^{3}+8

or equivalently,

m33m2n+3mn2n3=8 m^{3}-3 m^{2} n+3 m n^{2}-n^{3}=8

The left side can be factored as (mn)3(m-n)^{3}. So we have mn=2m-n=2, or equivalently, m=n+2m=n+2. From the previous calculations, it follows directly that (m,n)=(n+2,n)(m, n)=(n+2, n) is indeed a solution for all positive integers nn.
We conclude that the solutions are: (m,n)=(1,1)(m, n)=(1,1) and (m,n)=(n+2,n)(m, n)=(n+2, n) for n1n \geq 1.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.