Maths Olympiad Prep

Library / /109 of 155

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=ADBCA' = AD \cap BC, B=BDCAB' = BD \cap CA, C=CDABC' = CD \cap AB. Since DAB=DCB\angle DAB = \angle DCB, we have ACACACA'C' is cyclic. Similarly, ABABABA'B' is also cyclic. So we have
DAB=DBA,DAC=DCA and DADA=DBDB=DCDC, \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 BCBCBCB'C' is also cyclic. Thus DBA=DCA\angle DB'A = \angle DC'A which implies that DAB=DAC\angle DA'B = \angle DA'C, but DAB+DAC=180AABC\angle DA'B + \angle DA'C = 180^\circ \rightarrow AA' \perp BC. It leads to BBCABB' \perp CA, CCABCC' \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
MEMA=MB2=MC2=MB2=MC2 ME \cdot MA = MB^2 = MC^2 = MB'^2 = MC^2
(since MB=MC=MB=MCMB = MC = MB' = MC'). So MBMB' is tangent to (AEB)(AEB'), thus AEB=MBC=C\angle AEB' = \angle MB'C = \angle C. Similarly, AEC=B\angle AEC' = \angle B then
BEC=AEB+AEC=B+C=180A. \angle B'EC' = \angle AEB' + \angle AEC' = \angle B + \angle C = 180^\circ - \angle A.
Thus ABECAB'EC' is cyclic, but ABDCAB'DC' is cyclic, so five points A,B,C,D,EA, B', C', D, E are concyclic, which implies that
AED=ABD=ACD=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,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.