Wykonajmy rysunek pomocniczy:

Na początku skorzystajmy z twierdzenia Pitagorasa  w trójkącie ABD i obliczmy długość odcinka :

Zauważmy jeszcze, że:

Podstawmy dane i