Maths Olympiad Prep

Library / /18 of 23

Geometry Difficulty 6.3 National Olympiad Prove it Romania

The triangle ABCABC is isosceles, with AB=ACAB = AC and ABC=72\angle ABC = 72^\circ. The point DD is taken on the line BCBC, so that CC is on the segment BDBD and CD=ABCD = AB.

a) Prove that ACAC is the bisector of the angle BAD\angle BAD.

b) The point EE is taken on the parallel to ABAB through DD, on the same side of BDBD as AA, so that DE=DBDE = DB. Let FF be the common point of the lines ADAD and BEBE. Prove that the lines ACAC and AEAE are perpendicular and AF=FC=BCAF = FC = BC.

Solution

a) In the triangle ABCABC, BAC=36\angle BAC = 36^\circ. From the isosceles triangle ACDACD, with ACD=18036=144\angle ACD = 180^\circ - 36^\circ = 144^\circ, it follows that CAD=ADC=36\angle CAD = \angle ADC = 36^\circ, hence ACAC is the bisector of the angle BAD\angle BAD.

b) From ABD=BAD=72\angle ABD = \angle BAD = 72^\circ it follows that the triangle ABDABD is isosceles, hence AD=BDAD = BD. Since DE=DBDE = DB, the triangle ADEADE is isosceles, therefore DAE=(180ADE):2=(18072):2=54\angle DAE = (180^\circ - \angle ADE) : 2 = (180^\circ - 72^\circ) : 2 = 54^\circ. So, CAE=CAD+DAE=36+54=90\angle CAE = \angle CAD + \angle DAE = 36^\circ + 54^\circ = 90^\circ.
From AFB=180BAFABF=72\angle AFB = 180^\circ - \angle BAF - \angle ABF = 72^\circ it follows BACABF\triangle BAC \equiv \triangle ABF (S.A.S.), whence BC=AFBC = AF. Now BD=ADBD = AD yields CD=FDCD = FD. This leads to BACCDF\triangle BAC \equiv \triangle CDF (S.A.S.), hence BC=FCBC = FC.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.