Где лежит центр вписанной в треугольник окружности? Что можно сказать о центре окружности, вписанной в многоугольник?
Теорема.
Центр вписанной в треугольник окружности является точкой пересечения биссектрис этого треугольника.
O — точка пересечения биссектрис треугольника ABC.
Дано: ∆ ABC,
окр. (O; r) — вписанная.
Доказать:
O — точка пересечения биссектрис ∆ ABC.
Доказательство:
Обозначим точки касания вписанной в треугольник окружности со сторонами AC, BC и AB соответственно M, K. F.
Соединим отрезками центр окружности с точками A, M и F.
(как радиусы, проведенные в точки касания). Следовательно, треугольники AOF и AOM — прямоугольные.
У них общая гипотенуза AO, катеты OF=OM (как радиусы).
Следовательно, треугольники AOF и AOM равны (по катету и гипотенузе).
Из равенства треугольников следует равенство соответствующих углов: ∠OAF=∠OAM.
Значит, точка O лежит на биссектрисе треугольника, проведенной из вершины A.
Аналогично из равенства треугольников BOF и BOK, COM и COK доказывается, что точка O лежит на биссектрисах треугольника ABC, проведенных из вершин B и C.
Следовательно, центр вписанной в треугольник окружности лежит в точке пересечении биссектрис этого треугольника.
Что и требовалось доказать.
Замечание.
Доказательство теоремы можно основать непосредственно на свойстве биссектрисы угла.
1) OM=OF=OK (как радиусы),
2) OM⊥AC, OM⊥AB, OK⊥BC (как радиусы, проведённые в точку касания).
Значит точка O равноудалена от сторон углов BAC, ABC и ACB.
Так как любая точка, лежащая внутри неразвёрнутого угла и равноудалённая от сторон этого угла, лежит на его биссектрисе, то AO, BO и CO — биссектрисы треугольника ABC, O — точка их пересечения.
Аналогично, центр вписанной в многоугольник окружности (если в него можно вписать окружность) лежит в точке пересечения биссектрис этого многоугольника.