座標平面上の点P(n)(n=1,2…)を
OP(1)↑=e1↑,OP(n+1)↑=AOP(n)↑+e1↑
によって定める。ただしOは原点,e1↑=[1,0],A=[[3,4],[-4,3]]である。
このときすべての自然数nについて
3*5^(n-1)/4<OP(n)<5^n/4
が成り立つことを示せ。

帰納法を使えばよいのでしょうか?
n=kのときの成立を仮定して、
k+1のときの成立を示すところから止まっています。
OP(n)↑=(xn,yn)とおいて細々計算してみましたがよくわかりません。
どなたか教えて下さい。