Otwórz menu główne

Nierówność trójkąta

Wizualizacja „działania” nierówności trójkąta
Trójkąt zdegenerowany

Nierówność trójkątatwierdzenie 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, ale większa lub równa od różnicy ich miar. W obu przypadkach równości zachodzą 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.

Przestrzeń unormowanaEdytuj

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ń metrycznaEdytuj

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  

WnioskiEdytuj

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  lipschitzowskie, a zatem ciągłe.

Przestrzeń MinkowskiegoEdytuj

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żEdytuj