用归纳法证明对于 n>0,当 j 等于 1 到 n 时其总和为 n(n+1)/2