Xét tứ giác ACEB có:
AO = OE
BO = OC
=> Tứ giác ACEB là hình bình hành (DH)
=> AC // BE
Ta có: A đối xứng với E qua O thuộc BC; A lại đối xứng với D qua BC
=> ED // BC
=> Tứ giác BCDE là hình thang
Gọi giao của BC và AD là K
Xét tam giác ACD có: CK vừa là trung tuyến vừa là đường cao (GT)
=> Tam giác ACD là tam giác cân
=> CK cũng là tia phân giác góc C
=> Góc ACK = góc DCK
Lại có AC // BE (cmt)
=> Góc ACB = góc CBE
=> Góc DCB = góc EBC
=> Hình thang BCDE là hình thang cân (DH)