Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /317 of 395

Saudi Arabian Mathematical Competitions

Geometry Difficulty 6.6 National Olympiad Prove it Saudi Arabia

Let ABCABC be an acute, non-isosceles triangle. Take two points D,ED, E inside this triangle such that
∠DAB=∠DCB,∠DAC=∠DBC;∠EAB=∠EBC,∠EAC=∠ECB. \begin{aligned} & \angle DAB = \angle DCB, \quad \angle DAC = \angle DBC; \\ & \angle EAB = \angle EBC, \quad \angle EAC = \angle ECB. \end{aligned}
Prove that triangle ADEADE is right.

Solution

First, we will show that DD is the orthocenter of triangle ABCABC. Denote A′=AD∩BCA' = AD \cap BC, B′=BD∩CAB' = BD \cap CA, C′=CD∩ABC' = CD \cap AB. Since ∠DAB=∠DCB\angle DAB = \angle DCB, we have ACA′C′ACA'C' is cyclic. Similarly, ABA′B′ABA'B' is also cyclic. So we have
∠DA′B=∠DB′A,∠DA′C=∠DC′A and DA⋅DA′=DB⋅DB′=DC⋅DC′, \angle DA'B = \angle DB'A, \quad \angle DA'C = \angle DC'A \text{ and } DA \cdot DA' = DB \cdot DB' = DC \cdot DC',
so BCB′C′BCB'C' is also cyclic. Thus ∠DB′A=∠DC′A\angle DB'A = \angle DC'A which implies that ∠DA′B=∠DA′C\angle DA'B = \angle DA'C, but ∠DA′B+∠DA′C=180∘→AA′⊥BC\angle DA'B + \angle DA'C = 180^\circ \rightarrow AA' \perp BC. It leads to BB′⊥CABB' \perp CA, CC′⊥ABCC' \perp AB then DD is the orthocenter of triangle ABCABC.

Continue, denote MM as the intersection of AEAE and BCBC then ∠EBM=∠EAB\angle EBM = \angle EAB implies that MBMB is tangent to (ABE)(ABE). Similarly, MBMB is tangent to (ACE)(ACE) then
ME⋅MA=MB2=MC2=MB′2=MC2 ME \cdot MA = MB^2 = MC^2 = MB'^2 = MC^2
(since MB=MC=MB′=MC′MB = MC = MB' = MC'). So MB′MB' is tangent to (AEB′)(AEB'), thus ∠AEB′=∠MB′C=∠C\angle AEB' = \angle MB'C = \angle C. Similarly, ∠AEC′=∠B\angle AEC' = \angle B then
∠B′EC′=∠AEB′+∠AEC′=∠B+∠C=180∘−∠A. \angle B'EC' = \angle AEB' + \angle AEC' = \angle B + \angle C = 180^\circ - \angle A.
Thus AB′EC′AB'EC' is cyclic, but AB′DC′AB'DC' is cyclic, so five points A,B′,C′,D,EA, B', C', D, E are concyclic, which implies that
∠AED=∠AB′D=∠AC′D=90∘. \angle AED = \angle AB'D = \angle AC'D = 90^\circ.
Therefore, ADEADE is a right triangle. □\square

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.