If $a_0=1$, and $a_n$ is defined by $a_n=a_{n+1}+a_{n+2}$, find $a_n$. This is not a homework problem, though it is in my textbook as a practice problem that intrigues me enough to try it. I've got some idea how to solve it but I don't know how to prove my hypothesis.
The question reads exactly as follows:

Suppose $a_0,a_1,a_2,a_3,\dots,a_n$ is a sequence of positive real numbers such that $a_0=1$ and $a_n=a_{n+1}+a_{n+2}$, $n\geq 0$. Find $a_n$.

My first idea was to find a pattern to work with. I figured out equations for the first 4 terms in the sequence:
\begin{align}
a_0&=1=a_1+a_2=(3a_4+2a_5)+(2a_4+a_5)=5a_4+3a_5\\
a_1&=a_2+a_3=(2a_4+a_5)+(a_4+a_5)=3a_4+2a_5\\
a_2&=a_3+a_4=(a_4+a_5)+a_4=2a_4+a_5\\
a_3&=a_4+a_5
\end{align}
From this, it would appear that the equation for $a_n$ is something of the form $a_n=la_{n+1}+ma_{n+2}$ for some $l,m\in\mathbb{N}$ and some $a_{n+1},a_{n+2}\in\mathbb{R}^{+}$.
Unless I'm wrong, it looks like I can deduce that $a_0$ can be written as a linear combination of two variables $x$ and $y$, and the coefficients $l$ and $m$ appear (though it is unproven) to be coprime. If this is the case, then there should exist an $x$ and $y$ to satisfy the equation $1=lx+my$... But I've only learned how to do this when $x$ and $y$ are restricted to be any value in $\mathbb{Z}$... and I'm clearly restricted to positive real numbers. So how might I be able to tackle this?

$a_n=a_{n+1}+a_{n+2}$,
or
$a_{n+2} = -a_{n+1}+a_{n}$.
As usual,
let $a_n = c^n$.
Then
$c^{n+2} = -c^{n+1}+c^n$
or
$c^2 = -c+1$
or
$c^2+c=1$.
$c^2+c+1/4=5/4$
or
$(c+1/2)^4 = 5/4$
or
$c = -1/2 \pm \sqrt{5}/2
=\dfrac{-1 \pm \sqrt{5}}{2}$.
Let
$c_1 = \dfrac{-1 + \sqrt{5}}{2}$
and
$c_2 = \dfrac{-1 - \sqrt{5}}{2}$.
All solutions are of the form
$uc_1^n+vc_2^n$.
Since $a_0 = 1$,
$1 = u+v$.
Since
$|c_1| < 1$
and
$|c_2| > 1$,
for all the terms to be positive,
$c_2$ must not contribute at all,
or else there would be terms of
arbitrarily large
positive and negative values.
This means that $v = 0$.
Therefore
$u = 1$
and the series is
$a_n = c_1^n$.
