Theorem
Let $a_0$ and $a_1$ be given and let $a_2,a_3,...$ be defined by the recurrence relation $a_n=Aa_{n-1} + Ba_{n-2} (n>1)$ where $A$ and $B$ are constants. Then let $\alpha, \beta$ be the roots of the quadratic equation $x^2 = Ax + B$
It then
if $\alpha \neq \beta $ there exist constants $c, d$ with $a_n = c\alpha^n + d\beta^n$ for each $ n \ge 0 $
Proof:
It is easy to check that, whatever the value of the constants $c$ and $d$, the given formula satisfies $a_n = Aa_{n-1} + Ba_{n-2} = A(c\alpha^{n-1} + d\beta^{n-1} ) + B(c\alpha^{n-2} + d\beta^{n-2}) $
I can't understand why the above is true for any $c,d$