câu a chú ý G là điểm Miquel của tứ giác toàn phần ABKCEF
Tứ giác toàn phần nội tiếp thì OG vuông với EF. Gọi AK giao BC = T thì áp dụng định lý Brocard cho tứ giác toàn phần ABKCEF suy ra OT vuông với EF
Do đó OTG thẳng hàng nên đồng quy
cách khác nữa là chứng minh trục đẳng phương :v
- ineX yêu thích