Gọi I là tâm đường tròn ngoại tiếp tứ giác FCDE, chứng minh rằng IC là tiếp tuyến
của đường tròn (O) .
Giải chi tiết:
I là tâm đường tròn ngoại tiếp tứ giác FCDE
=> tam giác ICD cân
=>
(chắn cung FC).
Mặt khác tam giác OBC cân nên
(chắn cung AC của (O)).
Từ đó
=> IC ┴ CO hay IC là tiếp tuyến của đường tròn (O).