Obliczmy pole rozważanego trójkąta prostokątnego:

Pole możemy także obliczyć z wzoru:

Brakuje nam jednak długości , czyli przeciwprostokątnej. Skorzystajmy z