自然数的平方和公式推导