Maths Olympiad Prep

Library / /232 of 383

Geometry Difficulty 8.7 Shortlist Prove it IMO

Let ABCAB C be a triangle with ABACAB \neq AC and circumcenter OO. The bisector of BAC\angle BAC intersects BCBC at DD. Let EE be the reflection of DD with respect to the midpoint of BCBC. The lines through DD and EE perpendicular to BCBC intersect the lines AOAO and ADAD at XX and YY respectively. Prove that the quadrilateral BXCYBX CY is cyclic.

Solution

The bisector of BAC\angle BAC and the perpendicular bisector of BCBC meet at PP, the midpoint of the minor arc BC^\widehat{BC} (they are different lines as ABACAB \neq AC). In particular OPOP is perpendicular to BCBC and intersects it at MM, the midpoint of BCBC.

Denote by YY' the reflection of YY with respect to OPOP. Since BYC=BYC\angle BYC = \angle BY'C, it suffices to prove that BXCYBX CY' is cyclic.

Figure 1

We have
XAP=OPA=EYP. \angle XAP = \angle OPA = \angle EYP.
The first equality holds because OA=OPOA = OP, and the second one because EYEY and OPOP are both perpendicular to BCBC and hence parallel. But {Y,Y}\{Y, Y'\} and {E,D}\{E, D\} are pairs of symmetric points with respect to OPOP, it follows that EYP=DYP\angle EYP = \angle DY'P and hence
XAP=DYP=XYP. \angle XAP = \angle DY'P = \angle XY'P.
The last equation implies that XAYPXAY'P is cyclic. By the powers of DD with respect to the circles (XAYP)(XAY'P) and (ABPC)(ABPC) we obtain
XDDY=ADDP=BDDC XD \cdot DY' = AD \cdot DP = BD \cdot DC
It follows that BXCYBX CY' is cyclic, as desired.

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.