Olympiad Maths Prep

Library / /55 of 60

Geometry Difficulty 7.0 National olympiad, round 2 Prove it Ukraine

Let ABCABC be an acute angled triangle, AA1AA_1 and CC1CC_1 be its bisector, II be the incenter of ABCABC, MM and NN be the midpoints of AIAI and CICI, respectively. Inside the triangles AC1IAC_1I and A1CIA_1CI we choose points KK and LL, such that

AKI=CLI=AIC\angle AKI = \angle CLI = \angle AIC, AKM=ICA\angle AKM = \angle ICA, CLN=IAC\angle CLN = \angle IAC. Prove that radiuses of the circumcircles of the triangles KILKIL and ABCABC are equal.

Solution

(Anton Trigub)
Figure 1
Fig. 46
Suppose that lines AIAI and CICI meet the circumcircle of ABC\triangle ABC (second time) in the points WAW_A and WCW_C, respectively (Fig. 46). Since AKI=AIC\angle AKI = \angle AIC, then circumcircle of the triangle AKIAKI tangent to the line WCIW_C I. Consider the triangle AWCIAW_C I. According to well-known fact this triangle is isosceles. Then the circumcircle of the triangle AKI\triangle AKI tangents to WCAW_C A as well. Thus a symmedian of the AKI\triangle AKI belongs to the line WCKW_C K. Then WCKI=180ICA=180WCWAI\angle W_C KI = 180^\circ - \angle ICA = 180^\circ - \angle W_C W_A I. It means that KK belongs to the circumcircle of the WCWAI\triangle W_C W_A I. In the same way LL belongs to this circumcircle as well. Let us note that WCBWA=WCIWA\triangle W_C B W_A = \triangle W_C I W_A (they have equal sides), and thus the radius of the circumcircle of KIL\triangle KIL equal to the radius of the circumcircle of ABC\triangle ABC.

Looking for a route rather than 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.