Skorzystamy z Twierdzenia o dwusiecznej, które mówi że dwusieczna kąta wewnętrznego trójkąta dzieli przeciwległy bok trójkąta na odcinki proporcjonalne do boków przyległych do nich kątów, zatem:

Bok