Generating Function for Lucas Numbers

Theorem
Let $\map G z$ be the function defined as:


 * $\map G z = \dfrac {2 - z} {1 - z - z^2}$

Then $\map G z$ is a generating function for the Lucas numbers.

Proof
Let the form of $\map G z$ be assumed as:

where $L_n$ denotes the $n$th Lucas number.

Then:

and so:

Hence the result:
 * $\map G z = \dfrac {2 - z} {1 - z - z^2}$