b) Tam giác  COM cân tại O (vì OC=OM).

 ⇒MCO^=CMO^                                         (1)

Vì M là điểm chính giữa của  AB⏜  nên  OM⊥AB. Mà  CH⊥ABgt.

Suy ra  OM//CH⇒HCM^=CMO^ (hai góc so le trong)      (2)

Từ (1) và (2) suy ra  HCM^=MCO^⇒CM là tia phân giác của góc  HCO^.