>>485
(2a_n+1,√(2a_n^2+2a_n+1))はpell方程式
x^2 - 2y^2 = 1
の解。
これをといて
x= ((1+√2)^m + (1-√2)^m)/2, y=…
x が奇数となるのはmが偶数のとき。
よって
2a_n + 1 = ((3+√8)^n + (3-√8)^2)/2。
よってb_n = 2a_n +1は漸化式
b_(n+2) = 6 b_(n+1) - b_n
をみたす。以下ry