MathDB
x_{n+2 }= (a^4 +4a^2 +2)x_{n+1} -x_n -2a^2, perfext square, matrix

Source: Romania BMO TST 1992 p2

February 19, 2020
linear algebramatrixPerfect SquareSequence

Problem Statement

For a positive integer aa, define the sequence (xnx_n) by x1=x2=1x_1 = x_2 = 1 and xn+2=(a4+4a2+2)xn+1xn2a2x_{n+2 }= (a^4 +4a^2 +2)x_{n+1} -x_n -2a^2 , for n 1\ge 1. Show that xnx_n is a perfect square and that for n>2n > 2 its square root equals the first entry in the matrix (a2+1aa1)n2\begin{pmatrix} a^2+1 & a \\ a & 1 \end{pmatrix}^{n-2}