连续自然数平方和的公式的推导过程