Вопросы к Поиску с Алисой
Геометрический смысл леммы Веррьера заключается в связи между свойствами описанной и полувписанной окружностей треугольника. ru.ruwiki.ru ru.wikipedia.org
Согласно лемме Веррьера, если окружность касается сторон AB, BC и дуги AC описанной окружности треугольника ABC в точках C1, A1, B1, то точки C1, I, A1, где I — инцентр треугольника ABC, лежат на одной прямой (коллинеарны). ru.ruwiki.ru ru.wikipedia.org