Lời giải:
Kẻ $Ax$ là tiếp tuyến của $(O)$
Khi đó: $Ax\perp OA(1)$
Mặt khác:
Dễ thấy tứ giác $BFEC$ có $\widehat{BFC}=\widehat{BEC}=90^0$ và cùng nhìn cạnh $BC$ nên $BFEC$ là tứ giác nội tiếp.
$\Rightarrow \widehat{AFE}=\widehat{ACB}$
Mà: $\widehat{ACB}=\widehat{xAB}$ (tính chất góc tạo bởi tiếp tuyến và dây cung thì bằng góc nt chắn cung đó)
Suy ra $\widehat{AFE}=\widehat{xAB}$. Mà 2 góc này ở vị trí so le trong nên $Ax\parallel EF(2)$
Từ $(1);(2)\Rightarrow OA\perp EF$ (đpcm)