CINTA学前作业二：归纳证明

题目

请用归纳法证明以下定理：
对任意的正整数n，
$$1^2+2^2+3^2+\dots \dots +n^2=\frac{n(2n+1)(n+1)}{6}$$

解答

1. 传统方法
在高中学过的数学归纳法是证明当n等于任意自然数时某命题成立，即：
①证明当n=1时命题成立
②假设n=m时命题成立，然后推导出在n=m+1时命题成立（m代表任意自然数）

2. LaTeX数学公式呈现
证明：
当n=1时，
$$1^2=\frac{1\times (2\times 1+1)\times (1+1)}{6}=1$$
当n=k时，设有
$$1^2+2^2+\dots \dots +k^2=\frac{k(2k+1)(k+1)}{6}$$
当n=k+1时，
$$1^2+2^2+\dots \dots +(k+1{)}^2=\frac{k(2k+1)(k+1)}{6}+(k+1{)}^2=\frac{k(2k+1)(k+1)+6(k+1{)}^2}{6}$$
且
$$\begin{array}{rl}& k(2k+1)(k+1)+6(k+1{)}^2\\ =& k(2k^2+3k+1)+6(k+1{)}^2\\ =& 2k^3+3k^2+k+6k^2+12k+6\\ =& 2k^3+9k^2+13k+6\\ =& (k+1)(2k+3)(k+2)\end{array}$$
故 $$1^2+2^2+3^2+\dots \dots +n^2=\frac{n(2n+1)(n+1)}{6}成立$$
故原等式成立

在使用LaTeX数学公式呈现时需要注意的地方
①
在上次作业中提到，
数学公式居中用$$左右包围式子就能实现
平方则是用n^2实现
分数的实现可以直接用\frac {分子} {分母}，考虑到这题的分式比较复杂，就用了分子 \over 分母的表示方式。
 
②

这个 长等式只需要一组$$
换行需要使用\\，最后一行的\\可写可不写
对齐需要在等式的开头加上\begin{aligned}，结尾加上\end{aligned}，在需要对齐的地方用&标注
 
③一些小细节
用MarkDown编辑的时候
红色标注部分用一组``符号实现
黄色高亮部分用一组====实现
空行用 或<br/>都可以， 在当前位置加空行，<br/>加在上一行尾部。