与等差数列前n项和有关的性质及其推导过程,