Jeżeli trójkąt jest prostokątny, to suma pól kwadratów zbudowanych na przyprostokątnych jest równa polu kwadratu zbudowanego na przeciwprostokątnej.
Wersja algebraiczna:
Jeżeli trójkąt jest prostokątny, to suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej.