>>717はじめ善良なこのスレの住人が騙されないように説明しておくよ。
見て分かる通り、>>735では数列の一般項と和の公式a_n=S_n-S_(n-1)を使っているが、
これは添え字のn-1を見れば分かる通り、n≧2でないと成立しない。
だから、n=1のときは別途a_1=S_1で求めるわけだ。
しかし、このS_1と、最初の公式で求めた値に形式的にn=1を代入した式が一致しなかったらどうなるだろう。
この数列{a_n}の一般項を表すのにn=1とn≧2で場合分けしなければならなくなる。
しかし、等差数列である以上、そんなことでは困るよな。一つの式で表されなければ困る。
だから、両者の一致を確かめるというわけだ。