Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /83 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.2 National Olympiad Prove it Iran

Incircle ω\omega of triangle ABCABC is tangent to sides CBCB and CACA at DD and EE, respectively. Point XX is the reflection of DD with respect to BB. Suppose that the line DEDE is tangent to the AA-excircle at ZZ. Let the circumcircle of triangle XZEXZE intersects ω\omega at KK, for the second time. Prove that the intersection of BKBK and AZAZ lies on ω\omega.

Solution

Let II be the incenter and IaI_a the AA-excenter of triangle ABCABC and JJ the CC-excenter of triangle CDECDE. JJ lies on ω\omega, since
∠EJD=90∘−12∠ECD=∠CDE. \angle EJD = 90^\circ - \frac{1}{2}\angle ECD = \angle CDE.
We claim that AA, JJ, and ZZ are collinear. Point TT lies on ACAC such that IT∥DEIT \parallel DE. To prove our claim, we just need to show that IJIT=IaZIaC\frac{IJ}{IT} = \frac{I_a Z}{I_a C}, since IT∥CIaIT \parallel CI_a, IJ∥IaZIJ \parallel I_a Z and IIaII_a passes through AA. Notice that
∠ITE=∠DEC=∠EDC=∠IaCY  ⟹  △IET∼△IaYC  ⟹  IEIT=IaYIaC, \angle ITE = \angle DEC = \angle EDC = \angle I_a CY \implies \triangle IET \sim \triangle I_a YC \implies \frac{IE}{IT} = \frac{I_a Y}{I_a C},
hence IJIT=IaZIaC\frac{IJ}{IT} = \frac{I_a Z}{I_a C}, since IE=IJIE = IJ and IaY=IaZI_a Y = I_a Z. So the claim is proved. Let BCBC touches AA-excircle at YY. The extensions of sides of quadrilateral AEDBAEDB are tangent to AA-excircle, therefore
AE+ED=AB+BD  ⟹  ED=2BD.(1) AE + ED = AB + BD \implies ED = 2BD. \quad (1)
Yielding DX=DEDX = DE, and it is obvious that DY=DZDY = DZ so quadrilateral YZXEYZXE is an isosceles trapezoid and YY lies on the circumcircle of triangle XZEXZE. Hence
∠EKY=∠EZY=12∠EDY=∠EDM, \angle EKY = \angle EZY = \frac{1}{2}\angle EDY = \angle EDM,
where MM is the midpoint of arc EDED (not containing JJ), so KYKY passes through MM. Let NN be the midpoint of segment EDED. Notice that △CDI∼△CND\triangle CDI \sim \triangle CND, hence
DNCD=IDIC  ⟹  (1)BDCD=IJIC  ⟹  JB∥ID. \frac{DN}{CD} = \frac{ID}{IC} \stackrel{(1)}{\implies} \frac{BD}{CD} = \frac{IJ}{IC} \implies JB \parallel ID.

therefore ∠YJD=∠BKD\angle YJD = \angle BKD, since ∠BJY=∠BKY\angle BJY = \angle BKY. According to our assumption, JJ lies on the angle bisector of ∠YDZ\angle YDZ and YD=DZYD = DZ. It yields that JDJD is the perpendicular bisector of YZYZ and ∠YJD=∠ZJD\angle YJD = \angle ZJD. Hence ∠ZJD=∠BKD\angle ZJD = \angle BKD and the result follows.

Figure 1

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.