A háromszög egyenlőtlenség a geometriában , a funkcionális elemzésben és a kapcsolódó tudományokban a távolság egyik intuitív tulajdonsága. Azt állítja, hogy a háromszög bármely oldalának hossza mindig kisebb, mint a másik két oldal hosszának összege. A háromszög egyenlőtlenség axiómaként szerepel a metrikus tér , a norma stb. definíciójában; emellett gyakran tételként szerepel különféle elméletekben.
Egyenlőtlenség
bármely háromszögben fut . Ezenkívül az egyenlőség csak akkor érhető el, ha a háromszög degenerált , és a pont szigorúan és között van .
Euklidész elemei a következőképpen bizonyítják a háromszög egyenlőtlenséget. Először is bebizonyítjuk azt a tételt, hogy egy háromszög külső szöge nagyobb, mint a vele nem szomszédos belső szög. Ebből azt a tételt vezetjük le, hogy a háromszög nagyobbik oldalával szemben nagyobb belső szög van. Továbbá ellentmondásos módon igazoljuk azt a tételt, hogy a háromszög legnagyobb oldala a legnagyobb belső szöggel szemben van. Ebből a tételből pedig levezetjük a háromszög egyenlőtlenséget.
Legyen egy normált vektortér , ahol egy tetszőleges halmaz és egy normán definiált norma . Akkor az utóbbi definíciója szerint igaz:
A Hilbert-térben a háromszög -egyenlőtlenség a Cauchy–Bunyakovsky-egyenlőtlenség következménye .
Legyen egy metrikus tér , ahol egy tetszőleges halmaz , és egy metrika , amely a -n van definiálva . Akkor az utolsó meghatározása szerint
A háromszög egyenlőtlenség következménye a normált és metrikus terekben a következő egyenlőtlenségek:
Egy konvex háromszög minden lapos szöge kisebb, mint a másik két lapos szögének összege.
Jelöljük az és a pontok közötti távolságot . Ekkor teljesül a következő egyenlőtlenség: . Ezt úgy kapjuk meg, hogy egymás után alkalmazzuk a háromszög egyenlőtlenséget három pontra: [1]