Maths Olympiad Prep

Library / /5 of 8

Geometry Difficulty 6.7 National olympiad Prove it South Korea

Let ABC\triangle ABC be a triangle with BC\angle B \neq \angle C. The incircle II of a triangle ABCABC touches the sides BC,CA,ABBC, CA, AB at the points D,E,FD, E, F, respectively. Let PP be the intersection of ADAD and the incircle II, which is different from DD.
Let QQ be the intersection of the line EFEF and the line passing PP and perpendicular to ADAD, and let X,YX, Y be intersections of the line AQAQ and DE,DFDE, DF, respectively. Show that the point AA is the midpoint of XYXY.

Solution

Let QQ' be the intersection of the line passing AA and parallel to BCBC and the line passing PP and perpendicular to ADAD. Let UU be the intersection of DIDI and AQAQ', and VV be the intersection of PQPQ' and the circle II. (VPV \neq P)
Since VPD=90\angle VPD = 90^\circ, four points D,I,V,UD, I, V, U lie on a line.
Since BDI=90\angle BDI = 90^\circ we have AUI=90\angle AUI = 90^\circ and since AFI=AEI=90\angle AFI = \angle AEI = 90^\circ we have that five points A,F,I,E,UA, F, I, E, U lie on a circle, say, C1C_1.
Four points A,P,V,UA, P, V, U lie on a circle, say, C2C_2, because APV=AUV=90\angle APV = \angle AUV = 90^\circ.
For given three circles, three perpendicular bisectors of the line segments joining two centers of two circles meet at one point. Considering three circles C1,C2C_1, C_2, and the incircle II, we have that three lines AU,PV,EFAU, PV, EF meet at one point QQ'. Thus we have Q=QQ' = Q.
Since AXECDE\triangle AXE \sim \triangle CDE, we have AXAE=CDCE\frac{AX}{AE} = \frac{CD}{CE}. So
AX=CDCE×AE=AE. AX = \frac{CD}{CE} \times AE = AE.
Since AYFBDF\triangle AYF \sim \triangle BDF, we have AYAF=BDBF\frac{AY}{AF} = \frac{BD}{BF}. So
AY=BDBF×AF=AF. AY = \frac{BD}{BF} \times AF = AF.
Since AE=AFAE = AF we have AX=AYAX = AY, which completes the proof. \square

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 and solution reproduced as published; topic and difficulty added by this site.