Ta có \(BD = BA\) (gt) nên \(\Delta AB{\rm{D}}\) cân tại B. Do đó trung tuyến BM đồng thời là đường trung trực của AD.
Chứng minh tương tự ta có CN cũng là trung trực của AE, mà BM cắt CN tại O nên O là giao điểm hai đường trung trực của \(\Delta A{\rm{D}}E\).
Vì vậy OA phải là đường trung trực thứ ba của \(\Delta A{\rm{D}}E\) hay \(OA \bot DE.\)
