Cho đường tròn (O), các bán kính OA, OB. Trên cung nhỏ AB lấy các

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)