>>507
(2-√3)^n+(2+√3)^n は整数かつ2の倍数。
m を正整数として m=[ {(2-√3)^n+(2+√3)^n}/2 ]^2 とおく。
(2-√3)^n を求めるために x=(2-√3)^n (0<x<1) とおくと
m={(x+1/x)/2}^2 ⇔ x^2-2√(m)x+1=0
∴ x=√(m)-√(m-1)