Ces deux théorèmes étaient déjà connus bien avant la Grèce Antique. Des tablettes d’argile datant de 1000 ans avant Pythagore et Thalès ont été retrouvées en Mésopotamie, notamment à Babylone, et utilisaient déjà ces énoncés pour calculer des longueurs dans les triangles.
En revanche, aucune démonstration datant cette époque n’a été retrouvée. Celles-ci ont été rédigées de manière formelle dans les Éléments d’Euclide, soit quelques siècles après Pythagore et Thalès. [Source 1] ; [Source 2]
