MCU大虾网

为证明1²+2²+3²+…+n²=n(n+1)(2n+1)/6，我决定借助于几何图形。如图：

图中有n个小正方形（我只画了5个）连接，边长分别为1、2、3、…、n。这些小正方形都置于一个大正方形中，则

大正方形边长=1+2+3+…+n=n(n+1)/2

大正方形面积=[n(n+1)/2]²=(n⁴+2n³+n²)/4

将空余部分分条。

先看左下部分，共有n-1条。设某条按从左到右顺序为第i条，则：

该条宽度即为i。

该条长度=(i+1)+(i+2)+(i+3)+…+n=(n-i)(n+i+1)/2=(n²+n-i²-i)/2

则该条面积=i(n²+n-i²-i)/2=(in²+in-i³-i²)/2

则左下半侧n-1条总面积为：

(1*n²+1*n-1³-1²)/2+(2*n²+2*n-2³-2²)/2+(3*n²+3*n-3³-3²)/2+…+[(n-1)*n²+(n-1)*n-(n-1)³-(n-1)²]/2

={[1*n²+2*n²+3*n²+…+(n-1)n²]+[1n+2n+3n+…+(n-1)n]-[1³+2³+3³+…+(n-1)³]-[1²+2²+3²+…+(n-1)²]}/2

={[1+2+3+…+(n-1)]n²+[1+2+3+…+(n-1)]n-[1³+2³+3³+…+(n-1)³]-[1²+2²+3²+…+(n-1)²]}/2

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

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

为方便书写，记1³+2³+3³+…+n³=t₂，1²+2²+3²+…+n²=t₃

两侧全部空余部分面积为：

n³(n-1)/2+n²(n-1)/2-t₂-t₃+n³+n²

=(n⁴-n³)/2+(n³-n²)/2+2n³/2+2n²/2-t₂-t₃

=(n⁴-n³+n³-n²+2n³+2n²)/2-t₂-t₃

=(n⁴+2n³+n²)/2-t₂-t₃

根据：空余部分面积+小正方形面积=大正方形面积，得：

(n⁴+2n³+n²)/2-t₂-t₃+t₃=(n⁴+2n³+n²)/4

t₂=(n⁴+2n³+n²)/2-(n⁴+2n³+n²)/4

t₂=(2n⁴+4n³+2n²)/4-(n⁴+2n³+n²)/4

t₂=(n⁴+2n³+n²)/4=n²(n+1)²/4

即：

1³+2³+3³+…+n³=n²(n+1)²/4

本来要证1²+2²+3²+…+n²=n(n+1)(2n+1)/6，却证出了1³+2³+3³+…+n³=n²(n+1)²/4，可谓“有心栽花花不成，无心插柳柳成荫。”