Historical note: Binet’s Formula was written down by Leonhard
Euler long before Binet, and Euler wrote it as though it was already well-known,
so he may have seen it in another work, or he may just have been of the
opinion that because it was obvious to him, it was obvious to everybody.
Many things that Euler found are named after the next person who worked
on it, because if we named everything Euler found after Euler, there wouldn’t
be anything named after anybody else; this is an exaggeration, of course,
but it isn’t that far off. There are still plenty of things named
after Euler in math; the coolest is e,
the base of natural logs, which is approximately 2.71828…
