Sea $ABC$ un triángulo acutángulo fijo. Considera algunos puntos $E$ y $F$ que se encuentran en los lados $AC$ y $AB$, respectivamente, y sea $M$ el punto medio de $EF$. Sea la bisectriz perpendicular de $EF$ que interseca la línea $BC$ en $K$, y sea la bisectriz perpendicular de $MK$ que interseca las líneas $AC$ y $AB$ en $S$ y $T$, respectivamente. Llamamos al par $(E, F )$ $\textit{interesante}$ , si el cuadrilátero $KSAT$ es cíclico. Supongamos que los pares $(E_1 , F_1 )$ y $(E_2 , F_2 )$ son interesantes. Demuestra que $\displaystyle\frac{E_1 E_2}{AB}=\frac{F_1 F_2}{AC}$