La desigualdad triangular en geometría , análisis funcional y disciplinas relacionadas es una de las propiedades intuitivas de la distancia. Establece que la longitud de cualquier lado de un triángulo siempre es menor que la suma de las longitudes de sus otros dos lados. La desigualdad triangular se incluye como axioma en la definición de un espacio métrico , una norma , etc.; además, a menudo es un teorema en varias teorías.
Desigualdad
corre en cualquier triángulo . Además , la igualdad se logra sólo cuando el triángulo es degenerado , y el punto se encuentra estrictamente entre y .
Los Elementos de Euclides demuestran la desigualdad del triángulo de la siguiente manera. Primero, se demuestra un teorema de que el ángulo externo de un triángulo es mayor que el ángulo interno que no es adyacente a él. De él se deduce un teorema de que un ángulo interior mayor se encuentra frente al lado mayor del triángulo. Además, por contradicción, se demuestra el teorema de que el lado mayor se encuentra frente al ángulo interno mayor de un triángulo. Y de este teorema se deriva la desigualdad triangular.
Sea un espacio vectorial normado , donde es un conjunto arbitrario y es una norma definida en . Entonces, por definición de este último, es cierto:
En el espacio de Hilbert , la desigualdad del triángulo es una consecuencia de la desigualdad de Cauchy-Bunyakovsky .
Sea un espacio métrico , donde es un conjunto arbitrario y es una métrica definida en . Luego, por definición de la última
Una consecuencia de la desigualdad triangular en espacios normados y métricos son las siguientes desigualdades:
Cada ángulo plano de un ángulo triédrico convexo es menor que la suma de sus otros dos ángulos planos.
Denotemos la distancia entre los puntos y . Entonces se cumple la siguiente desigualdad: . Se obtiene aplicando sucesivamente la desigualdad triangular para tres puntos: [1]