The Lucas numbers are the sequence of integers defined by the linear recurrence equation
(1)

with and . The th Lucas number is implemented in the Wolfram Language as LucasL[n].
The values of for , 2, ... are 1, 3, 4, 7, 11, 18, 29, 47, 76, 123, ... (OEIS A000204).
The Lucas numbers are also a Lucas sequence and are the companions to the Fibonacci numbers and satisfy the same recurrence.
The number of ways of picking a set (including the empty set) from the numbers 1, 2, ..., without picking two consecutive numbers (where 1 and are now consecutive) is (Honsberger 1985, p. 122).
The only square numbers in the Lucas sequence are 1 and 4 (Alfred 1964, Cohn 1964). The only triangular Lucas numbers are 1, 3, and 5778 (Ming 1991). The only cubic Lucas number is 1.
Rather amazingly, if is prime, . The converse does not necessarily hold true, however, and composite numbers such that are known as Lucas pseudoprimes.
For , 2, ..., the numbers of decimal digits in are 1, 3, 21, 209, 2090, 20899, 208988, 2089877, ... (OEIS A114469). As can be seen, the initial strings of digits settle down to produce the number 208987640249978733769..., which corresponds to the decimal digits of (OEIS A097348), where is the golden ratio. This follows from the fact that for any power function , the number of decimal digits for is given by .
The lengths of the cycles for Lucas numbers (mod ) for , 2, ... are 12, 60, 300, 3000, 30000, 300000, 300000, ... (OEIS A114307).
The analog of Binet's formula for Lucas numbers is
(2)

Another formula is
(3)

for , where is the golden ratio and denotes the nearest integer function.
Another recurrence relation for is given by,
(4)

for , where is the floor function.
Additional identities satisfied by Lucas numbers include
(5)

and
(6)

The Lucas numbers obey the negation formula
(7)

the addition formula
(8)

where is a Fibonacci number, the subtraction formula
(9)

the fundamental identity
(10)

conjugation relation
(11)

successor relation
(12)

doubleangle formula
(13)

multipleangle recurrence
(14)

multipleangle formulas
(15)
 
(16)
 
(17)
 
(18)

product expansions
(19)

and
(20)

square expansion,
(21)

and power expansion
(22)

The Lucas numbers satisfy the power recurrence
(23)

where is a Fibonomial coefficient, the reciprocal sum
(24)

the convolution
(25)

the partial fraction decomposition
(26)

where
(27)
 
(28)
 
(29)

and the summation formula
(30)

where
(31)

Let be a prime and be a positive integer. Then ends in a 3 (Honsberger 1985, p. 113). Analogs of the Cesàro identities for Fibonacci numbers are
(32)

(33)

where is a binomial coefficient.
( divides ) iff divides into an even number of times. iff divides into an odd number of times. always ends in 2 (Honsberger 1985, p. 137).
Defining
(34)

gives
(35)

(Honsberger 1985, pp. 113114).