>>207
蛇足ですが…
　x(n) = [(2+√3)^{n+1} + (2-√3)^{n+1}]/2,
　y(n) = [(2+√3)^{n+1} - (2-√3)^{n+1}]/(2√3),
ビネの式 (?)