Maths Olympiad Prep

Library / IMO-Auswahlklausur /5 of 21

IMO-Auswahlklausur

Number theory Difficulty 7.8 National Olympiad, round 2 Prove it Germany

Problem:
Determine all pairs (m,n)(m, n) of non-negative integers satisfying the equation
3m−7n=2 3^{m}-7^{n}=2

Solution

Solution:
The pairs (1,0)(1,0) and (2,1)(2,1) are solutions. Let (m,n)(m, n) be a solution with m,n≥2m, n \geq 2. The solution consists of three steps:

1. We have 7n≡−2 mod 9⟺n≡1 mod 37^{n} \equiv -2 \bmod 9 \Longleftrightarrow n \equiv 1 \bmod 3.
2. We have 3m≡2 mod 49⟺m≡26 mod 423^{m} \equiv 2 \bmod 49 \Longleftrightarrow m \equiv 26 \bmod 42.
3. The conditions from 1 and 2 yield a contradiction modulo 43.

Step 1: We have 71≡77^{1} \equiv 7, 72≡47^{2} \equiv 4 and 73≡1 mod 97^{3} \equiv 1 \bmod 9, and from then on the residues are periodic with period 3. From the original equation it follows that 7n≡7 mod 97^{n} \equiv 7 \bmod 9, hence n≡1 mod 3n \equiv 1 \bmod 3.

Step 2: First show m≡2 mod 6m \equiv 2 \bmod 6 analogously to Step 1. By the Euler-Fermat theorem 342≡1 mod 493^{42} \equiv 1 \bmod 49, so the period is at most 42. Using 36≡−6 mod 493^{6} \equiv -6 \bmod 49 one obtains:

mm281420263238
3m mod 493^{m} \bmod 49944301623723

Thus 3m≡2 mod 493^{m} \equiv 2 \bmod 49 holds exactly when m≡26 mod 42m \equiv 26 \bmod 42.

Step 3: Write m=42m′+26m=42 m' + 26 and n=3n′+1n=3 n' + 1. Considering the original equation modulo 43, one obtains, using Fermat's little theorem and 73≡−1 mod 437^{3} \equiv -1 \bmod 43,

342m′+26−73n′+1≡326−(−1)n′⋅7≡15−(−1)n′⋅7≢2 mod 43 3^{42 m' + 26} - 7^{3 n' + 1} \equiv 3^{26} - (-1)^{n'} \cdot 7 \equiv 15 - (-1)^{n'} \cdot 7 \not\equiv 2 \quad \bmod 43

Hence there are no further solutions.

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 translated into English from de; metadata (topic, difficulty) added by this project.