Trích:
Nguyên văn bởi huynh anh  Cho $p$ là số nguyên lẻ và số nguyên dương $k<p-1$, chứng minh rằng\[1^{k}+2^{k}+...+(p-1)^{k}\equiv 0\pmod p.\] |
Giả sử $\gcd (k;\,p-1)=d$, ta viết $k=dl$ và $p-1=dq$ với $\gcd(q;\,l)=1$. Xét trên trường $\mathbb Z_p$, thì phương trình $x^q=1$ có đúng $q$ nghiệm và theo định lý Viète thì tổng các nghiệm này bằng $0$ trên $\mathbb Z_p$ (để ý $q>1$). Xét $r,\,t\in\mathbb Z_p^*$, nếu $r^k=t^k$ trên $\mathbb Z_p^*$ ta sẽ có $r^d=t^d$ trên $\mathbb Z_p^*$, tức $r^d$ và $t^d$ (hay $r^k$ và $t^k$) cùng là một nghiệm của phương trình $x^q=1$ trên $\mathbb Z_p$.
Như vậy, tập $\left\{1^{k};\,2^{k};\,\ldots ;\,(p-1)^{k}\right\}$ được phân hoạch thành $d$ tập con, mỗi tập con đó xét trên $\mathbb Z_p$ lại chính là tập nghiệm của phương trình $x^q=1$ trên $\mathbb Z_p$. Tổng các phần tử ở mỗi tập con đó, như đã nói ở trên là bằng 0 trên $\mathbb Z_p$, cho nên\[1^{k}+2^{k}+...+(p-1)^{k}\equiv 0\pmod p.\]
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]