Maths Olympiad Prep

Library / /63 of 87

Geometry Difficulty 6.8 National Olympiad Prove it Serbia

Problem:

A scalene triangle ABCABC is given. Let ADAD, BEBE, CFCF be the angle bisectors of this triangle (DBCD \in BC, EACE \in AC, FABF \in AB). Let KaK_{a}, KbK_{b}, KcK_{c} be points on the incircle of triangle ABCABC such that DKaDK_{a}, EKbEK_{b}, FKcFK_{c} are tangent to the incircle and KaBCK_{a} \notin BC, KbACK_{b} \notin AC, KcABK_{c} \notin AB. Let A1A_{1}, B1B_{1}, C1C_{1} be the midpoints of the sides BCBC, CACA, ABAB. Prove that the lines A1KaA_{1}K_{a}, B1KbB_{1}K_{b}, C1KcC_{1}K_{c} meet on the incircle of triangle ABCABC.

Solutions — 2

Solution 1

Solution:

Let us prove that the triangles KaKbKcK_{a}K_{b}K_{c} and A1B1C1A_{1}B_{1}C_{1} are homothetic. To prove this, it suffices to prove that KaKbA1B1K_{a}K_{b} \parallel A_{1}B_{1}, i.e. KaKbABK_{a}K_{b} \parallel AB (analogously it will follow for the other pairs of sides).

Denote M=KaKbBCM = K_{a}K_{b} \cap BC, let SS denote the center of the incircle, and let TT denote an arbitrary point on the incircle. Denote α=BAS\alpha = \angle BAS, β=CBS\beta = \angle CBS, γ=ACS\gamma = \angle ACS. Using directed angles (modulo 180180^\circ), we obtain BEB=β+2γ\angle B'EB = \beta + 2\gamma, and analogously ADA=α+2β\angle A'DA = \alpha + 2\beta, and from this ADKa=2α+4β\angle A'DK_{a} = 2\alpha + 4\beta. Then, BTKb=BSE=90+BES=γα\angle B'TK_{b} = \angle B'SE = 90^\circ + \angle B'ES = \gamma - \alpha and analogously ATKa=βγ\angle A'TK_{a} = \beta - \gamma. Then, ATB=ASC=90+ACS=α+β\angle A'TB' = \angle A'SC = 90^\circ + \angle A'CS = \alpha + \beta. And finally we obtain KaTKb=KaTA+ATB+BTKb=2γ\angle K_{a}TK_{b} = \angle K_{a}TA' + \angle A'TB' + \angle B'TK_{b} = 2\gamma.

Also, from triangle DKaMDK_{a}M we obtain CMKa=CDKa+DKaM=ADKa+DKaKb=(2α+4β)+KaTKb=(2α+4β)+2γ=2β\angle CMK_{a} = \angle CDK_{a} + \angle DK_{a}M = \angle A'DK_{a} + \angle DK_{a}K_{b} = (2\alpha + 4\beta) + \angle K_{a}TK_{b} = (2\alpha + 4\beta) + 2\gamma = 2\beta. Hence, CMKa=CBA\angle CMK_{a} = \angle CBA, from which it follows that KaKbABK_{a}K_{b} \parallel AB, which was to be proved. Hence, the triangles KaKbKcK_{a}K_{b}K_{c} and A1B1C1A_{1}B_{1}C_{1} are homothetic.

Let us also note that the coefficient of the homothety is positive: if it were negative, the segments KaA1K_{a}A_{1}, KbB1K_{b}B_{1}, KcC1K_{c}C_{1} would intersect at one point. If α>β\alpha > \beta, then the points C1C_{1} and KcK_{c}, and hence the whole segment KcC1K_{c}C_{1}, lie inside the quadrilateral SFBDSFB D. Therefore, if without loss of generality we assume α>β>γ\alpha > \beta > \gamma, then KcC1SFBDK_{c}C_{1} \subset SFB D, but KaA1SDCEK_{a}A_{1} \subset SDCE, so these two segments are disjoint.

Since the triangles KaKbKcK_{a}K_{b}K_{c} and A1B1C1A_{1}B_{1}C_{1} are homothetic, their circumscribed circles are also homothetic. But these are the Euler circle and the incircle of triangle ABCABC, respectively, and it is known that these two circles are internally tangent at the Feuerbach point of triangle ABCABC. Therefore (together with the fact that the coefficient of the homothety is positive), the center of the homothety is exactly the Feuerbach point. From this it follows that A1KaA_{1}K_{a}, B1KbB_{1}K_{b}, C1KcC_{1}K_{c} intersect at the Feuerbach point of triangle ABCABC, which belongs to the incircle of triangle ABCABC, whereby the statement is proved.

Figure 1

Solution 2

Solution:

Alternative solution. Let the incircle of triangle ABCABC be the unit circle in the complex plane. Then a=2bcb+ca = \frac{2b'c'}{b'+c'}, b=2aca+cb = \frac{2a'c'}{a'+c'}, c=2aba+bc = \frac{2a'b'}{a'+b'}. Then
a1=b+c2=a2b+a2c+2abc(a+b)(a+c) a_{1} = \frac{b+c}{2} = \frac{a'^{2}b' + a'^{2}c' + 2a'b'c'}{(a'+b')(a'+c')}
We find the value of kak_{a} from the condition kaa=(aa)\frac{k_{a}}{a} = \overline{\left(\frac{a'}{a}\right)}, whence ka=1aaˉ=bcak_{a} = \frac{1}{a'}\overline{\bar{a}} = \frac{b'c'}{a'}. Now we find the intersection point zz of the incircle (whence z=1|z| = 1) and the line KaA1K_{a}A_{1} (whence zkaa1ka=(zkaa1ka)\frac{z-k_{a}}{a_{1}-k_{a}} = \overline{\left(\frac{z-k_{a}}{a_{1}-k_{a}}\right)}). We can transform the second condition into the form
(a1ka)(zka)=(1z1ka)(a1ka) \overline{\left(a_{1}-k_{a}\right)}(z-k_{a}) = \left(\frac{1}{z} - \frac{1}{k_{a}}\right)(a_{1}-k_{a})
whence (since zkaz \neq k_{a}) it follows that (a1ka)=1zka(a1ka)\overline{\left(a_{1}-k_{a}\right)} = -\frac{1}{zk_{a}}(a_{1}-k_{a}), so
z=1kaa1ka(a1ka)=(a2bc)(ab+ac+bc)(bca2)(a+b+c)=ab+ac+bca+b+c z = -\frac{1}{k_{a}} \frac{a_{1}-k_{a}}{\overline{\left(a_{1}-k_{a}\right)}} = -\frac{(a'^{2}-b'c')(a'b'+a'c'+b'c')}{(b'c'-a'^{2})(a'+b'+c')} = \frac{a'b'+a'c'+b'c'}{a'+b'+c'}
Since the expression above is symmetric in aa', bb', cc', it follows analogously that the lines KbB1K_{b}B_{1} and KcC1K_{c}C_{1} intersect the incircle at the same point, whereby the statement is proved.

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 translated into English from sr; metadata (topic, difficulty) added by this project.