Maths Olympiad Prep

Library / /94 of 155

Geometry Difficulty 6.3 National olympiad Prove it Saudi Arabia

Let ABCABC be a triangle inscribed in a circle (ω)(\omega) and II is the incenter. Denote D,ED, E as the intersection of AI,BIAI, BI with (ω)(\omega). And DEDE cuts AC,BCAC, BC at F,GF, G respectively. Let PP be a point such that PFADPF \parallel AD and PGBEPG \parallel BE. Suppose that the tangent lines of (ω)(\omega) at A,BA, B meet at KK. Prove that three lines AE,BD,KPAE, BD, KP are concurrent or parallel.

Solution

Suppose that KAKA cuts PFPF at MM, KBKB cuts PGPG at NN. By angle chasing, we have
IEF=BAI=FAI, \angle IEF = \angle BAI = \angle FAI,
then AIFEAIFE is cyclic. In addition, we get
AMF=KAI=KAB+BAI=AEI+FEI=AEF \begin{aligned} \angle AMF = \angle KAI & = \angle KAB + \angle BAI \\ & = \angle AEI + \angle FEI = \angle AEF \end{aligned}
then AIFMAIFM is cyclic.

Figure 1

Summarily, points A,I,F,E,MA, I, F, E, M lie on a circle. And similarly, points B,I,G,D,NB, I, G, D, N also lie on a circle. We have known that DEDE is perpendicular bisector of CICI, so it is easy to see that IFCGIFCG is a rhombus. From that above, we get
AMI=AEI=KAB, \angle AMI = \angle AEI = \angle KAB,
then IMABIM \parallel AB. Similarly INABIN \parallel AB, implies that M,N,IM, N, I are collinear. But from PFADPF\parallel AD, PGBEPG\parallel BE, we have AIFMAIFM and BIGNBIGN are isosceles trapezoids, so
AM=IF=IG=BN, \begin{equation*} AM = IF = IG = BN, \tag{1} \end{equation*}
then ABNMABNM is also an isosceles trapezoid, which means that it is cyclic.

In the other hand, we get
PFG=MFE=MIE=BIN=ING, \begin{equation*} \angle PFG = \angle MFE = \angle MIE = \angle BIN = \angle ING, \tag{2} \end{equation*}
so FGNMFGNM is cyclic.

From (1) and (2), we have PKPK is the radical axis of two circles (AIE)(AIE) and (BID)(BID). Now on, we can easily take the conclusion of this problem. \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.