Rysunek pomocniczy:

Przekątne czworokąta  przecinają się pod kątem prostym, zatem trójkąty powstałe z przecięcia się przekątnych są trójkątami prostokątnymi.

Wykorzystujemy twierdzenie Pitagorasa dla