Maths Olympiad Prep

Library / /7 of 16

Geometry Difficulty 6.2 National olympiad Prove it Argentina

Let ABCABC be a triangle with AB<ACAB < AC. On the angle bisector of BAC\angle BAC, two points XX and YY are marked such that XX is between AA and YY, and BXBX is parallel to CYCY. Let ZZ be the reflection of XX with respect to BCBC. Let PP be the point of intersection of lines YZYZ and BCBC. If lines BYBY and CXCX intersect at KK, prove that KA=KPKA = KP.

Solution

Let P1P_1 be the point where the circumcircle of ACYACY intersects BCBC for the second time. Let DD be the foot of the bisector of BAC\angle BAC. Clearly, DD is interior to the circumcircle of ACYACY and by power of a point, we have that
DP1DC=DADY.DP_1 \cdot DC = DA \cdot DY.
Since BXBX and CYCY are parallel, DBDC=DXDY\frac{DB}{DC} = \frac{DX}{DY}, from where it is easily obtained that DP1DB=DADXDP_1 \cdot DB = DA \cdot DX and as DD is external to segments BP1BP_1 and AXAX, AXP1BAXP_1B is cyclic. For the two possible positions (see the diagrams below), using the cyclic quadrilaterals ACYP1ACYP_1 and AXP1BAXP_1B we have that CP1Z=DP1X=BAX=CAY=CP1Y\angle CP_1Z = \angle DP_1X = \angle BAX = \angle CAY = \angle CP_1Y. Then P1P_1, ZZ and YY are collinear, and P1P_1 is the point where YZYZ intersects BCBC, from where P1=PP_1 = P and AXBPAXBP and ACYPACYP are cyclic. Now let SS and TT be the circumcenters of ABXABX and ACYACY respectively. Let us note that SA=SPSA = SP and TA=TPTA = TP, from where the line STST is the perpendicular bisector of APAP. The problem then becomes equivalent to proving that KK, SS, and TT are collinear. But let us note that since BAX=YAC\angle BAX = \angle YAC, by central angle we have that BSX=YTC\angle BSX = \angle YTC, and since BSXBSX and YTCYTC are isosceles, these triangles are similar. Now, since BXBX and YCYC are parallel, we have by Thales that KBKY=KXKC\frac{KB}{KY} = \frac{KX}{KC}. Then the dilation centered at KK that sends BB to YY also sends XX to CC. Let T1T_1 be the image of SS after applying this same dilation, we have that BSXBSX and YT1CYT_1C are similar, and since both TT and T1T_1 are in the same half plane as AA with respect to CYCY we have that T=T1T = T_1. Then KK, SS and TT are collinear and KA=KPKA = KP.
Figure 1

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.