Ta có: OA = OC (gt)
⇒ ∆ OAC cân tại O
⇒ ∠ A 1 = ( 180 0 - ∠ (AOC) ) / 2 (tính chất tam giác cân) (1)
OB = OD (gt)
⇒ ∆ OBD cân tại O
⇒ ∠ B 1 = ( 180 0 - ∠ (BOD) )/2 (tính chất tam giác cân) (2)
∠ (AOC) = ∠ (BOD) (đối đỉnh) (3)
Từ (1), (2), (3) suy ra: ∠ A 1 = ∠ B 1
⇒ AC // BD (vì có cặp góc ở vị tri so le trong bằng nhau)
Suy ra: Tứ giác ACBD là hình thang
Ta có: AB = OA + OB
CD = OC + OD
Mà OA = OC, OB = OD
Suy ra: AB = CD
Vậy hình thang ABCD là hình thang cân.