Maths Olympiad Prep

Library / /43 of 61

Geometry Difficulty 6.7 National olympiad Prove it Belarus

The square A1B1C1D1A_1B_1C_1D_1 is inscribed in the right triangle ABCABC (with C=90\angle C = 90^\circ) so that points A1,B1A_1, B_1 lie on the legs CBCB and CACA respectively, and points C1,D1C_1, D_1 lie on the hypotenuse ABAB. The circumcircles of triangles B1A1CB_1A_1C and BD1A1BD_1A_1 intersect at A1A_1 and XX, and the circumcircles of the triangles B1A1CB_1A_1C and AC1B1AC_1B_1 intersect at B1B_1 and YY.
Prove that the lines A1XA_1X and B1YB_1Y meet on the hypotenuse ABAB.

Solution

Since AB1AB_1 and B1A1B_1A_1 are the diameters of the circumcircles of triangles AC1B1AC_1B_1 and A1CB1A_1CB_1 respectively, AYB1=A1YB1=90\angle AYB_1 = \angle A_1YB_1 = 90^\circ. Hence YY belongs to the line AA1AA_1 and AA1B1YAA_1 \perp B_1Y. Similarly, XX belongs to the line BB1BB_1 and BB1A1XBB_1 \perp A_1X.

Figure 1

Let ZbZ_b and ZaZ_a be the points of intersection of the lines B1YB_1Y and A1XA_1X respectively with the hypotenuse ABAB. Let CB=aCB = a, AC=bAC = b, AB=cAB = c and A1B1=xA_1B_1 = x. We will find the lengths of the segments BZaBZ_a and AZbAZ_b, and then prove the equality AZb+ZaB=ABAZ_b + Z_aB = AB from which follows the statement of the problem.
Since B1XZa=B1C1Za=90\angle B_1XZ_a = \angle B_1C_1Z_a = 90^\circ, the quadrilateral B1C1ZaXB_1C_1Z_aX is cyclic. The quadrilateral CA1XB1CA_1XB_1 is cyclic too, therefore
BA1CB=BXBB1=BZaBC1.() BA_1 \cdot CB = BX \cdot BB_1 = BZ_a \cdot BC_1. \quad (*)
The triangle A1BD1A_1BD_1 is similar to the triangle ABCABC, therefore
A1BAB=D1BCB=A1D1AC. \frac{A_1B}{AB} = \frac{D_1B}{CB} = \frac{A_1D_1}{AC}.
Hence A1B=cxbA_1B = \frac{cx}{b}, D1B=axbD_1B = \frac{ax}{b} and BC1=x+axb=(a+b)xbBC_1 = x + \frac{ax}{b} = \frac{(a+b)x}{b}. From ()(*) it follows that BZa=aca+bBZ_a = \frac{ac}{a+b}. Similarly one can prove AZb=bca+bAZ_b = \frac{bc}{a+b}, so AZb+BZa=ABAZ_b + BZ_a = AB.

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.