Maths Olympiad Prep

Library / Croatian Mathematical Society Competitions /13 of 14

Croatian Mathematical Society Competitions

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∣=2∣AC∣|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 E′E' be the point such that the quadrilateral AE′BCAE'BC is a parallelogram. Since △ABE′=△BAC=△CBD\triangle ABE' = \triangle BAC = \triangle CBD, we get △ABC=△CBD+△ABD=△ABE′+△ABD=△E′BD\triangle ABC = \triangle CBD + \triangle ABD = \triangle ABE' + \triangle ABD = \triangle E'BD. We also have ∣BE′∣=∣AC∣|BE'| = |AC|, so the triangles E′BDE'BD and ABCABC are congruent. Therefore, the triangle E′BDE'BD is isosceles, and E′E' lies on the bisector of the segment BD‾\overline{BD}.

Since both EE and E′E' lie on the line passing through AA parallel to BCBC, we conclude that E=E′E = 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=12△BAC\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=180∘−∠BDE−∠BDC=180∘−∠ACB−∠ABC=∠BAC. \angle ADE = 180^\circ - \angle BDE - \angle BDC = 180^\circ - \angle ACB - \angle ABC = \angle BAC.
Since
∠DFT=90∘−∠FAG=90∘−∠BAC=90∘−∠ADE=∠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=12∠BAC\angle DTE = \angle DFE = \frac{1}{2}\angle BAC holds.
Finally, we have ∠TDH=90∘−12∠BAC\angle TDH = 90^\circ - \frac{1}{2}\angle BAC and ∠BDH=90∘+12∠BAC\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,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.