>>215
実はその部分は敢えてどう解いたのかばれないような表記にしてました
実際の思考の順序は
・おそらくa(2)≧3だとある数を法としたときに0を含まない循環にできるはず
・漸化式の形から、pa(k)+qa(k+1)が常に何かを法として不変になるはず
・その「何か」と上の「ある数」を自分で作ればよいはず
・a(1)=1,a(2)=tのとき、p=t,q=-1とすればta(1)-a(2)=0で何かよさそう。このときta(2)-a(3)=t^2-t-1
・t^2-t-1が上の「何か」になるはず、実験して確認・あとはp=1,q＞0になるように工作
みたいな感じでした