CMO 1988 Problem 4

Let $x_{n + 1} = 4x_n - x_{n - 1}$ , $x_0 = 0$ , $x_1 = 1$ , and $y_{n + 1} = 4y_n - y_{n - 1}$ , $y_0 = 1$ , $y_1 = 2$ . Show that for all $n \ge 0$ that $y_n^2 = 3x_n^2 + 1$ .