Talföljden $\{a_n\}_{n=0}^{\infty}$ definieras rekursivt genom: $a_0=7$, $a_1=5$ och $a_{n+1}=2a_n+3a_{n-1}$ för $n\ge 1$.
Du misstänker att det finns två konstanter $A$ och $B$ sådana att $a_n=A\cdot 3^n+B\cdot(-1)^n$ för $n\ge 0$. Verifiera misstanken (finn möjliga $A$ och $B$) och bevisa ditt påstående.