2a^2+2a+1が平方数となる自然数aのうちk番目に小さいものをa_kとおく。
a_(n+2)=6a_(n+1)-a_n+2が成り立つことを証明せよ