Maths Olympiad Prep

Library / /111 of 129

, 2012

Geometry Difficulty 6.4 National Olympiad Prove it Slovenia

Let KK be the circumscribed circle of a triangle ABCABC. Let DD be the midpoint of the arc ABAB that does not contain the point CC, and let EE the midpoint of the arc ACAC that does not contain the point BB. Let FF and GG denote the points of tangency of the inscribed circle of the triangle ABCABC with the sides ABAB and ACAC, respectively. Let XX be the intersection point of the lines EGEG and DFDF. Suppose that DEXDEX is an isosceles triangle with the top angle at XX. Prove that the triangle ABCABC is also isosceles with the top angle at AA.

Solution

Let II be the center of the inscribed circle of the triangle ABCABC, and let KK and LL be the intersection points of the line DEDE with the lines ABAB and ACAC, respectively. Because the bisector of an angle of a triangle goes through the center of the inscribed circle and the midpoint of the opposite arc, the points B,IB, I and EE lie on a common line (the bisector of the angle at BB). Hence IBK=CBI=CDE\angle IBK = \angle CBI = \angle CDE, and the points B,I,KB, I, K and DD are concyclic. It may be shown similarly that the points C,IC, I and DD lie on a common line (the bisector of the angle at CC) and that the points C,E,LC, E, L and II are concyclic.

Figure 1

From this we conclude LKA=DKB=DIB=CIE=CLE=ALK\angle LKA = \angle DKB = \angle DIB = \angle CIE = \angle CLE = \angle ALK. The triangle KLAKLA is thus isosceles with the top angle at AA. Because AFAF and AGAG are tangent segments, the triangle FGAFGA is also isosceles with the top angle at AA. The

lines DEDE and FGFG are thus parallel. According to the assumptions of the problem, the triangle EDXEDX is isosceles with the top angle at XX, hence the triangle GFXGFX is also isosceles with the top angle at XX. The quadrilateral AFXGAFXG is thus a deltoid, and the line AXAX is perpendicular to GFGF and, consequently, it is also perpendicular to DEDE. From this we conclude that ADXEADXE is a deltoid, hence ADEADE is an isosceles triangle with the top angle at AA. The angles ACD\angle ACD and EBA\angle EBA are equal because they are inscribed angles over chords of equal length. The triangle ABCABC is thus an isosceles triangle with the top angle at AA.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.