Twierdzenie o dwusiecznej kąta w trójkącie:

Dwusieczna kąta wewnętrznego dzieli bok przeciwległy na odcinki, których iloraz długości jest równy ilorazowi długości pozostałych boków.

Obliczymy długość