Euler-Binet Formula/Historical Note

Theorem
The Euler-Binet Formula, derived by in $1843$, was already known to,  and  over a century earlier.

However, it was who derived the more general Binet Form of which this is an elementary application.