Usando Menelao para mostrar: Las bisectrices perpendiculares de las bisectrices de los ángulos de un triángulo se encuentran con los lados opuestos en puntos colineales

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.

ingrese la descripción de la imagen aquí

Esto es lo que tengo hasta ahora. Para mostrar que H, G e I son colineales, necesito demostrar que

A H H B B I B C C GRAMO GRAMO A = 1
Esto es cierto por el Teorema de Menelao.

Ahora, puedo probar por SAS que Δ F j O Δ C j O y por ASA que Δ O j C Δ PAG j C . Así, por transitividad, tenemos Δ O j C Δ PAG j C Δ O j F . Por lo tanto, PAG C j O F j . Esto implica que O F B C 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 F F B = A O O C .

A través de procedimientos similares, también puedo concluir lo siguiente: F PAG A C lo que implica B PAG PAG C = B F F A y METRO mi B C lo que implica A METRO METRO B = A mi mi C .

También sé que hay tres resultados simples del teorema de la bisectriz del ángulo.

B D A B = C D A C
A F A C = B F B C
A mi A B = mi C B C

También sé por el teorema de Ceva que dado que las bisectrices de los ángulos son concurrentes, entonces

A F F B B D D C C mi mi A = 1
Aunque esa información no es realmente diferente de los resultados del teorema de la bisectriz del ángulo.

Necesito poder combinar cosas de alguna manera, pero no veo una conexión entre lo que sé y los puntos H, I y G.

Su declaración del Teorema de Menelao es incorrecta. Debería ser
A I I B B GRAMO GRAMO C C H H A = 1
Aquí, en realidad es más fácil usar la forma trigonométrica:
pecado A C I pecado I C B pecado B A GRAMO pecado GRAMO A C pecado C B H pecado H B A = 1
Un poco de búsqueda de ángulos muestra que, en su diagrama, A C I = B , B A GRAMO = C , A B H = C . Los otros ángulos son fáciles de encontrar y sus senos "obviamente" se cancelan apropiadamente.

Respuestas (1)

Dejar A D ¯ ser la bisectriz de A de A B C , y deja METRO PAG ¯ Sea la mediatriz de A D ¯ .

ingrese la descripción de la imagen aquí

Porque PAG está sobre la bisectriz perpendicular, tenemos D A PAG PAG D A en la base de isósceles PAG A D . Pero PAG D A es un ángulo exterior de A B D , de modo que PAG D A = 1 2 A + B . Desde D A C es también 1 2 A , deducimos que

C A PAG = B + C PAG A B = A + B

Asimismo,

A B q = A + B q B C = A + C B C R = A + C R C A = C + A

(La intermediación de PAG , q , R en relación con los vértices de A B C puede cambiar qué ángulos mostrados coinciden directamente A B C '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

pecado C A PAG pecado PAG A B pecado A B q pecado q B C pecado B C R pecado R C A = pecado B pecado ( A + B ) pecado ( A + B ) pecado A pecado A pecado ( C + A ) = pecado B pecado ( 180 B ) = 1

Por lo tanto, PAG , q , R son colineales.