7ceb857fb08360f03beb86ec469f2e2d83c63ea313a3d885970e69fd14

Lemma는 사인법칙으로 길이비 찾아서 증명할수도 있는데.. 그냥 브리앙숀 정리의 퇴화한 모양이라고 보면 되겠습니다

지금 보니까 제르곤 포인트가 XYZ랑 DEF의 symmedian point가 되는데 이걸도 문제 만들어도 재밌을거 같네요