Maths Olympiad Prep

Library / Turkish Mathematical Olympiad /30 of 47

Turkish Mathematical Olympiad

Geometry Difficulty 6.9 National Olympiad Prove it Turkey

Let ABCABC be a triangle with m(∠B)=90∘m(\angle B) = 90^\circ. The incircle of △ABC\triangle ABC is tangent to the side BCBC at point DD. Let the intersection of lines XZXZ and ADAD be KK, where XX and ZZ are the centers of incircles of △ABD\triangle ABD and △ADC\triangle ADC, respectively. XZXZ intersects the circumscribed circle of △ABC\triangle ABC at UU and VV and the midpoint of segment is MM. Let YY be the point of intersection of the line ADAD with the circumscribed circle of △ABC\triangle ABC different from AA. Prove that ∣CY∣=2∣MK∣|CY| = 2|MK|. (Cafer Tayyar Yıldırım).

Solution

Let the incircle of △ABD\triangle ABD be tangent to BCBC at TT and the incircle of △ADC\triangle ADC be tangent to BCBC at SS. The radii of incircles of △ABD\triangle ABD and △ADC\triangle ADC are r1r_1 and r2r_2, respectively. Then
DS=AD+DC−AC2=AD+BC−BD−AC2=AD−BD−AB+AB+BC−AC2=AB+BC−AC2−AB+BD−AD2=BD−BT=TD. \begin{aligned} DS &= \frac{AD + DC - AC}{2} = \frac{AD + BC - BD - AC}{2} \\ &= \frac{AD - BD - AB + AB + BC - AC}{2} \\ &= \frac{AB + BC - AC}{2} - \frac{AB + BD - AD}{2} \\ &= BD - BT = TD. \end{aligned}
Since XX and ZZ are centers of incircles, XD⊥DZXD \perp DZ. Therefore,
XZ2=XD2+DZ2=r12+TD2+r22+TD2. XZ^2 = XD^2 + DZ^2 = r_1^2 + TD^2 + r_2^2 + TD^2.
and since
XZ2=(r1−r2)2+TS2=(r1−r2)2+4TD2 XZ^2 = (r_1 - r_2)^2 + TS^2 = (r_1 - r_2)^2 + 4TD^2
we have
r12+r22+2TD2=(r1−r2)2+4TD22r1r2=2TD2. \begin{aligned} r_1^2 + r_2^2 + 2TD^2 &= (r_1 - r_2)^2 + 4TD^2 \\ 2r_1r_2 &= 2TD^2. \end{aligned}
Thus,
XZ2=r12+r22+2TD2=(r1+r2)2XZ=r1+r2. \begin{aligned} XZ^2 &= r_1^2 + r_2^2 + 2TD^2 = (r_1 + r_2)^2 \\ XZ &= r_1 + r_2. \end{aligned}
Obviously, XK≥r1XK \ge r_1 and ZK≥r2ZK \ge r_2. Since XK+ZK=r1+r2XK + ZK = r_1 + r_2, XK=r1XK = r_1, ZK=r2ZK = r_2 and XZ⊥ADXZ \perp AD. Let OO be the center of circumscribed circle of △ABC\triangle ABC (the midpoint of the segment ACAC). Then OM⊥UVOM \perp UV. Since ACAC is a radius CY⊥AYCY \perp AY. Thus, UVUV and CYCY are parallel. Suppose OM∩CY=NOM \cap CY = N. Then ON⊥CYON \perp CY and YN=NCYN = NC. In the rectangle KYNMKYNM, MK=NYMK = NY. Therefore, CY=2MKCY = 2MK. 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.