Maths Olympiad Prep

Library / /411 of 520

Geometry Difficulty 7.0 National olympiad Prove it

Let ABCA B C be an acute-angled triangle with AC>ABA C > A B, let OO be its circumcentre, and let DD be a point on the segment BCB C. The line through DD perpendicular to BCB C intersects the lines AO,ACA O, A C and ABA B at W,XW, X and YY, respectively. The circumcircles of triangles AXYA X Y and ABCA B C intersect again at ZAZ \neq A. Prove that if OW=ODO W = O D, then DZD Z is tangent to the circle AXYA X Y. (United Kingdom)

Solution

Let AOA O intersect BCB C at EE. As EDWE D W is a right-angled triangle and OO is on WEW E, the condition OW=ODO W=O D means OO is the circumcentre of this triangle. So OD=OEO D=O E which establishes that D,ED, E are reflections in the perpendicular bisector of BCB C. Now observe:
180DXZ=ZXY=ZAY=ZCD 180^{\circ}-\angle D X Z=\angle Z X Y=\angle Z A Y=\angle Z C D
which shows CDXZC D X Z is cyclic. !
We next show that AZBCA Z \| B C. To do this, introduce point ZZ^{\prime} on circle ABCA B C such that AZBCA Z^{\prime} \| B C. By the previous result, it suffices to prove that CDXZC D X Z^{\prime} is cyclic. Notice that triangles BAEB A E and CZDC Z^{\prime} D are reflections in the perpendicular bisector of BCB C. Using this and that A,O,EA, O, E are collinear:
DZC=BAE=BAO=9012AOB=90C=DXC, \angle D Z^{\prime} C=\angle B A E=\angle B A O=90^{\circ}-\frac{1}{2} \angle A O B=90^{\circ}-\angle C=\angle D X C,
so DXZCD X Z^{\prime} C is cyclic, giving ZZZ \equiv Z^{\prime} as desired. Using AZBCA Z \| B C and CDXZC D X Z cyclic we get:
AZD=CDZ=CXZ=AYZ, \angle A Z D=\angle C D Z=\angle C X Z=\angle A Y Z,
which by the converse of alternate segment theorem shows DZD Z is tangent to circle AXYA X Y.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.