Suppose that x0 = 1, y0 = 0,
xn = xn-1 + 2yn-1, and yn = xn-1 + yn-1
for n ∊ N. Prove that x2n - 2y2n = ± 1 for n ∊ N and
xn/yn → √2 as n → ∞