Maths Olympiad Prep

Library / /6 of 15

Geometry Difficulty 5.3 AIME, harder Prove it Estonia

Consider an acute-angled triangle ABCABC and its circumcircle. Let DD be a point on the arc ABAB which does not include point CC and let A1A_1 and B1B_1 be points on the lines DADA and DBDB, respectively, such that CA1DACA_1 \perp DA and CB1DBCB_1 \perp DB. Prove that ABA1B1|AB| \ge |A_1B_1|.

Solution

If CDCD is the diameter of the circumcircle of triangle ABCABC, then A1=AA_1 = A and B1=BB_1 = B and the statement holds. Assume that CDCD is not the diameter (Fig. 3). Then A1AA_1 \ne A and B1BB_1 \ne B. The point A1A_1 lies on the ray ADAD if and only if the point B1B_1 does not lie on the ray BDBD (depending on which side of the diameter through point CC point DD is located). Thus, CAA1=\angle CAA_1 =
CBB1\angle CBB_1 (because the sum of opposite angles of a cyclic quadrilateral ADBCADBC is 180180^\circ). Thus, the right-angled triangles AA1CAA_1C and BB1CBB_1C are similar. From ACA1=BCB1\angle ACA_1 = \angle BCB_1 we see that ACB=A1CB1\angle ACB = \angle A_1CB_1. This together with ACBC=A1CB1C\frac{|AC|}{|BC|} = \frac{|A_1C|}{|B_1C|} gives that ACBACB and A1CB1A_1CB_1 are similar. As AC>A1C|AC| > |A_1C|, we conclude that AB>A1B1|AB| > |A_1B_1|.

Solution 2:

Since the angles CA1DCA_1D and CB1DCB_1D are right angles, the points C,A1,DC, A_1, D, and B1B_1 form a cyclic quadrilateral and thus CAB=CDB=CA1B1\angle CAB = \angle CDB = \angle CA_1B_1. Similarly, CBA=CB1A1\angle CBA = \angle CB_1A_1. Therefore the triangles ABCABC and A1B1CA_1B_1C are similar. As CACA1|CA| \ge |CA_1|, we deduce that ABA1B1|AB| \ge |A_1B_1|.

Figure 1
Fig. 3

Solution 3:

The radius RR of the circumcircle of the quadrilateral CADBCADB is at least as large as the radius R1R_1 of the circumcircle of the quadrilateral CA1DB1CA_1DB_1 because CDCD is a chord in the first one and a diameter in the second one. The sine law in triangles ADBADB and A1DB1A_1DB_1 gives AB=2RsinD|AB| = 2R \sin \angle D and A1B1=2R1sinD|A_1B_1| = 2R_1 \sin \angle D. As RR1R \ge R_1, we deduce ABA1B1|AB| \ge |A_1B_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.