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