1つ目
1枚目の写真の「n≧4のとき」の次の行に、
an=(n-1)/(n+2)・(n-2)/(n+1)・・・4/7・3/6・2/5・1/4・a₁
という式がありますが、右の方の項を見ると、
3・2・1は約分できずに残っていますよね。
もし、n≧4という条件がなければ、例えばn=3ならば
a₃=2/5・1/4・a₁
となり、5も4も約分できない(1にならない)ことになりますので、n≧4という条件が付いています。
2つ目と3つ目
手書きの解答でも間違ってはいないですが、わざわざa[n+1]にする必要はないかと思います。
また、この場合でもn≧4の条件は必要です。