$\text{c. ΔABC cân tại A}$ `⇒ \hat{ABC}=(180^o - \hat{BAC})/2 (1)`
$\text{Ta có: AE = AF (cmt) ⇒ ΔAEF cân tại A}$
`⇒ \hat{AEF}=(180^o - \hat{EAF})/2 (2)`
$\text{Từ (1) và (2)}$ `⇒ \hat{ABC}=\hat{AEF}`
$\text{Mà 2 góc này ở vị trí đồng vị}$
$\text{⇒ EF // BC}$