W trójkącie prostokątnym, suma kwadratów długości przyprostokątnych aaaa i bbbb jest równa kwadratowi długości przeciwprostokątnej cccc:
