Trường hợp 1: Tâm O ở giữa của hai dây

Kẻ OM⊥AB, suy ra OM⊥CD tại N

Ta chứng minh được AOM^=BOM^ (1)

Tương tự CON^=DON^ (2)

Từ (1), (2) => AOC^=BOC^ => AC⏜=BD⏜

Trường hợp 2: Tâm O nằm ngoài khoảng hai dây

Kẻ OM ⊥AB suy ra OM ⊥CD tại N

Tương tự AOC^=BOC^ => AC⏜=BD⏜