Dejemos que el círculo del problema se denote por $k$ y que $O$ sea su centro. Sea $M = AB \cap B_1C_1$ y $N = AC \cap B_1C_1$ . A través del punto $A_1$ dibujar una línea paralela a $PQ$ y que esa línea se cruce con $AO$ en el punto $I$ . Definir el círculo $k_I$ con centro $I$ y el radio $A_1I$ .
Lema 1. Círculo $k_I$ es el círculo interior del triángulo $AMN$ .
Prueba: Por supuesto, la línea $B_1C_1$ es tangente al círculo $k$ en el punto $Q$ y $PQ$ es un diámetro de $k$ . Por lo tanto, $PQ \perp B_1C_1$ . Por construcción, $A_1I || PQ$ Por lo tanto $A_1I \perp B_1C_1$ . Entonces, circule $k_I$ es tangente a $B_1C_1$ también.
Además, realicemos una homotecia con centro $A$ que mapea el punto $P$ para señalar $A_1$ . Dado que la imagen de la línea $PQ$ bajo la homotecia debe ser la línea que atraviesa $A_1$ en paralelo a $PQ$ y como por construcción $A_1I || PQ$ la imagen de la línea $PQ$ bajo la homotecia es la línea $A_1I$ .
Además, la línea $AO$ se mapea a sí mismo, por lo que el punto de intersección $O = PQ \cap AO$ se asigna al punto de intersección $I = A_1I \cap AO$ . En consecuencia, el segmento $PO$ se asigna al segmento $A_1I$ . Sin embargo, $PO$ es el radio del círculo $k$ y $O$ es su centro, mientras que $A_1I$ es el radio del círculo $k_I$ y $I$ es su centro. Por lo tanto, el círculo $k$ es mapeado por la homotecia al círculo $k_I$ . Desde $k$ es tangente a ambas líneas $AB$ y $AC$ que son mapeados a sí mismos por la homotecia, el círculo $k_I$ también es tangente a $AB$ y $AC$ . En consecuencia, $k_I$ es el círculo interior del triángulo $AMN$ .
$$ $$
Lema 2. $MQ = MB_1 = MB$ y $NQ = NC_1 = NC$ .
Prueba: Desde $PQ$ es el diámetro del círculo $k$ , $\, \angle \, PBQ = 90^{\circ}$ lo que significa que $QB \perp PB_1$ y por lo tanto $\angle \, QBB_1 = 90^{\circ}$ . Desde $MB$ y $MQ$ son tangentes a $k$ , $\, QM = BM$ que en el triángulo rectángulo $QBB_1$ implica que $MQ = MB_1 = MB$ . La prueba de la segunda cadena de identidades es análoga.
$$ $$
Lema 3. $MA_1 = NQ = NC_1 = NC$ y $NA_1 = MQ = MB_1 = MB$ .
Prueba: Denota por $$p = \frac{AM + MN + AN}{2}$$ la mitad del perímetro del triángulo $AMN$ . Como $k_I$ es el círculo interior de $AMN$ por el lema 1, $\, A_1$ es el punto de tangencia del círculo interior $k_I$ del triángulo $AMN$ con el borde $MN$ Por lo tanto $$MA_1 = p - AN$$ Observe que $AB$ y $AC$ son las dos tangentes a $k$ de $A$ así que $AB = AC$ . Análogamente $MQ$ y $MB$ son las dos tangentes de $M$ así que $MQ = MB$ . Análogamente $NQ$ y $NB$ son las dos tangentes de $M$ así que $MQ = MB$ . Así, $$MN = MQ + NQ = MB + NC$$ así que $$2 \, p = AM + MN + AN = AM + (MQ + NQ) +AN = AM + (MB + NC) + AN = (AM + MB) + (AN + NC) = AB + AC$$ Combinado con el hecho de que $AB = AC$ se concluye que $2\, p = AB + AC = 2 \, AC$ así que $$AC = p = AB$$ . Por lo tanto, por el lema 2 $$NC = AC - AN = p - AN$$ Así, $$MA_1 = p - AN = NC = NC_1 = NQ$$ La segunda cadena de identidad se puede demostrar de forma análoga.
$$ $$
Concluyendo la prueba: Por el lema 2, $MB_1 = MQ = MA_1 + QA_1$ así que $$A_1B_1 = MA_1 + MB_1 = MA_1 + MA_1 + QA_1 = 2 \, MA_1 + QA_1$$ Por el lema 3, $$A_1C_1 = QA_1 + QC_1 = QA_1 + NQ + NC_1 = QA_1 + MA_1 + MA_1 = 2 \, MA_1 + QA_1$$ Por lo tanto, $$A_1B_1 = 2 \, MA_1 + QA_1 = A_1C_1$$
0 votos
Entonces, ¿qué has probado?
0 votos
Estaba pensando en tratar de probar $\triangle PA_1B_1 \equiv$ $\triangle PA_1C_1$ por AAS o ASA...pero no he tenido éxito en eso
0 votos
@rover2 esos triángulos no serán equivalentes en general. En tu diagrama, si A se mueve hacia arriba $\angle B_1PA_1$ se hace más pequeño y $\angle C_1PA_1$ se agranda, al menos en un caso, que yo mismo dibujé.
0 votos
Había una pista que se me proporcionó aquí en la que decía extender $PQ$ hasta que intersecte las tangentes en los puntos $B$ y $C$ en el punto $A$ . usando este método sólo basta con mostrar que los dos triángulos son similares. el diagrama que incluí en mi pregunta fue un diagrama que se me ocurrió basado en lo que la hipótesis proporcionó @p
0 votos
@rover2 El círculo interior del triángulo formado por las líneas $AB, AC$ y $B_1C_1$ es tangente a la línea $B_1C_1$ en el punto $A_1$ . Todo lo demás se deriva de este hecho.