Teorema: Todo triângulo é

isósceles.
Prova. Considere um triângulo
arbitrário △ABC. Seja Q a
intersecção da bissetriz do ângulo
(azul) em ∠A e a perpendicular
(verde) no ponto médio P do lado
BC.

Tracemos as perpendiculares de Q
até o ponto R em AB e até o ponto
S em AC. Como P é o ponto médio
de BC e PQ é perpendicular a BC,
deduzimos BQ≅CQ pelo teorema
de Pitágoras. Como AQ é a
bissetriz do ângulo em ∠A, os
triângulos AQR e AQS são
semelhantes, e como compartilham
a mesma hipotenusa, são
congruentes. Segue que AR≅AS e
QR≅QS. Portanto, △BQR é
congruente ao △CQS pelo teorema
da congruência hipotenusa-cateto.
Então RB≅SC. E, portanto,
AB≅AR+RB≅AS+SC≅AC, e
assim o triângulo é isósceles. QED