Gọi K là giao điểm của AD và BC => K là trung điểm AD (vì D đối xứng với A qua BC)
lại có O là trung điểm AE (vì E đối xứng với A qua O)
=> KO là đường trung bình của tam giác ADE => KO // DE hay BC // DE => BCED là hình thang (1)
ta có O là trung điểm AE (cmt) và O cũng là trung điểm BC (giả thiết)
=> ABEC là hình bình hành => AB // CE => \(\widehat{ABC}=\widehat{BCE}\)(so le trong)
lại có \(\widehat{ABC}=\widehat{DBC}\)(do D đói xứng với A qua BC)
=> \(\widehat{DBC}=\widehat{BCE}\)(2)
từ (1) và (2) => BCED là hình thang cân.