证明

i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^n i^2 = \frac{n(n + 1)(2n + 1)}{6}

证明过程如下:

  1. 首先,我们假设 kk 为任意自然数,且公式对于 kk 成立,即:

i=1ki2=k(k+1)(2k+1)6\sum_{i=1}^k i^2 = \frac{k(k + 1)(2k + 1)}{6}

  1. 然后,我们需要证明当 kk 增加到 k+1k+1 时,公式仍然成立。也就是说,我们要证明:

i=1k+1i2=(k+1)(k+2)(2(k+1)+1)6\sum_{i=1}^{k+1} i^2 = \frac{(k+1)(k + 2)(2(k+1) + 1)}{6}

  1. 根据求和公式的定义,我们有:

i=1k+1i2=i=1ki2+(k+1)2\sum_{i=1}^{k+1} i^2 = \sum_{i=1}^k i^2 + (k+1)^2

  1. 将假设的公式代入上式,得到:

i=1k+1i2=k(k+1)(2k+1)6+(k+1)2\sum_{i=1}^{k+1} i^2 = \frac{k(k + 1)(2k + 1)}{6} + (k+1)^2

  1. 接下来,我们对右边的表达式进行化简:

k(k+1)(2k+1)6+(k+1)2=k(k+1)(2k+1)+6(k+1)26\frac{k(k + 1)(2k + 1)}{6} + (k+1)^2 = \frac{k(k + 1)(2k + 1) + 6(k+1)^2}{6}

=(k+1)[k(2k+1)+6(k+1)]6= \frac{(k+1)[k(2k + 1) + 6(k+1)]}{6}

=(k+1)(2k2+7k+6)6= \frac{(k+1)(2k^2 + 7k + 6)}{6}

=(k+1)(k+2)(2k+3)6= \frac{(k+1)(k + 2)(2k + 3)}{6}

  1. 通过上述推导,我们证明了当 kk 增加到 k+1k+1 时,公式仍然成立。

因此,我们可以得出结论,对于任意自然数 nn,前 nn 个自然数的平方和的通项公式为:

i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^n i^2 = \frac{n(n + 1)(2n + 1)}{6}

推导

但是如果在考场时你并不知道这个公式,你应该怎么得到这个公式呢?我们可以使用一个很流氓的方法。

首先我们需要知道 i=1nik\sum_{i=1}^n i^k 的通项公式最高次数为 k+1k+1,这个证明起来很容易。

对于 k=1k=1 的情况,我们有:

i=1ni=n(n+1)2\sum_{i=1}^n i = \frac{n(n+1)}{2}

这是一个二次多项式,其最高次数为 22,这符合 k+1k+1 的形式。

假设对于某个整数 mmi=1nim\sum_{i=1}^n i^m 的通项公式最高次数为 m+1m+1,那么我们需要证明当 k=m+1k=m+1 时,i=1nim+1\sum_{i=1}^n i^{m+1} 的通项公式最高次数为 m+2m+2

我们可以通过构造一个 m+2m+2 次的多项式,并使用数学归纳法来证明这个多项式确实是 i=1nim+1\sum_{i=1}^n i^{m+1} 的通项公式。这个多项式的形式通常是:

i=1nim+1=am+2nm+2+am+1nm+1++a1n+a0\sum_{i=1}^n i^{m+1} = a_{m+2}n^{m+2} + a_{m+1}n^{m+1} + \dots + a_1n + a_0

其中 am+2,am+1,,a1,a0a_{m+2}, a_{m+1}, \dots, a_1, a_0 是系数。

通过这种方式,我们可以证明对于任意的 kki=1nik\sum_{i=1}^n i^k 的通项公式最高次数总是 k+1k+1。这是因为每次我们增加 kk 的值,我们都在原有的多项式基础上增加一个更高次数的项。

所以我们可以假设:

i=1ni2=An3+Bn2+Cn+D\sum_{i=1}^{n} i^2=A\cdot n^3+B\cdot n^2+C\cdot n+D

1,2,3,41,2,3,4 依次带入 nn 得到:

{A+B+C+D=18A+4B+2C+D=227A+9B+3C+D=1464A+16B+4C+D=30\left\{\begin{matrix}A+B+C+D=1 \\8A+4B+2C+D=2 \\27A+9B+3C+D=14 \\64A+16B+4C+D=30 \end{matrix}\right.

在将 A,B,C,DA,B,C,D 依次解出之后再进行因式分解就可以得到:

i=1ni2=n(n+1)(2n+1)6\sum_{i=1}^n i^2 = \frac{n(n + 1)(2n + 1)}{6}