>>624
「このときのa_nを求めよ。」
だから答として出した数列が「条件」を満たすこと示せば
なんでもＯＫ。

帰納法もいらないよ。