Nierówność trójkąta
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Nierownosc_trojkata.svg/250px-Nierownosc_trojkata.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/62/Linia_APB.svg/250px-Linia_APB.svg.png)
Nierówność trójkąta – twierdzenie matematyczne mówiące, że dla dowolnego trójkąta miara każdego boku musi być mniejsza lub równa sumie miar dwóch pozostałych. Równość zachodzi dla trójkątów zdegenerowanych, czyli mających postać odcinka: jeden kąt ma wówczas 180°, dwa pozostałe 0°.
Nierówność trójkąta nie ogranicza się do płaszczyzny, lecz obowiązuje dla przestrzeni liczb rzeczywistych, euklidesowych, przestrzeni Lp i unitarnych. Występuje ona także jako aksjomat w definicjach struktur analizy matematycznej i funkcjonalnej takich jak przestrzeń unormowana, czy przestrzeń metryczna[1].
Przestrzeń unormowana
W przestrzeni unormowanej nierówność trójkąta zdefiniowana jest wzorem
czyli norma sumy dwóch wektorów jest równa co najwyżej sumie norm dwóch wektorów. Własność ta nazywana jest też podaddytywnością.
Dla liczb rzeczywistych, które są przestrzenią unormowaną za pomocą wartości bezwzględnej nierówność trójkąta ma następującą postać, prawdziwą dla dowolnych liczb rzeczywistych oraz
Z powyżej nierówności korzysta się, aby uzyskać jak najlepsze oszacowanie sumy dwóch liczb za pomocą ich wielkości. Istnieje również oszacowanie dolne, które wyznaczane jest za pomocą odwrotnej nierówności trójkąta mówiącej, że dla dowolnych liczb rzeczywistych oraz
W przestrzeniach unitarnych, w których norma indukowana jest przez iloczyn skalarny (jak ma to miejsce w przestrzeniach euklidesowych), nierówność trójkąta wynika z nierówności Cauchy’ego-Schwarza. Dla danych wektorów
(nierówność Cauchy’ego-Schwarza)
Obustronne wyciągnięcie pierwiastka daje nierówność trójkąta.
Przestrzeń metryczna
W przestrzeni metrycznej nierówność trójkąta wyrażona jest za pomocą metryki:
tj. odległość między a jest nie większa niż suma odległości od oraz do
Wnioski
W przeciwieństwie do nierówności trójkąta następujące wnioski dają ograniczenia dolne zamiast górnych.
W terminach metryki: Powyższe nierówności oznaczają, że norma oraz metryka są lipschitzowskie, a zatem ciągłe.
Przestrzeń Minkowskiego
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b4/Paradoks_blizniat-wykres.png/220px-Paradoks_blizniat-wykres.png)
W standardowej czasoprzestrzeni Minkowskiego i w czasoprzestrzeni Minkowskiego rozszerzonej o dowolną liczbę wymiarów przestrzennych, założywszy uprzednio, iż wektory zerowe i czasopodobne mają ten sam kierunek, nierówność trójkąta ulega odwróceniu:
- dla dowolnych takich, że i
Przykładem konsekwencji tej nierówności jest paradoks bliźniąt w szczególnej teorii względności: reprezentuje wiek brata pozostającego na Ziemi, podczas gdy wiek brata-kosmonauty, który zmienia swój układ odniesienia jest opisywany przez
Zobacz też
- nierówność Schwarza
- podaddytwność
Przypisy
- ↑ nierówność trójkąta, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2022-05-17] .
- NKC: ph602139
- Britannica: topic/triangle-inequality
- SNL: trekantulikheten
- DSDE: trekantsuligheden