Maths Olympiad Prep

Library / /3 of 12

Number theory Difficulty 5.1 AIME, harder Prove it Mongolia

Let pp be a prime number which is greater than 55. Then prove that there exist natural numbers m,nm, n such that m+n<pm + n < p and 2m3n12^m \cdot 3^n - 1 is divisible by pp.

Solution

We consider the numbers 2i3j2^i 3^j for 1i,jp11 \le i, j \le p-1. There are (p1)2p+1(p-1)^2 \ge p+1 numbers, so by Dirichlet's principle, there exist different pairs (i1,j1)(i_1, j_1) and (i2,j2)(i_2, j_2) such that 1i1,i2,j1,j2p11 \le i_1, i_2, j_1, j_2 \le p-1 and 2i13j12i23j2(modp)2^{i_1} 3^{j_1} \equiv 2^{i_2} 3^{j_2} \pmod p.

By Fermat's theorem we have 2p13p11(modp)2^{p-1} \equiv 3^{p-1} \equiv 1 \pmod p. Hence we have 2i12p1i23j23p1j1(modp)2^{i_1} 2^{p-1-i_2} \equiv 3^{j_2} 3^{p-1-j_1} \pmod p so there exist 1i,jp21 \le i, j \le p-2 such that 2i3j(modp)2^i \equiv 3^j \pmod p.

If iji \le j, then we can choose m=im=i and n=p1jn=p-1-j and if i>ji > j then choose m=p1im=p-1-i and n=jn=j.

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 and solution reproduced as published; topic and difficulty added by this site.