Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /292 of 359

Taiwan IMO Selection Camp

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 A′A' be the reflection of AA with respect to MM, and let I′I' be the reflection of II with respect to PP. Then A′A' 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′,I′A, I, A', I' are concyclic.
Figure 1

Below we prove that △AIP∼△IA′P\triangle AIP \sim \triangle IA'P (where ∼\sim denotes direct similarity): Take JJ such that AIA′JAIA'J is a parallelogram, take P′P' such that △AIP′∼△JIA′\triangle AIP' \sim \triangle JIA', then
△IA′P′∼△IJA′∼△JIA′∼△AIP′, \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,P′A, Q, P' are collinear. Take YY such that △AIP′∼△YBP′\triangle AIP' \sim \triangle YBP'; from AYIP′∼IBA′P′AYIP' \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′=∠BYP′−∠BYI=∠IAP′−∠BAI=∠IAP′−∠IAC=∠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,P′A, B, C, P' are concyclic, so P′P' is the other intersection point of AQAQ with ⊙(ABC)\odot(ABC), that is, P=P′P = P'.

From △AIP∼△IA′P\triangle AIP \sim \triangle IA'P we easily obtain △AI′P∼△I′A′P\triangle AI'P \sim \triangle I'A'P, so
∠IAI′=∠IAP+∠PAI′=∠A′IP+∠PI′A′=∠IA′I′ \angle IAI' = \angle IAP + \angle PAI' = \angle A'IP + \angle PI'A' = \angle IA'I'
that is, A,I,A′,I′A, 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,604 problems in a working order, from Junior Challenge 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.