Maths Olympiad Prep

Library / /8 of 48

Geometry Difficulty 6.8 National olympiad Prove it Asia Pacific Mathematics Olympiad (APMO)

Let ABCABC be a triangle, and let DD be a point on side BCBC. A line through DD intersects side ABAB at XX and ray ACAC at YY. The circumcircle of triangle BXDBXD intersects the circumcircle ω\omega of triangle ABCABC again at point ZBZ \neq B. The lines ZDZD and ZYZY intersect ω\omega again at VV and WW, respectively. Prove that AB=VWAB = VW.

Solution

Suppose XYXY intersects ω\omega at points PP and QQ, where QQ lies between XX and YY. We will show that VV and WW are the reflections of AA and BB with respect to the perpendicular bisector of PQPQ. From this, it follows that AVWBAVWB is an isosceles trapezoid and hence AB=VWAB = VW.

First, note that
BZD=AXY=APQ+BAP=APQ+BZP \angle BZD = \angle AXY = \angle APQ + \angle BAP = \angle APQ + \angle BZP
so APQ=PZV=PQV\angle APQ = \angle PZV = \angle PQV, and hence VV is the reflection of AA with respect to the perpendicular bisector of PQPQ.

Now, suppose WW' is the reflection of BB with respect to the perpendicular bisector of PQPQ, and let ZZ' be the intersection of YWYW' and ω\omega. It suffices to show that B,X,D,ZB, X, D, Z' are concyclic. Note that
YDC=PDB=PCB+QPC=WPQ+QPC=WPC=YZC. \angle YDC = \angle PDB = \angle PCB + \angle QPC = \angle W'PQ + \angle QPC = \angle W'PC = \angle YZ'C.
So D,C,Y,ZD, C, Y, Z' are concyclic. Next, BZD=CZBCZD=180BXD\angle BZ'D = \angle CZ'B - \angle CZ'D = 180^{\circ} - \angle BXD and due to the previous concyclicity we are done.

Alternative solution 1:
Using cyclic quadrilaterals BXDZBXDZ and ABZVABZV in turn, we have ZDY=ZBA=ZCY\angle ZDY = \angle ZBA = \angle ZCY. So ZDCYZDCY is cyclic.
Using cyclic quadrilaterals ABZCABZC and ZDCYZDCY in turn, we have AZB=ACB=WZV\angle AZB = \angle ACB = \angle WZV (or 180WZV180^{\circ} - \angle WZV if ZZ lies between WW and CC).
So AB=VWAB = VW because they subtend equal (or supplementary) angles in ω\omega.

Alternative solution 2:
Using cyclic quadrilaterals BXDZBXDZ and ABZVABZV in turn, we have ZDY=ZBA=ZCY\angle ZDY = \angle ZBA = \angle ZCY. So ZDCYZDCY is cyclic.
Using cyclic quadrilaterals BXDZBXDZ and ABZVABZV in turn, we have DXA=VZB=180BAV\angle DXA = \angle VZB = 180^{\circ} - BAV. So XDAVXD \parallel AV.
Using cyclic quadrilaterals ZDCYZDCY and BCWZBCWZ in turn, we have YDC=YZC=WBC\angle YDC = \angle YZC = \angle WBC. So XDBWXD \parallel BW.
Hence BWAVBW \parallel AV which implies that AVWBAVWB is an isosceles trapezium with AB=VWAB = VW.

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.