>>118
n^2 a[n] = Σ_{k=1 to n} k a_k
(n-1)^2 a[n-1] = Σ_{k=1 to (n-1)} k a_k
で引き算するわけだけど、n≧2 というのは
下のΣが n-1 ≧ 1でなければならないため。
n = 1では n-1 = 0となり k = 1 〜 0 という変な事になる。

そして、この引き算を行うために n ≧2と仮定した以上
n = 1を勝手に入れてはいけない。