L(n+1)L(n-1)-L(n)^2=5(-1)^(n+1)

From specialfunctionswiki
Jump to: navigation, search

Theorem

The following formula holds: $$L(n+1)L(n-1)-L(n)^2=5(-1)^{n+1},$$ where $L(n)$ denotes a Lucas number.

Proof

References