[문제/풀이] 문제 240227

[한연.(hanmath11)]

정삼각형이 아닌 삼각형 ABC의 외심과 내심을 지나는 직선과 수직하고 A를 지나는 직선과 BC의 교점을 D라 하자. D에서 각 A의 이등분선에 내린 수선의 발을 E, E에서 AB에 내린 수선의 발을 F라 하자. EF의 길이는 BC와 A 사이의 거리의 절반임을 증명하여라.

https://m.dcinside.com/board/geometry/2921

아래 문제 lemma의 논증 풀이

이걸 보조정리로 이용할 수 있음