>>644
a_n =(2+√3)^n +(2-√3)^n とおくと
a_0 = 2, a_1 = 4, a_{n+1}= 4a_n - a_{n-1},
∴ a_n は偶数。
∴(2+√3)^n = 2N -(2-√3)^n,
∴ sin{π(2+√3)^n}= - sin{π(2-√3)^n}> -π(2-√3)^n,