예각삼각형 ABC (AB < AC)의 꼭짓각 A의 이등분선이 삼각형 ABC의 외접원 Ω와 만나는 점을 D(=/A)라 하고, 점 D를 지나고 직선 BC와 수직인 직선이 원 Ω와 만나는 점을 E(=/D)
라 하자. 점 A가 중심이고 점 E를 지나는 원이 직선 DE와 만나는 점을 F(=/E)라 하고 삼각형 ADF의 외접원의 중심을 K라 할 때, 직선 AK와 BC가 서로 수직임을 보여라.