Olympiad Maths Prep

Library / /10 of 19

Number theory Difficulty 6.1 National olympiad Prove it Mongolia

Let p5p \geq 5 be a prime number and Sn=1n+2n++(p1)nS_n = 1^n + 2^n + \dots + (p - 1)^n. Show that there exists infinitely many nNn \in \mathbb{N} such that p3Snp^3 \mid S_n, pSn1p \mid S_{n-1} and pSn2p \mid S_{n-2}.
(proposed by N. Davii-Od)

Solution

For every mNm \in \mathbb{N} we can choose that way:
m=p((p1)m+3)=(p1)(pm+3)+3 m = p((p-1)m + 3) = (p-1)(pm + 3) + 3
Therefore
2Sn=k=1p1(kn+(pk)n)=k=1p1m=0n1Cnm(pk)mpnm 2S_n = \sum_{k=1}^{p-1} (k^n + (p-k)^n) = \sum_{k=1}^{p-1} \sum_{m=0}^{n-1} C_n^m (p-k)^m p^{n-m} \equiv
k=1p1(1)n2Cnn2(pk)n2p2+(1)n1Cnn1(pk)n1p(1)n2Cnn2Sn2p2+(1)n1Cnn1Sn1p(modp3) \begin{aligned} & \equiv \sum_{k=1}^{p-1} (-1)^{n-2} \cdot C_n^{n-2} \cdot (p-k)^{n-2} p^2 + (-1)^{n-1} C_n^{n-1} \cdot (p-k)^{n-1} \cdot p \equiv \\ & \equiv (-1)^{n-2} \cdot C_n^{n-2} S_{n-2} p^2 + (-1)^{n-1} C_n^{n-1} S_{n-1} p \pmod{p^3} \end{aligned}
Moreover,
Sn2=1n2+2n2++(p1)n2S1=p(p1)20(modp) () S_{n-2} = 1^{n-2} + 2^{n-2} + \dots + (p-1)^{n-2} \equiv S_1 = \frac{p(p-1)}{2} \equiv 0 \pmod{p} \ (*)
Sn1=1n1+2n1++(p1)n1S2=p(p1)(2p+1)60(modp) () S_{n-1} = 1^{n-1} + 2^{n-1} + \dots + (p-1)^{n-1} \equiv S_2 = \frac{p(p-1)(2p+1)}{6} \equiv 0 \pmod{p} \ (**)
pp is odd prime number hence (p,6)=1(p, 6) = 1. Thus 2Sn0(modp3)2S_n \equiv 0 \pmod{p^3}. Because, we chose above pnp \mid n and n=(p1)(pm+3)+3n = (p-1)(pm + 3) + 3. By Fermat's theorem, we get kn1k2(modp)k^{n-1} \equiv k^2 \pmod{p}, kn2k(modp)k^{n-2} \equiv k \pmod{p} then Sn2S1(modp)S_{n-2} \equiv S_1 \pmod{p}, Sn1S2(modp)S_{n-1} \equiv S_2 \pmod{p}. Finally, by (*) and (**) proof is completed.

Looking for a route rather than 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.