sigma(n^m)

1²+2²+3²+……+n² = n*(n+1)*(2n+1)/6 = n³/3+n²/2+n/6 ; 

这条式子相信很多人应该都知道吧，不过证明呢？

前几天一个朋友问了我一下，我证了好一阵子，现在讲讲我的思路……

 

先引用另外两条式子：

A.  1+2+3+……+n = n*(n+1)/2 = n²/2+n/2 ;

B.  (n+1)³-n³ = 3n²+3n+1;  （是不是想到了我下面要说的内容？）

 

证：

    (n+1)³-1

 = [(n+1)³-n³]+[n³-(n-1)³]+[(n-1)³-(n-2)³]+……+[2³-1³]

 = [3n²+3n+1]+[3(n-1)²+3(n-1)+1]+……+[3*1²+3*1+1]

 = 3[n²+(n-1)²+……+1²]+3[n+(n-1)+……+1]+n*1

（令T = n²+(n-1)²+……+1²）

 = 3T+3n²/2+3n/2+n

 = 3T+3n²/2+5n/2

 

因为(n+1)³-1 = n³+3n²+3n

所以n³+3n²+3n = 3T + 3n²/2+5n/2

化简得 T = n³/3+n²/2+n/6 = n*(n+1)*(2n+1)/6 

得证！

 

题目是个比较ZB(^ ^)的题目，不过按照同样的方法，只要知道所有sigma(n^t)(t = 1..m-1)的表达式, 那么就逐步归纳下去，可以求出sigma(n^m)的表达式了，当然前提是你有没有这个恒心！