Prove that ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1 ##.

  • Thread starter Thread starter Math100
  • Start date Start date
AI Thread Summary
For any odd prime p greater than or equal to 3, it is established that the sum of the powers of integers from 1 to p-1, specifically 1^{p-1} + 2^{p-1} + ... + (p-1)^{p-1}, is congruent to -1 modulo p. This conclusion is derived from Fermat's theorem, which states that for any integer a not divisible by p, a^{p-1} is congruent to 1 modulo p. Since there are p-1 terms in the sum, each term evaluates to 1 modulo p. Therefore, the total sum simplifies to (p-1), which is equivalent to -1 modulo p. This proof confirms the relationship for all odd primes p.
Math100
Messages
813
Reaction score
229
Homework Statement
Employ Fermat's theorem to prove that, if ## p ## is an odd prime, then
## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1\pmod {p} ##.
Relevant Equations
None.
Proof:

Suppose ## p ## is an odd prime such that ## p\geq 3 ##.
Note that ## p\nmid a ##.
By Fermat's theorem, we have that ## a^{p-1}\equiv 1\pmod {p} ##.
Observe that there are ## p-1 ## terms in ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1} ##.
This means
\begin{align*}
1^{p-1}&\equiv 1\pmod {p}\\
2^{p-1}&\equiv 1\pmod {p}\\
3^{p-1}&\equiv 1\pmod {p}\\
&\vdots \\
(p-1)^{p-1}&\equiv 1\pmod {p}.\\
\end{align*}
Thus ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv (p-1)\equiv -1\pmod {p} ##.
Therefore, if ## p ## is an odd prime, then ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1\pmod {p} ##.
 
Physics news on Phys.org
Math100 said:
Homework Statement:: Employ Fermat's theorem to prove that, if ## p ## is an odd prime, then
## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1\pmod {p} ##.
Relevant Equations:: None.

Proof:

Suppose ## p ## is an odd prime such that ## p\geq 3 ##.
Note that ## p\nmid a ##.
... for all ##a\in\{1,2,3,\ldots,p-1\}.##
Math100 said:
By Fermat's theorem, we have that ## a^{p-1}\equiv 1\pmod {p} ##.
Observe that there are ## p-1 ## terms in ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1} ##.
This means
\begin{align*}
1^{p-1}&\equiv 1\pmod {p}\\
2^{p-1}&\equiv 1\pmod {p}\\
3^{p-1}&\equiv 1\pmod {p}\\
&\vdots \\
(p-1)^{p-1}&\equiv 1\pmod {p}.\\
\end{align*}
Thus ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv (p-1)\equiv -1\pmod {p} ##.
Therefore, if ## p ## is an odd prime, then ## 1^{p-1}+2^{p-1}+3^{p-1}+\dotsb +(p-1)^{p-1}\equiv -1\pmod {p} ##.
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Essentially I just have this problem that I'm stuck on, on a sheet about complex numbers: Show that, for ##|r|<1,## $$1+r\cos(x)+r^2\cos(2x)+r^3\cos(3x)...=\frac{1-r\cos(x)}{1-2r\cos(x)+r^2}$$ My first thought was to express it as a geometric series, where the real part of the sum of the series would be the series you see above: $$1+re^{ix}+r^2e^{2ix}+r^3e^{3ix}...$$ The sum of this series is just: $$\frac{(re^{ix})^n-1}{re^{ix} - 1}$$ I'm having some trouble trying to figure out what to...
Back
Top