Maths Olympiad Prep

Library / Asian Pacific Mathematics Olympiad /8 of 55

Asian Pacific Mathematics Olympiad

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 Z≠BZ \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 W′W' is the reflection of BB with respect to the perpendicular bisector of PQPQ, and let Z′Z' be the intersection of YW′YW' and ω\omega. It suffices to show that B,X,D,Z′B, X, D, Z' are concyclic. Note that
∠YDC=∠PDB=∠PCB+∠QPC=∠W′PQ+∠QPC=∠W′PC=∠YZ′C. \angle YDC = \angle PDB = \angle PCB + \angle QPC = \angle W'PQ + \angle QPC = \angle W'PC = \angle YZ'C.
So D,C,Y,Z′D, C, Y, Z' are concyclic. Next, ∠BZ′D=∠CZ′B−∠CZ′D=180∘−∠BXD\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 180∘−∠WZV180^{\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=180∘−BAV\angle DXA = \angle VZB = 180^{\circ} - BAV. So XD∥AVXD \parallel AV.
Using cyclic quadrilaterals ZDCYZDCY and BCWZBCWZ in turn, we have ∠YDC=∠YZC=∠WBC\angle YDC = \angle YZC = \angle WBC. So XD∥BWXD \parallel BW.
Hence BW∥AVBW \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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.