Obliczamy długość przeciwprostokątnej trójkąta z twierdzenia Pitagorasa:

Obliczamy pole trójkąta:

Odległość wierzchołka kąta prostego od przeciwprostokątnej jest wysokością