Sea $ABC$ un triángulo rectángulo con $A = 90^{\circ}$ y $D \in (AC)$ . Denote por $E$ la reflexión de $A$ en la línea $BD$ y $F$ el punto de intersección de $CE$ con la perpendicular en $D$ a $BC$ . Demuestre que $AF, DE$ y $BC$ son concurrentes.