*Kẻ Cx là tiếp tuyến tại C của (O)
⇒Cx vuông góc với CO tại C (tính chất)
Có : Tứ giác ABEF nội tiếp(cmt)
⇒∧ABE+∧AFE=180(2 góc đối nhau)
mà ∧AFE+EFC=180(2 góc kề bù)
⇒∧ABE=∧EFC(tính chất bắc cầu)
Xét(O) có
∧ABC là góc nội tiếp chắn cung AC
∧ACx là góc nội tiếp chắn cung AC
⇒∧ABC=∧ACX (hệ quả góc nội tiếp)
⇒∧ABE=∧ACX (E∈BC)
mà ∧ABE=∧EFC (cmt)
⇒∧ACx=∧EFC (tính chất bắc cầu)
*Có : ∧ACx=∧EFC (cmt)
mà 2 góc ở vị trí so le trong
⇒Cx//FE (dhnb)
mà Cx vuông góc với CO tại C (cmt)
⇒CO vuông góc với FE( tc từ vuông góc tới //) (đpcm)