Twierdzenie to było znane już w
starożytności, jednak jego pełny dowód przypisywany jest Pitagorasowi.
Pierwsze sformułowanie tego twierdzenia brzmiało: " Pole kwadratu zbudowanego na przeciwpiostokątnej tiójkąta prostokątnego jest równe sumie pól kwadratów zbudowanych na przyprostokątnych."
Dziś twierdzenie Pitagorasa brzmi: "Jeżeli trójkąt jest prostokątny, to suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwpiostokątnej "