Twierdzenie o dwusiecznej kąta zewnętrznego w trójkącie