Maths Olympiad Prep

Library / /36 of 43

Geometry Difficulty 6.3 National Olympiad Prove it JBMO

Problem:
Let ABCABC be a right-angled triangle with A^=90\hat{A}=90^{\circ}. Let KK be the midpoint of BCBC, and let AKLMAKLM be a parallelogram with centre CC. Let TT be the intersection of the line ACAC and the perpendicular bisector of BMBM. Let ω1\omega_{1} be the circle with centre CC and radius CACA and let ω2\omega_{2} be the circle with centre TT and radius TBTB. Prove that one of the points of intersection of ω1\omega_{1} and ω2\omega_{2} is on the line LMLM.

Solution

Solution:
Let MM' be the symmetric point of MM with respect to TT. Observe that TT is equidistant from BB and MM, therefore MM belongs on ω2\omega_{2} and MMM'M is a diameter of ω2\omega_{2}. It suffices to prove that MAM'A is perpendicular to LMLM, or equivalently, to AKAK. To see this, let SS be the point of intersection of MAM'A with LMLM. We will then have MSM=90\angle M'SM=90^{\circ} which shows that SS belongs on ω2\omega_{2} as MMM'M is a diameter of ω2\omega_{2}. We also have that SS belongs on ω1\omega_{1} as ALAL is diameter of ω1\omega_{1}.

Since TT and CC are the midpoints of MMM'M and KMKM respectively, then TCTC is parallel to MKM'K and so MKM'K is perpendicular to ABAB. Since KA=KBKA=KB, then KMKM' is the perpendicular bisector of ABAB. But then the triangles KBMKBM' and KAMKAM' are equal, showing that MAK=MBK=MBM=90\angle M'AK=\angle M'BK=\angle M'BM=90^{\circ} as required.

Figure 1

Alternative Solution by Proposers.
Since CA=CLCA=CL, then LL belongs on ω1\omega_{1}. Let SS be the other point of intersection of ω1\omega_{1} with the line LMLM. We need to show that SS belongs on ω2\omega_{2}. Since TB=TMTB=TM (TT is on the perpendicular bisector of BMBM) it is enough to show that TS=TMTS=TM.

Let N,TN, T' be points on the lines ALAL and LMLM respectively, such that MNLMMN \perp LM and TTLMTT' \perp LM. It is enough to prove that TT' is the midpoint of SMSM. Since ALAL is diameter of ω1\omega_{1} we have that ASLSAS \perp LS. Thus, it is enough to show that TT is the midpoint of ANAN. We have
AT=AN2ACCT=ALLN22AC2CT=ALLNLN=2CT AT=\frac{AN}{2} \Leftrightarrow AC-CT=\frac{AL-LN}{2} \Leftrightarrow 2AC-2CT=AL-LN \Leftrightarrow LN=2CT
as AL=2ACAL=2AC. So it suffices to prove that LN=2CTLN=2CT.

Let DD be the midpoint of BMBM. Since BK=KC=CMBK=KC=CM, then DD is also the midpoint of KCKC. The triangles LMNLMN and CTDCTD are similar since they are right-angled with TCD=CAK=MLN\angle TCD=\angle CAK=\angle MLN. (AK=KCAK=KC and AKAK is parallel to LMLM.) So we have
LNCT=LMCD=AKCD=CKCD=2 \frac{LN}{CT}=\frac{LM}{CD}=\frac{AK}{CD}=\frac{CK}{CD}=2
as required.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.