Maths Olympiad Prep

Library / Hellenic Mathematical Olympiad /38 of 57

Hellenic Mathematical Olympiad

Geometry Difficulty 6.3 National Olympiad Prove it Greece

Let ABΓΔAB\Gamma\Delta quadrilateral inscribed in a circle of center OO. The line perpendicular to the side BΓB\Gamma at its midpoint EE meets the line ABAB at point ZZ. The circumcircle of the triangle ΓEZ\Gamma EZ intersects the side ABAB for a second time at point HH and the line ΓΔ\Gamma\Delta at point Θ≠Δ\Theta \neq \Delta. The line EΘE\Theta meets the line AΔA\Delta at point KK and the line ΓH\Gamma H at point Λ\Lambda. Prove that the points AA, HH, Λ\Lambda, KK are cyclic.

Solution

It is enough to prove that: AK^Λ=90∘A\hat{K}\Lambda = 90^\circ.
Since ΔK^Θ=AK^Λ\Delta\hat{K}\Theta = A\hat{K}\Lambda, it is enough to prove that in the triangle ΔΘK\Delta\Theta K the two acute angles have sum 90∘90^\circ, i.e. ΔΘK+ΘΔ^K=90∘\Delta\Theta K + \Theta\hat{\Delta}K = 90^\circ. We have:
ΔΘK=ΓΘE=ΓZ^E(inscribed in the same arc) andΓZ^E=EZ^B(symmetric with respect toperpendicular bisector of the side BΓ) \begin{aligned} \Delta\Theta K &= \Gamma\Theta E = \Gamma\hat{Z}E \quad (\text{inscribed in the same arc}) \text{ and} \\ \Gamma\hat{Z}E &= E\hat{Z}B \quad (\text{symmetric with respect to} \\ &\text{perpendicular bisector of the side } B\Gamma) \end{aligned}
Hence we have: ΔΘK=EZ^B\Delta\Theta K = E\hat{Z}B (1).

Figure 1
fig. 1

Moreover, from the cyclic quadrilateral ABΓΔAB\Gamma\Delta we have: ΘΔ^K=ZB^E\Theta\hat{\Delta}K = Z\hat{B}E (2)
By summing (1) and (2) we get: ΔΘK+ΘΔ^K=EZ^B+ZB^E=90∘\Delta\Theta K + \Theta\hat{\Delta}K = E\hat{Z}B + Z\hat{B}E = 90^\circ, since the triangle ZBEZBE is right angled at EE.

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.