Добрый день!
С того времени как я увидел, что из одной леммы о сегменте(леммы Саваямы) можно вывести теорему Фейербаха и теорему Тебо и много других теорем, я решил найти обобщение этой леммы, т.к. оно,возможно, может стать еще более полезным для решения задач с касающимися окружностями, чем лемма Саваямы.
Вот формулировка леммы Саваямы:
На стороне

треугольника

выбрали произвольную точку

. Окружность

касается описанной окружности треугольника

в точке

, отрезка

в точке

,

– точка касания окружности

и прямой

. Докажите, что

(центр вписанной окружности треугольника

) лежит на прямой

.
Из возможных "претендентов" на обобщение этой леммы мне показалась задача 3.48 сборника задач Прасолова.Из нее легко вывести теорему Тебо(задача 3.49).
Вот формулировка задачи:
Треугольники

и

вписаны в окружность

, причём хорды

и

пересекаются. Окружность S

касается хорды

в точке

, хорды

в точке

и окружности

. Докажите,что центры вписанных окружностей треугольников

и

лежат на отрезке

Эти две задачи очень похожи друг на друга.Доказать, что 2 задача - частный случай 1 задачи(леммы Саваямы) у меня не удалось, возможно потому что все наоборот.
В любом случае вопрос остается тот же, есть ли в интернете какой-нибудь результат, обобщающий лемму Саваямы? Поиск даже самой леммы Саваямы оказался не настолько простым(хорошо, что в "Кванте" был), а про обобщение и говорить нечего, хотя может быть, что я просто не знаю точного названия этой задачи/теоремы/леммы.