Number theoryDifficulty 7.1National Olympiad, round 2Prove itSlovenia
Find all pairs of natural numbers m and n such that 2m2+n2 divides 3mn+3m.
Solution
Suppose 3mn+3m=k(2m2+n2) where k is a natural number. The inequality between the arithmetic and geometric means gives 3mn+3m=3m(n+1)=k(2m2+n2)≥22kmn, hence k≤22n3(n+1)=223(1+n1)≤23. We conclude k≤2.
The equation k(2m2+n2)=3mn+3m may be considered a quadratic equation for n: kn2−3mn+2km2−3m=0.(6) The discriminant of this equation is equal to D=9m2−8k2m2+12km.
If k=2, then D=24m−23m2. Since the discriminant must be non-negative, the only solution is m=1 and from the quadratic equation (6) we calculate n=1.
Now let k=1. The discriminant of the quadratic equation (6) must be equal to a square of a non-negative integer t: t2=D=m2+12m=(m+6)2−36. We reorganize the above equation to get 36=(m+6+t)(m+6−t). Because t≥0 and m>0, we get m+6+t>0 and hence m+6−t>0. The numbers m+6+t and m+6−t obviously have the same parity. We conclude m+6+t=m+6−t=6 or m+6+t=18 and m+6−t=2. In the first case, we get m=0, which is not a natural number. In the second case, we get m=4 and t=8, and the equation (6) has two solutions: n=2 and n=10.
The solutions of the problem are the following pairs of natural numbers: (1,1), (4,2) and (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.