First, let us generate several term so of the sequence
\(\vec x_0, \vec x_1, \vec x_2, \dots\text{.}\) Let
\(A = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\text{.}\) It follows that
\(\vec x_i = A\vec x_{i-1}\) for all
\(i = 1,2,3,\dots\text{.}\) Note the following:
\(\begin{eqnarray*} \vec x_1 \amp = \amp A\vec x_0 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 1 \\ 1 \end{bmatrix} \\
\vec x_2 \amp = \amp A\vec x_1 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 1 \\ 1 \end{bmatrix} = \begin{bmatrix} 1 \\ 2 \end{bmatrix} \\
\vec x_3 \amp = \amp A\vec x_2 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 1 \\ 2 \end{bmatrix} = \begin{bmatrix} 2 \\ 3 \end{bmatrix} \\
\vec x_4 \amp = \amp A\vec x_3 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 2 \\ 3 \end{bmatrix} = \begin{bmatrix} 3 \\ 5 \end{bmatrix} \\
\vec x_5 \amp = \amp A\vec x_4 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 3 \\ 5 \end{bmatrix} = \begin{bmatrix} 5 \\ 8 \end{bmatrix} \end{eqnarray*}\)
Notice that the top entry of \(\vec x_i\) is the bottom entry of \(\vec x_{i-1}\text{.}\) Writing down the entries, but removing that repetition, we obtain the sequence of integers
\begin{equation*}
0, 1, 1, 2, 3, 5, 8, \dots\text{.}
\end{equation*}
This is a very famous sequence called the Fibonacci Sequence, which is defined as the recursive sequence \(f_n = f_{n-1} + f_{n-2}\) with \(f_0 = 0\) and \(f_1 = 1\text{.}\) We see that
\begin{equation*}
\vec x_n = \begin{bmatrix} f_n \\ f_{n+1} \end{bmatrix}
\end{equation*}
and
\begin{equation*}
\vec x_{n+1} = A\vec x_n = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix} \begin{bmatrix} f_n \\ f_{n+1} \end{bmatrix} = \begin{bmatrix} f_{n+1} \\ f_n + f_{n+1} \end{bmatrix} = \begin{bmatrix} f_{n+1} \\ f_{n+2}\end{bmatrix}
\end{equation*}
since \(f_{n+2} = f_{n+1} + f_n\) by definition.
Suppose we are interested in finding \(f_{100}\text{.}\) Using either the recursive definition or the formula \(\vec x_n = A\vec x_{n-1}\) would require first finding \(f_{99}\) and \(f_{98}\text{,}\) which would in turn require finding \(f_{97}\) and \(f_{96}\) and so on and so forth. This is not fast nor practical for \(f_n\) when n is large. What we would prefer is to find an explicit formula for \(f_n\) which only depends on \(n\text{.}\) Thankfully, we can use diagonalization to accomplish this since
\begin{equation*}
\vec x_n = A\vec x_{n-1} = A(A\vec x_{n-2}) A^2\vec x_{n-2} = A^2 (A\vec x_{n-3}) = \cdots = A^n\vec x_0\text{.}
\end{equation*}
Note that if \(A\) is diagonalizable, then \(A = PDP^{-1}\) for some diagonal matrix \(D\) and invertible matrix \(P\text{.}\) Then we have that
\begin{equation*}
\vec x_n = A^n\vec x_0 = PD^nP^{-1}\vec x_0\text{.}
\end{equation*}
Letβs find \(D\) and \(P\text{.}\)
We start by finding the eigenvalues of \(A\text{.}\) Note that the characteristic polynomial of \(A\) is
\begin{equation*}
\det(A - \lambda I) = \begin{vmatrix} -\lambda \amp 1 \\ 1 \amp 1 - \lambda\end{vmatrix} = -\lambda(1-\lambda) - 1 = \lambda^2 - \lambda - 1\text{.}
\end{equation*}
Using the quadratic formula, we see that the roots of this polynomial, and therefore the eigenvalues of \(A\text{,}\) are
\begin{equation*}
\lambda_1 = \dfrac{1 + \sqrt{5}}{2} \quad \text{and} \quad \lambda_2 = \dfrac{1 - \sqrt{5}}{2}\text{.}
\end{equation*}
Next, we find eigenvectors corresponding to each eigenvalue. Note that
\begin{equation*}
A - \lambda_1 I = \begin{bmatrix} -\dfrac{1+\sqrt{5}}{2} \amp 1 \\ 1 \amp 1 - \dfrac{1+\sqrt{5}}{2} \end{bmatrix} \sim \begin{bmatrix} 1 \amp \dfrac{1-\sqrt{5}}{2} \\ 0 \amp 0 \end{bmatrix}\text{.}
\end{equation*}
Therefore, we see that \(\vec v_1 = \begin{bmatrix} 1 - \sqrt{5} \\ -2 \end{bmatrix}\) is an eigenvector of \(A\) corresponding to \(\lambda_1 = \dfrac{1+\sqrt{5}}{2}\text{.}\) We can check this. Note that
\begin{equation*}
A\vec v_1 = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix}\begin{bmatrix} 1-\sqrt{5} \\ -2 \end{bmatrix} = \begin{bmatrix} -2 \\ -1-\sqrt{5} \end{bmatrix} = \dfrac{1+\sqrt{5}}{2}\begin{bmatrix} 1-\sqrt{5} \\ -2 \end{bmatrix}\text{.}
\end{equation*}
Now, we find an eigenvector for \(\lambda_2 = \dfrac{1-\sqrt{5}}{2}\text{.}\) Note that
\begin{equation*}
A - \lambda_2 I = \begin{bmatrix} -\dfrac{1-\sqrt{5}}{2} \amp 1 \\ 1 \amp 1 - \dfrac{1-\sqrt{5}}{2} \end{bmatrix} \sim \begin{bmatrix} 1 \amp \dfrac{1+\sqrt{5}}{2} \\ 0 \amp 0 \end{bmatrix}\text{.}
\end{equation*}
It follows that \(\vec v_2 = \begin{bmatrix} 1+\sqrt{5} \\ -2 \end{bmatrix}\) is an eigenvector of \(A\) corresponding to \(\lambda_2 = \dfrac{1-\sqrt{5}}{2}\text{.}\) Feel free to check this.
It follows that
\begin{equation*}
D = \begin{bmatrix} \dfrac{1+\sqrt{5}}{2} \amp 0 \\ 0 \amp \dfrac{1-\sqrt{5}}{2} \end{bmatrix} \qquad \text{and} \qquad P = \begin{bmatrix} 1 - \sqrt{5} \amp 1 + \sqrt{5} \\ -2 \amp -2 \end{bmatrix}
\end{equation*}
is a valid diagonalization of \(A\text{.}\) Before calculating \(P^{-1}\text{,}\) letβs simplify a bit by replacing all references of \(1 + \sqrt{5}\) with \(2\lambda_1\) and all references of \(1 - \sqrt{5}\) with \(2\lambda_2\text{.}\) Then, we have that our diagonalization is
\begin{equation*}
D = \begin{bmatrix} \lambda_1 \amp 0 \\ 0 \amp \lambda_2 \end{bmatrix} \qquad \text{and} \qquad P = \begin{bmatrix} 2\lambda_2 \amp 2\lambda_1 \\ -2 \amp -2 \end{bmatrix}\text{.}
\end{equation*}
It follows that
\begin{equation*}
P^{-1} = \dfrac{1}{4\lambda_1 - 4\lambda_2}\begin{bmatrix} -2 \amp -2\lambda_1 \\ 2 \amp 2\lambda_2\end{bmatrix}\text{.}
\end{equation*}
We can check our diagonalization before moving on. Note that
\(\begin{eqnarray*} PDP^{-1} \amp = \amp \begin{bmatrix} 2\lambda_2 \amp 2\lambda_1 \\ -2 \amp -2 \end{bmatrix}\begin{bmatrix} \lambda_1 \amp 0 \\ 0 \amp \lambda_2\end{bmatrix}\left(\dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} -2 \amp -2\lambda_1 \\ 2 \amp 2\lambda_2\end{bmatrix}\right)\\ \amp = \amp \dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} 2\lambda_1\lambda_2 \amp 2\lambda_1\lambda_2 \\ -2\lambda_1 \amp -2\lambda_2 \end{bmatrix}\begin{bmatrix} -2 \amp -2\lambda_1 \\ 2 \amp 2\lambda_2\end{bmatrix} \\ \amp = \amp \dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} -4\lambda_1\lambda_2 + 4\lambda_1\lambda_2 \amp -4\lambda_1^2\lambda_2 + 4\lambda_1\lambda_2^2 \\ 4\lambda_1-4\lambda_2 \amp 4\lambda_1^2 - 4\lambda_2^2 \end{bmatrix} \\ \amp = \amp \begin{bmatrix} 0 \amp -4\lambda_1\lambda_2(\lambda_1 - \lambda_2) \\ 4(\lambda_1 - \lambda_2) \amp 4(\lambda_1 - \lambda_2)(\lambda_1 + \lambda_2) \end{bmatrix} \\ \amp = \amp \begin{bmatrix} 0 \amp -\lambda_1\lambda _2 \\ 1 \amp \lambda_1 + \lambda_2 \end{bmatrix} \\ \amp = \amp \begin{bmatrix} 0 \amp 1 \\ 1 \amp 1 \end{bmatrix} = A, \end{eqnarray*}\)
since
\(-\lambda_1\lambda_2 = 1\) and
\(\lambda_1 + \lambda_2 = 1\text{.}\)
Now, we find a formula for
\(\vec x_n = A^n\vec x_0\text{.}\) Note that
\(\begin{eqnarray*} \begin{bmatrix} f_n \\ f_{n+1} \end{bmatrix} \amp = \amp A^n\begin{bmatrix} 0 \\ 1 \end{bmatrix} \\ \amp = \amp PD^nP^{-1}\begin{bmatrix} 0 \\ 1 \end{bmatrix} \\ \amp = \amp \begin{bmatrix} 2\lambda_2 \amp 2\lambda_1 \\ -2 \amp -2 \end{bmatrix}\left(\begin{bmatrix} \lambda_1 \amp 0 \\ 0 \amp \lambda_2\end{bmatrix}\right)^n\left(\dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} -2 \amp -2\lambda_1 \\ 2 \amp 2\lambda_2\end{bmatrix}\right)\begin{bmatrix} 0 \\ 1 \end{bmatrix} \\ \amp = \amp \dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} 2\lambda_2 \amp 2\lambda_1 \\ -2 \amp -2 \end{bmatrix}\begin{bmatrix} \lambda_1^n \amp 0 \\ 0 \amp \lambda_2^n\end{bmatrix}\begin{bmatrix}-2\lambda_1 \\ 2\lambda_2 \end{bmatrix} \\ \amp = \amp \dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} 2\lambda_1^n\lambda_2 \amp 2\lambda_1\lambda_2^n \\ -2\lambda_1^n \amp -2\lambda_2^n \end{bmatrix} \begin{bmatrix} -2\lambda_1 \\ 2\lambda_2 \end{bmatrix} \\ \amp = \amp \dfrac{1}{4(\lambda_1 - \lambda_2)}\begin{bmatrix} -4\lambda_1^{n+1}\lambda_2 + 4\lambda_1\lambda_2^{n+1} \\ 4\lambda_1^{n+1} - 4\lambda_2^{n+1} \end{bmatrix}.\end{eqnarray*}\)
By comparing the top entries, we see that
\begin{equation*}
f_n = \dfrac{-4\lambda_1^{n+1}\lambda_2 + 4\lambda_1\lambda_2^{n+1}}{4(\lambda_1 - \lambda_2)} = \dfrac{-4\lambda_1\lambda_2(\lambda_1^n - \lambda_2^n)}{4(\lambda_1 - \lambda_2)}\text{.}
\end{equation*}
Since \(-4\lambda_1\lambda_2 = 4\) and \(4(\lambda_1 - \lambda_2) = 4\sqrt{5}\text{,}\) we find that
\begin{equation*}
f_n = \dfrac{\lambda_1^n - \lambda_2^n}{\sqrt{5}} = \dfrac{1}{\sqrt{5}}\left(\left(\dfrac{1 + \sqrt{5}}{2}\right)^n - \left(\dfrac{1 - \sqrt{5}}{2}\right)^n\right)
\end{equation*}
is an explicit formula for \(f_n\text{.}\) Feel free to use Desmos and check this formula for various values of \(n\text{.}\)