Xét tứ giác ABCD có
AM=CM; BM=DM => ABCD là hình bình hành (tứ giác có 2 đường chéo cắt nhau tại trung điểm mỗi đường là hbh)
=> AD//=BC
Xét ứ giác ACBE có
AN=BN; CN=EN => ACBE là hình bình hành (tứ giác có 2 đường chéo cắt nhau tại trung điểm mỗi đường là hbh)
=> AE//=BC
=> AD=AE =BC
=> AE trùng AD hay A; D; E thẳng hàng (Qua 1 điểm ngoài đường thẳng chỉ dựng được duy nhất 1 đường thẳng // với đường thẳng đã cho)
=> D đối xứng với E qua A