>>301
(1)の誘導なしだと
b[n+1]
=a[n+2]-a[n+1]
=a[n+1]+n+1-a[n+1]　←①
=n+1

誘導ありの場合は①のa[n+1]の後者をa[n]で表さなければならないが、
>>296はこの時点でn+1に変換できる事に気づいてb[n]が等差数列とわかった。

ただ逆に、a[n+1]が消える事に気づいたため、
a[n+1]をa[n]で表せばb[n+1]をb[n]で表せる事に気がつかなったのではないかね。