The triangle ABC is isosceles, with AB=AC and ∠ABC=72∘. The point D is taken on the line BC, so that C is on the segment BD and CD=AB.
a) Prove that AC is the bisector of the angle ∠BAD.
b) The point E is taken on the parallel to AB through D, on the same side of BD as A, so that DE=DB. Let F be the common point of the lines AD and BE. Prove that the lines AC and AE are perpendicular and AF=FC=BC.
Solution
a) In the triangle ABC, ∠BAC=36∘. From the isosceles triangle ACD, with ∠ACD=180∘−36∘=144∘, it follows that ∠CAD=∠ADC=36∘, hence AC is the bisector of the angle ∠BAD.
b) From ∠ABD=∠BAD=72∘ it follows that the triangle ABD is isosceles, hence AD=BD. Since DE=DB, the triangle ADE is isosceles, therefore ∠DAE=(180∘−∠ADE):2=(180∘−72∘):2=54∘. So, ∠CAE=∠CAD+∠DAE=36∘+54∘=90∘. From ∠AFB=180∘−∠BAF−∠ABF=72∘ it follows △BAC≡△ABF (S.A.S.), whence BC=AF. Now BD=AD yields CD=FD. This leads to △BAC≡△CDF (S.A.S.), hence BC=FC.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.