Maths Olympiad Prep

Library / Team Selection Test for JBMO /7 of 20

Team Selection Test for JBMO

Geometry Difficulty 5.1 AIME, harder Prove it Turkey

In an equilateral triangle ABCABC, let DD be a point on the side [BC][BC] other than the vertices. Let II be the excenter of the triangle ABDABD opposite to the side [AB][AB] and JJ be the excenter of the triangle ACDACD opposite to the side [AC][AC]. Let the circumcircles of the triangles AIBAIB and AJCAJC intersect at the point EE for the second time. Prove that AA is the incenter of the triangle IEJIEJ.

Solution

First note that ∠IBA=∠JCA=60∘\angle IBA = \angle JCA = 60^\circ. Then ∠IEA=∠JEA=60∘\angle IEA = \angle JEA = 60^\circ and ∠IEJ=120∘\angle IEJ = 120^\circ. Therefore A is on the angle bisector of the angle IEJ. Next observe that ∠IAD=90∘+∠BAD/2\angle IAD = 90^\circ + \angle BAD/2 and ∠JAD=90∘+∠CAD/2\angle JAD = 90^\circ + \angle CAD/2. Hence ∠IAJ=360∘−180∘−(∠BAD+∠DAC)/2=150∘\angle IAJ = 360^\circ - 180^\circ - (\angle BAD + \angle DAC)/2 = 150^\circ and therefore A is inside the triangle IEJ.

Let X be the incenter of the triangle IEJ. We know that X is inside the triangle IEJ and ∠IXJ=90∘+∠IEJ/2=150∘\angle IXJ = 90^\circ + \angle IEJ/2 = 150^\circ. Thus I, X, A, J are cyclic. Since E, X, A are collinear we get X=AX = A as desired.

Figure 1

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.