Jacques Philippe Marie Binet

Jacques Philippe Marie Binet (; 2 February 1786 – 12 May 1856) was a French mathematician, physicist and astronomer born in Rennes; he died in Paris, France, in 1856. He made significant contributions to number theory, and the mathematical foundations of matrix algebra which would later lead to important contributions by Cayley and others. In his memoir on the theory of the conjugate axis and of the moment of inertia of bodies he enumerated the principle now known as ''Binet's theorem''. He is also recognized as the first to describe the rule for multiplying matrices in 1812, and ''Binet's formula'' expressing Fibonacci numbers in closed form is named in his honour, although the same result was known to Abraham de Moivre a century earlier.

Career

Binet graduated from l'École Polytechnique in 1806, and returned as a teacher in 1807. He advanced in position until 1816 when he became an inspector of studies at l'École. He held this post until 13 November 1830, when he was dismissed by the recently sworn in King Louis-Philippe of France, probably because of Binet's strong support of the previous King, Charles X. In 1823 Binet succeeded Delambre in the chair of astronomy at the ''Collège de France''. He was made a Chevalier in the Légion d'Honneur in 1821, and was elected to the Académie des Sciences in 1843.

Binet's Fibonacci number formula

The Fibonacci sequence is defined by
*$u_0 = 0$
*$u_1 = 1$
*$u_n = u_ + u_,\textn > 1$

Binet's formula provides a closed-form expression for the $n^\text$ term in this sequence:
: $u_n = \frac$      
Given:

$\varphi =$

a simplified version of Binet's formula is:

$u_n = \left\lfloor\right\rfloor$.

See also

* Binet–Cauchy identity
*Binet equation
*Cauchy–Binet formula
*Matrix multiplication

Notes

References

* John J O'Connor and Edmund F Robertson, 2005
Jacques Philippe Marie Binet
Retrieved November 21, 2005.
* William A. McWorter Jr., 2005
When the Counting Gets Tough, the Tough Count on Mathematics
Retrieved November 21, 2005.

{{DEFAULTSORT:Binet, Jacques Philippe Marie
19th-century French mathematicians
1786 births
1856 deaths
École Polytechnique alumni
Academic staff of the Collège de France
Linear algebraists
Members of the French Academy of Sciences