Vì OA=OC nên tam giác OAC cân tại O
=>
(1)
Vì OB=OD nên tam giác OBD cân tại O
=>
(2)
Ta lại có góc AOC = góc BOD (đđ) (3)
Từ (1),(2) và (3) => góc BAC = góc ABD
=> AC//BD (vì có cặp góc so le trong bằng nhau)
=> tứ giác ACBD là hình thang
Ta có: AB = OA + OB
CD = OC + OD
Mà OA=OD ; OB=OD
=> tứ giác ACBD là hình thang cân