Mình không biết định lý con bướm ngoài tam giác ntn, nhưng tì câu nói củabạn mình có cách này hay lắm nei: Gọi I, K lần lượt là hình chiếu B và C lên EF. Khi đó BEIC1 và CEKB1 nội niếp nên AI.AF=AC1.AB=AB1.AC=AK.AE. Mà AK = AI nên AE = AF.
- Iceghost yêu thích