To prove that the sum 1p+2+2p+2+⋯+(p−1)p+2 is divisible by p2 for a prime number p>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 a and a prime p, we have:
ap≡a(modp)
This implies:
ap−1≡1(modp)for a≡0(modp)
2. **Simplifying ap+2modp:**
For any integer a not divisible by p, we can write:
ap+2=ap+1⋅a=(ap⋅a2)≡a⋅a2=a3(modp)
Therefore:
ap+2≡a3(modp)
3. Pairing terms:
Consider the sum 1p+2+2p+2+⋯+(p−1)p+2. We can pair terms as follows:
ap+2+(p−a)p+2
Using the binomial expansion and properties of modular arithmetic, we have:
(p−a)p+2≡(−a)p+2=(−1)p+2⋅ap+2(modp2)
Since p+2 is odd (because p is an odd prime), we have:
(−1)p+2=−1
Thus:
(p−a)p+2≡−ap+2(modp2)
4. Summing the pairs:
Therefore, each pair sums to:
ap+2+(p−a)p+2≡ap+2−ap+2=0(modp2)
Since this holds for each a from 1 to (p−1)/2, the entire sum:
1p+2+2p+2+⋯+(p−1)p+2≡0(modp2)
Conclusion:
0