Maths Olympiad Prep

Library / Croatian Mathematical Olympiad /23 of 37

Croatian Mathematical Olympiad

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=180∘−2β\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=180∘−∠CAZ−∠BAC=180∘−β−α=γ\angle XAC_1 = 180^\circ - \angle CAZ - \angle BAC = 180^\circ - \beta - \alpha = \gamma, from the isosceles triangle IXC1IXC_1 we get ∠C1XA=180∘−2γ\angle C_1XA = 180^\circ - 2\gamma. Analogously, from the isosceles triangle A1YCA_1YC we get ∠CYA1=180∘−2α\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=∠ADB−∠C1DB=γ−α\angle ADC_1 = \angle ADB - \angle C_1DB = \gamma - \alpha. Furthermore, ∠A1DC1=∠A1BC1=β\angle A_1DC_1 = \angle A_1BC_1 = \beta, so
∠A1DA=∠A1DC1−∠ADC1=β−(γ−α)=α+β−γ=180∘−2γ=∠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=β+(γ−α)=180∘−2α=∠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,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.