Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /171 of 270

Iranian Mathematical Olympiad

Geometry Difficulty 6.8 National Olympiad Prove it Iran

Point DD is the intersection point of the angle bisector of vertex AA with side BCBC of triangle ABCABC, and point EE is the tangency point of the inscribed circle of triangle ABCABC with side BCBC. A1A_1 is a point on the circumcircle of triangle ABCABC such that AA1∥BCAA_1 \parallel BC. If we denote by TT the second intersection point of line EA1EA_1 with the circumcircle of triangle AEDAED and by II the incenter of triangle ABCABC, prove that IT=IAIT = IA.

Solution

Let E1E_1 be the reflection of EE with respect to the midpoint of BCBC and XX the intersection point of AE1AE_1 and EA1EA_1. We claim that IX∥BCIX \parallel BC. For this reason, we have (Suppose that RR is the radius of circumcircle of ABCABC and ∠B≥∠C\angle B \geq \angle C).
AXXE1=AA1EE1=AA1AC−ABAIIE=ABBD=ACCD=AB+ACBC \begin{aligned} \frac{AX}{XE_1} &= \frac{AA_1}{EE_1} = \frac{AA_1}{AC - AB} \\ \frac{AI}{IE} &= \frac{AB}{BD} = \frac{AC}{CD} = \frac{AB + AC}{BC} \end{aligned}
So referring to the Thales' Theorem, we must prove AA1⋅BC=AC2−AB2AA_1 \cdot BC = AC^2 - AB^2.
We have AA1=BC−2BH=BC−2AB⋅cos⁡(∠B)AA_1 = BC - 2BH = BC - 2AB \cdot \cos(\angle B), where HH is the foot of perpendicular from AA to BCBC and on the other hand, by The Law of Cosines we have AC2−AB2=BC2−2AB⋅BCcos⁡(∠B)AC^2 - AB^2 = BC^2 - 2AB \cdot BC \cos(\angle B). Therefore, the claim is proved.
Now since the quadrilateral DEATDEAT is cyclic and AA1∥IXAA_1 \parallel IX, we get that the quadrilateral IATXIATX is cyclic. Also, since pairs (E,E1)(E, E_1) and (A,A1)(A, A_1) are symmetric with respect to the perpendicular bisector of the side BCBC, we have XE=XE1XE = XE_1 and so
∠ATI=∠AXI=∠XE1E=∠XEE1=∠IXE=∠TAI \angle ATI = \angle AXI = \angle XE_1E = \angle XEE_1 = \angle IXE = \angle TAI
Thus, IT=IAIT = IA.

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.