Olympiad Maths Prep

Track / Stage 7 / 49 of 300 #1449 of 2000

Problem 1449

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.1 Prove it

Let pp be a prime number greater than 33. Prove that the sum 1p+2+2p+2+...+(p1)p+21^{p+2} + 2^{p+2} + ...+ (p-1)^{p+2} is divisible by p2p^2.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

To prove that the sum 1p+2+2p+2++(p1)p+21^{p+2} + 2^{p+2} + \cdots + (p-1)^{p+2} is divisible by p2p^2 for a prime number p>3p > 3, we will use properties of modular arithmetic and Fermat's Little Theorem.

1. Using Fermat's Little Theorem:
Fermat's Little Theorem states that for any integer aa and a prime pp, we have:
apa(modp) a^p \equiv a \pmod{p}
This implies:
ap11(modp)for a≢0(modp) a^{p-1} \equiv 1 \pmod{p} \quad \text{for } a \not\equiv 0 \pmod{p}

2. **Simplifying ap+2modpa^{p+2} \mod p:**
For any integer aa not divisible by pp, we can write:
ap+2=ap+1a=(apa2)aa2=a3(modp) a^{p+2} = a^{p+1} \cdot a = (a^p \cdot a^2) \equiv a \cdot a^2 = a^3 \pmod{p}
Therefore:
ap+2a3(modp) a^{p+2} \equiv a^3 \pmod{p}

3. Pairing terms:
Consider the sum 1p+2+2p+2++(p1)p+21^{p+2} + 2^{p+2} + \cdots + (p-1)^{p+2}. We can pair terms as follows:
ap+2+(pa)p+2 a^{p+2} + (p-a)^{p+2}
Using the binomial expansion and properties of modular arithmetic, we have:
(pa)p+2(a)p+2=(1)p+2ap+2(modp2) (p-a)^{p+2} \equiv (-a)^{p+2} = (-1)^{p+2} \cdot a^{p+2} \pmod{p^2}
Since p+2p+2 is odd (because pp is an odd prime), we have:
(1)p+2=1 (-1)^{p+2} = -1
Thus:
(pa)p+2ap+2(modp2) (p-a)^{p+2} \equiv -a^{p+2} \pmod{p^2}

4. Summing the pairs:
Therefore, each pair sums to:
ap+2+(pa)p+2ap+2ap+2=0(modp2) a^{p+2} + (p-a)^{p+2} \equiv a^{p+2} - a^{p+2} = 0 \pmod{p^2}
Since this holds for each aa from 11 to (p1)/2(p-1)/2, the entire sum:
1p+2+2p+2++(p1)p+20(modp2) 1^{p+2} + 2^{p+2} + \cdots + (p-1)^{p+2} \equiv 0 \pmod{p^2}

Conclusion:
0 \boxed{0}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.