Kẻ OH ⊥ AM, OK ⊥ AN
Ta có: AM = AN (gt)
Suy ra: OH = OK (hai dây bằng nhau cách đều tâm)
Xét hai tam giác OCH và OCK, ta có:
OC chung
OH = OK (chứng minh trên)
Suy ra: ∆ OIH = ∆ OIK (cạnh huyền, cạnh góc vuông)
Xét hai tam giác OAH và OBH, ta có:
OA = OB
OH = OK (chứng minh trên)
Suy ra: ∆ OAH = ∆ OBH (cạnh huyền, cạnh góc vuông)