In the 19th century, the French mathematician Binet devised two remarkable analytical formulas for the Fibonacci and Lucas numbers. In our case, Binet’s formula allows us to express the Fibonacci numbers and Lucas numbers in function of the roots of the following characteristic equation, associated to the recurrence relation (3) and (4):