Bien que ce que nous sachions du théorème de Pythagore lui soit antérieur (il est possible qu'il ait été connu des Babyloniens), c'est ce dernier qu'on considère largement à l'origine de sa première preuve mathématique solide. Le théorème est une équation pour calculer les longueurs de chaque côté d'un triangle rectangle, indiquant que le carré de l'hypoténuse est égal à la somme des carrés des deux autres côtés. La preuve mathématique fournie est connue comme preuve pythagoricienne, ou preuve par réarrangement. Elle implique deux carrés avec à l'intérieur les mêmes quatre triangles. Les triangles sont disposés différemment dans les carrés, mais leur espacement reste le même, ce qui prouve que l'hypoténuse est calculable avec les états fixes des autres côtés.
