**Édouard Lucas**was educated at the École Normale in Amiens. After this he worked at the Paris Observatory under Le Verrier.

During the Franco-Prussian War (1870-1871) Lucas served as an artillery officer. After the French were defeated, Lucas became professor of mathematics at the Lycée Saint Louis in Paris. He later became professor of mathematics at the Lycée Charlemagne, also in Paris.

Lucas is best known for his results in number theory: in particular he studied the Fibonacci sequence and the associated Lucas sequence is named after him. He gave the well-known formula for the Fibonacci numbers

*f*

_{n}= ((1 + √5)/2)

^{n}- ((1 - √5)/2)

^{n}.

^{127}- 1 is prime. This remains the largest prime number discovered without the aid of a computer.

The Lucas test for primes was refined by Lehmer in 1930. It works as follows. Define the sequence

*S*

_{2}= 4,

*S*

_{3}= 14,

*S*

_{4}= 194, . . .

*n*> 2,

*S*

_{n}is defined inductively by

*S*

_{n}=

*S*

_{n-1}

^{2}- 2.

*M*

_{p}= 2

^{p}- 1, with

*p*> 2, is prime if and only if

*M*

_{p}divides

*S*

_{p}.

Lucas showed that *S*_{127} is divisible by *M*_{127} thus showing that *M*_{127} is prime. This was a extremely difficult calculation since *M*_{127} is a big number and *S*_{127} is unbelievably large. In fact

*M*

_{127}= 170141183460469231731687303715884105727

*S*

_{127}is divisible by

*M*

_{127}without calculating

*S*

_{127}.

Lucas is also well known for his invention of the Tower of Hanoi puzzle and other mathematical recreations. The Tower of Hanoi puzzle appeared in 1883 under the name of M. Claus. Notice that Claus is an anagram of Lucas! His four volume work on recreational mathematics *Récréations mathématiques* Ⓣ (1882-94) has become a classic.

Lucas died as the result of a freak accident at a banquet when a plate was dropped and a piece flew up and cut his cheek. He died of erysipelas a few days later.

**Article by:** *J J O'Connor* and *E F Robertson*

**Click on this link to see a list of the Glossary entries for this page**