Do ABCD là hình bình hành
⇒ AB // CD
⇒ AM // DN
Tứ giác AMND có:
AM = DN (gt)
AM // DN (cmt)
⇒ AMND là hình bình hành
⇒ MN // AD
Mà AD // BC (ABCD là hình bình hành)
⇒ MN // BC
⇒ ∠GME = ∠GBF (so le trong)
Do EF là đường trung trực của BM
⇒ GM = GB
Xét hai tam giác vuông: ∆GME và ∆GBF có:
GM = GB (cmt)
∠GME = ∠GBF (cmt)
⇒ ∆GME = ∆GBF (cạnh góc vuông-góc nhọn kề)
⇒ GE = GF (hai cạnh tương ứng)
⇒ G là trung điểm của EF
Mà BM ⊥ EF
⇒ BM là đường trung trực của EF
Hay AB là đường trung trực của EF