Maths Olympiad Prep

Library / /5 of 5

, 2003

Number theory Difficulty 5.6 AIME, harder Prove it Italy

Problem:

(i) Determine all pairs (m,n)(m, n) of positive integers that satisfy the equation n22m=1n^{2}-2^{m}=1.

(ii) Determine all pairs (m,n)(m, n) of positive integers that satisfy the equation 2mn2=12^{m}-n^{2}=1.

Solution

Solution:

First of all, nn must be odd in both cases, because 2m2^{m} is even for m1m \geq 1.

i. n=m=3n = m = 3. Indeed, among two consecutive even numbers one is not divisible by four, while from 2m=n21=(n1)(n+1)2^{m} = n^{2} - 1 = (n-1)(n+1) we obtain that n1n-1 and n+1n+1 are both powers of 2; hence the only remaining possibility is n1=2n-1 = 2, from which n=3n = 3 and therefore m=3m = 3.

Alternatively, note that, setting n=2a+1n = 2a + 1, we have n21=4a2+4a=4a(a+1)n^{2} - 1 = 4a^{2} + 4a = 4a(a+1), which is possible only for a=1a = 1, otherwise 2m2^{m} would have an odd factor greater than 1.

ii. n=m=1n = m = 1. Setting n=2a+1n = 2a + 1 we obtain 2m=4a2+4a+22^{m} = 4a^{2} + 4a + 2, which gives remainder 2 when divided by four. Hence mm must be one, otherwise 2m2^{m} would be divisible by 4, and aa must therefore be 0. On the other hand, it is immediately seen that n=m=1n = m = 1 is a solution (211=1)(2^{1} - 1 = 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: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty) added by this project.