O teorema de Steiner-Lehmus

Se ABC é um triângulo qualquer, de base BC e bissetrizes internas BE e CD tais que BE≡CD, então o triângulo ABC é isósceles.  Roteiro de investigação 1. Abra um novo arquivo no GeoGebra e escolha na barra de ferramentas a opção "CONTROLE DESLIZANTE", marque na janela de visualização um controle deslizante "a" e defina o intervalo desse controle com mínimo 8 e máximo 13. 2. No campo "ENTRADA", digite os pontos A=(8,a) e B=(14,2). 3. Com a ferramenta "POLÍGONO", desenhe um triângulo ABC. 4. Dos vértices B e C do triângulo trace, com a ferramenta "BISSETRIZ", as bissetrizes CD e BE, respectivamente. 5. Com a ferramenta "DISTÂNCIA, COMPRIMENTO OU PERÍMETRO", determine as medidas dos lados AB, AC e das bissetrizes internas BE e CD do triângulo ABC. 6. Para finalizar, movimente o cursor do controle deslizante "a", ou clique com o botão direito do mouse sobre o controle e habilite a opção "ANIMAR". Observe o movimento dinâmico do vértice A do triângulo ABC, o comprimento das bissetrizes internas relativas à base BC e as medida dos lados AB e AC. Constate que as bissetrizes internas BE e CD são congruentes e o triângulo ABC é isósceles.