Zauważmy, że trójkąty  będą równoramienne, gdyż proste  to symetralne boków trójkąta  .

Długość odcinka  możemy wyznaczyć z twierdzenia Pitagorasa w trójkącie :