Desigualdad triangular

Desigualdad del tringulo.

La desigualdad es un teorema de geometra euclidiana que establece:

En todo tringulo la suma de las longitudes de dos lados cualquiera es siempre mayor a la longitud del lado restante. 1

Este resultado ha sido generalizado a otros contextos ms sofisticados como espacios vectoriales. Definido matemticamente, cualquier tringulo cumple la siguiente propiedad:

donde a b y c son los lados.

1 Camino euclidiano de mnimo recorrido 2 Espacios vectoriales normados

o o

2.1 Demostracin 2.2 Generalizacin de la desigualdad triangular

3 Vase tambin 4 Notas

[editar]Camino

euclidiano de mnimo recorrido

Desigualdad del tringulo tendiendo hacia la igualdad mientras reduce su altura.

En geometra euclidiana (y en algunas otras geometras2 ) la desigualdad triangular es un teorema importante acerca de las medidas y las distancias. Siguiendo en geometra euclidiana, dicha desigualdad en tringulos rectngulos, es una consecuencia del teorema de Pitgoras, y para los tringulos en general una consecuencia de la ley de los cosenos, aunque sta puede ser probada sin esos teoremas. La desigualdad se puede ver intuitivamente ya sea en o (aunque tambin es vlida para n). La figura de la derecha muestra tres ejemplos progresivos partiendo de una clara desigualdad (tringulo ms alto) hasta acercarse tanto como se quiera a la igualdad (tringulo ms bajo). Advierta que se logra tanta ms aproximacin a la igualdad, cuanto ms se aproxima el vrtice Z (el opuesto al lado z) a cualquier punto del segmento que conforma al lado z de la base del tringulo, y esto con total independencia del camino que se utilice. El teorema de la desigualdad triangular solo menciona los casos de desigualdad (no podra ser se otra manera debido a su enunciado) y as evita el tratar con el caso lmite de si tres vrtices colineales siguen o no definiendo un tringulo, (an si se conviene en que s, estaramos ante un caso de figura geomtrica degenerada y stas conducen en general a soluciones espurias, aunque particularmente en ste caso, no es as). Siendo h la altura del tringulo y tomando lmite con , la polmica se soslaya y se

adquiere el derecho a extender la frmula inicial a una ms general. Si (x, y, z) son las respectivas denominaciones de los lados de un tingulo cualquiera y h la altura correspondiente al lado z, entonces podremos reconocer dos casos: 1) Aceptado h>0. Implica quedarnos con las tres desigualdades tradicionales del teorema:

2) Aceptado h0. En ste segundo caso logramos tres desigualdades ms generales que las del teorema porque incluyen el caso que ms nos interesa, el cual es el caso lmite de igualdad :

En geometra eucldea, slo se obtiene el caso lmite de igualdad cuando el tringulo (aunque degenerado) tenga altura h=0 (sobre el lado que se a denominado z) y adems el vrtice Zpertenezca al segmento xy (o sea al lado z), llegando entonces los tres vrtices, a ser colineales, como se muestra en el ejemplo (lnea base).

Como el vrtice Z puede estar en cualquier lugar (del plano al que pertenece el tringulo), pero en la desigualdad triangular solo se logra el caso lmite de igualdad3 cuando dicho vrtice se encuentra en un lugar tal que pertenece al segmento constituyente del lado z, y como por otra parte la mnima longitud que puede tener la suma x+y cumpliendo con ser mayor o igual a la longitud del lado z es justamente la longitud del lado z, se concluye entonces que para el caso lmite de x+y=z estamos ante una longitud de mnimo recorrido posible entre los vrtices X e Y de z, (en definitiva entre dos puntos cualquiera, por ser z un lado genrico), lo cual demuestra que la lnea recta es el camino de menor longitud posible entre ellos. Por todo lo anterior es posible afirmar que:

En geometra euclidiana la distancia ms corta entre dos puntos es una lnea recta.

Es importante registrar que la desigualdad triangular eucldea en o es una idea de gran simplicidad. Luego en matemticas ms avanzadas se podr ver que la idea de la desigualdad (ya no triangular) se puede generalizar tambin a polgonos de cuatro o ms lados. Luego sabiendo que los polgonos al tender su nmero de lados a infinito ( ) se convierten en curvas, en

las que an vale una versin con similitudes a la idea de desigualdad. Adems en algunos casos puede generalizarse el concepto a algunos espacios no euclidianos (con solo reemplazar el concepto de recta por el de lnea geodsica).
[editar]Espacios

vectoriales normados

El teorema puede generalizarse a espacios vectoriales normados, obtenindose la siguiente versin de la desigualdad triangular:

En todo espacio vectorial

normado

Es decir, que La norma de la suma de dos vectores es siempre menor o igual a la suma de las normas de los dos vectores. En el caso particular de considerar la recta real como espacio vectorial normado con el valor absoluto como norma obtenemos la siguiente versin del teorema:

Para cualquiera dos nmeros a y b se cumple:

cuya demostracin es:

(mbito ). Haciendo uso de las propiedades del valor absoluto, es posible escribir:

Sumando ambas inecuaciones:

A su vez, usando la propiedad de valor absoluto si en la lnea de arriba queda:

si y solo

[editar]Generalizacin

de la desigualdad triangular

La desigualdad triangular puede generalizarse a un nmero arbitrario de sumandos: , es decir:

donde n es un nmero natural, y los xi son nmeros reales.

Desigualdades bsicas de la matemtica.

1. Comenzaremos con la desigualdad triangular del valor absoluto de nmeros reales Para x, y nmeros reales se cumple

| x + y | | x | + | y |.
Demostracin: Para x e y se verifican las desigualdades: -|x|x|x| -|y|y|y| Sumando ambas desigualdades tenemos - (| x | +| y | ) x + y | x | + | y | y de aqu se obtiene el resultado. 2. Desigualdad del cuadriltero. Si a, b, c y d son nmeros reales, entonces se tiene a b + c d [( a2 + c2 ) ( b2 + d2)

Demostracin: Elevando al cuadrado el miembro izquierdo se tiene: ( a b + c d )2 = a2 b2 + 2 a b c d + c2 d2 a2 b2 + a2 d2 + c2 b2 + c2 d2 (1) haciendo uso de la desigualdad 2 x y x 2+ y 2 la cual es cierta para x e y nmeros reales. Factorizando el segundo miembro de la desigualdad (1) obtenemos ( a b + c d )2 ( a2 + c2 ) ( b2 + d2) y de aqu se obtiene el resultado, al tomar races cuadradas en ambos lados.

3. Desigualdad triangular para los nmeros complejos. Sean Z = a + bi y W = c + di , dos nmeros complejos, entonces se tiene

| Z + W | | Z | + | W |.
Demostracin: Tenemos las igualdades |Z+W|
2

=(Z+W)(Z+W)=ZZ +WW+ZW+ZW =|Z|+ |W|+ZW+ZW

Si logramos probar que ZW+ZW2|Z||W| se tendr entonces | Z + W | resultado. Notemos que Z W + Z W = (a + bi )(c - di) + (a - bi )(c + di) = ac + bd - ( ad - bc ) i + ac + bd + ( ad - bc ) i = 2 ( ac + bd ) 2 [( a 2+ b 2)( c 2+ d 2)] =2|Z||W| Ntese que hemos usado la desigualdad del cuadriltero en la penltima lnea. 3. Desigualdad triangular para R2. Sean V = (a ,b) , U = ( c, d) y W = ( e, f) tres vectores del plano. Entonces se tiene
2

( 1)

(| Z | + | W |)2 y de aqu se obtendr el

|U-V| |U-W|+ |W-V|

| U - V |2 = ( c - a )2 + ( d - b)2 = [( c - e) + ( e - a )] 2 + [( d - f ) + ( f - b)]2 = f- b). Usando la desigualdad del cuadriltero, se tiene : 2 ( c- e)( e-a) + 2 ( d -f)( f- b) 2 b)2 ]

( c - e )2 + ( e - a)2 + 2 ( c- e)( e-a) + ( d - f )2 + ( f - b)2 + 2 ( d -f)(

[ ( c - e )2 + ( d - f )2 ] [ ( e - a)2

+ (f-

Ntese que

| U - W | = [ ( c - e ) 2 + ( d - f )2 ]

y | W - V | = [ ( e - a)2 + ( f -

b)2 ]

Luego

| U - V |2 | U - W | 2+ 2 | U - W| | W - V | + | W - V | 2 = [ | U - W | + | W -V | ]2 y tomando maces cuadradas en ambos lados nos produce el resultado deseado.