The Lucas sequences U_n(P,Q) and V_n(P,Q) generalize Fibonacci, Lucas, Pell, and Jacobsthal numbers. They satisfy the same recurrence a_n = P·a_{n−1} − Q·a_{n−2} with different initial conditions.