1). Tứ giác OBCD nội tiếp và CO là phân giác góc B C D ^ , suy ra O B D ^ = O C D ^ = O C B ^ = O D B ^ , nên tam giác OBD cân tại O, do đó OB=OD (1).
Tứ giác OBCD nội tiếp O D C ^ = O B E ^ (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 .
Do A B ∥ C F ⇒ A E B ^ = A F C ^ = E A B ^ , suy ra tam giác ABE cân tại B, nên B E = B A = C D ( 3 )