Maths Olympiad Prep

Library / /321 of 397

Geometry Difficulty 6.7 National Olympiad Prove it Taiwan

Let the incenter of triangle ABCABC be II, and let line ll be the perpendicular bisector of segment AIAI. Let point PP lie on the circumcircle of triangle ABCABC, and let line APAP intersect ll at point QQ. Point RR lies on ll, satisfying IPR=90\angle IPR = 90^\circ. Let line IQIQ intersect the midline of triangle ABCABC parallel to side BCBC at point MM.
Prove: AMR=90. \text{Prove: } \angle AMR = 90^\circ.
(Note: In a triangle, the line connecting the midpoints of any two sides is called a midline.)

Solution

Let AA' be the reflection of AA with respect to MM, and let II' be the reflection of II with respect to PP. Then AA' lies on BCBC, and RR is the circumcenter of AII\triangle AII', so AMR\angle AMR is a right angle if and only if A,I,A,IA, I, A', I' are concyclic.
Figure 1

Below we prove that AIPIAP\triangle AIP \sim \triangle IA'P (where \sim denotes direct similarity): Take JJ such that AIAJAIA'J is a parallelogram, take PP' such that AIPJIA\triangle AIP' \sim \triangle JIA', then
IAPIJAJIAAIP, \triangle IA'P' \sim \triangle IJA' \sim \triangle JIA' \sim \triangle AIP',
and from
IAP=JIA=QIA=IAQ, \angle IAP' = \angle JIA = \angle QIA = \angle IAQ,
we know that A,Q,PA, Q, P' are collinear. Take YY such that AIPYBP\triangle AIP' \sim \triangle YBP'; from AYIPIBAPAYIP' \sim IBA'P' we obtain
AYI=IBA=ABI, \angle AYI = \angle IBA' = \angle ABI,
that is, A,Y,B,IA, Y, B, I are concyclic. Therefore
CBP=IYP=BYPBYI=IAPBAI=IAPIAC=CAP, \begin{aligned} \angle CBP' &= \angle IYP' = \angle BYP' - \angle BYI = \angle IAP' - \angle BAI \\ &= \angle IAP' - \angle IAC = \angle CAP', \end{aligned}
hence A,B,C,PA, B, C, P' are concyclic, so PP' is the other intersection point of AQAQ with (ABC)\odot(ABC), that is, P=PP = P'.

From AIPIAP\triangle AIP \sim \triangle IA'P we easily obtain AIPIAP\triangle AI'P \sim \triangle I'A'P, so
IAI=IAP+PAI=AIP+PIA=IAI \angle IAI' = \angle IAP + \angle PAI' = \angle A'IP + \angle PI'A' = \angle IA'I'
that is, A,I,A,IA, I, A', I' are concyclic, and thus the original proposition is proved.

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 translated into English from zh; metadata (topic, difficulty) added by this project.