Kẻ \(OH\perp AB;OK\perp CD\left(H\in AB,K\in CD\right)\)
Vì AB // CD => O, H, K thẳng hàng.
Tam giác OAB có OA = OB
=> Tam giác OAB cân tại O
=> Đường cao OH đồng thời là đường phân giác
=> ^AOH = ^BOH
Chứng minh tương tự , ta có :
^COK = ^DOK
=> ^AOH - ^COK = ^BOH - ^DOK
hay ^AOC = ^BOD
\(\Rightarrow\widebat{AC}=\widebat{BD}\)