In mathematics, the Lucas sequences U_n(P,Q) and V_n(P,Q) are certain integer sequences that satisfy the recurrence relation

x_n = P x_n-1 - Q x_n-2

where P and Q are fixed integers. Any other sequence satisfying this recurrence relation can be represented as a linear combination of the Lucas sequences U_n(P,Q) and V_n(P,Q).