Maths Olympiad Prep

Library / /36 of 133

Geometry Difficulty 5.2 AIME, harder Prove it Saudi Arabia

Let ABCABC be an acute triangle with A<BC\angle A < \angle B \leq \angle C, and OO its circumcenter. The perpendicular bisector of side ABAB intersects side ACAC at DD. The perpendicular bisector of side ACAC intersects side ABAB at EE. Express the angles of triangle DEODEO in terms of the angles of triangle ABCABC.

Solution

Let MM be the midpoint of ACAC. Because COM=12COA=CBE\measuredangle COM = \frac{1}{2} \measuredangle COA = \measuredangle CBE, the quadrilateral BCOEBCOE is cyclic.

Figure 1

Let NN be the midpoint of ABAB. Because NOB=12AOB=DCB\measuredangle NOB = \frac{1}{2} \measuredangle AOB = \measuredangle DCB, the quadrilateral BCDOBCDO is cyclic. Therefore, the pentagon BCDOEBCDOE is cyclic and we have:
ODE=OBE=90ACB,DEO=DCO=90CBA, \measuredangle ODE = \measuredangle OBE = 90^{\circ} - \measuredangle ACB, \quad \measuredangle DEO = \measuredangle DCO = 90^{\circ} - \measuredangle CBA,
and
EOD=180ODEDEO=CBA+ACB. \measuredangle EOD = 180^{\circ} - \measuredangle ODE - \measuredangle DEO = \measuredangle CBA + \measuredangle ACB.

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.