Number theoryDifficulty 4.6AIMEProve itUnited States
Problem: Show that n divides φ(an−1) for any integers a and n, where φ is Euler's totient function.
Solution
Solution: Let N=an−1. Then gcd(a,N)=1 and the order of a(modN) is exactly equal to n. But aφ(N)≡1(modN) too. Thus n divides φ(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.