★東大入試作問者になったつもりのスレ★ 第十六問

このエントリーをはてなブックマークに追加
176132人目の素数さん
>>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)).