Maths Olympiad Prep

Library / /12 of 133

Number theory Difficulty 4.7 AIME Prove it Saudi Arabia

Let pp be a prime number. Prove that there exist infinitely many positive integers nn such that pp divides
1n+2n++(p+1)n 1^{n}+2^{n}+\cdots+(p+1)^{n}

Solution

Let kk be a positive integer. Using Fermat's little theorem we have
1k(p1)+2k(p1)++(p+1)k(p1)1k+1k++1kp1 times+0k+1k0(modp). 1^{k(p-1)}+2^{k(p-1)}+\cdots+(p+1)^{k(p-1)} \equiv \underbrace{1^{k}+1^{k}+\cdots+1^{k}}_{p-1 \text{ times}}+0^{k}+1^{k} \equiv 0 \pmod{p} .
Therefore, for n=k(p1)n=k(p-1), and k=1,2,3,k=1,2,3, \ldots, the prime number pp divides
1n+2n++(p+1)n. 1^{n}+2^{n}+\cdots+(p+1)^{n} .

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 and solution reproduced as published; topic and difficulty added by this site.