MathDB
ZX = ZY wanted, <BAD=<DAC, 2 circumcircles, 2 angle bisectors, PX//AC, QY//AB

Source: Mathematics Regional Olympiad of Mexico Center Zone 2019 P3

November 14, 2021
geometryequal segmentsequal angles

Problem Statement

Let ABCABC be an acute triangle and DD a point on the side BCBC such that BAD=DAC\angle BAD = \angle DAC. The circumcircles of the triangles ABDABD and ACDACD intersect the segments ACAC and ABAB at EE and FF, respectively. The internal bisectors of BDF\angle BDF and CDE\angle CDE intersect the sides ABAB and ACAC at PP and QQ, respectively. Points XX and YY are chosen on the side BCBC such that PXPX is parallel to ACAC and QYQY is parallel to ABAB. Finally, let ZZ be the point of intersection of BEBE and CFCF. Prove that ZX=ZYZX = ZY.