Формулировка леммы о трезубце
Возьмем треугольник ABC и отметим три важные точки: I — центр вписанной окружности, Ia — центр вневписанной окружности (той, что касается стороны BC и продолжений двух других сторон), и L — точку, где отрезок AIa пересекается с дугой описанной окружности. Лемма утверждает, что точка L находится на одинаковом расстоянии от всех четырех точек: I, Ia, B и C. Другими словами, если построить окружность с центром в L, она пройдет через все эти четыре точки одновременно.
Применение леммы о трезубце в математических науках
Лемма о трезубце служит вспомогательным инструментом при доказательстве более сложных теорем геометрии. С ее помощью доказывают формулу Эйлера, связывающую радиусы вписанной и описанной окружностей с расстоянием между их центрами, а также существование окружности Эйлера (окружности девяти точек). Лемма активно используется в олимпиадных задачах по геометрии, где требуется доказать равенство расстояний или найти особые точки треугольника.
