Lemma는 사인법칙으로 길이비 찾아서 증명할수도 있는데.. 그냥 브리앙숀 정리의 퇴화한 모양이라고 보면 되겠습니다지금 보니까 제르곤 포인트가 XYZ랑 DEF의 symmedian point가 되는데 이걸도 문제 만들어도 재밌을거 같네요
제 풀이와 완벽히 일치하네요! 언급하신대로 XYZ랑 DEF의 세 symmedian들이 일치하는 성질로부터 만든 문제입니다.