Maths Olympiad Prep

Library / /2 of 70

Number theory Difficulty 7.4 National Olympiad, round 2 Prove it Romania

Given an integer aa and a positive integer nn, show that the sum k=1na(k,n)\sum_{k=1}^{n} a^{(k,n)} is divisible by nn, where (x,y)(x, y) denotes the greatest common divisor of the integers xx and yy.

Solution

Write k=1na(k,n)=dnφ(n/d)ad\sum_{k=1}^n a^{(k,n)} = \sum_{d|n} \varphi(n/d)a^d, where φ\varphi is Euler's totient function (φ(m)\varphi(m) is the number of positive integers less than mm and prime to mm), and notice that, if nn and nn' are coprime positive integers, then
k=1nna(k,nn)=dnφ(n/d)dnφ(n/d)(ad)d. \sum_{k=1}^{nn'} a^{(k,nn')} = \sum_{d|n} \varphi(n/d) \sum_{d'|n'} \varphi(n'/d')(a^d)^{d'}.
Consequently, it is sufficient to prove the assertion for n=pmn = p^m, where pp is a prime and mm is a non-negative integer. In this case,
k=1pma(k,pm)=k=0mφ(pmk)apk=k=0m1(pmkpmk1)apk+apm=pma+k=1mpmk(apkapk1)0(modpm), \begin{aligned} \sum_{k=1}^{p^m} a^{(k, p^m)} &= \sum_{k=0}^{m} \varphi(p^{m-k}) a^{p^k} = \sum_{k=0}^{m-1} (p^{m-k} - p^{m-k-1}) a^{p^k} + a^{p^m} \\ &= p^m a + \sum_{k=1}^{m} p^{m-k} (a^{p^k} - a^{p^{k-1}}) \equiv 0 \pmod{p^m}, \end{aligned}
since apkapk1(modpk)a^{p^k} \equiv a^{p^{k-1}} \pmod{p^k}, k=1,,mk = 1, \dots, m, 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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.