Maths Olympiad Prep

Library / /440 of 520

Geometry Difficulty 5.8 AIME, harder Prove it

Question: As shown in Figure 1, in trapezoid ABCDA B C D, AD//BCA D / / B C, squares ABGEA B G E and DCHFD C H F are constructed on the legs ABA B and CDC D respectively. Let the perpendicular bisector ll of line segment ADA D intersect line segment EFE F at point MM. Prove that point MM is the midpoint of EFE F.

保留源文本的换行和格式,直接输出翻译结果如下:

Question: As shown in Figure 1, in trapezoid ABCDA B C D, AD//BCA D / / B C, squares ABGEA B G E and DCHFD C H F are constructed on the legs ABA B and CDC D respectively. Let the perpendicular bisector ll of line segment ADA D intersect line segment EFE F at point MM. Prove that point MM is the midpoint of EFE F.

Solution

This article provides three methods of proof.
Proof 1: As shown in Figure 2, draw PAPA and QDQD perpendicular to ADAD, intersecting EFEF at PP and QQ respectively.
On BCBC, mark BJBJ
=AP,KC=DQ = AP, KC = DQ \text{, }

Connect AJAJ and DKDK, then
DQMNPADQ \parallel MN \parallel PA.
Since AN=NDAN = ND, it follows that PM=MQPM = MQ.
Also, EAP+BAD=BAD+ABC=180\angle EAP + \angle BAD = \angle BAD + \angle ABC = 180^{\circ}, thus
EAP=ABJ\angle EAP = \angle ABJ.
In AEP\triangle AEP and BAJ\triangle BAJ,
EAP=ABJ,AE=AB,AP=BJ\angle EAP = \angle ABJ, AE = AB, AP = BJ,
Therefore, AEPBAJ\triangle AEP \cong \triangle BAJ.
Hence EP=AJ,EPA=BJAEP = AJ, \angle EPA = \angle BJA.
Thus, APQ=AJK\angle APQ = \angle AJK.
Similarly, FQ=DK,FQD=DKCFQ = DK, \angle FQD = \angle DKC.
Since PAQDPA \parallel QD, then
FQD=QPA=AJK=DKC. \angle FQD = \angle QPA = \angle AJK = \angle DKC .

Therefore, DKAJDK \parallel AJ.
Thus, quadrilateral AJKDAJKD is a parallelogram.
Hence AJ=KD=EP=QFAJ = KD = EP = QF.
Therefore, EP+PM=MQ+QFEP + PM = MQ + QF, i.e.,
ME=MFME = MF.
Thus, MM is the midpoint of EFEF.
Proof 2: As shown in Figure 3, draw APAP and DQDQ perpendicular to ADAD, intersecting BCBC at PP and QQ respectively.
Draw perpendiculars from EE and FF to ADAD, intersecting the line containing ADAD at KK and NN respectively.
Since APAD,KAB+BAP=90AP \perp AD, \angle KAB + \angle BAP = 90^{\circ}, hence EAK=BAP\angle EAK = \angle BAP.
Since AE=AB,AKE=APBAE = AB, \angle AKE = \angle APB, therefore,
AKEAPB\triangle AKE \cong \triangle APB.
Thus, AP=AKAP = AK.
Similarly, DQ=DNDQ = DN.
Since ADBCAD \parallel BC, therefore,
AP=DQ=AK=DNAP = DQ = AK = DN.
Since AJ=DJAJ = DJ, therefore,
JK=JNJK = JN.
Since EKMJFNEK \parallel MJ \parallel FN, therefore,
EM=MFEM = MF.
Hence MM is the midpoint of EFEF.
Proof 3: As shown in Figure 4, draw ETlET \perp l at TT, FRlFR \perp l at RR, draw IPETIP \perp ET intersecting BCBC at PP, and draw SQRFSQ \perp RF intersecting BCBC at QQ.

It is easy to see that quadrilaterals TIAN, TIPK, RSDN, and RSQK are all rectangles.
Therefore, IT=AN=ND=RSIT = AN = ND = RS,
EAI=90BAP=ABP,EIA=APB=90,AE=AB. \begin{array}{l} \angle EAI = 90^{\circ} - \angle BAP = \angle ABP, \\ \angle EIA = \angle APB = 90^{\circ}, AE = AB . \end{array}

Therefore, EIAAPB\triangle EIA \cong \triangle APB. Thus, EI=APEI = AP.
Similarly, FS=DQFS = DQ.
It is also easy to see that quadrilateral APQDAPQD is a rectangle, so AP=DQAP = DQ.
Therefore, EI=AP=DQ=FSEI = AP = DQ = FS.
Thus, EI+IT=FS+SREI + IT = FS + SR, i.e., ET=FRET = FR.
Since ETFRET \parallel FR, therefore, EM=FMEM = FM.
Thus, MM is the midpoint of EFEF.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.