Xét đường tròn tâm (O) có AM=BN

Từ đó ta suy ra OE=OD (tính chất quan hệ giữa đường kính và dây cung)

Xét tam giác vuông AOD và tam giác vuông BOE có:

OA=OB(cùng bằng bán kính)

OE=OD(chứng minh trên)

=> ΔAOD = ΔBOE (cạnh huyền-cạnh góc vuông)

=> ∠O1 = ∠O4 (2 góc tương ứng)(1)

Tương tự ta có: ∠O2 = ∠O3 (2)

Ta có: ∠AOC = ∠O1 + ∠O2

∠BOC = ∠O3 + ∠O4

Từ (1) và (2) ta suy ra ∠AOC= ∠BOC

Suy ra OC là tia phân giác của góc AOB.

Xét tam giác OBF và tam giác OAF có:

∠AOC = ∠BOC (chứng minh trên)

OA=OB

OF: chung

Suy ra ΔOBF = ΔOAF (c-g-c)

=> BF=AF( 2 cạnh tương ứng)

=> OC ⊥ AB