Maths Olympiad Prep

Library / /2 of 3

Geometry Difficulty 5.9 AIME, harder Prove it Spain

ABCDABCD is a quadrilateral inscribed in a circle Γ\Gamma. Lines ABAB, DCDC meet in EE; lines BCBC, ADAD meet in FF. Show that the circle of diameter EFEF cuts the circle Γ\Gamma orthogonally.

Solution

Let OO be the center of the circle Γ\Gamma and RR its radius. Let GG be the other point of intersection of the circles FDCFDC and BCEBCE. (See Figure 1).

Figure 1

Remark. The following argument needs some minor changes if all the angles of ABCDABCD are acute, that is, if the center OO of Γ\Gamma is internal to ABCDABCD.

FGC=FDC\angle FGC = \angle FDC because both are inscribed angles in FDCFDC subtending the same arc. EGC=[EGCB is cyclic]=180CBE=[ABCD is cyclic]=180CDF=180CGF\angle EGC = [EGCB \text{ is cyclic}] = 180^\circ - \angle CBE = [ABCD \text{ is cyclic}] = 180^\circ - \angle CDF = 180^\circ - \angle CGF. Then we have EGC+CGF=180\angle EGC + \angle CGF = 180^\circ, and so EGEG and GFGF lie on the same straight line.

For the second part of the argument, we consider Figure 2:

Figure 2

Let LL be the midpoint of EFEF and draw the tangents (in red in the figure) to the circle Γ\Gamma from FF (tangency point HH), EE (tangency point KK) and LL (tangency point MM). The triangles FGCFGC and FEBFEB are similar (they have the same angles); then we have
FGFC=FBFEFGFE=FCFB=FH2 \frac{FG}{FC} = \frac{FB}{FE} \Leftrightarrow FG \cdot FE = FC \cdot FB = FH^2
on account of the power of FF with respect to Γ\Gamma. Likewise, we have
EGEF=ECED=EK2 EG \cdot EF = EC \cdot ED = EK^2
Adding up the preceding, yields
FGFE+EGEF=EF(FG+GE)=EF2=FH2+EK2 FG \cdot FE + EG \cdot EF = EF(FG + GE) = EF^2 = FH^2 + EK^2
On account that EF=2FLEF = 2 \cdot FL, the last equality can be written as
4FL2=FH2+EK2, 4 \cdot FL^2 = FH^2 + EK^2,
which can be transformed into
4FL2+2R2=FH2+R2+EK2+R2. 4 \cdot FL^2 + 2R^2 = FH^2 + R^2 + EK^2 + R^2.
Since FH2+R2=FO2FH^2 + R^2 = FO^2, and EK2+R2=EO2EK^2 + R^2 = EO^2, then we get
4FL2+2R2=FO2+EO2 4 \cdot FL^2 + 2R^2 = FO^2 + EO^2
But FO2=FL2+LO2FO^2 = FL^2 + LO^2, and EO2=LE2+LO2=FL2+LO2EO^2 = LE^2 + LO^2 = FL^2 + LO^2 because FL=FEFL = FE. Then we obtain
4FL2+2R2=2OL2+2FL2FL2+R2=OL2=LM2+R2, 4 \cdot FL^2 + 2R^2 = 2OL^2 + 2FL^2 \Rightarrow FL^2 + R^2 = OL^2 = LM^2 + R^2,
and this means FL=FMFL = FM. But then the circle of center LL and radius LE=LFLE = LF passes through MM, and the radii LMLM and MOMO are perpendicular to each other, and we are done. \square

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.