Theo bài toán , ta có `:`
`AD` là tia phân giác của `A`
`⇒` `BAD` = `DAC` `(1)`
mà `E` = `DAC` ( vì `2` góc `E` và `DAC` ở vị trí đồng vị ) `(2)`
và `AFE` = `BAD` ( vì `2` góc `AFE` và `BAD` ở vị trí so le trong ) `(3)`
Từ `(1)` ; `(2)` và `(3)` `⇒` `AEF` = `AFE`