Gọi K là tâm đường tròn ngoại tiếp tứ giác MCID, Chứng minh KCOH là tứ giác nội
Giải thích

Chỉ ra KCI là tam giác cân, từ đó
CIK^=HIB^=CAB^=ACO^
ACO^+OCI^=KCI^+OCI^=900. Từ đó chỉ ra OCK^ = 900…. (tự chứng minh)

Chỉ ra KCI là tam giác cân, từ đó
CIK^=HIB^=CAB^=ACO^
ACO^+OCI^=KCI^+OCI^=900. Từ đó chỉ ra OCK^ = 900…. (tự chứng minh)