Maths Olympiad Prep

Library / /24 of 39

Geometry Difficulty 6.6 National Olympiad Prove it Croatia

In an acute triangle ABCABC we have AB>BC|AB| > |BC|, and the points A1A_1 and C1C_1 are the feet of altitudes from the vertices AA and CC, respectively. Let DD be the second intersection of the circumcircles of triangles ABCABC and A1BC1A_1BC_1 (different from BB). Let ZZ be the intersection of the tangents of the circumcircle of the triangle ABCABC at points AA and CC, and let lines ZAZA and A1C1A_1C_1 meet at the point XX, and lines ZCZC and A1C1A_1C_1 at the point YY.
Prove that the point DD lies on the circumcircle of the triangle XYZXYZ.

Solution

Figure 1
Since CAZ=ZCA=β\angle CAZ = \angle ZCA = \beta (angle between the tangent and the chord), it follows that XZY=AZC=1802β\angle XZY = \angle AZC = 180^\circ - 2\beta.

Quadrilateral CAC1A1CAC_1A_1 is cyclic, so we have C1A1B=YA1C=α\angle C_1A_1B = \angle YA_1C = \alpha and BC1A1=AC1X=γ\angle BC_1A_1 = \angle AC_1X = \gamma. Since XAC1=180CAZBAC=180βα=γ\angle XAC_1 = 180^\circ - \angle CAZ - \angle BAC = 180^\circ - \beta - \alpha = \gamma, from the isosceles triangle IXC1IXC_1 we get C1XA=1802γ\angle C_1XA = 180^\circ - 2\gamma. Analogously, from the isosceles triangle A1YCA_1YC we get CYA1=1802α\angle CYA_1 = 180^\circ - 2\alpha.
Let us show that the quadrilateral A1AXDA_1AXD is cyclic. Since quadrilaterals A1C1BDA_1C_1BD and CABDCABD are cyclic, we have C1DB=C1A1B=α\angle C_1DB = \angle C_1A_1B = \alpha and ADB=ACB=γ\angle ADB = \angle ACB = \gamma, so ADC1=ADBC1DB=γα\angle ADC_1 = \angle ADB - \angle C_1DB = \gamma - \alpha. Furthermore, A1DC1=A1BC1=β\angle A_1DC_1 = \angle A_1BC_1 = \beta, so
A1DA=A1DC1ADC1=β(γα)=α+βγ=1802γ=A1XA, \angle A_1DA = \angle A_1DC_1 - \angle ADC_1 = \beta - (\gamma - \alpha) = \alpha + \beta - \gamma = 180^\circ - 2\gamma = \angle A_1XA,
and the quadrilateral A1AXDA_1AXD is cyclic.
Similarly, CDC1=CDA+ADC1=β+(γα)=1802α=CYC1\angle CDC_1 = \angle CDA + \angle ADC_1 = \beta + (\gamma - \alpha) = 180^\circ - 2\alpha = \angle CYC_1, so the quadrilateral CC1DYCC_1DY is cyclic.
Now we have
YDX=YDC+CDA+ADX=YC1C+CBA+AA1X=A1C1C+CBA+AA1C1=(90γ)+β+(90α)=2β, \begin{aligned} \angle YDX &= \angle YDC + \angle CDA + \angle ADX \\ &= \angle YC_1C + \angle CBA + \angle AA_1X \\ &= \angle A_1C_1C + \angle CBA + \angle AA_1C_1 \\ &= (90^\circ - \gamma) + \beta + (90^\circ - \alpha) = 2\beta, \end{aligned}
so XZY+YDX=180\angle XZY + \angle YDX = 180^\circ, from what we conclude that the quadrilateral XDYZXDYZ is cyclic.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.