Для доказательства данного утверждения рассмотрим треугольник \( 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}, \]
что и требовалось доказать.