Maths Olympiad Prep

Library / Selection Tests of the Belarusian Team to the IMO /2 of 8

Selection Tests of the Belarusian Team to the IMO

Geometry Difficulty 8.1 Shortlist Prove it Belarus

Inside an isosceles triangle ABCABC (AB=BCAB = BC), a point DD is chosen so that ∠ADC=150∘\angle ADC = 150^\circ. On the segment CDCD, a point EE is chosen so that AE=ABAE = AB.
Prove that if ∠BAE+∠CBE=60∘\angle BAE + \angle CBE = 60^\circ, then ∠BDC+∠EAC=90∘\angle BDC + \angle EAC = 90^\circ.

Solution

Let us rotate △AED\triangle AED around the point AA so that E→BE \to B, D→TD \to T, and reflect △ABT\triangle ABT symmetrically with respect to BTBT (A→FA \to F). Since ∠ADE=150∘\angle ADE = 150^\circ, then the triangle ATFATF is equilateral. Let us prove that FD=DCFD = DC. Denote ∠EAB=α\angle EAB = \alpha and ∠AED=β\angle AED = \beta. Then

∠ABC=∠ABE+∠CBE=180∘−α2+(60∘−α)=150∘−3α2 and ∠BAC=15∘+3α4. \angle ABC = \angle ABE + \angle CBE = \frac{180^\circ - \alpha}{2} + (60^\circ - \alpha) = 150^\circ - \frac{3\alpha}{2} \text{ and } \angle BAC = 15^\circ + \frac{3\alpha}{4}.
∠FCD=∠FCA−∠DCA=12∠FBA−(∠DEA−∠EAC)==β−(β−∠EAC)=∠EAC=∠BAC−α=15∘−α4. \begin{aligned} \angle FCD &= \angle FCA - \angle DCA = \frac{1}{2}\angle FBA - (\angle DEA - \angle EAC) = \\ &= \beta - (\beta - \angle EAC) = \angle EAC = \angle BAC - \alpha = 15^\circ - \frac{\alpha}{4}. \end{aligned}

Here we used the fact that the points DD and AA lie in the same half-plane relative to the line FCFC, since ∠ACD<∠AED=β=∠ACF\angle ACD < \angle AED = \beta = \angle ACF.

Note that ∠TFD=12∠TAD=α2\angle TFD = \frac{1}{2}\angle TAD = \frac{\alpha}{2}, so
∠DFC=∠AFC−∠AFD=12∠ABC−(∠AFT−∠TFD)=(75∘−3α4)−(60∘−α2)=15∘−α4. \angle DFC = \angle AFC - \angle AFD = \frac{1}{2}\angle ABC - (\angle AFT - \angle TFD) = \left(75^\circ - \frac{3\alpha}{4}\right) - \left(60^\circ - \frac{\alpha}{2}\right) = 15^\circ - \frac{\alpha}{4}.
Figure 1
Therefore, ∠DFC=∠FCD\angle DFC = \angle FCD, i.e. FD=DCFD = DC. Hence FC⊥BDFC \perp BD, i.e. ∠BDC+∠FCD=90∘\angle BDC + \angle FCD = 90^\circ. Recalling that ∠FCD=∠EAC\angle FCD = \angle EAC, we obtain the statement of the problem.

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.