Demostrar que las bisectrices perpendiculares de las bisectrices de los ángulos interiores de cualquier triángulo cortan los lados opuestos a los ángulos que se bisecan en tres puntos colineales.
Esto es lo que tengo hasta ahora. Para mostrar que H, G e I son colineales, necesito demostrar que
Ahora, puedo probar por SAS que y por ASA que . Así, por transitividad, tenemos . Por lo tanto, . Esto implica que ya que los ángulos alternos interiores son congruentes. Sé que las líneas paralelas dividen los lados del triángulo proporcionalmente, así que obtenemos .
A través de procedimientos similares, también puedo concluir lo siguiente: lo que implica y lo que implica .
También sé que hay tres resultados simples del teorema de la bisectriz del ángulo.
También sé por el teorema de Ceva que dado que las bisectrices de los ángulos son concurrentes, entonces
Necesito poder combinar cosas de alguna manera, pero no veo una conexión entre lo que sé y los puntos H, I y G.
Dejar ser la bisectriz de de , y deja Sea la mediatriz de .
Porque está sobre la bisectriz perpendicular, tenemos en la base de isósceles . Pero es un ángulo exterior de , de modo que . Desde es también , deducimos que
Asimismo,
(La intermediación de , , en relación con los vértices de puede cambiar qué ángulos mostrados coinciden directamente 's, y cuáles son sumas de esos ángulos, pero lo anterior es típico).
Invocando la forma trigonométrica del Teorema de Menelao, y proporcionando explícitamente " "s para reconocer que los ángulos en cada proporción están orientados de manera opuesta, tenemos
Por lo tanto, , , son colineales.
Azul