∆OBC có:
OB = OC (gt)
⇒ ∆OBC cân tại O
⇒ ∠OBC = ∠OCB
Do ABCD là hình thang (AD // BC)
⇒ ∠OBC = ∠ODA (so le trong)
∠OCB = ∠OAD (so le trong)
Mà ∠OBC = ∠OCB (cmt)
⇒ ∠ODA = ∠OAD
∆OAD có:
∠ODA = ∠OAD (cmt)
⇒ ∆OAD cân tại O
⇒ OA = OD
Lại có:
OC = OB (gt)
⇒ OA + OC = OB + OD
⇒ AC = BD
⇒ ABCD là hình thang cân