Maths Olympiad Prep

Library / /3 of 7

Geometry Difficulty 5.6 AIME, harder Prove it Russia

In triangle ABCABC, sides ABAB and BCBC have equal lengths. Point DD inside the triangle is chosen so that ADC=2ABC\angle ADC = 2\angle ABC. Prove that the distance from point BB to the external bisector line of angle ADC\angle ADC is twice smaller than AD+DCAD + DC. (S. Berlov)

Solution

Let \ell be the external angle bisector of the angles adjacent to ADC\angle ADC, and let KK be the projection of BB onto \ell. Let points BB' and CC' be the reflections of BB and CC with respect to \ell, respectively. Then BB=2BKBB' = 2BK—that is, twice the distance from BB to \ell. Moreover, point DD lies on segment ACAC' (since lines DADA and DCDC are symmetric with respect to \ell), and AC=AD+DC=AD+DCAC' = AD + DC' = AD + DC.

Furthermore, by the same symmetry, we have ACB=DCB=DCB\angle AC'B' = \angle DC'B' = \angle DCB, BBC=BBC\angle BB'C' = \angle B'BC.

Figure 1

Let segments BBBB' and ACAC' intersect at point OO. From the right triangle OKDOKD, we get BOC=KOD=90KDO=12(180CDC)=12ADC=ABC\angle BOC' = \angle KOD = 90^\circ - \angle KDO = \frac{1}{2}(180^\circ - \angle CDC') = \frac{1}{2}\angle ADC = \angle ABC. Therefore, ABB=ABCBBC=BOCOBC=OCB\angle ABB' = \angle ABC - \angle B'BC = \angle BOC' - \angle OB'C' = \angle OC'B'. Similarly, BAO=BOCABO=ABCABO=BBC=BBC\angle BAO = \angle BOC' - \angle ABO = \angle ABC - \angle ABO = \angle B'BC = \angle BB'C'.

Since segments BCBC and BCB'C' are symmetric, we have BC=BC=ABB'C' = BC = AB. Thus, triangles ABOABO and BCOB'C'O are congruent by a side and two adjacent angles. Hence BB=BO+OB=CO+OA=AC=AD+DCBB' = BO + OB' = C'O + OA = AC' = AD + DC, as required.

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.