Maths Olympiad Prep

Library / /8 of 94

Number theory Difficulty 4.8 AIME Prove it Hong Kong

Let kk be a positive integer. Prove that there exists a positive integer \ell with the following property: if mm and nn are positive integers relatively prime to \ell such that mnnm(mod)m^n \equiv n^m \pmod{\ell}, then mn(modk)m \equiv n \pmod{k}.

Solution

We will prove the assertion when =k!\ell = k! by induction on kk. The base case k=1k = 1 is obvious.

If k>1k > 1, then φ(k)<k\varphi(k) < k. Suppose mm and nn are positive integers relatively prime to \ell such that mmnn(modk)m^m \equiv n^n \pmod{k}. This clearly implies mmnn(modφ(k)!)m^m \equiv n^n \pmod{\varphi(k)!}. By the induction hypothesis, we know that mn(modφ(k))m \equiv n \pmod{\varphi(k)}. Thus, there exists a positive integer aa such that aman1(modφ(k))am \equiv an \equiv 1 \pmod{\varphi(k)}. Now, by the Euler-Fermat theorem, we have
mmamnann(modk). m \equiv m^{am} \equiv n^{an} \equiv n \pmod{k}.
The proof is complete by induction.

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.