∑求和公式推导过程