等差数列前n项和公式推导及简单应用