Given an integer and a positive integer , show that the sum is divisible by , where denotes the greatest common divisor of the integers and .
Solution
Write , where is Euler's totient function ( is the number of positive integers less than and prime to ), and notice that, if and are coprime positive integers, then
Consequently, it is sufficient to prove the assertion for , where is a prime and is a non-negative integer. In this case,
since , , by Fermat's theorem.
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.