Maths Olympiad Prep

Library / /151 of 397

Geometry Difficulty 5.6 AIME, harder Prove it Taiwan

Given a circle and four points BB, CC, XX, YY on the circle, let AA be the midpoint of segment BCBC, and let ZZ be the midpoint of segment XYXY. Through BB, CC draw lines L1L_1, L2L_2 perpendicular to BCBC respectively. Let the line through XX perpendicular to AXAX meet L1L_1, L2L_2 at points X1X_1, X2X_2 respectively, and let the line through YY perpendicular to AYAY meet L1L_1, L2L_2 at points Y1Y_1, Y2Y_2 respectively. Let X1Y2X_1Y_2 and X2Y1X_2Y_1 intersect at point PP. Prove: AZP=90\angle AZP = 90^\circ.

Solution

Construct the foot of perpendicular DD from AA to X2Y1X_2Y_1. Since AYY1=ABY1=AXX2=ACX2=90\angle AYY_1 = \angle ABY_1 = \angle AXX_2 = \angle ACX_2 = 90^\circ, the five points DX2XACDX_2XAC lie on a common circle, and likewise the five points DY1YABDY_1YAB lie on a common circle. Considering the radical center of these two circles together with the originally given circle (three circles in total), we obtain that the three lines ADAD, BYBY, CXCX are concurrent. Let this common point be SS, and we have
SASD=SBSY=SCSX. SA \cdot SD = SB \cdot SY = SC \cdot SX.
Consider the transformation centered at SS with inversive power SASDSA \cdot SD. This transformation interchanges ADAD, BYBY, CXCX pairwise; and since BACBAC are collinear with AA the midpoint of BCBC, it follows that DXSYDXSY lie on a common circle and form a harmonic quadrilateral. We have
DZX=DYX+ZDY=DSX+XDS=180DXSSZX=SYX+ZSY=SDX+XSD=180DXS. \angle DZX = \angle DYX + \angle ZDY = \angle DSX + \angle XDS = 180^\circ - \angle DXS \\ \angle SZX = \angle SYX + \angle ZSY = \angle SDX + \angle XSD = 180^\circ - \angle DXS.
(Here we used the fact that DXSYDXSY is harmonic, so DSDS, DZDZ are isogonal conjugates with respect to XDY\angle XDY, and SDSD, SZSZ are isogonal conjugates with respect to XSY\angle XSY.) Hence DZX=SZX\angle DZX = \angle SZX. Also, since XYBCXYBC lie on a common circle, SXY\triangle SXY is similar to SBC\triangle SBC, so SAB=SZX=DZX\angle SAB = \angle SZX = \angle DZX. Let XYXY meet BCBC at point TT; then the four points DZATDZAT lie on a common circle.
Let the center of the originally given circle be OO. Since OZZTOZ \perp ZT and OAATOA \perp AT, the five points DZOATDZOAT lie on a common circle. Let L3L_3 be the line through OO parallel to BCBC, and let L4L_4 be the line through ZZ perpendicular to AZAZ. Then the antipodal point of AA on the circle DZOATDZOAT is the common intersection point of X2Y1X_2Y_1, L3L_3, L4L_4, that is, X2Y1X_2Y_1, L3L_3, L4L_4 are concurrent. By the same argument, X1Y2X_1Y_2, L3L_3, L4L_4 are concurrent. Hence this point is exactly PP, and therefore AZP=90\angle AZP = 90^\circ. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.