用数学归纳法证明下题

把 S1 + S3 + ... + S(2n-1) 记作 A(n)
n = 1, S1 = 1
n = 2, S1 + S3 = 16
n = 3, S1 + S3 + S5 = 81
...
猜测还是简单的,就是 n^4
数学归纳法证明：
首先对于 n = 1, A(n) = S1+...+S(2n-1) = 1 符合
然后假定对于 n 成立,那么我们来看对于 n + 1,
A(n+1) = A(n) + S(2n-1) = n^4 + S(2n+1)
只要证明 S(2n+1) = (n+1)^4 - n^4, 数学归纳法证明就 ok 了.好,现在让我们看看 S(2n+1) 是什么东西：
首先 Sn 是 n 个连续自然数相加之和；
其次,Sn 的起始点恰好在1+2+3+...+(n-1) 之后.就是说如果用 Bn 表示 1+2+3+...+(n-1),Sn 就是 (Bn+1)+(Bn+2) +...+(Bn+n), 即
Sn = n*Bn + 1+2+3+...+n = (n+1)Bn + n
至于 Bn = 1+2+3+...+(n-1) 这个问题,高斯的故事大家都听过,就不重复了,结果是 Bn = n(n-1)/2
所以,有
Sn = n(n-1)(n+1)/2 + n
至于 S(2n+1),那就是：
S(2n+1) = (2n+1)(2n)(2n+2)/2 + (2n+1)
S(2n+1) = 2n(n+1)(2n+1) + 2n + 1
S(2n+1) = (2n+1)(2n^2 + 2n + 1)
而 A(n+1) - A(n) 呢?
(n+1)^4 - n^4 = ((n+1)^2) + n^2)((n+1)^2 - n^2) = (2n^2 +2n + 1)(n+1 + n)(n+1 -n) =(2n+1)(2n^2 + 2n + 1)
不就是 S(2n+1) 么