Zgodnie z tw. Pitagorasa suma kwadratów długości przyprostokątnych trójkąta prostokątnego jest równa kwadratowi długości przeciwprostokątnej tego trójkąta. Zatem
[tex]m^2+k^2=l^2[/tex]
