Let ABC be an acute angled triangle, AA1 and CC1 be its bisector, I be the incenter of ABC, M and N be the midpoints of AI and CI, respectively. Inside the triangles AC1I and A1CI we choose points K and L, such that
∠AKI=∠CLI=∠AIC, ∠AKM=∠ICA, ∠CLN=∠IAC. Prove that radiuses of the circumcircles of the triangles KIL and ABC are equal.
Solution
(Anton Trigub) Fig. 46 Suppose that lines AI and CI meet the circumcircle of △ABC (second time) in the points WA and WC, respectively (Fig. 46). Since ∠AKI=∠AIC, then circumcircle of the triangle AKI tangent to the line WCI. Consider the triangle AWCI. According to well-known fact this triangle is isosceles. Then the circumcircle of the triangle △AKI tangents to WCA as well. Thus a symmedian of the △AKI belongs to the line WCK. Then ∠WCKI=180∘−∠ICA=180∘−∠WCWAI. It means that K belongs to the circumcircle of the △WCWAI. In the same way L belongs to this circumcircle as well. Let us note that △WCBWA=△WCIWA (they have equal sides), and thus the radius of the circumcircle of △KIL equal to the radius of the circumcircle of △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.