Теорема о том, что каждая сторона треугольника больше разности двух других сторон, является частью неравенства треугольника. Вот как можно это доказать.
Рассмотрим треугольник \( ABC \) со сторонами \( a \), \( b \) и \( c \), где:
- \( a \) — сторона \( BC \),
- \( b \) — сторона \( AC \),
- \( c \) — сторона \( AB \).
Необходимо доказать, что:
- \( a > |b - c| \)
- \( b > |a - c| \)
- \( c > |a - b| \)
Мы начнем с первой части. Рассмотрим разностное неравенство:
\[ |b - c| \] по определению:
- Если \( b \geq c \), то \( |b - c| = b - c \).
- Если \( b < c \), то \( |b - c| = c - b \).
В случае, если \( b \geq c \):
- У нас есть \( b - c < b \) (так как \( c > 0 \)).
- Таким образом, \( b - c + c = b < a + b \).
- Следовательно, можно записать: \( a > b - c \).
Если же \( b < c \):
- У нас есть \( c - b < c \).
- Таким образом, \( c - b + b = c < a + c \).
- Следовательно, \( a > c - b \).
Итак, в обоих случаях, мы получаем:
\[ a > |b - c| \]
Теперь перейдем ко второй части неравенства, \( b > |a - c| \):
Аналогично, мы можем показать это:
- Если \( a \geq c \), то мы имеем \( |a - c| = a - c \), и результат аналогичен предыдущему.
- Если \( a < c \), то \( |a - c| = c - a \).
Таким образом, в обоих случаях, мы получаем:
\[ b > |a - c| \]
Точно так же можно показать, что \( c > |a - b| \).
Таким образом, для любого треугольника выполнены все три неравенства, что и требовалось доказать.
Неравенства показывают, что каждая сторона треугольника действительно больше разности двух других сторон.