引用：

これだと証明は不十分らしい。

In-4*In+1+In+2=0

をk,k+1,k+2の時に満たすかどうか確かめる必要がある。

Ik=I1*(2-sqrt(3))^(k-1)
Ik+1=I1*(2-sqrt(3))^k
Ik+2=I1*(2-sqrt(3))^(k+1)

なので

Ik-4*Ik+1+Ik+2=I1*(2-sqrt(3))^(k-1)-4*I1*(2-sqrt(3))^k+I1*(2-sqrt(3))^(k+1)
=I1*(2-sqrt(3))^k/(2-sqrt(3))-4*I1*(2-sqrt(3))^k+I1*(2-sqrt(3))^k*(2-sqrt(3))
=I1*(2-sqrt(3))^k*(1/(2-sqrt(3))-4+(2-sqrt(3)))
=I1*(2-sqrt(3))^k*((1-4*(2-sqrt(3))+(2-sqrt(3))^2)/(2-sqrt(3)))
=I1*(2-sqrt(3))^k*((1-8+4*sqrt(3)+4-4*sqrt(3)+3)/(2-sqrt(3)))
=I1*(2-sqrt(3))^k*(0/(2-sqrt(3)))
=0

ということで証明できたことになる。