Ta chứng minh ^MCI=^ICH như sau
Tam giác vuông OAM có đường cao AH , áp dụng hệ thức lượng trong tam giác vuông ta có
OH.OM=OA2=R2=OC2⇒OHOC=OCOM
Xét △OCH và △OMC có
^COM chung
OHOC=OCOM
⇒△OCH đồng dạng △OMC⇒^OCH=^OMC (1)
Mà ^MCI=^OIC−^OMC Theo tính chất góc ngoài (2)
^ICH=^OCI−^OCH (3)
^OIC=^OCI (4) do △OCI cân
Từ (1),(2),(3),(4) ta có đ.p.c.m