Maths Olympiad Prep

Library / /3 of 5

Geometry Difficulty 6.5 National Olympiad Prove it Romania

Let ABC\triangle ABC be a triangle and let PP and QQ be points on sides ABAB and ACAC, respectively, such that AP=AQAP = AQ and line PQPQ passes through the incenter II of triangle ABCABC. Let MM be the second intersection point of the circumcircles of triangles BPIBPI and CQICQI. The lines PMPM and BIBI intersect at DD and the lines QMQM and CICI meet at EE. Prove that the line MIMI passes through the midpoint of segment DEDE.

Solution

Since triangle APQAPQ is isosceles, we have APQ=AQP\angle APQ = \angle AQP. BMIPBMIP and CMIQCMIQ are cyclic quadrilaterals, so APQ=BMI\angle APQ = \angle BMI and AQP=CMI\angle AQP = \angle CMI. It follows that BMI=CMI\angle BMI = \angle CMI. (1).

Let KK be the point where lines IMIM and BCBC meet. Since BIBI is the bisector of ABC\angle ABC and BMIPBMIP is a cyclic quadrilateral, we get IMP=IBP=IBK\angle IMP = \angle IBP = \angle IBK. From KMD=KBD\angle KMD = \angle KBD we infer that BDKMBDKM is cyclic, so IDK=BMK\angle IDK = \angle BMK. Similarly, we prove that CEKMCEKM is also cyclic and IEK=CMK\angle IEK = \angle CMK.
Figure 1
Using (1), it follows that IDK=IEK\angle IDK = \angle IEK.
The quadrilaterals BDKMBDKM and BMIPBMIP are cyclic, so BKD=BMD=BIP\angle BKD = \angle BMD = \angle BIP, (2).
Also, the quadrilaterals CEKMCEKM and CMIQCMIQ are cyclic, so CKE=CME=CIQ\angle CKE = \angle CME = \angle CIQ, (3).
From (2) and (3) we deduce that BKD+CKE=BIP+CIQ\angle BKD + \angle CKE = \angle BIP + \angle CIQ. Consequently, we obtain DKE=180(BKD+CKE)=180(BIP+CIQ)=DIE\angle DKE = 180^\circ - (\angle BKD + \angle CKE) = 180^\circ - (\angle BIP + \angle CIQ) = \angle DIE. Since IDK=IEK\angle IDK = \angle IEK and DKE=DIE\angle DKE = \angle DIE, it follows that DIEKDIEK is a parallelogram, so line KIKI bisects the segment DEDE. As points II, KK, and MM are collinear, the conclusion follows.

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.