展开 平方和数列求和公式推导数学归纳法