Теорема о том, что каждая сторона треугольника больше разности двух других сторон, является частью неравенства треугольника. Вот как можно это доказать.
Рассмотрим треугольник ( 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| ).
Таким образом, для любого треугольника выполнены все три неравенства, что и требовалось доказать.
Неравенства показывают, что каждая сторона треугольника действительно больше разности двух других сторон.
