¿Dónde están esas potencias?

Recientemente finalizó la onceava edición de la Olimpiada Europea Femenil de Matemáticas (EGMO por sus siglas en inglés) en Eger, Hungría. El objetivo de la EGMO es fomentar una mayor participación de estudiantes mujeres en concursos matemáticos internacionales. No obstante su nombre, también se invita a diversos equipos fuera del continente europeo.[^1] De los países latinoamericanos participantes destacó Perú, con tres medallas de oro y una de plata, colocándose en el segundo lugar de naciones, solamente superado por EE. UU.

En esta entrada resolveré el problema 6 de la competencia, un problema clásico pero a la vez refrescante de cuadriláteros cíclicos y potencia de puntos.

Problema. Sea $ABCD$ un cuadrilátero cíclico con circuncentro $O$. Sea $X$ el punto de intersección de las bisectrices de los ángulos $\angle DAB$ y $\angle ABC$; sea $Y$ el punto de intersección de de las bisectrices de los ángulos $\angle ABC$ y $\angle BCD$; sea $Z$ el punto de intersección de de las bisectrices de los ángulos $\angle BCD$ y $\angle CDA$; y sea $W$ el punto de intersección de de las bisectrices de los ángulos $\angle CDA$ y $\angle DAB$. Sea $P$ el punto de intersección de las rectas $AC$ y $BD$. Suponga que los puntos $O,\ P,\ X,\ Y,\ Z$ y $W$ son distintos. Probar que $O,\ X,\ Y,\ Z$ y $W$ están sobre una misma circunferencia si y solo si $P,\ X,\ Y,\ Z$ y $W$ están sobre una misma circunferencia.

Solución. Primero consideremos el caso en que $AB\nparallel CD$ y $BC\nparallel DA$. Sea $Q$ el punto de corte de $BC$ y $DA$, y sea $R$ la intersección de $AB$ y $CD$. Notemos que $Z$ es el incentro de $\bigtriangleup CQD$ y $X$ es el $Q$-excentro de $\bigtriangleup AQB$. Usando ángulos dirigidos,[^2] sabemos que:

$\measuredangle WZY = \measuredangle DZC = 90^{\circ} + \measuredangle AQZ \qquad \mbox{y} \qquad \measuredangle YXW = \measuredangle BXA = 90^{\circ} - \measuredangle AQZ$

lo que implica que el cuadrilátero $WXYZ$ es cíclico, pero:

$\measuredangle ZXA = \measuredangle DAX - \measuredangle AQX = 90^{\circ} - \measuredangle ZCD - \measuredangle AQX = \measuredangle ZDA$

por lo que $DAZX$ es cíclico. Similarmente, podemos probar que $CBZX$ también lo es. A partir de estos resultados podemos inferir que $QA\cdot QD = QZ\cdot QX = QB\cdot QC$ $(1)$. De forma análoga podemos demostrar que $ABYW$ y $CDWY$ son cíclicos con $RA\cdot RB = RW\cdot RY = RD \cdot RC$ $(2)$.

{: w = "100"}

Definamos a $P',\ Q'$ y $R'$ como los inversos respectivos de $P,\ Q$ y $R$ con respecto al círculo $(ABCD)$. Conocemos que $O,\ P,\ Q$ y $R$ forman un grupo ortocéntrico, es decir, $P',\ Q'$ y $R'$ son los pies de alturas de $\bigtriangleup PQR$. Por consiguiente, el cuadrilátero $OR'PQ'$ es cíclico. Además, veamos que:

undefined