Maths Olympiad Prep

Library / /17 of 17

Geometry Difficulty 4.4 AIME Prove it North Macedonia

Let kk be a semicircle with center OO and diameter ABAB. Let CC be a point on kk such that COABCO \perp AB. The symmetrical of ABC\angle ABC intersects kk at the point DD. Let EE be the point of ABAB such that DEABDE \perp AB and let FF be the midpoint of CBCB. Prove that the quadrilateral EFCDEFCD is cyclic.

Solution

Figure 1

Note that the triangle ABCABC is isosceles right triangle. Let CDAB={H}CD \cap AB = \{H\}. From
AED=ADB=90 and DAE=DAB \angle AED = \angle ADB = 90^\circ \text{ and } \angle DAE = \angle DAB
follows that ADEABD\triangle ADE \sim \triangle ABD. Since ABCDABCD is cyclic, it follows
ADC=180ABC=135 i.e. HDA=45. Hence, \angle ADC = 180^\circ - \angle ABC = 135^\circ \text{ i.e. } \angle HDA = 45^\circ \text{. Hence,}
DAB=DAC+CAB=DBC+CAB=2230+45=6730 \angle DAB = \angle DAC + \angle CAB = \angle DBC + \angle CAB = 22^\circ 30' + 45^\circ = 67^\circ 30'
Now we have,
HAD=180DAB=1806730=11230 \angle HAD = 180^\circ - \angle DAB = 180^\circ - 67^\circ 30' = 112^\circ 30'
and
AHD=180(HAD+HDA)=18015730=2230 \angle AHD = 180^\circ - (\angle HAD + \angle HDA) = 180^\circ - 157^\circ 30' = 22^\circ 30'
i.e. HDB\triangle HDB is isosceles. Since HDB\triangle HDB is isosceles and DEABDE \perp AB it follows that EE is a midpoint of HBHB. Since EE is a midpoint of HBHB and FF is a midpoint of CBCB, follows that EFEF is a median line in HBC\triangle HBC i.e. EFHCEF \parallel HC i.e. EFCDEF \parallel CD. Hence, the quadrilateral

EFCDEFCD is trapezoid. Furthermore, EFHCEF \parallel HC, so we have FEB=CHB=2230\angle FEB = \angle CHB = 22^\circ 30'. From DEABDE \perp AB we have
DEF=90FEB=902230=6730 \angle DEF = 90^\circ - \angle FEB = 90^\circ - 22^\circ 30' = 67^\circ 30'
Then,
EFB=180(FEB+EBF)=1806730=11230 i.e. \angle EFB = 180^\circ - (\angle FEB + \angle EBF) = 180^\circ - 67^\circ 30' = 112^\circ 30' \text{ i.e.}
CFE=180EFB=6730 \angle CFE = 180^\circ - \angle EFB = 67^\circ 30'
Finally, EFCDEFCD is an isosceles trapezoid, hence the statement in the problem follows.

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 and solution reproduced as published; topic and difficulty added by this site.