Lucas sequence

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Not to be confused with the sequence of Lucas numbers, which is a particular Lucas sequence.

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 .

More generally, Lucas sequences and represent sequences of polynomials in and with integer coefficients.

Famous examples of Lucas sequences include the Fibonacci numbers, Mersenne numbers, Pell numbers, Lucas numbers, Jacobsthal numbers, and a superset of Fermat numbers. Lucas sequences are named after the French mathematician Édouard Lucas.

Recurrence relations[edit]

Given two integer parameters P and Q, the Lucas sequences of the first kind Un(P,Q) and of the second kind Vn(P,Q) are defined by the recurrence relations:


It is not hard to show that for ,

The ordinary generating functions are


Initial terms of Lucas sequences Un(P,Q) and Vn(P,Q) are given in the table:

Algebraic relations[edit]

The characteristic equation of the recurrence relation for Lucas sequences and is:

It has the discriminant and the roots:


Note that the sequence and the sequence also satisfy the recurrence relation. However these might not be integer sequences.

Distinct roots[edit]

When , a and b are distinct and one quickly verifies that


It follows that the terms of Lucas sequences can be expressed in terms of a and b as follows

Repeated root[edit]

The case occurs exactly when for some integer S so that . In this case one easily finds that


Additional sequences having the same discriminant[edit]

If the Lucas sequences and have discriminant , then the sequences based on and where

have the same discriminant: .

Other relations[edit]

The terms of Lucas sequences satisfy relations that are generalizations of those between Fibonacci numbers and Lucas numbers . For example:

Among the consequences is that is a multiple of , i.e., the sequence is a divisibility sequence. This implies, in particular, that can be prime only when n is prime. Another consequence is an analog of exponentiation by squaring that allows fast computation of for large values of n. These facts are used in the Lucas–Lehmer primality test.

Carmichael's theorem states that all but finitely many of the terms in a Lucas sequence have a prime factor that does not divide any earlier term in the sequence (Yubuta 2001).

Specific names[edit]

The Lucas sequences for some values of P and Q have specific names:

Un(1,−1) : Fibonacci numbers
Vn(1,−1) : Lucas numbers
Un(2,−1) : Pell numbers
Vn(2,−1) : Companion Pell numbers or Pell-Lucas numbers
Un(1,−2) : Jacobsthal numbers
Vn(1,−2) : Jacobsthal-Lucas numbers
Un(3, 2) : Mersenne numbers 2n − 1
Vn(3, 2) : Numbers of the form 2n + 1, which include the Fermat numbers (Yubuta 2001).
Un(x,−1) : Fibonacci polynomials
Vn(x,−1) : Lucas polynomials
Un(x+1, x) : Repunits base x
Vn(x+1, x) : xn + 1

Some Lucas sequences have entries in the On-Line Encyclopedia of Integer Sequences:

-1 3 OEISA214733
1 -1 OEISA000045 OEISA000032
1 1 OEISA128834 OEISA087204
1 2 OEISA107920
2 -1 OEISA000129 OEISA002203
2 1 OEISA001477
2 2 OEISA009545 OEISA007395
2 3 OEISA088137
2 4 OEISA088138
2 5 OEISA045873
3 -5 OEISA015523 OEISA072263
3 -4 OEISA015521 OEISA201455
3 -3 OEISA030195 OEISA172012
3 -2 OEISA007482 OEISA206776
3 -1 OEISA006190 OEISA006497
3 1 OEISA001906 OEISA005248
3 2 OEISA000225 OEISA000051
3 5 OEISA190959
4 -3 OEISA015530 OEISA080042
4 -2 OEISA090017
4 -1 OEISA001076 OEISA014448
4 1 OEISA001353 OEISA003500
4 2 OEISA007070 OEISA056236
4 3 OEISA003462 OEISA034472
4 4 OEISA001787
5 -3 OEISA015536
5 -2 OEISA015535
5 -1 OEISA052918 OEISA087130
5 1 OEISA004254 OEISA003501
5 4 OEISA002450 OEISA052539


  • Lucas sequences are used in probabilistic Lucas pseudoprime tests, which are part of the commonly used Baillie-PSW primality test.
  • Lucas sequences are used in some primality proof methods, including the Lucas-Lehmer-Riesel test, and the N+1 and hybrid N-1/N+1 methods such as those in Brillhart-Lehmer-Selfridge 1975[1]
  • LUC is a public-key cryptosystem based on Lucas sequences[2] that implements the analogs of ElGamal (LUCELG), Diffie-Hellman (LUCDIF), and RSA (LUCRSA). The encryption of the message in LUC is computed as a term of certain Lucas sequence, instead of using modular exponentiation as in RSA or Diffie-Hellman. However, a paper by Bleichenbacher et al.[3] shows that many of the supposed security advantages of LUC over cryptosystems based on modular exponentiation are either not present, or not as substantial as claimed.

See also[edit]


  1. ^ John Brillhart; Derrick Henry Lehmer; John Selfridge (April 1975). "New Primality Criteria and Factorizations of 2^m ± 1". Mathematics of Computation. 29 (130): 620–647. doi:10.1090/S0025-5718-1975-0384673-1. 
  2. ^ P. J. Smith; M. J. J. Lennon (1993). "LUC: A new public key system". Proceedings of the Ninth IFIP Int. Symp. on Computer Security: 103–117. 
  3. ^ D. Bleichenbacher; W. Bosma; A. K. Lenstra (1995). "Some Remarks on Lucas-Based Cryptosystems" (PDF). Lecture Notes in Computer Science. 963: 386–396. doi:10.1007/3-540-44750-4_31.