Los triángulos isósceles $A_3A_1O_2$ y $A_1A_2O_3$ se construyen en los lados de un triángulo $A_1A_2A_3$ como bases, fuera del triángulo. Sea $O_1$ un punto fuera de $\Delta A_1A_2A_3$ tal que $\angle O_1A_3A_2 =\frac 12\angle A_1O_3A_2$ y $\angle O_1A_2A_3 =\frac 12\angle A_1O_2A_3$ . Demuestra que $A_1O_1\perp O_2O_3$ , y si $T$ es la proyección de $O_1$ sobre $A_2A_3$ , entonces $\frac{A_1O_1}{O_2O_3} = 2\frac{O_1T}{A_2A_3}$ .