In mathematics, the Lucas sequences and are certain constant-recursive integer sequences that satisfy the recurrence relation
where and are fixed integers. Any sequence satisfying this recurrence relation can be represented as a linear combination of the Lucas sequences and .