EGMO 2023 P2

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
BR1

OFO - Medalla de Bronce-OFO 2024 FOFO Pascua 2024 - Medalla-FOFO Pascua 2024 FOFO 14 Años - Medalla-FOFO 14 años OFO - Medalla de Plata-OFO 2025
Mensajes: 772
Registrado: Sab 28 Oct, 2023 1:33 pm
Medallas: 4
Nivel: 1
Ubicación: El baricentro del Triángulo de las Bermudas

EGMO 2023 P2

Mensaje sin leer por BR1 »

Sea $ABC$ un triángulo acutángulo y sea $D$ el punto sobre su circunferencia circunscrita tal que $AD$ es un diámetro. Se marcan puntos $K$ y $L$ en los segmentos $AB$ y $AC$, respectivamente, tales que $DK$ y $DL$ son tangentes al circuncírculo de $AKL$.
Demostrar que la recta $KL$ pasa por el ortocentro de $ABC$.

El ortocentro de un triángulo es el punto de intersección de sus alturas.
ACLARACIÓN: $1$ no es primo
gerez_robert

OFO - Mención-OFO 2025
Mensajes: 102
Registrado: Jue 16 Nov, 2023 8:08 pm
Medallas: 1
Nivel: 3

Re: EGMO 2023 P2

Mensaje sin leer por gerez_robert »

Bueno este problema me encanta y estoy feliz de ahora tener mi propia demo. La anterior que encontré partia de una idea que no era mia y eso para mi era una pequeña puñalada en el pecho.
Solución:
Spoiler: mostrar
Sean $H$ el punto medio $KL$, $E=AH∩BC$ y $F=CH∩AB$.
Bien, como $AD$ pasa por la intersección de las tangentes a $(AKL)$, entonces $AD$ es simediana de $\angle A$ en $\triangle AKL$, se sigue $\angle KAH=\angle DAL=\angle DAC$.
Luego como $AD$ es diametro de $(ABC)$ y $AH$ es isogonal de dicha recta, tenemos $AE \perp BC$, además $BD \perp AB$, $DC \perp AC$ y $DH \perp KL$(la ultima es porque $\triangle DKL$ es isosceles).
$\Rightarrow$ $BKHD$ y $CLHD$ son cíclicos.
Por esto ultimo, por seminscrito y porque $ABDC$ es cíclico tenemos:
$180^{\circ}-\angle BDC=\angle BAC=\angle KAL=\angle KLD=\angle HLD=\angle HCD$, analogamente, $180^{\circ}-\angle BDC=\angle HBD$.
$\Rightarrow$ $BD \parallel HC$ y $DC \parallel BH$.
Por tanto, $BHCD$ es un paralelogramo.
Finalmente, $\angle ECH=\angle BCH=\angle DBC=\angle DAC=\angle KAH=\angle FAH$.
$\Rightarrow$ $AFEC$ es cíclico, lo que implica $CF \perp AB$.
Y eso es todo :D
amo a mis perritos
Responder