1 (Teorema da Bissetriz Externa) Considere um triângulo ABC com A B>A C. Suponha que a bissetriz externa do ângulo A intersecta o prolongamento do lado BC em D. Prove que
O enunciado é o Teorema da bissetriz externa: em um triângulo ABC com \overline{AB}>\overline{AC}, a bissetriz externa de \angle A encontra o prolongamento de BC em D. Precisamos provar que