Maths Olympiad Prep

Library / /21 of 55

, 2019

Geometry Difficulty 8.6 Shortlist Prove it IMO

Let II be the incentre of acute-angled triangle ABCA B C. Let the incircle meet BCB C, CAC A, and ABA B at DD, EE, and FF, respectively. Let line EFE F intersect the circumcircle of the triangle at PP and QQ, such that FF lies between EE and PP. Prove that DPA+AQD=QIP\angle D P A + \angle A Q D = \angle Q I P.

(Slovakia)

Solutions — 3

Solution 1

Let NN and MM be the midpoints of the arcs B C\text{arcs B C} of the circumcircle, containing and opposite vertex AA, respectively. By FAE=BAC=BNC\angle F A E = \angle B A C = \angle B N C, the right-angled kites AFIEA F I E and NBMCN B M C are similar. Consider the spiral similarity φ\varphi (dilation in case of AB=ACA B = A C) that moves AFIEA F I E to NBMCN B M C. The directed angle in which φ\varphi changes directions is (AF,NB)\angle(A F, N B), same as (AP,NP)\angle(A P, N P) and (AQ,NQ)\angle(A Q, N Q); so lines APA P and AQA Q are mapped to lines NPN P and NQN Q, respectively. Line EFE F is mapped to BCB C; we can see that the intersection points P=EFAPP = E F \cap A P and Q=EFAQQ = E F \cap A Q are mapped to points BCNPB C \cap N P and BCNQB C \cap N Q, respectively. Denote these points by PP' and QQ', respectively.

Figure 1

Let LL be the midpoint of BCB C. We claim that points P,Q,D,LP, Q, D, L are concyclic (if D=LD = L then line BCB C is tangent to circle PQDP Q D). Let PQP Q and BCB C meet at ZZ. By applying Menelaus' theorem to triangle ABCA B C and line EFZE F Z, we have
BDDC=BFFAAEEC=BZZC, \frac{B D}{D C} = \frac{B F}{F A} \cdot \frac{A E}{E C} = -\frac{B Z}{Z C},
so the pairs B,CB, C and D,ZD, Z are harmonic. It is well-known that this implies ZBZC=ZDZLZ B \cdot Z C = Z D \cdot Z L. (The inversion with pole ZZ that swaps BB and CC sends ZZ to infinity and DD to the midpoint of BCB C, because the cross-ratio is preserved.) Hence, ZDZL=ZBZC=ZPZQZ D \cdot Z L = Z B \cdot Z C = Z P \cdot Z Q by the power of ZZ with respect to the circumcircle; this proves our claim.

By MPP=MQQ=MLP=MLQ=90\angle M P P' = \angle M Q Q' = \angle M L P' = \angle M L Q' = 90^{\circ}, the quadrilaterals MLPPM L P P' and MLQQM L Q Q' are cyclic. Then the problem statement follows by
DPA+AQD=360PAQQDP=360PNQQLP=LPN+NQL=PML+LMQ=PMQ=PIQ. \begin{aligned} \angle D P A + \angle A Q D & = 360^{\circ} - \angle P A Q - \angle Q D P = 360^{\circ} - \angle P N Q - \angle Q L P \\ & = \angle L P N + \angle N Q L = \angle P' M L + \angle L M Q' = \angle P' M Q' = \angle P I Q \end{aligned} .

Solution 2

Define the point MM and the same spiral similarity φ\varphi as in the previous solution. (The point NN is not necessary.) It is well-known that the centre of the spiral similarity that maps F,EF, E to B,CB, C is the Miquel point of the lines FE,BC,BFF E, B C, B F and CEC E; that is, the second intersection of circles ABCA B C and AEFA E F. Denote that point by SS.

By φ(F)=B\varphi(F) = B and φ(E)=C\varphi(E) = C the triangles SBFS B F and SCES C E are similar, so we have
SBSC=BFCE=BDCD. \frac{S B}{S C} = \frac{B F}{C E} = \frac{B D}{C D} .
By the converse of the angle bisector theorem, that indicates that line SDS D bisects BSC\angle B S C and hence passes through MM.

Let KK be the intersection point of lines EFE F and SIS I. Notice that φ\varphi sends points S,F,E,IS, F, E, I to S,B,C,MS, B, C, M, so φ(K)=φ(FESI)=BCSM=D\varphi(K) = \varphi(F E \cap S I) = B C \cap S M = D. By φ(I)=M\varphi(I) = M, we have KDIMK D \parallel I M.

Figure 2

We claim that triangles SPIS P I and SDQS D Q are similar, and so are triangles SPDS P D and SIQS I Q. Let ray SIS I meet the circumcircle again at LL. Note that the segment EFE F is perpendicular to the angle bisector AMA M. Then by AML=ASL=ASI=90\angle A M L = \angle A S L = \angle A S I = 90^{\circ}, we have MLPQM L \parallel P Q. Hence, PL^=MQ^\widehat{P L} = \widehat{M Q} and therefore PSL=MSQ=DSQ\angle P S L = \angle M S Q = \angle D S Q. By QPS=QMS\angle Q P S = \angle Q M S, the triangles SPKS P K and SMQS M Q are similar. Finally,
SPSI=SPSKSKSI=SMSQSDSM=SDSQ \frac{S P}{S I} = \frac{S P}{S K} \cdot \frac{S K}{S I} = \frac{S M}{S Q} \cdot \frac{S D}{S M} = \frac{S D}{S Q}
shows that triangles SPIS P I and SDQS D Q are similar. The second part of the claim can be proved analogously.

Now the problem statement can be proved by
DPA+AQD=DPS+SQD=QIS+SIP=QIP. \angle D P A + \angle A Q D = \angle D P S + \angle S Q D = \angle Q I S + \angle S I P = \angle Q I P .

Solution 3

Denote the circumcircle of triangle ABCA B C by Γ\Gamma, and let rays PDP D and QDQ D meet Γ\Gamma again at VV and UU, respectively. We will show that AUIPA U \perp I P and AVIQA V \perp I Q. Then the problem statement will follow as
DPA+AQD=VUA+AVU=180UAV=QIP. \angle D P A + \angle A Q D = \angle V U A + \angle A V U = 180^{\circ} - \angle U A V = \angle Q I P .

Let MM be the midpoint of arc BUVC^\operatorname{arc}\ \widehat{B U V C} and let NN be the midpoint of arc CAB^\operatorname{arc}\ \widehat{C A B}; the lines AIMA I M and ANA N being the internal and external bisectors of angle BACB A C, respectively, are perpendicular. Let the tangents drawn to Γ\Gamma at BB and CC meet at RR; let line PQP Q meet AU,AI,AVA U, A I, A V and BCB C at X,T,YX, T, Y and ZZ, respectively.

As in Solution 1, we observe that the pairs B,CB, C and D,ZD, Z are harmonic. Projecting these points from QQ onto the circumcircle, we can see that B,CB, C and U,PU, P are also harmonic. Analogously, the pair V,QV, Q is harmonic with B,CB, C. Consider the inversion about the circle with centre RR, passing through BB and CC. Points BB and CC are fixed points, so this inversion exchanges every point of Γ\Gamma by its harmonic pair with respect to B,CB, C. In particular, the inversion maps points B,C,N,U,VB, C, N, U, V to points B,C,M,P,QB, C, M, P, Q, respectively.

Combine the inversion with projecting Γ\Gamma from AA to line PQP Q; the points B,C,M,P,QB, C, M, P, Q are projected to F,E,T,P,QF, E, T, P, Q, respectively.

Figure 3

The combination of these two transformations is projective map from the lines AB,ACA B, A C, AN,AU,AVA N, A U, A V to IF,IE,IT,IP,IQI F, I E, I T, I P, I Q, respectively. On the other hand, we have ABIFA B \perp I F, ACIEA C \perp I E and ANATA N \perp A T, so the corresponding lines in these two pencils are perpendicular. This proves AUIPA U \perp I P and AVIQA V \perp I Q, and hence completes the solution.

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.