Maths Olympiad Prep

Library / Berkeley Math Circle: Monthly Contest 4 /3 of 12

Berkeley Math Circle: Monthly Contest 4

Number theory Difficulty 4.6 AIME Prove it United States

Problem:
Show that nn divides φ(an−1)\varphi\left(a^{n}-1\right) for any integers aa and nn, where φ\varphi is Euler's totient function.

Solution

Solution:
Let N=an−1N = a^{n} - 1. Then gcd⁡(a,N)=1\gcd(a, N) = 1 and the order of a(modN)a \pmod{N} is exactly equal to nn. But aφ(N)≡1(modN)a^{\varphi(N)} \equiv 1 \pmod{N} too. Thus nn divides φ(N)\varphi(N).

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.