Sea $x_{n + 1} = 4x_n - x_{n - 1}$ , $x_0 = 0$ , $x_1 = 1$ , e $y_{n + 1} = 4y_n - y_{n - 1}$ , $y_0 = 1$ , $y_1 = 2$ . Demuestre que para todo $n \ge 0$ que $y_n^2 = 3x_n^2 + 1$.