The Lucas numbers obey the same second-order recurrence as the Fibonacci numbers but start with , so their sequence is . For , . Substitution in the Fibonacci addition formula gives . Consecutive Fibonacci numbers are coprime by the Euclidean algorithm; since , Bézout's identity gives .
For and , each power sequence satisfies the recurrence relation , because both bases solve . Their sum starts at , so uniqueness of a recursively defined sequence proves that it is the Lucas number sequence. Alternatively, diagonalize the companion matrix and use . The formula explains the exponential growth governed by the golden ratio and the alternating decaying correction .