Kẻ đường kính $AD$ của $(O)$
$\Rightarrow \widehat{ABD} = 90^o$ (nhìn đường kính $AD$)
Xét tứ giác $BCEF$ có:
$\widehat{BEC} = \widehat{BFC} = 90^o$
Do đó $BCEF$ là tứ giác nội tiếp
$\Rightarrow \widehat{AEF} = \widehat{ABC}$ (cùng bù $\widehat{CEF}$)
Ta lại có: $\widehat{DAC} = \widehat{DBC}$ (cùng chắn $\overparen{CD}$)
$\Rightarrow \widehat{DAC} + \widehat{AEF}$
$= \widehat{DBC} + \widehat{ABC}$
$= \widehat{ABD} = 90^o$
$\Rightarrow AD\perp EF$
Hay $OA\perp EF$
