Maths Olympiad Prep

Library / Mediterranean Mathematical Olympiad /2 of 2

Mediterranean Mathematical Olympiad

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]=180∘−∠CBE=[ABCD is cyclic]=180∘−∠CDF=180∘−∠CGF\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=FBFE⇔FG⋅FE=FC⋅FB=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
EG⋅EF=EC⋅ED=EK2 EG \cdot EF = EC \cdot ED = EK^2
Adding up the preceding, yields
FG⋅FE+EG⋅EF=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=2⋅FLEF = 2 \cdot FL, the last equality can be written as
4⋅FL2=FH2+EK2, 4 \cdot FL^2 = FH^2 + EK^2,
which can be transformed into
4⋅FL2+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
4⋅FL2+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
4⋅FL2+2R2=2OL2+2FL2⇒FL2+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,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.