k∈N,n≥1 olmak üzere Pk(n)=n∑i=1ik nın, başkatsayısı 1k+1 olan k+1 inci derece bir polinom olduğunu , Tümevarım İlkesi ile, göstereceğiz, Daha sonra, bu sorunun cevabı kolayca bulunacaktır.
(Bu ispatın, Ali Nesin in videolarında olduğunu sanıyorum ama şu anda bulamadım)
Binom formülünden, (i+1)^{k+1}-i^{k+1}=\sum\limits_{j=0}^k\binom{k+1}{j}i^j=(k+1)i^k+\sum\limits_{j=0}^{k-1}\binom{k+1}{j}i^j olur.
Her iki taraf da i=0,1,\dots,n için toplanırsa, c_j=\binom{k+1}{j}\in\mathbb{N}^+ olmak üzere:
(n+1)^{k+1}=\sum\limits_{i=0}^n\left((i+1)^{k+1}-i^{k+1}\right)=(k+1)P_k(n)+\sum\limits_{j=0}^{k-1}c_jP_j(n) olur.
k=0 için P_0(n)=n olduğu aşikardır ve iddiamız doğrudur .
Bir k\in\mathbb{N}^+ için \forall j<k için iddiamızın doğru olduğunu varsayalım.
(n+1)^{k+1}=(k+1)P_k(n)+\sum\limits_{j=0}^{k-1}c_jP_j(n) eşitliğinden:
(k+1)P_k(n)=(n+1)^{k+1}-\sum\limits_{j=0}^{k-1}c_jP_j(n) olur.
Tümevarım hipotezinden, \sum\limits_{j=0}^{k-1}c_jP_j(n), k inci derece bir polinom olur.
Yukarıdaki eşitlikten, P_k(n), başkatsayısı \frac1{k+1} olan, k+1 nci derece bir polinomdur
Tümevarım İlkesinden, iddiamız ispatlanmıştır.
Şimdi sorunun daha genel şeklini çözelim:
k\in\mathbb{N} olmak üzere:
\lim\limits_{n\to\infty}\dfrac{1^k+2^k+\cdots+n^k}{n^{k+1}}=\lim\limits_{n\to\infty}\dfrac{P_k(n)}{n^{k+1}}=\lim\limits_{n\to\infty}\dfrac{\frac1{k+1}n^{k+1}+\text{küçük dereceli terimler}}{n^{k+1}}=\frac1{k+1}
Edit: Bir kaç yerde yazımı düzenledim ve (k+1)P_k(n) in tamsayı katsayılı olduğunu iddiasını sildim.