>>174

数列{b_n}を
　b_(n+2) = b_(n+1) -2*b_n,
　b_1 = b_2 = 1, b_3 =-1,
で定義すると b_n は明らかに整数で、a_n = (b_n)^2.

注) b_n = (2/√7)･2^(n/2)･sin(nβ),　ここに β = arcsin(√(7/8)).