1db4d332f0c03df337f1dca511f11a393885e1ead267079a54

1db4d332f0c03df03ef1dca511f11a395e0413416f30490685

나비 정리를 실전에서 써보긴 첨이네
대놓고 mixtilinear incircle 세팅이긴 한데 시도는 안 해봄...

내접원 & 방접원 관련 정리는 예전에 증명한적 있음
풀이에 쓰인 정리와 관련된 링크는 아래 참고.