1). Tứ giác OBCD nội tiếp và CO là phân giác góc BCD^, 

=> OBD^=OCD^=OCB^=ODB^ , nên tam giác OBD cân tại O, do đó OB=OD (1).

Tứ giác OBCD nội tiếp ODC^=OBE^ (cùng bù với góc OBC) (2).

Trong tam giác CEF có CO vừa là đường cao vừa là đường phân giác nên tam giác CEF cân tại C.

Do AB∥CF⇒AEB^=AFC^=EAB^, suy ra tam giác ABE cân tại B, nên BE=BA=CD (3)