Для доказательства данного утверждения рассмотрим треугольник ( ABC ) и точку ( M ) внутри него. Обозначим расстояние от точки ( M ) до сторон треугольника (прямых, на которых лежат стороны) как:
- ( d_a ) — расстояние до стороны ( BC ),
- ( d_b ) — расстояние до стороны ( AC ),
- ( d_c ) — расстояние до стороны ( AB ).
Сумма расстояний от точки ( M ) до сторон треугольника будет равна:
[
S_{sides} = d_a + d_b + d_c.
]
Теперь обозначим расстояния от точки ( M ) до вершин треугольника ( A ), ( B ) и ( C ) как:
- ( d_M^A ) — расстояние от ( M ) до ( A ),
- ( d_M^B ) — расстояние от ( M ) до ( B ),
- ( d_M^C ) — расстояние от ( M ) до ( C ).
Сумма расстояний от точки ( M ) до вершин треугольника будет равна:
[
S_{vertices} = d_M^A + d_M^B + d_M^C.
]
Чтобы показать, что ( S_{sides} < S_{vertices} ), воспользуемся понятием о площади треугольника. Площадь треугольника ( ABC ) можно выразить через расстояния от точки ( M ) до сторон:
[
[ABC] = \frac{1}{2} \cdot a \cdot d_a = \frac{1}{2} \cdot b \cdot d_b = \frac{1}{2} \cdot c \cdot d_c,
]
где ( a, b, c ) - длины сторон ( BC, AC, AB ) соответственно.
Также площадь треугольника можно выразить через расстояния до вершин. Точка ( M ) делит треугольник на три меньших треугольника ( AMB ), ( BMC ) и ( CMA ). Площадь каждого из них можно выразить через базу и высоту:
[
[AMB] = \frac{1}{2} \cdot AB \cdot d_M^C, \quad [BMC] = \frac{1}{2} \cdot BC \cdot d_M^A, \quad [CMA] = \frac{1}{2} \cdot CA \cdot d_M^B.
]
Суммируя площади трех меньших треугольников, получаем:
[
[ABC] = [AMB] + [BMC] + [CMA].
]
Теперь используем неравенство. Сравним ( S_{sides} ) с размерами, на которые мы можем выразить площади, используя Интуицию: расстояния от ( M ) до каждой стороны меньше, чем сумма расстояний от ( M ) до вершин.
Рассмотрим теперь следующее:
Если ( M ) находится внутри треугольника, то максимальное значение окружности с центром в ( M ) не может пересекает стороны, при этом понятно, что расстояния до углов (то есть вершин) сразу включают в себя и расстояния до сторон.
Следовательно, можно записать неравенство:
[
d_a + d_b + d_c < d_M^A + d_M^B + d_M^C.
]
Таким образом, мы сменяем:
[
S_{sides} < S_{vertices},
]
что и требовалось доказать.
