На Всероссийской олимпиаде предлагалась следующая задача:
Проведём через основание биссектрисы угла
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
разностороннего треугольника
![$ABC$ $ABC$](https://dxdy-04.korotkov.co.uk/f/b/f/1/bf1e7c123c5e9726ce33581a9d5cbbef82.png)
отличную от стороны
![$BC$ $BC$](https://dxdy-04.korotkov.co.uk/f/f/a/c/faccc919604453276df35f0a8c04107d82.png)
касательную к вписанной в треугольник окружности. Точку её касания с окружностью обозначим через
![$K_a$ $K_a$](https://dxdy-04.korotkov.co.uk/f/3/1/4/31405ca32ea3c29900db183936e1f32882.png)
. Аналогично построим точки
![$K_b$ $K_b$](https://dxdy-01.korotkov.co.uk/f/8/1/4/8149ae93a9784933264def482b51964982.png)
и
![$K_c$ $K_c$](https://dxdy-03.korotkov.co.uk/f/a/5/9/a593bf1ec874fd175016cdc2681cfc0082.png)
. Докажите, что три прямые, соединяющие точки
![$K_a$ $K_a$](https://dxdy-04.korotkov.co.uk/f/3/1/4/31405ca32ea3c29900db183936e1f32882.png)
,
![$K_b$ $K_b$](https://dxdy-01.korotkov.co.uk/f/8/1/4/8149ae93a9784933264def482b51964982.png)
и
![$K_c$ $K_c$](https://dxdy-03.korotkov.co.uk/f/a/5/9/a593bf1ec874fd175016cdc2681cfc0082.png)
с серединами сторон
![$BC$ $BC$](https://dxdy-04.korotkov.co.uk/f/f/a/c/faccc919604453276df35f0a8c04107d82.png)
,
![$CA$ $CA$](https://dxdy-01.korotkov.co.uk/f/0/9/b/09b0fab6bfabc923ca0defd605aa2a9b82.png)
и
![$AB$ $AB$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a58df2f9303017b173748509a0aa34c82.png)
соответственно, имеют общую точку
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
, причём эта точка лежит на вписанной окружности.
Из данной задачи следует теорема Фейербаха(только для вписанной окружности):
При гомотетии с центром в точке
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
, переводящей серединный треугольник в треугольник
![$K_aK_bK_c$ $K_aK_bK_c$](https://dxdy-03.korotkov.co.uk/f/a/0/0/a00d7bc2293d62b7373ea117c06848e082.png)
, окружность 9-ти точек переходит во вписанную. Но
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
их общая точка, следовательно, эти окружности касаются в точке
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
.
Но это только "часть" теоремы Фейербаха, остались аналогичные утверждения про вневписанные окружности.Вообще, я заметил, что во многих доказательствах теоремы Фейербаха присутствует только доказательство для вписанной окружности.Предполагаю, что из касания вписанной окружности и 9-ти точек можно легко это доказать,например, применив гомотетию и поэтому это доказательство опускают.Однако, что-то я не могу провести такую "хитрую" гомотетию.Пробовал только переводить вписанную окружность во вневписанную с центром гомотетии в точке, противолежащей к стороне, к которой проведена эта вневписанная окружность , но это ничего не дало, т.к. центр этой гомотетии не расположен ни на вневписанной окр., ни на 9-ти точек.Дайте,пожалуйста, указание к решению.Важно, чтобы в решении применялась гомотетия.
-- 22.10.2016, 20:07 --Если нужно, решение этой задачи здесь
http://geometry.ru/articles/sharyginfeuerbach.pdf