Maths Olympiad Prep

Library / /29 of 69

, 2011

Number theory Difficulty 5.0 AIME Prove it South Africa

Find all pairs (m,n)(m, n) of positive integers for which 6m+2n+26^m + 2^n + 2 is a perfect square.

Solution

If both mm and nn are greater than one, then 6m+2n+240+0+2426^m + 2^n + 2 \equiv_4 0 + 0 + 2 \equiv_4 2, which is not a perfect square. So at least one of mm and nn has to be exactly 11.

* If m=1m = 1, then we want 2n+82^n + 8 to be a square. This has a solution only for n=3n = 3. If n4n \ge 4 the expression will be divisible by 88 and not 1616, so it cannot be a square.

* If n=1n = 1, then we want 6m+46^m + 4 to be a square. Considering this expression mod 77, we have (1)m+4(-1)^m + 4, which will be 33 or 55 (mod 77). However, perfect squares are only 00, 11, 22 or 44 (mod 77), so there are no solutions.

So the unique solution to the problem is (m,n)=(1,3)(m, n) = (1, 3).

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.