D'après: Éléments d'Euclide, Livre I, Proposition 48

Énoncé:
Si dans un triangle l'aire du carré élevé sur un côté vaut la somme des aires des carrés élevés sur les deux autres, ce triangle est un triangle rectangle ayant le premier côté comme hypothénuse.

Prérequis:

1. Cas d'égalité (isométrie) des triangles
2. Théorême de Pythagore (proposition 47)

→ Démonstration par étapes

→ Démonstration entière