Неравенство треугольника

редактировать
свойство геометрии, также используется для обобщения понятия «расстояние» в метрических пространствах. Три примера неравенства треугольника для треугольники со сторонами длины x, y, z. В верхнем примере показан случай, когда z намного меньше суммы x + y двух других сторон, а в нижнем примере показан случай, когда сторона z лишь немного меньше x + y.

В математика, неравенство треугольника утверждает, что для любого треугольника сумма длин любых двух сторон должна быть больше или равна длине оставшейся стороны. Это утверждение допускает включение вырожденных треугольников, но некоторые авторы, особенно те, кто пишет об элементарной геометрии, исключают эту возможность, таким образом исключая возможность равенства. Если x, y и z - длины сторон треугольника, причем ни одна из сторон не больше z, то неравенство треугольника гласит, что

z ≤ x + y, {\ displaystyle z \ leq x + y, }z \ leq x + y,

с равенством только в вырожденном случае треугольника с нулевой площадью. В евклидовой геометрии и некоторых других геометриях неравенство треугольника является теоремой о расстояниях, и оно записывается с использованием векторов и длин векторов (norm ):

‖ x + y ‖ ≤ ‖ Икс ‖ + ‖ Y ‖, {\ Displaystyle \ | \ mathbf {x} + \ mathbf {y} \ | \ leq \ | \ mathbf {x} \ | + \ | \ mathbf {y} \ |,}\ | \ mathbf {x} + \ mathbf {y} \ | \ leq \ | \ mathbf {x} \ | + \ | \ mathbf {y} \ |,

, где длина z третьей стороны заменена векторной суммой x+ y. Когда x и y являются действительными числами, их можно рассматривать как векторы в ℝ, а неравенство треугольника выражает связь между абсолютными значениями.

В евклидовой геометрии для прямоугольных треугольников неравенство треугольника является следствием теоремы Пифагора, а для общих треугольников - следствием закона косинусов, хотя это может быть доказано и без этих теорем. Неравенство можно увидеть интуитивно через ℝ или. На рисунке справа показаны три примера, начиная с явного неравенства (вверху) и приближаясь к равенству (внизу). В евклидовом случае равенство происходит только в том случае, если треугольник имеет угол 180 ° и два угла 0 °, что делает три вершины коллинеарными, как показано в нижнем примере. Таким образом, в евклидовой геометрии кратчайшее расстояние между двумя точками - это прямая линия.

В сферической геометрии кратчайшее расстояние между двумя точками - это дуга большого круга, но неравенство треугольника выполняется при условии, что расстояние между две точки на сфере - это длина небольшого сферического отрезка (то есть отрезка с центральным углом в [0, π]) с этими конечными точками.

Неравенство треугольника является определяющим свойством нормы и меры расстояния. Это свойство должно быть установлено как теорема для любой функции, предлагаемой для таких целей для каждого конкретного пространства: например, таких пространств, как вещественные числа, евклидовы пространства, L пробелы (p ≥ 1) и внутренние пространства продукта.

Содержание
  • 1 Евклидова геометрия
    • 1.1 Математическое выражение ограничения на сторонах треугольника
    • 1.2 Правый треугольник
    • 1.3 Примеры использования
    • 1.4 Обобщение на любой многоугольник
      • 1.4.1 Пример обобщенного неравенства многоугольника для четырехугольника
      • 1.4.2 Связь с кратчайшими путями
    • 1.5 Конверсия
    • 1.6 Обобщение на высшее размеры
  • 2 Нормированное векторное пространство
    • 2.1 Пример норм
  • 3 Метрическое пространство
  • 4 Неравенство обратного треугольника
  • 5 Реверс в пространстве Минковского
  • 6 См. также
  • 7 Примечания
  • 8 Ссылки
  • 9 Внешние ссылки
Евклидова геометрия
Конструкция Евклида для доказательства неравенства треугольника для плоской геометрии.

Евклид доказал неравенство треугольника для dist в геометрии плоскости, используя построение, показанное на рисунке. Начиная с треугольника ABC, строится равнобедренный треугольник, одна сторона которого берется за BC, а другой равный отрезок BD - вдоль продолжения стороны AB. Затем утверждается, что угол β>α, поэтому сторона AD>AC. Но AD = AB + BD = AB + BC, поэтому сумма сторон AB + BC>AC. Это доказательство появляется в Элементах Евклида, Книга 1, Предложение 20.

Математическое выражение ограничения на сторонах треугольника

Для правильного треугольника неравенство треугольника, как сказано в словах, буквально переводится в три неравенства (при условии, что правильный треугольник имеет положительную длину сторон a, b, c и исключает вырожденный случай нулевой площади):

a + b>c, b + с>а, с + а>Ь. {\ displaystyle a + b>c, \ quad b + c>a, \ quad c + a>b.}a+b>c, \ quad b + c>a, \ quad c + a>b.

Более лаконичная форма Можно показать, что система неравенства имеет вид

| a - b | < c < a + b. {\displaystyle |a-b|

Другой способ обозначить это:

max (a, b, c) < a + b + c − max ( a, b, c) {\displaystyle \max(a,{\text{ }}b,{\text{ }}c){\ displaystyle \ max (a, {\ text {}} b, {\ text {}} c) <a + b + c- \ max (a, {\ text {}} b, {\ text {}} c)}

, подразумевая

2 max (a, b, c) < a + b + c {\displaystyle 2\max(a,{\text{ }}b,{\text{ }}c){\ displaystyle 2 \ max ( a, {\ text {}} b, {\ text {}} c) <a + b + c}

и, следовательно, длина самой длинной стороны меньше, чем полупериметр.

Математически эквивалентная формулировка состоит в том, что площадь треугольника со сторонами a, b, c должна быть действительным числом больше нуля. Формула Герона для площади:

4 ⋅ area = (a + b + c) (- a + b + c) (a - b + c) (a + b - c) = - a 4 - b 4 - c 4 + 2 a 2 b 2 + 2 a 2 c 2 + 2 b 2 c 2. {\ Displaystyle {\ begin {align} 4 \ cdot {\ text {area}} = {\ sqrt {(a + b + c) (- a + b + c) (a-b + c) (a + bc)}} \\ = {\ sqrt {-a ^ {4} -b ^ {4} -c ^ {4} + 2a ^ {2} b ^ {2} + 2a ^ {2} c ^ {2} + 2b ^ {2} c ^ {2}}}. \ end {align}}}{\ displaystyle {\ begin { выровнено} 4 \ cdot {\ text {area}} = {\ sqrt {(a + b + c) (- a + b + c) (a-b + c) (a + bc)}} \\ = {\ sqrt {-a ^ {4} -b ^ {4} -c ^ {4} + 2a ^ {2} b ^ {2} + 2a ^ {2} c ^ {2} + 2b ^ {2 } c ^ {2}}}. \ end {align}}}

С точки зрения любой области выражение, неравенство треугольника, наложенное со всех сторон, эквивалентно условию, что выражение под знаком квадратного корня является действительным и больше нуля (поэтому выражение площади является действительным и больше нуля).

Неравенство треугольника дает еще два интересных ограничения для треугольников со сторонами a, b, c, где a ≥ b ≥ c и ϕ {\ displaystyle \ phi}\ phi - это золотое сечение, поскольку

1 < a + c b < 3 {\displaystyle 1<{\frac {a+c}{b}}<3}{\ displaystyle 1 <{\ frac {a + c} {b}} <3 }
1 ≤ min (ab, bc) < ϕ. {\displaystyle 1\leq \min \left({\frac {a}{b}},{\frac {b}{c}}\right)<\phi.}{\ displaystyle 1 \ leq \ min \ left ({\ frac {a} {b}}, {\ frac {b} {c}} \ right) <\ phi.}

прямоугольный треугольник

равнобедренный треугольник с равными сторонами AB = AC, разделенный на два прямоугольных треугольника высотой, взятой из два основных угла.

В случае прямоугольных треугольников неравенство треугольника специализируется на утверждении, что гипотенуза больше любой из двух сторон и меньше их суммы.

Вторая часть этой теоремы уже установлено выше для любой стороны любого треугольника. Первая часть устанавливается по нижнему рисунку. На рисунке представлен прямоугольный треугольник АЦП. Построен равнобедренный треугольник ABC с равными сторонами AB = AC. Согласно постулату треугольника, углы в прямоугольном треугольнике ADC удовлетворяют:

α + γ = π / 2. {\ displaystyle \ alpha + \ gamma = \ pi / 2 \.}\ alpha + \ gamma = \ pi / 2 \.

Аналогичным образом, в равнобедренном треугольнике ABC углы удовлетворяют:

2 β + γ = π. {\ displaystyle 2 \ beta + \ gamma = \ pi \.}2 \ бета + \ гамма = \ пи \.

Следовательно,

α = π / 2 - γ, а β = π / 2 - γ / 2, {\ displaystyle \ alpha = \ pi / 2- \ gamma, \ \ mathrm {while} \ \ beta = \ pi / 2- \ gamma / 2 \,}\ alpha = \ pi / 2- \ gamma, \ \ mathrm {while} \ \ бета = \ пи / 2- \ гамма / 2 \,

и, в частности,

α < β. {\displaystyle \alpha <\beta \.}\ alpha <\ beta \.

Это означает, что сторона AD, противоположная углу α, короче, чем сторона AB противоположна большему углу β. Но AB = AC. Следовательно:

A C ¯>A D ¯. {\ displaystyle {\ overline {\ mathrm {AC}}}>{\ overline {\ mathrm {AD}}} \.}{\overline {\mathrm {AC} }}>{\ overline {\ mathrm {AD}}} \.

Аналогичная конструкция показывает AC>DC, доказывая теорему.

Альтернативное доказательство (также основанное на постулате треугольника) состоит в рассмотрении трех положений точки B: (i) как изображено (что необходимо доказать), или (ii) B, совпадая с D (что означало бы, что равнобедренный треугольник имел два прямых угла в качестве основных углов плюс угол при вершине γ, что нарушило бы постулат треугольника ) или, наконец, (iii) B внутри прямоугольного треугольника между точками A и D (в этом случае угол ABC является внешним углом прямоугольного треугольника BDC и, следовательно, больше, чем π / 2, что означает, что другой угол основания равнобедренного треугольника также больше, чем π / 2, и их сумма превышает π в нарушение постулат треугольника).

Эта теорема, устанавливающая неравенства, уточняется теоремой Пифагора до равенства, что квадрат длины гипотенузы равен сумме квадратов двух других сторон.

Примеры использования

Рассмотрим треугольник, стороны которого находятся в арифметической прогрессии, и пусть стороны равны a, a + d, a + 2d. Тогда неравенство треугольника требует, чтобы

0 < a < 2 a + 3 d {\displaystyle 0{\ displaystyle 0 <a <2a + 3d}
0 < a + d < 2 a + 2 d {\displaystyle 0{ \ Displaystyle 0 <a + d <2a + 2d}
0 < a + 2 d < 2 a + d. {\displaystyle 0{\ displaystyle 0 <a + 2d <2a + d.}

для удовлетворения всех этих неравенств требовалось

a>0 и - a 3 < d < a. {\displaystyle a>0 {\ text {and}} - {\ frac {a} {3}} a>0 {\ text {and}} - {\ frac {a} {3}} <d<a.

Когда d выбирается так, что d = a / 3, он генерирует прямоугольный треугольник, который всегда похож на тройку Пифагора со сторонами 3, 4, 5.

Теперь рассмотрим треугольник, стороны которого находятся в геометрической прогрессии, и пусть стороны равны a, ar, ar. Тогда неравенство треугольника требует, чтобы

0 < a < a r + a r 2 {\displaystyle 0{\ displaystyle 0 <a <ar + ar ^ {2} }
0 < a r < a + a r 2 {\displaystyle 0{\ displaystyle 0 <ar<a+ar^{2}}
0 < a r 2 < a + a r. {\displaystyle 0{\ displaystyle 0 <ar ^ {2} <a + ar.}

Первое неравенство требует>0; следовательно, его можно разделить и устранить. При a>0 среднее неравенство требует только r>0. Это оставляет первое и третье неравенства, которые должны удовлетворять

r 2 + r - 1>0 r 2 - r - 1 < 0. {\displaystyle {\begin{aligned}r^{2}+r-1{}>0 \\ r ^ {2} -r-1 {} <0.\end{aligned}}}{\displaystyle {\begin{aligned}r^{2}+r-1{}>0 \ \ r ^ {2} -r-1 {} <0.\end{aligned}}}

Первое из этих квадратичных неравенств требует, чтобы 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

φ - 1 < r < φ and a>0. {\ displaystyle \ varphi -1 0.}{\displaystyle \varphi -1<r<\varphi \,{\text{ and }}a>0.}

Когда r выбрано общее отношение, такое, что r = √φ, он генерирует прямоугольный треугольник, который всегда похож на треугольник Кеплера.

Обобщение любой многоугольник

Неравенство треугольника может быть расширено с помощью математической индукции на произвольные многоугольные пути, показывая, что общая длина такого пути не меньше, чем длина прямой линии между его конечными точками. Следовательно, длина любой стороны многоугольника всегда меньше суммы длин сторон других многоугольников.

Пример обобщенного неравенства многоугольника для четырехугольника

Рассмотрим четырехугольник, стороны которого a геометрическая прогрессия и пусть стороны будут a, ar, ar, ar. Тогда обобщенное неравенство многоугольника требует, чтобы

0 < a < a r + a r 2 + a r 3 {\displaystyle 0{\ displaystyle 0 <a <ar + ar ^ {2} + ar ^ {3}}
0 < a r < a + a r 2 + a r 3 {\displaystyle 0{\ displaystyle 0 <ar <a + ar ^ {2} + ar ^ {3}}
0 < a r 2 < a + a r + a r 3 {\displaystyle 0{\ displaystyle 0 <ar ^ {2} <a + ar + ar ^ {3}}
0 < a r 3 < a + a r + a r 2. {\displaystyle 0{\ displaystyle 0 <ar ^ {3} <a + ar + ar ^ {2}.}

Эти неравенства для a>0 сводились к следующие

r 3 + r 2 + r - 1>0 {\ displaystyle r ^ {3} + r ^ {2} + r-1>0}{\displaystyle r^{3}+r^{2}+r-1>0}
r 3 - r 2 - r - 1 < 0. {\displaystyle r^{3}-r^{2}-r-1<0.}{\ displaystyle r ^ {3} -r ^ { 2} -r-1 <0.}

Полиномы в левой части этих двух неравенств имеют корни, которые являются константой трибоначчи и обратной ей. Следовательно, r ограничивается диапазоном 1 / t < r < t where t is the tribonacci constant.

Связь с кратчайшими путями

Длина дуги кривой определяется как наименьшая верхняя граница длин полигональных аппроксимаций.

Это обобщение можно использовать для докажите, что кратчайшая кривая между двумя точками в евклидовой геометрии - прямая линия.

Никакой полигональный путь между двумя точками не короче линии между ними. Это означает, что никакая кривая не может иметь длину дуги меньше, чем расстояние между ее конечными точками. По определению, длина дуги кривой - это наименьшая верхняя граница длин всех полигональных аппроксимаций кривой. Результат для многоугольных путей показывает, что прямая линия между конечными точками является самой короткой из всех многоугольных приближений. Поскольку длина дуги кривой больше или равна длине каждого полигонального приближения, сама кривая не может быть короче прямой линии.

Converse

Обратное треугольника Теорема неравенства также верна: если три действительных числа таковы, что каждое меньше суммы других, то существует треугольник с этими числами в качестве длин сторон и с положительной площадью; и если одно число равно сумме двух других, существует вырожденный треугольник (то есть с нулевой площадью) с этими числами в качестве длин сторон.

В любом случае, если длины сторон равны a, b, c, мы можем попытаться разместить треугольник в евклидовой плоскости, как показано на диаграмме. Нам нужно доказать, что существует действительное число h, согласованное со значениями a, b и c, и в этом случае этот треугольник существует.

Треугольник с высотой h, разрезающий основание c на d + (c - d).

По теореме Пифагора мы имеем b = h + d и a = h + (c - d) согласно к рисунку справа. Вычитая эти, получаем a - b = c - 2cd. Это уравнение позволяет нам выразить d через стороны треугольника:

d = - a 2 + b 2 + c 2 2 c. {\ displaystyle d = {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}}.}d = \ frac {-a ^ 2 + b ^ 2 + c ^ 2} {2c}.

Для высоты треугольника мы имеем h = b - d. Заменив d на формулу, приведенную выше, мы получим

h 2 = b 2 - (- a 2 + b 2 + c 2 2 c) 2. {\ displaystyle h ^ {2} = b ^ {2} - \ left ({\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) ^ { 2}.}{\ displaystyle h ^ {2} = b ^ {2} - \ left ( {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) ^ {2}.}

Чтобы действительное число h удовлетворяло этому, h 2 {\ displaystyle h ^ {2}}час ^ {2} должно быть неотрицательным:

b 2 - (- a 2 + b 2 + c 2 2 c) 2 ≥ 0, {\ displaystyle b ^ {2} - \ left ({\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) ^ {2} \ geq 0,}{\ displaystyle b ^ {2} - \ left ( {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) ^ {2} \ geq 0,}
(b - - a 2 + b 2 + c 2 2 c) (b + - a 2 + b 2 + c 2 2 c) ≥ 0, {\ displaystyle \ left (b - {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) \ left (b + {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) \ geq 0,}{\ displaystyle \ left (b - {\ frac {-a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) \ left (b + {\ frac { -a ^ {2} + b ^ {2} + c ^ {2}} {2c}} \ right) \ geq 0,}
(a 2 - (b - c) 2) ((b + c) 2 - a 2) ≥ 0, {\ displaystyle \ left (a ^ {2} - (bc) ^ {2}) ((b + c) ^ {2} -a ^ {2} \ right) \ geq 0, }{\ displaystyle \ left (a ^ {2} - (bc) ^ {2}) ((b + c) ^ {2} -a ^ { 2} \ right) \ geq 0,}
(a + b - c) (a - b + c) (b + c + a) (b + c - a) ≥ 0, {\ displaystyle (a + bc) (a-b + c) (b + c + a) (b + ca) \ geq 0,}{\ displaystyle (a + bc) (a-b + c) (b + c + a) (b + ca) \ geq 0,}
(a + b - c) (a + c - b) (b + c - a) ≥ 0, {\ displaystyle (a + bc) (a + cb) (b + ca) \ geq 0,}{\ displaystyle (a + bc) (a + cb) (b + ca) \ geq 0,}

который выполняется, если неравенство треугольника выполняется для всех сторон. Следовательно, действительно существует действительное число h, соответствующее сторонам a, b, c, и треугольник существует. Если каждое неравенство треугольника выполняется строго, h>0 и треугольник невырожден (имеет положительную площадь); но если одно из неравенств выполняется с равенством, то есть h = 0, треугольник вырожден.

Обобщение на более высокие измерения

В евклидовом пространстве гиперобъем (n - 1) - фасета n- симплекса меньше чем или равный сумме гиперобъемов других n граней. В частности, площадь треугольной грани тетраэдра меньше или равна сумме площадей трех других сторон.

Нормированное векторное пространство
Неравенство треугольника для норм векторов.

В нормированном векторном пространстве V одним из определяющих свойств нормы является неравенство треугольника:

‖ x + y ‖ ≤ ‖ x ‖ + ‖ y ‖ ∀ x, y ∈ V {\ displaystyle \ displaystyle \ | x + y \ | \ leq \ | x \ | + \ | y \ | \ quad \ forall \, x, y \ in V}\ displaystyle \ | x + y \ | \ leq \ | x \ | + \ | y \ | \ quad \ forall \, x, y \ in V

, то есть норма суммы двух векторов не больше суммы норм двух векторов. Это также называется субаддитивностью. Чтобы любая предложенная функция вела себя как норма, она должна удовлетворять этому требованию.

Если нормированное пространство евклидово или, в более общем смысле, строго выпуклое, то ‖ x + y ‖ = ‖ x ‖ + ‖ y ‖ {\ displaystyle \ | x + y \ | = \ | x \ | + \ | y \ |}\|x+y\|=\|x\|+\|y\|тогда и только тогда, когда треугольник, образованный 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, невырожден, но

‖ x + y ‖ = ‖ (1, 1) ‖ = | 1 | + | 1 | = 2 знак равно ‖ x ‖ + ‖ y ‖. {\ displaystyle \ | x + y \ | = \ | (1,1) \ | = | 1 | + | 1 | = 2 = \ | x \ | + \ | y \ |.}\ | x + y \ | = \ | (1,1) \ | = | 1 | + | 1 | = 2 = \ | x \ | + \ | y \ |.

Пример норм

| х + у | ≤ | х | + | y |, {\ displaystyle | x + y | \ leq | x | + | y ​​|,}| x + y | \ leq | x | + | y ​​|,
что и происходит.

Доказательство:

- | х | ≤ x ≤ | х | {\ displaystyle - \ left \ vert x \ right \ vert \ leq x \ leq \ left \ vert x \ right \ vert}{\ displaystyle - \ left \ vert x \ right \ vert \ leq x \ leq \ left \ vert x \ right \ vert}
- | y | ≤ y ≤ | y | {\ displaystyle - \ left \ vert y \ right \ vert \ leq y \ leq \ left \ vert y \ right \ vert}{\ displaystyle - \ left \ vert y \ right \ vert \ leq y \ leq \ left \ vert y \ right \ vert}

После сложения

- (| x | + | y ​​|) ≤ x + y ≤ | х | + | y | {\ Displaystyle - (\ влево \ верт х \ вправо \ верт + \ влево \ верт у \ вправо \ верт) \ Leq х + у \ Leq \ влево \ верт х \ вправо \ верт + \ влево \ верт у \ вправо \ vert}{\ displaystyle - (\ left \ vert x \ right \ vert + \ left \ vert y \ right \ vert) \ leq x + y \ leq \ left \ vert x \ right \ vert + \ left \ vert y \ right \ vert}

Используйте тот факт, что | б | ≤ a ⇔ - a ≤ b ≤ a {\ displaystyle \ left \ vert b \ right \ vert \ leq a \ Leftrightarrow -a \ leq b \ leq a}{\ displaystyle \ left \ vert b \ right \ vert \ leq a \ Leftrightarrow -a \ leq b \ leq a} (с заменой b на x + y и a на | x | + | y ​​| {\ displaystyle \ left \ vert x \ right \ vert + \ left \ vert y \ right \ vert}{\ displaystyle \ left \ vert x \ right \ vert + \ left \ vert y \ right \ vert} ), мы имеем

| х + у | ≤ | х | + | y | {\ displaystyle | x + y | \ leq | x | + | y ​​|}{\ displaystyle | x + y | \ leq | x | + | y ​​|}

Неравенство треугольника полезно в математическом анализе для определения наилучшей верхней оценки размера суммы двух чисел, с точки зрения размеров отдельных номеров.

Существует также нижняя оценка, которую можно найти с помощью неравенства обратного треугольника, которое гласит, что для любых действительных чисел x и y:

| х - у | ≥ | | х | - | y | |. {\ displaystyle | x-y | \ geq {\ bigg |} | x | - | y | {\ bigg |}.}| xy | \ geq {\ bigg |} | x | - | y | { \ bigg |}.
  • Внутренний продукт как норма во внутреннем пространстве продукта . Если норма возникает из внутреннего произведения (как в случае евклидовых пространств), то неравенство треугольника следует из неравенства Коши – Шварца следующим образом: Данные векторы x {\ displaystyle x}x и y {\ displaystyle y}y и обозначение внутреннего продукта как ⟨x, y⟩ {\ displaystyle \ langle x, y \ rangle}{\ displaystyle \ langle x, y \ rangle} :
‖ Икс + Y ‖ 2 {\ Displaystyle \ | Икс + Y \ | ^ {2}}\ | x + y \ | ^ {2} = ⟨Икс + Y, x + Y⟩ {\ Displaystyle = \ langle x + y, x + y \ rangle}= \ langle x + y, x + y \ rangle
знак равно ‖ Икс ‖ 2 + ⟨Икс, Y⟩ + ⟨Y, Икс⟩ + ‖ Y ‖ 2 {\ Displaystyle = \ | x \ | ^ {2} + \ langle x, y \ rangle + \ langle y, x \ rangle + \ | y \ | ^ {2}}= \ | x \ | ^ {2} + \ langle x, y \ rangle + \ langle y, x \ rangle + \ | y \ | ^ {2}
≤ ‖ x ‖ 2 + 2 | ⟨X, y⟩ | + ‖ Y ‖ 2 {\ Displaystyle \ Leq \ | x \ | ^ {2} +2 | \ langle x, y \ rangle | + \ | y \ | ^ {2}}\ leq \ | x \ | ^ {2} +2 | \ langle x, y \ rangle | + \ | y \ | ^ {2}
≤ ‖ x ‖ 2 + 2 ‖ Икс ‖ ‖ Y ‖ + ‖ Y ‖ 2 {\ Displaystyle \ Leq \ | х \ | ^ {2} +2 \ | х \ | \ | у \ | + \ | у \ | ^ {2}}\ leq \ | x \ | ^ {2} +2 \ | x \ | \ | y \ | + \ | y \ | ^ {2} (по неравенству Коши – Шварца)
= (‖ x ‖ + ‖ y ‖) 2 {\ displaystyle = \ left (\ | x \ | + \ | y \ | \ right) ^ { 2}}= \ left (\ | x \ | + \ | y \ | \ right) ^ {2} .

Неравенство Коши – Шварца превращается в равенство тогда и только тогда, когда x и y линейно зависимы. Неравенство x, y⟩ + ⟨y, x⟩ ≤ 2 | ⟨X, y⟩ | {\ displaystyle \ langle x, y \ rangle + \ langle y, x \ rangle \ leq 2 | \ langle x, y \ rangle |}\ langle x, y \ rangle + \ langle y, x \ rangle \ leq 2 | \ langle x, y \ rangle | превращается в равенство для линейно зависимых x {\ displaystyle x}x и y {\ displaystyle y}y тогда и только тогда, когда один из векторов x или y является неотрицательным скаляром другого.

Извлечение квадратного корня из окончательного результата дает неравенство треугольника.
  • p-norm : обычно используемой нормой является p-норма:
‖ x ‖ p = (∑ i = 1 n | xi | p) 1 / p, {\ displaystyle \ | x \ | _ {p} = \ left (\ sum _ {i = 1} ^ {n} | x_ {i} | ^ {p} \ right) ^ {1 / p} \,}\ | x \ | _ {p} = \ left (\ sum _ {i = 1} ^ {n} | x_ {i} | ^ {p} \ right) ^ {1 / p} \,
где x i - компоненты вектора x. При p = 2 p-норма становится евклидовой нормой:
‖ x ‖ 2 = (∑ i = 1 n | xi | 2) 1/2 = (∑ i = 1 nxi 2) 1/2, {\ displaystyle \ | x \ | _ {2} = \ left (\ sum _ {i = 1} ^ {n} | x_ {i} | ^ {2} \ right) ^ {1/2} = \ left (\ sum _ {i = 1} ^ {n} x_ {i} ^ {2} \ right) ^ {1/2} \,}\ | x \ | _ {2} = \ left (\ sum _ {i = 1} ^ {n} | x_ {i} | ^ {2} \ right) ^ {1/2} = \ left (\ sum _ {i = 1} ^ {n} x_ {i} ^ {2} \ right) ^ {1/2} \,
что является теоремой Пифагора в n-измерениях, очень частный случай, соответствующий внутренней норме продукта. За исключением случая p = 2, p-норма не является нормой внутреннего произведения, потому что она не удовлетворяет закону параллелограмма . Неравенство треугольника для общих значений p называется неравенством Минковского. Он принимает вид:
‖ x + y ‖ p ≤ ‖ x ‖ p + ‖ y ‖ p. {\ displaystyle \ | x + y \ | _ {p} \ leq \ | x \ | _ {p} + \ | y \ | _ {p} \.}\ | x + y \ | _ {p} \ leq \ | x \ | _ {p} + \ | y \ | _ {p} \. ​​
Метрическое пространство

в метрическое пространство M с метрикой d, неравенство треугольника является требованием при расстоянии :

d (x, z) ≤ d (x, y) + d (y, z), { \ displaystyle d (x, \ z) \ leq d (x, \ y) + d (y, \ z) \,}d (x, \ z) \ leq d (x, \ y) + d (y, \ z) \,

для всех 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.

Неравенство обратного треугольника

Неравенство обратного треугольника является элементарным следствием неравенства треугольника, которое дает нижние границы вместо верхних. Для плоской геометрии это утверждение:

Любая сторона треугольника больше, чем разница между двумя другими сторонами.

В случае нормированного векторного пространства это утверждение:

| ‖ X ‖ - ‖ y ‖ | ≤ ‖ x - y ‖, {\ displaystyle {\ bigg |} \ | x \ | - \ | y \ | {\ bigg |} \ leq \ | xy \ |,}{\ bigg |} \ | x \ | - \ | y \ | {\ bigg |} \ leq \ | xy \ |,

или для метрических пространств | d (y, x) - d (x, z) | ≤ d (y, z). Это означает, что норма ‖ ⋅ ‖ {\ displaystyle \ | \ cdot \ |}\ | \ cdot \ | , а также функция расстояния d (x, ⋅) {\ displaystyle d (x, \ cdot)}{\ displaystyle d (x, \ cdot)} являются непрерывными по Липшицу с константой Липшица 1, и поэтому, в частности, равномерно непрерывны.

Доказательство для обратного треугольника использует неравенство правильного треугольника и ‖ y - x ‖ = ‖ - 1 (x - y) ‖ = | - 1 | ⋅ ‖ Икс - Y ‖ знак равно ‖ Икс - Y ‖ {\ Displaystyle \ | Yx \ | = \ | {-} 1 (ху) \ | = | {-} 1 | \ CDOT \ | ху \ | = \ | ху \ |}{\ displaystyle \ | yx \ | = \ | {-} 1 (xy) \ | = | {-} 1 | \ cdot \ | xy \ | = \ | ху \ |} :

‖ x ‖ знак равно ‖ (x - y) + y ‖ ≤ ‖ x - y ‖ + ‖ y ‖ ⇒ x ‖ - ‖ y ‖ ≤ ‖ x - y ‖, {\ displaystyle \ | x \ | = \ | (xy) + y \ | \ leq \ | xy \ | + \ | y \ | \ Rightarrow \ | x \ | - \ | y \ | \ leq \ | xy \ |,}\ | x \ | = \ | (xy) + y \ | \ leq \ | ху \ | + \ | y \ | \ Rightarrow \ | x \ | - \ | y \ | \ leq \ | xy \ |,
‖ Y ‖ знак равно ‖ (y - x) + x ‖ ≤ ‖ y - x x + ‖ x ‖ ⇒ ‖ x ‖ - ‖ y ‖ ≥ - ‖ x - y ‖, {\ displaystyle \ | y \ | = \ | (yx) + x \ | \ leq \ | yx \ | + \ | x \ | \ Rightarrow \ | x \ | - \ | y \ | \ geq - \ | xy \ |,}\ | y \ | = \ | (yx) + x \ | \ leq \ | yx \ | + \ | x \ | \ Rightarrow \ | x \ | - \ | y \ | \ geq - \ | xy \ |

Объединение этих двух операторов дает:

- ‖ x - y ‖ ≤ ‖ x ‖ - ‖ y ‖ ≤ ‖ x - y ‖ ⇒ | ‖ X ‖ - ‖ y ‖ | ≤ ‖ x - y ‖. {\ Displaystyle - \ | ху \ | \ leq \ | х \ | - \ | у \ | \ leq \ | ху \ | \ Rightarrow {\ bigg |} \ | х \ | - \ | у \ | {\ bigg |} \ leq \ | xy \ |.}- \ | xy \ | \ leq \ | x \ | - \ | y \ | \ leq \ | xy \ | \ Rightarrow {\ bigg |} \ | х \ | - \ | у \ | {\ bigg |} \ leq \ | ху \ |.
Инверсия в пространстве Минковского

пространство Минковского метрика η μ ν {\ displaystyle \ eta _ {\ mu \ nu}}\ eta _ {\ mu \ nu} не является положительно определенным, что означает, что ‖ x ‖ 2 = η μ ν x μ x ν {\ displaystyle \ | x \ | ^ {2} = \ eta _ { \ mu \ nu} x ^ {\ mu} x ^ {\ nu}}{\ displaystyle \ | x \ | ^ {2} = \ eta _ {\ mu \ ню} х ^ {\ му} х ^ {\ ню}} может иметь знак или нуль, даже если вектор x не равен нулю. Более того, если x и y - оба времениподобные векторы, лежащие в световом конусе будущего, неравенство треугольника обратное:

‖ x + y ‖ ≥ x ‖ + ‖ y ‖. {\ displaystyle \ | x + y \ | \ geq \ | x \ | + \ | y \ |.}{\ displaystyle \ | x + y \ | \ geq \ | x \ | + \ | y \ |.}

Физическим примером этого неравенства является парадокс близнецов в специальной теории относительности. Такая же обратная форма неравенства выполняется, если оба вектора лежат в световом конусе прошлого, и если один или оба являются нулевыми векторами. Результат верен в n + 1 измерениях для любого n ≥ 1. Если плоскость, определяемая x и y, пространственноподобна (и, следовательно, является евклидовым подпространством), то выполняется обычное неравенство треугольника.

См. Также
Примечания
Ссылки
Внешние ссылки
Последняя правка сделана 2021-06-11 11:09:00
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте