Trojúhelníková nerovnost v geometrii , funkční analýze a příbuzných disciplínách je jednou z intuitivních vlastností vzdálenosti. Uvádí, že délka libovolné strany trojúhelníku je vždy menší než součet délek jeho dalších dvou stran. Trojúhelníková nerovnost je zahrnuta jako axiom v definici metrického prostoru , normy , atd.; také je to často teorém v různých teoriích.
Nerovnost
běží v libovolném trojúhelníku . Kromě toho je rovnosti dosaženo pouze tehdy, když je trojúhelník degenerovaný a bod leží přísně mezi a .
Euklidovy prvky dokazují trojúhelníkovou nerovnost následovně . Nejprve je dokázána věta, že vnější úhel trojúhelníku je větší než vnitřní úhel, který s ním nesousedí. Z toho je odvozena věta, že větší vnitřní úhel leží proti větší straně trojúhelníku. Dále, kontradikcí, je věta dokázána, že největší strana leží proti největšímu vnitřnímu úhlu trojúhelníku. A z této věty je odvozena trojúhelníková nerovnost.
Dovolit být normovaný vektorový prostor , kde je libovolná množina a je norma definovaná na . Pak podle definice toho druhého platí:
V Hilbertově prostoru je trojúhelníková nerovnost důsledkem Cauchy-Bunyakovského nerovnosti .
Dovolit být metrický prostor , kde je libovolná množina a je metrika definovaná na . Pak podle definice posledního
Důsledkem trojúhelníkové nerovnosti v normovaných a metrických prostorech jsou následující nerovnosti:
Každý plochý úhel konvexního trojbokého úhlu je menší než součet jeho dalších dvou plochých úhlů.
Označme vzdálenost mezi body a . Pak platí následující nerovnost: . Získá se postupným aplikováním trojúhelníkové nerovnosti pro tři body: [1]