Maths Olympiad Prep

Library / /5 of 9

Geometry Difficulty 5.7 AIME, harder Prove it Italy

Problem:

Let ABCDABCD be a trapezoid with longer base ABAB such that the diagonals ACAC and BDBD are perpendicular. Let OO be the center of the circle circumscribed about triangle ABCABC and let EE be the point of intersection between the line OBOB and the line CDCD. Prove that
BC2=CDCE \overline{BC}^2 = \overline{CD} \cdot \overline{CE}

Solution

Solution:

Let FF be the intersection of the two diagonals of the trapezoid and let MM be the midpoint of ABAB. Since triangle AOBAOB is isosceles and OMOM is its median with respect to the base, triangles AOMAOM and BOMBOM are congruent and, in particular, AOM^=BOM^=12AOB^\widehat{AOM} = \widehat{BOM} = \frac{1}{2} \widehat{AOB}. Moreover, considering the circle circumscribed about triangle ABCABC, the angles AOB^\widehat{AOB} and ACB^\widehat{ACB} are respectively the central angle and the inscribed angle subtending the same arc ABAB, so that AOB^=2ACB^\widehat{AOB} = 2 \cdot \widehat{ACB} and hence BOM^=ACB^\widehat{BOM} = \widehat{ACB}.

Figure 1

It follows that triangles OBMOBM and CBFCBF, which are right triangles, have an equal acute angle and therefore the other acute angle is also equal, that is ABE^=DBC^\widehat{ABE} = \widehat{DBC}. Furthermore, the angles ABE^\widehat{ABE} and BEC^\widehat{BEC} are equal because they are alternate interior angles, and so we also have DBC^=BEC^\widehat{DBC} = \widehat{BEC}.

Finally, triangles BCDBCD and ECBECB are similar, because they share the angle at CC and have another equal angle. We then have BC:CD=EC:CB\overline{BC} : \overline{CD} = \overline{EC} : \overline{CB}, that is BC2=CDCE\overline{BC}^2 = \overline{CD} \cdot \overline{CE}.

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 translated into English from it; metadata (topic, difficulty) added by this project.