平方立方和公式

平方和公式 、立方和公式

在网上看了几种证明方法，自己来整理一下，尽量尝试写的通俗易懂，第一次写博客，来试一试。

---

• 平方和公式

  ${\sum }_{i=1}^n{i}^2=1^2+2^2+3^2+\cdots +n^2=\frac{n(n+1)(2n+1)}{6}$

  ---

  证法一：
  由于 $(a+1{)}^3-(a{)}^3=3a^2+3a+1$，所以可以得到如下式子：
  $$\begin{array}{rlrl}{2}^3& -1^3& =& 3\cdot 1^2+3\cdot 1+1\\ 3^3& -2^3& =& 3\cdot 2^2+3\cdot 2+1\\ 4^3& -3^3& =& 3\cdot 3^2+3\cdot 3+1\\ & ⋮& & \\ & & & \\ (n+1{)}^3& -n^3& =& 3n^2+3n+1\end{array}$$
  将上面的式子左边右边依次相加得到如下：
  $$\begin{array}{rlr}(n+1{)}^3& -1^3& =3\cdot \sum _{i=1}^n{i}^2+3\cdot \frac{n(n+1)}{2}+n\end{array}$$
  即：
  $$\begin{array}{rl}\sum _{i=1}^n{i}^2& =\frac{(n+1{)}^3-1}{3}-\frac{n(n+1)}{2}-\frac{n}{3}\\ & =\frac{2n^3+3n^2+n}{6}\\ & =\frac{n(n+1)(2n+1)}{6}\end{array}$$
  则${\sum }_{i=1}^n{i}^2=\frac{n(n+1)(2n+1)}{6}$，证毕。

  ---

  证法二：
  由于$n^2=n^2-n+n=n(n-1)+n=2C_n^2+C_n^1$，因此则有：

  $$\begin{array}{rl}\sum _{i=1}^n{i}^2& =1^2+2^2+3^2+\cdots +n^2\\ & =1^2+(2C_2^2+C_2^1)+(2C_3^2+C_3^1)+\cdots +(2C_n^2+C_n^1)\\ & =1+2(C_2^2+C_3^2+\cdots +C_n^2)+(C_2^1+C_3^1+\cdots +C_n^1)\\ & =1+2C_{n+1}^3+C_{n+1}^2-1\\ & =\frac{n(n-1)(n+1)}{3}+\frac{n(n+1)}{2}\\ & =\frac{n(n+1)(2n+1)}{6}\end{array}$$
  则${\sum }_{i=1}^n{i}^2=\frac{n(n+1)(2n+1)}{6}$，证毕。

  ---

  可能有人要问为什么$C_2^2+C_3^2+\cdots +C_n^2=C_{n+1}^3$ ，这是组合数的一个性质：
  $$C_{n+1}^m=C_n^{m-1}+C_n^m(m\le n)$$

  来举个简单的例子吧，假设你要从5个女人中选中2个女人出去玩，5个女人中有个女人叫翠花，5选2也就是 $C_5^2=10$ ，在你选出的10组中，其实也就可以分成两种，有翠花的组和没翠花的组，因此我们可以把 $C_5^2$这样考虑：有翠花的组，也就是在除了翠花的4个人中选1个和翠花组成一组，即 $C_4^1$；没翠花的组，也就是在除了翠花的4个人中选2个组成一组，即$C_4^2$，因此$C_5^2=C_4^1+C_4^2$

  因此可以得到组合数的一个性质，在 $n+1$ 个元素中选出 $m$ 个元素，可分为2种情况：有元素 $a$ 的组，没有元素 $a$ 的组。有元素 $a$ 的组即在除了 $a$ 的 $n$个元素中选 $m-1$ 个元素和 $a$ 组成一组。没有元素 $a$ 的组即在除了 $a$ 的 $n$ 个元素中选 $m$ 个元素组成一组，因此则有：
  $$C_{n+1}^m=C_n^{m-1}+C_n^m(m\le n)$$
  再对上面这个式子进行推导：
  $$\begin{array}{rl}{C}_{n+1}^m& =C_n^{m-1}+C_n^m\\ & =C_n^{m-1}+C_{n-1}^{m-1}+C_{n-1}^m\\ & =C_n^{m-1}+C_{n-1}^{m-1}+C_{n-2}^{m-1}+C_{n-2}^m\\ & =C_n^{m-1}+C_{n-1}^{m-1}+C_{n-2}^{m-1}+C_{n-3}^{m-1}+\cdots +C_{m-1}^{m-1}\end{array}$$
  因此 $C_{n+1}^m=C_n^{m-1}+C_{n-1}^{m-1}+C_{n-2}^{m-1}+C_{n-3}^{m-1}+\cdots +C_{m-1}^{m-1}$

  我们再回到题目中，因此：

  $C_2^2+C_3^2+\cdots +C_n^2=C_{n+1}^3$

  $C_2^1+C_3^1+\cdots +C_n^1=C_{n+1}^2-1$

---

• 立方和公式

  ${\sum }_{i=1}^n{i}^3=1^3+2^3+3^3+\cdots +n^3=\frac{1}{4}{n}^2(n+1{)}^2$

  ---

  证法一：
  由于 $(a+1{)}^4-a^4=4a^3+6a^2+4a+1$，所以可以得到如下：
  $$\begin{array}{rlrl}{2}^4& -1^4& =& 4\cdot 1^3+6\cdot 1^2+4\cdot 1+1\\ 3^4& -2^4& =& 4\cdot 2^3+6\cdot 2^2+4\cdot 2+1\\ 4^4& -3^4& =& 4\cdot 3^3+6\cdot 3^2+4\cdot 3+1\\ & ⋮& & \\ & & & \\ (n+1{)}^4& -n^4& =& 4n^3+6n^2+4\cdot n+1\end{array}$$
  将上面的式子左边右边依次相加得到如下：
  $$\begin{array}{rlr}(n+1{)}^4& -1^4& =4\cdot \sum _{i=1}^n{i}^3+6\cdot \sum _{i=1}^n{i}^2+4\cdot \frac{n(n+1)}{2}+n\end{array}$$
  即：
  $$\begin{array}{rl}\sum _{i=1}^n{i}^3& =\frac{(n+1{)}^4-1}{4}-\frac{3}{2}\cdot \sum _{i=1}^n{i}^2-\frac{n(n+1)}{2}-\frac{n}{4}\\ & =\frac{1}{4}{n}^2(n+1{)}^2\end{array}$$
  则${\sum }_{i=1}^n{i}^3=\frac{1}{4}{n}^2(n+1{)}^2$，证毕。

  ---

  根据平方和公式的证法二，我也想了一个利用组合数来求立方和公式的证法。

  证法二：
  由于$n^3=n^3-n+n=n(n-1)(n+1)+n=6C_{n+1}^3+C_n^1$，因此则有：

  $$\begin{array}{rl}\sum _{i=1}^n{i}^3& =1^3+2^3+3^3+\cdots +n^3\\ & =1^3+(6C_3^3+C_2^1)+(6C_4^3+C_3^1)+\cdots +(6C_{n+1}^3+C_n^1)\\ & =1+6(C_3^3+C_4^3+\cdots +C_{n+1}^3)+(C_2^1+C_3^1+\cdots +C_n^1)\\ & =1+6C_{n+2}^4+C_{n+1}^2-1\\ & =\frac{n(n-1)(n+1)(n+2)}{4}+\frac{n(n+1)}{2}\\ & =\frac{n^2(n+1{)}^2}{4}\end{array}$$
  则${\sum }_{i=1}^n{i}^3=\frac{1}{4}{n}^2(n+1{)}^2$，证毕。

---

• 总结

  学习了一下markdown的数学符号就来试试怎么用，不过写起来还是手写的快啊。。。。。。

  vscode还是挺好用的