Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /291 of 395

Saudi Arabian Mathematical Competitions

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 PF∥ADPF \parallel AD and PG∥BEPG \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 IM∥ABIM \parallel AB. Similarly IN∥ABIN \parallel AB, implies that M,N,IM, N, I are collinear. But from PF∥ADPF\parallel AD, PG∥BEPG\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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.