Olympiad Maths Prep

Library / /6 of 6

Geometry Difficulty 7.0 National olympiad, round 2 Prove it Belarus

ABCDABCD is a cyclic quadrilateral. Let the circle Γ1\Gamma_1 pass through points AA and BB and touch CDCD at point EE; let the circle Γ2\Gamma_2 pass through points BB and CC and touch DADA at point FF; let the circle Γ3\Gamma_3 pass through points CC and DD, and touch ABAB at point GG; let at last the circle Γ4\Gamma_4 pass through points DD and AA and touch BCBC at point HH.
Prove that EGFHEG \perp FH.
(A. Voidelevich)

Solution

If the quadrilateral ABCDABCD has the pair of parallel sides the result follows from the symmetry of the construction. So we suppose that ABCDABCD is different from a trapezoid and a rectangle.
Let X=BCADX = BC \cap AD. Since Γ2\Gamma_2 touches ADAD at point FF, we have XF2=XBXCXF^2 = XB \cdot XC.
Figure 1
Similarly, XH2=XAXDXH^2 = XA \cdot XD. Since ABCDABCD is cyclic, we have XBXC=XAXDXB \cdot XC = XA \cdot XD, so XF=XHXF = XH, and hence XHF\triangle XHF is an isosceles triangle. Thus BHF=0.5(180CXD)=0.5(C+D)\angle BHF = 0.5(180^\circ - \angle CXD) = 0.5(\angle C + \angle D). Similarly, BGE=0.5(A+D)\angle BGE = 0.5(\angle A + \angle D). Let GEHF=YGE \cap HF = Y. Then GYH=360(B+0.5(C+D))+0.5(A+D))=360(B+D)0.5(A+C)\triangle GYH = 360^\circ - (\angle B + 0.5(\angle C + \angle D)) + 0.5(\angle A + \angle D)) = 360^\circ - (\angle B + \angle D) - 0.5(\angle A + \angle C). Since A+C=B+D=180\angle A + \angle C = \angle B + \angle D = 180^\circ, we have GYH=36018090=90\triangle GYH = 360^\circ - 180^\circ - 90^\circ = 90^\circ, so EGFHEG \perp FH.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.