Le Livre d'Argent

@RichardMonvoisin Notons que si les babyloniens avaient énoncé le théorème un bon millier d'années avant lui, ni l'un, ni les autres ne l'avaient a priori prouvé, ça devait surtout relever de la constatation empirique. A priori, la plus ancienne démonstration connue de ce théorème se trouve dans les Éléments de Géométrie d'Euclide (c'est la dernière démonstration du premier chapitre).

Ceci dit, ce n'est pas le seul cas où un théorème porte le nom de quelqu'un qui l'a énoncé et pas celui de la personne qui a fini par le démontrer des siècles plus tard : on a aussi l'exemple du « grand théorème de Fermat », dont on doit la démonstration à Wiles (je détaillerais bien ce dont il s'agit, mais cette marge est probablement trop petite pour ça.)