삼각형 $ABC$의 각 $BAC$의 내각, 외각의 이등분선이 직선 $BC$와 만나는 점을 각각 $D$, $E$라 하자. 직선 $AD$와 삼각형 $ABC$의 외접원이 만나는 $A$ 아닌 점을 $F$라 하자. 삼각형 $ABC$의 외심을 $O$라 하고, 점 $D$를 점 $O$에 대칭시켜 얻은 점을 $D’$라 하자. 이때 $\angle D’FE=90^\circ$임을 보여라.