Sea $ABC$ un triángulo. Consideremos los puntos $D$ y $E$ sobre el lado $BC$ de forma que las rectas $AD$ y $AE$ son paralelas a las tangentes a la circunferencia circunscrita al triángulo que pasan por $C$ y $B$, respectivamente. Demostrar que
\[\frac{BE}{CD}=\frac{AB^2}{AC^2}.\]
pistasolución 1info
Pista. Si tomamos la paralela a $BC$ que pasa por $A$ y llamamos $P$ y $Q$, respectivamente, a los puntos de corte de esta recta con la tangente por $B$ y con la tangente por $C$ definidas en el enunciado, demuestra que $ABC$, $ABP$ y $ACQ$ son semejantes.
Solución. Consideremos la recta paralela a $BC$ que pasa por $A$ y llamamos $P$ y $Q$, respectivamente, a los puntos de corte de esta recta con la tangente por $B$ y con la tangente por $C$ definidas en el enunciado. Entonces, se cumple que $BE=AP$ y $CD=AQ$, ya que los cuadriláteros $APBE$ y $AQCD$ son paralelogramos. Si denotamos por $\alpha,\beta,\gamma$ los ángulos del triángulo $ABC$, el paralelismo de $PQ$ y $BC$ también nos asegura que $\angle PAB=\beta$ y $\angle QAC=\gamma$. Por otro lado, como $\angle ACQ$ es el ángulo semiinscrito correspondiente y $AC$ está abarcado por el ángulo $\angle ABC=\beta$, se sigue que $\angle ACQ=\beta$ y, de la misma forma, $\angle ACQ=\gamma$. Así, hemos probado que los triángulos $ABC$, $ABP$ y $ACQ$ son semejantes. Por tanto, $AP/AB=AB/BC$ y $AQ/AC=AC/BC$, luego despejamos $BE=AP=AB^2/BC$ y $CD=AQ=AC^2/BC$, y obtenemos fácilmente la identidad del enunciado.