Maths Olympiad Prep

Library / China Team Selection Test /86 of 92

China Team Selection Test, 2022

Geometry Difficulty 8.8 Shortlist Prove it China

In a convex quadrilateral ABCDABCD, let II and JJ be the incenter of △ABC\triangle ABC and △ADC\triangle ADC, respectively. Assume that IJIJ, ACAC, BDBD meet at point PP. The line through PP perpendicular to BDBD meets the exterior angle bisectors of ∠BAD\angle BAD at EE, and meets the exterior angle bisector of ∠BCD\angle BCD at FF. Prove that PE=PFPE = PF.
Figure 1

Solution

Proof 1: If AB∥CDAB \parallel CD and AD∥BCAD \parallel BC, then ABCDABCD is a parallelogram. In this case, PP is the midpoint of ACAC and AE∥CFAE \parallel CF. So PE=PFPE = PF.

We may assume that ABAB is not parallel to CDCD from now on. We first show that AB+AD=CB+CDAB + AD = CB + CD. As shown in the following picture, we may assume that the extends of BABA and of CDCD meet at point TT. Let ⊙K\odot K be the excircle of △TBC\triangle TBC in ∠B\angle B; meeting the lines ABAB, BCBC, CDCD at XX, YY, ZZ, respectively.
Figure 2

Since the internal homothetic center of ⊙I\odot I and ⊙J\odot J lies on the line IJIJ, and since ACAC is an inner tangent of the two circles, we deduce that the inner homothetic center of ⊙I\odot I and ⊙J\odot J is PP.
It is well known that the internal homothetic center PP of ⊙I\odot I and ⊙J\odot J, the external homothetic center BB of ⊙I\odot I and ⊙K\odot K, and the internal homothetic center of ⊙J\odot J and ⊙K\odot K are colinear. So the internal homothetic center of ⊙J\odot J and ⊙K\odot K lies on the line BPBP. Since CDCD is an internal tangent line of ⊙J\odot J and ⊙K\odot K, the internal homothetic center of ⊙J\odot J and ⊙K\odot K is precisely point DD. Moreover, ADAD is tangent to ⊙K\odot K, say at point WW.
From this, we deduce that
AB+AD=(BX−AX)+(AW−DW)=BX−DW=BY−DZ=(CB+CY)−(CZ−CD)=CB+CD. \begin{aligned} AB + AD &= (BX - AX) + (AW - DW) = BX - DW \\ &= BY - DZ = (CB + CY) - (CZ - CD) = CB + CD. \end{aligned}
In other words,
AB+AD=CB+CD.(1) AB + AD = CB + CD. \tag{1}
Let ⊙U\odot U and ⊙V\odot V denote the excircles of △ABD\triangle ABD in ∠ABD\angle ABD and in ∠ADB\angle ADB, respectively. Let ⊙Q\odot Q and ⊙R\odot R denote the excircles of △BCD\triangle BCD in ∠CBD\angle CBD and in ∠BDC\angle BDC, respectively.
Now, we prove that URUR and VQVQ meet at PP. Consider ⊙K\odot K, ⊙U\odot U, and ⊙R\odot R. It is well known that the external homothetic center AA of ⊙K\odot K and ⊙U\odot U, the internal homothetic center CC of ⊙K\odot K and ⊙R\odot R, and the internal homothetic center of ⊙U\odot U and ⊙R\odot R are colinear. Yet BDBD is the internal tangent line of ⊙U\odot U and ⊙R\odot R; so PP is the internal homothetic center of ⊙U\odot U and ⊙R\odot R. It follows that URUR passes through PP. By a similar argument, VQVQ passes through PP.
Figure 3

Next, we prove that UQ⊥BDUQ \perp BD and VR⊥BDVR \perp BD. Extend BDBD to intersect ⊙U\odot U and ⊙Q\odot Q at LL and L′L', respectively. Then
BL=12(AB+AD+BD),BL′=12(CB+CD+BD). BL = \frac{1}{2}(AB + AD + BD), \quad BL' = \frac{1}{2}(CB + CD + BD).
Combining this with (1), we deduce that BL=BL′BL = BL', i.e. LL and L′L' coincide. So UQ⊥BDUQ \perp BD. Similarly, VR⊥BDVR \perp BD.
Since EF⊥BDEF \perp BD, So UQ∥EF∥VRUQ \parallel EF \parallel VR. Thus,
PEUQ=VPVQ=RFRQ=PFUQ, \frac{PE}{UQ} = \frac{VP}{VQ} = \frac{RF}{RQ} = \frac{PF}{UQ},
So PE=PFPE = PF. We are done.

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.