Maths Olympiad Prep

Library / /1 of 41

, 2012

Number theory Difficulty 7.1 National Olympiad, round 2 Prove it Slovenia

Find all pairs of natural numbers mm and nn such that 2m2+n22m^2 + n^2 divides 3mn+3m3mn + 3m.

Solution

Suppose 3mn+3m=k(2m2+n2)3mn + 3m = k(2m^2 + n^2) where kk is a natural number. The inequality between the arithmetic and geometric means gives
3mn+3m=3m(n+1)=k(2m2+n2)22kmn, 3mn + 3m = 3m(n + 1) = k(2m^2 + n^2) \geq 2\sqrt{2}kmn,
hence
k3(n+1)22n=322(1+1n)32. k \leq \frac{3(n + 1)}{2\sqrt{2}n} = \frac{3}{2\sqrt{2}}\left(1 + \frac{1}{n}\right) \leq \frac{3}{\sqrt{2}}.
We conclude k2k \leq 2.

The equation k(2m2+n2)=3mn+3mk(2m^2 + n^2) = 3mn + 3m may be considered a quadratic equation for nn:
kn23mn+2km23m=0.(6) kn^2 - 3mn + 2km^2 - 3m = 0. \quad (6)
The discriminant of this equation is equal to D=9m28k2m2+12kmD = 9m^2 - 8k^2m^2 + 12km.

If k=2k = 2, then D=24m23m2D = 24m - 23m^2. Since the discriminant must be non-negative, the only solution is m=1m = 1 and from the quadratic equation (6) we calculate n=1n = 1.

Now let k=1k = 1. The discriminant of the quadratic equation (6) must be equal to a square of a non-negative integer tt:
t2=D=m2+12m=(m+6)236. t^2 = D = m^2 + 12m = (m + 6)^2 - 36.
We reorganize the above equation to get 36=(m+6+t)(m+6t)36 = (m + 6 + t)(m + 6 - t). Because t0t \geq 0 and m>0m > 0, we get m+6+t>0m + 6 + t > 0 and hence m+6t>0m + 6 - t > 0. The numbers m+6+tm + 6 + t and m+6tm + 6 - t obviously have the same parity. We conclude m+6+t=m+6t=6m + 6 + t = m + 6 - t = 6 or m+6+t=18m + 6 + t = 18 and m+6t=2m + 6 - t = 2. In the first case, we get m=0m = 0, which is not a natural number. In the second case, we get m=4m = 4 and t=8t = 8, and the equation (6) has two solutions: n=2n = 2 and n=10n = 10.

The solutions of the problem are the following pairs of natural numbers: (1,1)(1, 1), (4,2)(4, 2) and (4,10)(4, 10).

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 reproduced verbatim; metadata (topic, difficulty) added by this project.