Maths Olympiad Prep

Library / /4 of 5

Geometry Difficulty 7.7 National olympiad, round 2 Prove it Romania

Let BCBC be a fixed segment in the plane, and let AA be a variable point in the plane not on the line BCBC. Distinct points XX and YY are chosen on the rays CA\vec{CA} and BA\vec{BA}, respectively, such that CBX=YCB=BAC\angle CBX = \angle YCB = \angle BAC. Assume that the tangents to the circumcircle of ABCABC at BB and CC meet line XYXY at PP and QQ, respectively, such that the points X,P,YX, P, Y, and QQ are pairwise distinct and lie on the same side of BCBC. Let Ω1\Omega_1 be the circle through XX and PP centred on BCBC. Similarly, let Ω2\Omega_2 be the circle through YY and QQ centred on BCBC. Prove that Ω1\Omega_1 and Ω2\Omega_2 intersect at two fixed points as AA varies.
Denmark, Daniel Pham Nguyen

Solution

Let X,Y,PX', Y', P', and QQ' be the reflections across BCBC of X,Y,PX, Y, P, and QQ, respectively. Then Ω1\Omega_1 and Ω2\Omega_2 are just the circles PXXPPXX'P' and QYYQQYY'Q', respectively.
Denote α=BAC=CBX=YCB\alpha = \angle BAC = \angle CBX = \angle YCB. Let XYXY cross BCBC at WW; the case XYBCXY \parallel BC may be treated as a limit case. The symmetry yields that WW also lies on the line XYX'Y'. The same symmetry, along with tangency of PBPB and QCQC to the circle ABCABC, yields
α=XBC=PBW=WCQ=BCY.() \alpha = \angle X'BC = \angle PBW = \angle WCQ = \angle BCY'. \quad (*)
This yields that each of the triples (P,B,X)(P, B, X'), (Q,C,Y)(Q, C, Y'), (P,B,X)(P', B, X), and (Q,C,Y)(Q', C, Y) is collinear, and, moreover, that PBXQCYPBX' \parallel Q'CY and PBXQCYP'BX \parallel QCY'. It follows now that quadrilaterals PXXPPXX'P' and YQQYYQQ'Y' are homothetic at WW. Therefore, so are Ω1\Omega_1 and Ω2\Omega_2.

Let now Ω1\Omega_1 and Ω2\Omega_2 cross at DD and DD'. Let WDWD and WDWD' meet Ω1\Omega_1 again at EE and EE'. Since W=PXPXW = PX \cap P'X' and B=PXPXB = PX' \cap P'X, the point BB lies on the polar of WW with respect to Ω1\Omega_1. In other words, WW and BB are inverse with respect to that circle. This yields that the lines DEDE' and DED'E also cross at BB.
Figure 1

Now, we have BDX=EDX=XDE=XPE=BPE=CYD\angle BDX = \angle E'DX = \angle X'D'E = \angle X'PE = \angle BPE = \angle CYD (the last equality holds by means of homothety). Similarly, we have DXB=DXP=PXD=PED=PEB=YDC\angle DXB = \angle DXP' = \angle PX'D' = \angle PED' = \angle PEB = \angle YDC. Therefore, the triangles BDXBDX and CYDCYD are similar. Firstly, this yields that DBC=DBX+XBC=YCD+BCY=BCD\angle DBC = \angle DBX + \angle XBC = \angle YCD + \angle BCY = \angle BCD, whence BD=CDBD = CD. Secondly, this also implies that BD/BX=CY/CDBD/BX = CY/CD, or BXCY=BDCD=BD2BX \cdot CY = BD \cdot CD = BD^2. But the triangles BXCBXC and CBYCBY are also similar (as both are similar to ABCABC), so BX/BC=BC/CYBX/BC = BC/CY, or BXCY=BC2BX \cdot CY = BC^2. Thus, BC=BD=CDBC = BD = CD, and the triangle BCDBCD is equilateral. This finishes the solution.

Solution 2:
All angles in the solution are directed. All segment lengths on lines BXBX and CYCY (and parallel to them) are also oriented; we assume that the directions BX\overrightarrow{BX} and CY\overrightarrow{CY} are positive. As in the solution above, we prove that BPCYBP \parallel CY.
Assume that ABCABC is oriented anti-clockwise. Let DD and DD' be the points such that the triangles DBCDBC and DCBD'CB are equilateral, and oriented anti-clockwise. We will show that DD and DD' lie on the circle Ω1\Omega_1; similarly, they lie on Ω2\Omega_2.
Notice that α=BAC=CBX=YCB=πCBP\alpha = \angle BAC = \angle CBX = \angle YCB = \pi - \angle CBP; moreover, each of the triangles XBCXBC and BCYBCY is similar to BACBAC and oriented differently than BACBAC; hence those two triangles are equi-oriented. Let Ω\Omega denote the circle (DDX)(DD'X); clearly, its centre lies on the perpendicular bisector of DDDD', i.e., on BCBC. We aim to prove that Ω\Omega passes through PP; that will yield that Ω=Ω1\Omega = \Omega_1, which establishes what we are aimed to prove.
Denote Z=XBYCZ = XB \cap YC. Since CBZ=BAC=ZCB\angle CBZ = \angle BAC = \angle ZCB, we have ZB=ZCZB = ZC, and hence ZZ lies on the perpendicular bisector DDDD' of BCBC. By similarity, we get BX/BC=BC/CYBX/BC = BC/CY, or BC2=BXCY=BX(ZY+CZ)BC^2 = BX \cdot CY = BX \cdot (ZY + CZ). Since CYBPCY \parallel BP, the triangles XZYXZY and XBPXBP are similar, so BXZY=ZXBPBX \cdot ZY = ZX \cdot BP.
Figure 2
Therefore, BD2=BC2=BXZY+BXCZ=ZXBP+(BZ+ZX)BZ=ZX(BP+BZ)+BZ2BD^2 = BC^2 = BX \cdot ZY + BX \cdot CZ = ZX \cdot BP + (BZ + ZX) \cdot BZ = ZX \cdot (BP + BZ) + BZ^2.
On the other hand, let MM be the midpoint of BCBC, and let XBXB cross Ω\Omega again at PP'. Write the power of point ZZ with respect to Ω\Omega as XZ(PB+BZ)=XZPZ=ZDZD=MZ2DM2=BZ2MB2DM2=BZ2BD2XZ \cdot (P'B + BZ) = XZ \cdot P'Z = ZD \cdot ZD' = MZ^2 - DM^2 = BZ^2 - MB^2 - DM^2 = BZ^2 - BD^2.
The two obtained relations yield
ZX(BP+BZ)=BD2BZ2=ZX(PB+BZ), ZX \cdot (BP + BZ) = BD^2 - BZ^2 = ZX \cdot (P'B + BZ),
so BP=PBBP = P'B, and so PP and PP' are reflections of one another in the line BCBC. Thus, PP lies on Ω\Omega, as desired.

Remarks.
(1) It is also possible to solve the problem via the moving points method. Introduce the points DD and DD' as in Solution 2, and introduce the reflections XX', YY', PP', and QQ' of XX, YY, PP, and QQ in the line BCBC, respectively, as in Solution 1, to read Ω1\Omega_1 and Ω2\Omega_2 as the circles PXXPPXX'P' and QYYQQYY'Q', respectively.
We need to show that DD lies on Ω2\Omega_2 (the other incidences are similar). To this end, it suffices to check that YDQ=YYQ=90YCB=90BAC\angle YDQ = \angle YY'Q = 90^\circ - \angle Y'CB = 90^\circ - \angle BAC.
Fix BB, CC, and the circle ABCABC. As AA varies on that circle, the lines BXBX, CYCY, BPBP, and CQCQ remain constant, and XX and YY depend projectively on AA. Choosing Q1Q_1 on CQCQ such that YDQ1=90BAC\angle YDQ_1 = 90^\circ - \angle BAC, we need to show that Q1=QQ_1 = Q, or that XX, YY, and Q1Q_1 are collinear. The point Q1Q_1 also depends projectively on AA, so it suffices to check that the points Q1Q_1, XX, and YY are collinear for four specific positions of AA.

(2) Although inversion, homothety, and the moving point method are essentially the same thing, i.e., a Möbius transformation, we briefly sketch yet another approach below:
Let BPCQ=DBP \cap CQ = D, BXCY=ZBX \cap CY = Z, and DZXY=TDZ \cap XY = T. Let R1R_1 and R2R_2 be distinct points such that triangles R1BCR_1BC and R2BCR_2BC are equilateral. We first note that BZCDBZ \parallel CD and CZBDCZ \parallel BD, so the triangles DPQDPQ and ZYXZYX are homothetic from TT. Hence, TPTX=TQTYTP \cdot TX = TQ \cdot TY, so TT lies on the radical axis of Ω1\Omega_1 and Ω2\Omega_2. Since their centres both lie on BCBC, their radical axis is the perpendicular from TT to BCBC, i.e. the perpendicular bisector DZDZ of BCBC. As CYDPCY \parallel DP and BXDQBX \parallel DQ, it follows that BP=YZBXXZBP = YZ \cdot \frac{BX}{XZ} and CQ=XZCYYZCQ = XZ \cdot \frac{CY}{YZ}. As triangles BXCBXC and CYBCYB are similar, this means that BPCQ=BXCY=BC2BP \cdot CQ = BX \cdot CY = BC^2.
Perform an inversion about Ω\Omega, the circle of radius BCBC centred at BB. Let XX', PP', and Ω1\Omega'_1 denote the images of XX, PP and Ω1\Omega_1. As BXCY=BPCQ=BC2BX \cdot CY = BP \cdot CQ = BC^2, we get BP=CQBP' = CQ and BX=CYBX' = CY. Since lines BDBD, CDCD and BZBZ, CZCZ are symmetric about DZDZ, it follows that XX', PP' and YY, QQ are symmetric about DZDZ. Thus, Ω1\Omega'_1 and Ω2\Omega_2 are reflections about DZDZ. Since Ω1Ω2\Omega_1 \cap \Omega_2 and Ω1Ω2\Omega'_1 \cap \Omega_2 all lie on DZDZ, it follows that Ω\Omega, Ω1\Omega_1, Ω1\Omega'_1, Ω2\Omega_2 all meet on DZDZ. This implies that Ω1\Omega_1 and Ω2\Omega_2 both pass through R1R_1 and R2R_2, the two required fixed points.

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.