In omni triangulo ABC, AB² + BC² = AC² - 2AC cos(b), si b est angulus ad punctum B; hoc theorema in trigonometria dicitur lex cosinorum. Quod cosinus anguli recti est 0, theorema Pythagorae est casus particularis huius legis.
Theorema dicitur Pythagorae quod Pythagoras id scivit; non autem primus erat qui hoc theorema demonstravit. Mathematici Babyloniae, Aegypti, Indiae, Sinarum theoremate usi sunt. Demonstratio clarissima apud Euclidem invenitur (Elementa 1.47), cum imagine quasi ventimola (vide figuram). Euclides demonstrat triangulos DAB et CAK aequales esse, sed superficies quadri ADEC est duplex superficiei trianguli DAB, et superficies rectanguli AHJK duplex superficiei trianguli CAK; duae superficiei ergo aequales sunt. Per eandem rationem, superficies quadri CFGB superficiem rectanguli BHJI aequat. Superficies quadri ABIK est AHJK + BHJI; est ergo ADEC + CFGB.
Numeri a, b, c ut sunt triplex Pythagoreanus. Exempla sunt: (3, 4, 5); (5, 12, 13); (7, 24, 25). Si (a, b, c) sunt triplex Pythagoreanus, etiam sunt omnes (na, nb, nc), si n est integer, quod Euclides rationem dabat qua omnes triplices Pythagoreani inveniuntur (Elementa 10.28, lemma primum).