>>179
 b_1 = 1,
 b_{n+1}=(√7)b_n - b_{n-1},
とおくと
 b_n =(q^n - p^n)/√3 =(2/√3)sinh(nr),
ここに
 p =(√7 - √3)/2, q =(√7 + √3)/2, ・・・・ 特性値
 r = -log(p)= log(q),

これを用いて
 a_n = b_{3^(n-1)},
と表わせる。