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.