Let
satisfies a LR of order 2
We will be mostly interested in k=2
then
for all
thus
Let
clearly if
then
where
then
since
let
then
also
Hence
Satisfying the recurrence relation
chose a and
if dependent
suppose
the discriminant is
then
and
Proof.
we have
as
then
so
also
for if they were linearly independent then we would have
for some
ie,
for
hence
□