В математика, неравенство треугольника утверждает, что для любого треугольника сумма длин любых двух сторон должна быть больше или равна длине оставшейся стороны. Это утверждение допускает включение вырожденных треугольников, но некоторые авторы, особенно те, кто пишет об элементарной геометрии, исключают эту возможность, таким образом исключая возможность равенства. Если x, y и z - длины сторон треугольника, причем ни одна из сторон не больше z, то неравенство треугольника гласит, что
с равенством только в вырожденном случае треугольника с нулевой площадью. В евклидовой геометрии и некоторых других геометриях неравенство треугольника является теоремой о расстояниях, и оно записывается с использованием векторов и длин векторов (norm ):
, где длина z третьей стороны заменена векторной суммой x+ y. Когда x и y являются действительными числами, их можно рассматривать как векторы в ℝ, а неравенство треугольника выражает связь между абсолютными значениями.
В евклидовой геометрии для прямоугольных треугольников неравенство треугольника является следствием теоремы Пифагора, а для общих треугольников - следствием закона косинусов, хотя это может быть доказано и без этих теорем. Неравенство можно увидеть интуитивно через ℝ или. На рисунке справа показаны три примера, начиная с явного неравенства (вверху) и приближаясь к равенству (внизу). В евклидовом случае равенство происходит только в том случае, если треугольник имеет угол 180 ° и два угла 0 °, что делает три вершины коллинеарными, как показано в нижнем примере. Таким образом, в евклидовой геометрии кратчайшее расстояние между двумя точками - это прямая линия.
В сферической геометрии кратчайшее расстояние между двумя точками - это дуга большого круга, но неравенство треугольника выполняется при условии, что расстояние между две точки на сфере - это длина небольшого сферического отрезка (то есть отрезка с центральным углом в [0, π]) с этими конечными точками.
Неравенство треугольника является определяющим свойством нормы и меры расстояния. Это свойство должно быть установлено как теорема для любой функции, предлагаемой для таких целей для каждого конкретного пространства: например, таких пространств, как вещественные числа, евклидовы пространства, L пробелы (p ≥ 1) и внутренние пространства продукта.
Евклид доказал неравенство треугольника для dist в геометрии плоскости, используя построение, показанное на рисунке. Начиная с треугольника ABC, строится равнобедренный треугольник, одна сторона которого берется за BC, а другой равный отрезок BD - вдоль продолжения стороны AB. Затем утверждается, что угол β>α, поэтому сторона AD>AC. Но AD = AB + BD = AB + BC, поэтому сумма сторон AB + BC>AC. Это доказательство появляется в Элементах Евклида, Книга 1, Предложение 20.
Для правильного треугольника неравенство треугольника, как сказано в словах, буквально переводится в три неравенства (при условии, что правильный треугольник имеет положительную длину сторон a, b, c и исключает вырожденный случай нулевой площади):
Более лаконичная форма Можно показать, что система неравенства имеет вид
Другой способ обозначить это:
, подразумевая
и, следовательно, длина самой длинной стороны меньше, чем полупериметр.
Математически эквивалентная формулировка состоит в том, что площадь треугольника со сторонами a, b, c должна быть действительным числом больше нуля. Формула Герона для площади:
С точки зрения любой области выражение, неравенство треугольника, наложенное со всех сторон, эквивалентно условию, что выражение под знаком квадратного корня является действительным и больше нуля (поэтому выражение площади является действительным и больше нуля).
Неравенство треугольника дает еще два интересных ограничения для треугольников со сторонами a, b, c, где a ≥ b ≥ c и - это золотое сечение, поскольку
В случае прямоугольных треугольников неравенство треугольника специализируется на утверждении, что гипотенуза больше любой из двух сторон и меньше их суммы.
Вторая часть этой теоремы уже установлено выше для любой стороны любого треугольника. Первая часть устанавливается по нижнему рисунку. На рисунке представлен прямоугольный треугольник АЦП. Построен равнобедренный треугольник ABC с равными сторонами AB = AC. Согласно постулату треугольника, углы в прямоугольном треугольнике ADC удовлетворяют:
Аналогичным образом, в равнобедренном треугольнике ABC углы удовлетворяют:
Следовательно,
и, в частности,
Это означает, что сторона AD, противоположная углу α, короче, чем сторона AB противоположна большему углу β. Но AB = AC. Следовательно:
Аналогичная конструкция показывает AC>DC, доказывая теорему.
Альтернативное доказательство (также основанное на постулате треугольника) состоит в рассмотрении трех положений точки B: (i) как изображено (что необходимо доказать), или (ii) B, совпадая с D (что означало бы, что равнобедренный треугольник имел два прямых угла в качестве основных углов плюс угол при вершине γ, что нарушило бы постулат треугольника ) или, наконец, (iii) B внутри прямоугольного треугольника между точками A и D (в этом случае угол ABC является внешним углом прямоугольного треугольника BDC и, следовательно, больше, чем π / 2, что означает, что другой угол основания равнобедренного треугольника также больше, чем π / 2, и их сумма превышает π в нарушение постулат треугольника).
Эта теорема, устанавливающая неравенства, уточняется теоремой Пифагора до равенства, что квадрат длины гипотенузы равен сумме квадратов двух других сторон.
Рассмотрим треугольник, стороны которого находятся в арифметической прогрессии, и пусть стороны равны a, a + d, a + 2d. Тогда неравенство треугольника требует, чтобы
для удовлетворения всех этих неравенств требовалось
Когда d выбирается так, что d = a / 3, он генерирует прямоугольный треугольник, который всегда похож на тройку Пифагора со сторонами 3, 4, 5.
Теперь рассмотрим треугольник, стороны которого находятся в геометрической прогрессии, и пусть стороны равны a, ar, ar. Тогда неравенство треугольника требует, чтобы
Первое неравенство требует>0; следовательно, его можно разделить и устранить. При a>0 среднее неравенство требует только r>0. Это оставляет первое и третье неравенства, которые должны удовлетворять
Первое из этих квадратичных неравенств требует, чтобы r находился в области, превышающей значение положительного корня квадратного уравнения r + r - 1 = 0, т. е. r>φ - 1, где φ - золотое сечение. Второе квадратное неравенство требует, чтобы r находился в диапазоне от 0 до положительного корня квадратного уравнения r - r - 1 = 0, то есть 0 < r < φ. The combined requirements result in r being confined to the range
Когда r выбрано общее отношение, такое, что r = √φ, он генерирует прямоугольный треугольник, который всегда похож на треугольник Кеплера.
Неравенство треугольника может быть расширено с помощью математической индукции на произвольные многоугольные пути, показывая, что общая длина такого пути не меньше, чем длина прямой линии между его конечными точками. Следовательно, длина любой стороны многоугольника всегда меньше суммы длин сторон других многоугольников.
Рассмотрим четырехугольник, стороны которого a геометрическая прогрессия и пусть стороны будут a, ar, ar, ar. Тогда обобщенное неравенство многоугольника требует, чтобы
Эти неравенства для a>0 сводились к следующие
Полиномы в левой части этих двух неравенств имеют корни, которые являются константой трибоначчи и обратной ей. Следовательно, r ограничивается диапазоном 1 / t < r < t where t is the tribonacci constant.
Это обобщение можно использовать для докажите, что кратчайшая кривая между двумя точками в евклидовой геометрии - прямая линия.
Никакой полигональный путь между двумя точками не короче линии между ними. Это означает, что никакая кривая не может иметь длину дуги меньше, чем расстояние между ее конечными точками. По определению, длина дуги кривой - это наименьшая верхняя граница длин всех полигональных аппроксимаций кривой. Результат для многоугольных путей показывает, что прямая линия между конечными точками является самой короткой из всех многоугольных приближений. Поскольку длина дуги кривой больше или равна длине каждого полигонального приближения, сама кривая не может быть короче прямой линии.
Обратное треугольника Теорема неравенства также верна: если три действительных числа таковы, что каждое меньше суммы других, то существует треугольник с этими числами в качестве длин сторон и с положительной площадью; и если одно число равно сумме двух других, существует вырожденный треугольник (то есть с нулевой площадью) с этими числами в качестве длин сторон.
В любом случае, если длины сторон равны a, b, c, мы можем попытаться разместить треугольник в евклидовой плоскости, как показано на диаграмме. Нам нужно доказать, что существует действительное число h, согласованное со значениями a, b и c, и в этом случае этот треугольник существует.
Треугольник с высотой h, разрезающий основание c на d + (c - d).По теореме Пифагора мы имеем b = h + d и a = h + (c - d) согласно к рисунку справа. Вычитая эти, получаем a - b = c - 2cd. Это уравнение позволяет нам выразить d через стороны треугольника:
Для высоты треугольника мы имеем h = b - d. Заменив d на формулу, приведенную выше, мы получим
Чтобы действительное число h удовлетворяло этому, должно быть неотрицательным:
который выполняется, если неравенство треугольника выполняется для всех сторон. Следовательно, действительно существует действительное число h, соответствующее сторонам a, b, c, и треугольник существует. Если каждое неравенство треугольника выполняется строго, h>0 и треугольник невырожден (имеет положительную площадь); но если одно из неравенств выполняется с равенством, то есть h = 0, треугольник вырожден.
В евклидовом пространстве гиперобъем (n - 1) - фасета n- симплекса меньше чем или равный сумме гиперобъемов других n граней. В частности, площадь треугольной грани тетраэдра меньше или равна сумме площадей трех других сторон.
В нормированном векторном пространстве V одним из определяющих свойств нормы является неравенство треугольника:
, то есть норма суммы двух векторов не больше суммы норм двух векторов. Это также называется субаддитивностью. Чтобы любая предложенная функция вела себя как норма, она должна удовлетворять этому требованию.
Если нормированное пространство евклидово или, в более общем смысле, строго выпуклое, то тогда и только тогда, когда треугольник, образованный x, y и x + y, является вырожденным, то есть x и y находятся на одном луче, т.е. x = 0 или y = 0, или x = α y для некоторого α>0. Это свойство характеризует строго выпуклые нормированные пространства, такие как ℓ p пространства с нормой 1 < p < ∞. However, there are normed spaces in which this is not true. For instance, consider the plane with the ℓ1 (манхэттенское расстояние ) и обозначают x = (1, 0) и у = (0, 1). Тогда треугольник, образованный x, y и x + y, невырожден, но
Доказательство:
После сложения
Используйте тот факт, что (с заменой b на x + y и a на ), мы имеем
Неравенство треугольника полезно в математическом анализе для определения наилучшей верхней оценки размера суммы двух чисел, с точки зрения размеров отдельных номеров.
Существует также нижняя оценка, которую можно найти с помощью неравенства обратного треугольника, которое гласит, что для любых действительных чисел x и y:
(по неравенству Коши – Шварца) | |
. |
Неравенство Коши – Шварца превращается в равенство тогда и только тогда, когда x и y линейно зависимы. Неравенство превращается в равенство для линейно зависимых и тогда и только тогда, когда один из векторов x или y является неотрицательным скаляром другого.
в метрическое пространство M с метрикой d, неравенство треугольника является требованием при расстоянии :
для всех x, y, z в M. То есть расстояние от x до z не больше суммы расстояния от x до y и расстояния от y до z.
Неравенство треугольника отвечает за большую часть интересной структуры метрического пространства, а именно за сходимость. Это связано с тем, что остальные требования к метрике довольно упрощены по сравнению. Например, тот факт, что любая сходящаяся последовательность в метрическом пространстве является последовательностью Коши, является прямым следствием неравенства треугольника, потому что если мы выберем любое x n и x m такие, что d (x n, x) < ε/2 and d(xm, x) < ε/2, where ε>0 задано и произвольно (как в определении предел в метрическом пространстве), то по неравенству треугольника d (x n, x m) ≤ d (x n, x) + d ( x m, x) < ε/2 + ε/2 = ε, so that the sequence {xn} по определению является последовательностью Коши.
Эта версия неравенства треугольника сводится к изложенной выше в случае нормированных векторных пространств, где метрика индуцируется через d (x, y) ≔ ‖x - y‖, где x - y является вектором указывая из точки y в x.
Неравенство обратного треугольника является элементарным следствием неравенства треугольника, которое дает нижние границы вместо верхних. Для плоской геометрии это утверждение:
В случае нормированного векторного пространства это утверждение:
или для метрических пространств | d (y, x) - d (x, z) | ≤ d (y, z). Это означает, что норма , а также функция расстояния являются непрерывными по Липшицу с константой Липшица 1, и поэтому, в частности, равномерно непрерывны.
Доказательство для обратного треугольника использует неравенство правильного треугольника и :
Объединение этих двух операторов дает:
пространство Минковского метрика не является положительно определенным, что означает, что может иметь знак или нуль, даже если вектор x не равен нулю. Более того, если x и y - оба времениподобные векторы, лежащие в световом конусе будущего, неравенство треугольника обратное:
Физическим примером этого неравенства является парадокс близнецов в специальной теории относительности. Такая же обратная форма неравенства выполняется, если оба вектора лежат в световом конусе прошлого, и если один или оба являются нулевыми векторами. Результат верен в n + 1 измерениях для любого n ≥ 1. Если плоскость, определяемая x и y, пространственноподобна (и, следовательно, является евклидовым подпространством), то выполняется обычное неравенство треугольника.