Mamy dane odcinki długości  i , gdzie .

Wiemy, że twierdzenie Pitagorasa mówi, że suma kwadratów długości przyprostokątnych trójkąta prostokątnego jest równa kwadratowi długości przeciwprostokątnej. (