Maths Olympiad Prep

Library / Mongolian National Mathematical Olympiad /8 of 31

Mongolian National Mathematical Olympiad

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 2m⋅3n−12^m \cdot 3^n - 1 is divisible by pp.

Solution

We consider the numbers 2i3j2^i 3^j for 1≤i,j≤p−11 \le i, j \le p-1. There are (p−1)2≥p+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 1≤i1,i2,j1,j2≤p−11 \le i_1, i_2, j_1, j_2 \le p-1 and 2i13j1≡2i23j2(modp)2^{i_1} 3^{j_1} \equiv 2^{i_2} 3^{j_2} \pmod p.

By Fermat's theorem we have 2p−1≡3p−1≡1(modp)2^{p-1} \equiv 3^{p-1} \equiv 1 \pmod p. Hence we have 2i12p−1−i2≡3j23p−1−j1(modp)2^{i_1} 2^{p-1-i_2} \equiv 3^{j_2} 3^{p-1-j_1} \pmod p so there exist 1≤i,j≤p−21 \le i, j \le p-2 such that 2i≡3j(modp)2^i \equiv 3^j \pmod p.

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

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.