Giải thích các bước giải:
1) `ΔOEF` có: `OE = OF(g t)`
`=> ΔOEF` cân tại `O`
2) `OA = OB ⇒ ΔOAB` cân tại `O`
`=> \hat{OAB} = (180^o - \hat{O})/2`
Lại có: `\hat{OEF} = (180^o - \hat{O})/2` (do `ΔOEF` cân tại `O`)
`=> \hat{OEF} = \hat{OAB}`
3) Ta có: `\hat{OEF} = \hat{OAB}(cmt)`
mà `2` góc này ở vị trí đồng vị $⇒EF//AB(đpcm)$