Maths Olympiad Prep

Library / /16 of 17

Geometry Difficulty 6.6 National olympiad Prove it Croatia

Let ABCABC be an isosceles triangle such that AB=AC|AB| = |AC| and BAC<60\angle BAC < 60^\circ. Let DD be the point on the segment AC\overline{AC} such that DBC=BAC\angle DBC = \angle BAC, EE be the intersection of the perpendicular bisector of the segment BD\overline{BD} and the line passing through AA parallel to BCBC, and FF be the point on the line ACAC such that AA lies between CC and FF, and AF=2AC|AF| = 2|AC| holds.

a) Prove that the lines BEBE and ACAC are parallel.

b) Prove that the line passing through FF perpendicular to ABAB and the line passing through EE perpendicular to ACAC intersect on the line BDBD.

It is allowed to use the claim from a) in b) even if it is not proven. (Italy 2013)

Solution

a) Since DBC=BAC\triangle DBC = \triangle BAC and BCD=BCA\triangle BCD = \triangle BCA, the triangles BCDBCD and ABCABC are similar. Hence, BD=BC|BD| = |BC|.

Let EE' be the point such that the quadrilateral AEBCAE'BC is a parallelogram. Since ABE=BAC=CBD\triangle ABE' = \triangle BAC = \triangle CBD, we get ABC=CBD+ABD=ABE+ABD=EBD\triangle ABC = \triangle CBD + \triangle ABD = \triangle ABE' + \triangle ABD = \triangle E'BD. We also have BE=AC|BE'| = |AC|, so the triangles EBDE'BD and ABCABC are congruent. Therefore, the triangle EBDE'BD is isosceles, and EE' lies on the bisector of the segment BD\overline{BD}.

Since both EE and EE' lie on the line passing through AA parallel to BCBC, we conclude that E=EE = E'. Hence, AEBCAEBC is a parallelogram, i.e. the lines ACAC and BEBE are parallel.

b) Let PP be the midpoint of the segment BC\overline{BC}. Since (according to a)) the quadrilateral AEBCAEBC is a parallelogram, we have BC=AE|BC| = |AE| and AE:CP=2:1=AF:CA|AE| : |CP| = 2 : 1 = |AF| : |CA|.

The triangles CAPCAP and AFEAFE are similar, hence DFE=12BAC\triangle DFE = \frac{1}{2}\triangle BAC. We also have APC=90\triangle APC = 90^\circ and AEF=90\triangle AEF = 90^\circ.

Let GG and HH be the orthogonal projections of FF and EE to the lines ABAB and ACAC, respectively. Let TT be the intersection of the lines EHEH and FGFG. We must show that TT lies on the line BDBD.

---

According to a), the triangles EBDEBD and ABCABC are congruent, hence
ADE=180BDEBDC=180ACBABC=BAC. \angle ADE = 180^\circ - \angle BDE - \angle BDC = 180^\circ - \angle ACB - \angle ABC = \angle BAC.
Since
DFT=90FAG=90BAC=90ADE=DEH=DET, \angle DFT = 90^\circ - \angle FAG = 90^\circ - \angle BAC = 90^\circ - \angle ADE = \angle DEH = \angle DET,
we conclude that the quadrilateral DEFTDEFT is cyclic, and DTE=DFE=12BAC\angle DTE = \angle DFE = \frac{1}{2}\angle BAC holds.
Finally, we have TDH=9012BAC\angle TDH = 90^\circ - \frac{1}{2}\angle BAC and BDH=90+12BAC\angle BDH = 90^\circ + \frac{1}{2}\angle BAC, hence BB, DD and TT are collinear. This completes the proof.

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.