Sea $\Gamma$ una circunferencia de centro $O$, y sea $BC$ un diámetro de $\Gamma$. El punto $A$ de $\Gamma$ es tal que $\angle AOC>60^\circ$. La cuerda $EF$ de $\Gamma$ es mediatriz del segmento $AO$. Sea $D$ el punto medio del menor arco $AB$ de $\Gamma$, la recta paralela a $AD$ que pasa por $O$ corta a $AC$ en el punto $J$. Demostrar que $J$ es el incentro del triángulo $CEF$.
Como $EF$ es mediatriz de $AO$ y $O$ es el centro de $\Gamma$ tenemos $AF=FO=OE=EA=OA$ por lo que $AFOE$ es un rombo y $AOF$ y $AOE$ son equiláteros, por lo que $\angle EAF=120^\circ$. Como $A$ es el punto medio del arco $EF$ que no contiene a $C$ (pues $\angle AOC>60^\circ$) resulta que $CA$ es bisectriz de $\angle ECF$. Como $D$ es el punto medio del menor arco $AB$, tenemos que $OD$ es mediatriz de $AB\Rightarrow OD\perp AB$, y como $BC$ es diámetro tenemos $AC\perp AB$, luego $OD\parallel AC\parallel AJ$, y como $AD\parallel JO$ resulta que $JODA$ es un paralelogramo. Sea $G$ el punto medio de $AO$, como $AFOE$ es un rombo entonces $G$ es el punto medio de $EF$, y como $JODA$ es un paralelogramo entonces $G$ es el punto medio de $DJ$, por lo tanto $EF$ y $DJ$ se bisecan mutuamente y $DFJE$ es un paralelogramo. Luego, $\angle FJE=\angle EDF=\angle EAF=120^\circ =90^\circ +\frac{1}{2}\angle ECF$. Sea $I$ el incentro de $ECF$, entonces $\angle EIF=90^\circ +\frac{1}{2}\angle ECF=\angle EJF$ por lo que $EJIF$ es cíclico, si $I_C$ es el $C$-excentro de $ECF$ tenemos que $EJIFI_C$ es cíclico, $I_C,J,I$ están sobre la bisectriz de $\angle ECF$ y $J,I$ están en el arco $EF$ que no contiene a $I_C$, por lo tanto $I=J$ y $J$ es el incentro de $CEF$.
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.