等比数列前n项和公式证明过程