This article provides three methods of proof.
Proof 1: As shown in Figure 2, draw PA and QD perpendicular to AD, intersecting EF at P and Q respectively.
On BC, mark BJ
=AP,KC=DQ,
Connect AJ and DK, then
DQ∥MN∥PA.
Since AN=ND, it follows that PM=MQ.
Also, ∠EAP+∠BAD=∠BAD+∠ABC=180∘, thus
∠EAP=∠ABJ.
In △AEP and △BAJ,
∠EAP=∠ABJ,AE=AB,AP=BJ,
Therefore, △AEP≅△BAJ.
Hence EP=AJ,∠EPA=∠BJA.
Thus, ∠APQ=∠AJK.
Similarly, FQ=DK,∠FQD=∠DKC.
Since PA∥QD, then
∠FQD=∠QPA=∠AJK=∠DKC.
Therefore, DK∥AJ.
Thus, quadrilateral AJKD is a parallelogram.
Hence AJ=KD=EP=QF.
Therefore, EP+PM=MQ+QF, i.e.,
ME=MF.
Thus, M is the midpoint of EF.
Proof 2: As shown in Figure 3, draw AP and DQ perpendicular to AD, intersecting BC at P and Q respectively.
Draw perpendiculars from E and F to AD, intersecting the line containing AD at K and N respectively.
Since AP⊥AD,∠KAB+∠BAP=90∘, hence ∠EAK=∠BAP.
Since AE=AB,∠AKE=∠APB, therefore,
△AKE≅△APB.
Thus, AP=AK.
Similarly, DQ=DN.
Since AD∥BC, therefore,
AP=DQ=AK=DN.
Since AJ=DJ, therefore,
JK=JN.
Since EK∥MJ∥FN, therefore,
EM=MF.
Hence M is the midpoint of EF.
Proof 3: As shown in Figure 4, draw ET⊥l at T, FR⊥l at R, draw IP⊥ET intersecting BC at P, and draw SQ⊥RF intersecting BC at Q.
It is easy to see that quadrilaterals TIAN, TIPK, RSDN, and RSQK are all rectangles.
Therefore, IT=AN=ND=RS,
∠EAI=90∘−∠BAP=∠ABP,∠EIA=∠APB=90∘,AE=AB.
Therefore, △EIA≅△APB. Thus, EI=AP.
Similarly, FS=DQ.
It is also easy to see that quadrilateral APQD is a rectangle, so AP=DQ.
Therefore, EI=AP=DQ=FS.
Thus, EI+IT=FS+SR, i.e., ET=FR.
Since ET∥FR, therefore, EM=FM.
Thus, M is the midpoint of EF.