Problema 1 IMO 2016

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Matías V5

Colaborador OFO - Jurado FOFO 6 años - Jurado
Mensajes: 931
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 6
Nivel: Exolímpico

Problema 1 IMO 2016

Mensaje sin leer por Matías V5 » Lun 11 Jul, 2016 3:52 am

El triángulo [math] es rectángulo en [math]. Sea [math] el punto de la recta [math] tal que [math] y [math] está entre [math] y [math]. Se elige el punto [math] de modo que [math] y [math] es bisectriz del ángulo [math]. Se elige el punto [math] de modo que [math] y [math] es bisectriz del ángulo [math]. Sea [math] el punto medio de [math]. Sea [math] el punto tal que [math] es un paralelogramo (con [math] y [math]). Demostrar que las rectas [math], [math] y [math] son concurrentes.
1  
"La geometría es el arte de hacer razonamientos correctos a partir de figuras incorrectas." -- Henri Poincaré

Avatar de Usuario
Emerson Soriano

OFO - Mención OFO - Medalla de Oro OFO - Medalla de Plata OFO - Medalla de Bronce
Mensajes: 795
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 4

Re: Problema 1 IMO 2016

Mensaje sin leer por Emerson Soriano » Lun 11 Jul, 2016 1:26 pm

Un poco larga, pero sale!
Spoiler: mostrar
Sea [math] la circunferencia circunscrita del triángulo [math]. Trazamos la recta [math] por [math] paralela a [math], y sea [math] un punto en la recta [math] tal que [math]. Sea [math] el segundo punto de corte de la recta [math] con [math]. Es claro que [math] es el incentro del triángulo [math], por lo tanto
[math]
y hacemos [math]. Note que en el triángulo [math] se deduce que [math]. Sea [math] un punto de [math] tal que [math], así se tiene que [math], y de esto se tiene que [math]. Por lo tanto, [math] y [math], puesto que sólo hay un punto [math] en la recta [math] que satisface esto.

Con respecto al problema, podemos darnos cuenta que la recta [math] es tangente a [math] en el punto [math] y como [math], entonces la recta [math] es paralela a la recta [math], quiere decir que el punto [math] se encuentra en la recta [math]. Sabemos que [math], así que completando ángulos tenemos que
[math]
y
[math]
Como la recta [math] es paralela a la recta [math], entonces el cuadrilátero [math] es un trapecio isósceles y por ende es cíclico, por lo tanto [math], [math] y también [math]. Como [math], entonces el cuadrilátero [math] es cíclico y claramente también es un trapecio isósceles, lo cual implica que los puntos [math], [math] y [math] son colineales, en consecuencia [math].

Notemos que el cuadrilátero [math] es un rombo, por eso sus diagonales [math] y [math] son perpendiculares, y además se cortan en su punto medio. Sea [math] el punto de corte de las rectas [math] y [math]. Note que [math] está en la mediatriz del segmento [math], por lo tanto [math], y en consecuencia [math] y [math]. Sea [math] el punto de corte de la recta [math] con la recta [math]. Es claro que [math]. Como [math] y [math] es paralelo a [math], entonces [math] es un paralelogramo, así [math] y [math], y en consecuencia [math] es un paralelogramo, lo cual implica que [math].

En conclusión, [math], [math] y [math] concurren en un punto (el punto [math]).
Última edición por Emerson Soriano el Vie 22 Jul, 2016 6:21 pm, editado 2 veces en total.

Avatar de Usuario
AgusBarreto

OFO - Medalla de Bronce OFO - Jurado FOFO 7 años - Jurado FOFO 8 años - Jurado FOFO Pascua 2019 - Jurado
Mensajes: 116
Registrado: Sab 15 Sep, 2012 6:28 pm
Medallas: 8
Nivel: Exolímpico
Ubicación: San Martín, Buenos Aires

Re: Problema 1 IMO 2016

Mensaje sin leer por AgusBarreto » Lun 11 Jul, 2016 10:51 pm

Me salteo en la parte final los angulitos en la expliación, porque estoy medio apurado, si tengo tiempo después aclaro esa parte.
Spoiler: mostrar
Llamamos [math]

Para probar que [math] está sobre [math]:
Spoiler: mostrar
Supongamos que [math] no pertenece a [math], y llamemos [math] al punto de intersección de [math] y [math].
Sabemos que [math] por ser [math] y que [math] por ser paralelas [math] y [math].
Luego, [math] y [math] son paralelas, absurdo. Entonces [math] pertenece a [math]
Para probar que [math] está sobre la recta [math]:
Spoiler: mostrar
Como [math], tenemos que [math], y despejando [math]. Luego, [math].

En particular [math], y como [math] por ángulos entre paralelas y [math] por ser [math] podemos concluir que [math], esto nos dice que [math] es cíclico

Vemos que, gracias a esto, [math] por cíclico.

Miremos la que [math] que sería [math], despejando [math], por lo que [math] es rotohomotético con [math]

Luego [math] y demostramos lo que queríamos.
Ahora que tenemos todo lo necesario, trazamos [math] y llamamos [math] a la intersección de [math] con [math]
Sacando angulitos (teniendo en cuenta la propiedad de la mediana de un triángulo rectángulo en [math]), notamos que [math] es un trapecio isósceles,
con [math], y que [math] es un trapecio isósceles con [math]. Por último, notar también sacando angulitos que [math] es perpendicular a [math],
y como [math], entonces [math] es mediatriz de [math]. Además, sabiendo que [math], concluimos [math].

Ahora, por recíproco del Teorema de Ceva, debería cumplirse que:
[math]
Lo cual es cierto, ya que [math], [math] y [math] es punto medio de [math]. Y con eso estamos ■.
1  

Avatar de Usuario
MateoCV

OFO - Medalla de Bronce FOFO 7 años - Medalla Especial OFO - Medalla de Oro FOFO Pascua 2017 - Medalla OFO - Medalla de Plata
FOFO 8 años - Jurado OFO - Jurado FOFO Pascua 2019 - Jurado
Mensajes: 221
Registrado: Vie 18 Dic, 2015 12:35 am
Medallas: 9
Nivel: Exolímpico
Ubicación: Córdoba

Re: Problema 1 IMO 2016

Mensaje sin leer por MateoCV » Jue 14 Jul, 2016 9:10 pm

Subo mi solución
Spoiler: mostrar
Sea [math]. Sea [math] el punto de intersección de [math] y [math]. Luego como [math] es paralelogramo, [math] y como [math] entonces [math] y [math] de donde [math] y entonces [math] y [math] son colineales.
Sea [math] el centro de la circunferencia que pasa por [math] y [math]. Luego [math]. Sea [math] un punto arbitrario en el arco [math] que no contiene a [math] de dicha circunferencia. Como [math], entonces [math] y [math]. Luego [math] y [math] es el centro de la circunferencia que pasa por [math] y [math].
Luego [math] y [math] De donde [math] es cíclico. Luego [math] de donde [math] y [math] son colineales. Luego [math].
Sea [math] y [math]. Como [math] entonces [math] es cíclico y se sigue que [math] y [math]. Luego como [math], luego [math] y como [math], [math] y [math]. Luego como [math], [math] y [math].
Entonces [math] es un rombo y entonces [math]. Como [math] es un trapecio isóceles ([math]) entonces es cíclico (También se puede ver viendo otros ángulos), [math].
Sea [math]. Luego como [math] es cíclico ([math] y [math]), entonces [math], de donde [math] y [math] son colineales, de donde las rectas [math], [math] y [math] concurren
1  
$2^{82589933}-1$ es primo

Avatar de Usuario
Violeta

OFO - Mención FOFO 7 años - Medalla Especial OFO - Medalla de Bronce FOFO 8 años - Mención Especial OFO - Medalla de Plata
Mensajes: 408
Registrado: Sab 04 Jun, 2016 11:50 pm
Medallas: 5
Ubicación: Puerto Rico

Re: Problema 1 IMO 2016

Mensaje sin leer por Violeta » Vie 30 Jun, 2017 4:49 pm

Dejo la mia (aunque un poco tarde, pero seguro).
Spoiler: mostrar
Llamamos [math] el cicuncirculo de [math], que tiene circuncentro [math].

Digamos que la mediatriz de [math] interseca a [math] en [math]. Sea [math] la interseccion de [math] con [math]. Como [math], [math] y por el reciproco del Teorema de la Bisectriz, [math] es bisectriz de [math]. Ahora los angulitos: sea [math] de donde sigue que [math]. Sea [math]. Como [math], sigue que [math]. De aqui sale que [math] y [math] esta en [math].

Digamos que la paralela a [math] por [math] interseca a [math] en [math]. Entonces, [math] y [math] y [math] esta en [math].

[math]. Pero [math], de donde [math] es ciclico. Como [math], [math]. Entonces, [math] Pero ahora [math] y [math] es ciclico, de donde [math] es ciclico y, especificamente, [math] y [math] estan alineados.

Como ya habiamos visto que [math], [math] y [math] es ciclico.

Ahora bien, tenemos los cuadrilateros ciclicos [math], [math] y [math], llamamos sus circuncirculos [math] respectivamente.

[math] es el eje radical de [math] y [math]. [math] es el eje radical de [math] y [math]. [math] es el eje radical de [math] y [math]. Por ser [math] ejes radicales de tres circulos, concurren.
Para todo [math], existen [math] primos en sucesión aritmética.

Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial OFO - Medalla de Oro
Mensajes: 1123
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 2
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Re: Problema 1 IMO 2016

Mensaje sin leer por Gianni De Rico » Jue 26 Dic, 2019 6:58 pm

Solución:
Spoiler: mostrar
Screenshot_20191226-225415.png
Sea $\angle FBA=\alpha$, de las definiciones de los puntos es inmediato que $\angle BAF=\angle CAD=\angle DAE=\angle DCA=\angle EDA=\alpha$, luego $ED\parallel AM\parallel EX$, de donde $E,D,X$ están alineados y $XE\parallel FM$. Luego, $XE\cap FM=P_{\infty XE}$. (*)

Ahora, $\angle ADC=180°-2\alpha$ y $\angle CBA=\angle CBF+\angle FBA=90°+\alpha=180°-\frac{\angle ADC}{2}$, pero como $DA=DC$, tenemos que $D$ es el circuncentro de $ABC$, de donde $DA=DB=DC$.
Por otro lado, $ABF$ y $ADE$ son rotohomotéticos, de donde $ABD$ y $AFE$ son rotohomotéticos, y como $DA=DB$, tenemos que $EA=EF=ED$, luego, $\angle EFA=\angle FAE=\angle CAD+\angle DAE=\alpha +\alpha =2\alpha$, de donde $B,F,E$ son colineales. Luego, $\angle AEB=\angle AEF=\angle ADB$, por lo que $ABDE$ es cíclico, de donde $\angle DBF=\angle DBE=\angle DAE=\alpha =\angle DCF$, por lo que $BCDF$ es cíclico.
Como $BCF$ es rectángulo en $B$, tenemos que $M$ es el centro de $\odot BCDF$, de donde $$\angle DMB=2\angle DCB=2(\angle DCA+\angle ACB)=2(\angle DCA+90°-\angle BFC)=2(\alpha +90°-2\alpha )=2(90°-\alpha )=180°-2\alpha =180°-\angle BAD$$ por lo que $ABMD$ es cíclico, entonces $ABMDE$ es cíclico, de donde $$FA\cdot FM=\text{Pot}(F,\odot ABD)=FB\cdot FE$$ y como $FA=FB$, tenemos que $FM=FE=ED$, pero también $FM\parallel DE$, de donde $EDMF$ es un paralelogramo, por lo que $MD\parallel EF\parallel EB$. Luego, $EB\cap MD=P_{\infty BE}$. (**)

Como $AEXM$ y $EDMF$ son paralelogramos, emtonces $ADXF$ es un paralelogramo, de donde $DX=FA=FB$, luego, $\frac{ED}{XD}=\frac{EF}{FB}$, y por Thales se sigue que $BX\parallel DF$. Luego, $BX\cap DF=P_{\infty BX}$. (***)

De (*), (**) y (***) tenemos que los puntos de intersección de $(BX,DF)$, $(XE,FM)$ y $(EB,MD)$ están alineados sobre la recta del infinito, y por Desargues en $BXE$ y $DFM$, tenemos que $BD$, $FX$ y $ME$ son concurrentes.
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.
Queda Elegantemente Demostrado

Responder