Archivo de la etiqueta: desigualdad del triángulo

Cálculo Diferencial e Integral I: Valor absoluto. Desigualdad del triángulo.

Introducción

En esta entrada veremos una función muy particular: el valor absoluto. Esta nos permitirá «medir la distancia» entre un par de números reales. Finalizaremos con la demostración de la Desigualdad del triángulo y algunas de sus consecuencias. Esta desigualdad es usada en las demostraciones de Límite y Continuidad que veremos más adelante.

Definición formal

Definición (Valor absoluto): Para todo $x\in \r$ definimos la función valor absoluto cómo sigue:
\begin{equation*}
|x|=
\begin{cases}
x &\text{si $x \geq 0$}\\
-x & \text{si $x< 0$}
\end{cases}
\end{equation*}

Recordando las propiedades de orden, la definición quedaría de la siguiente manera:
\begin{equation*}
|x|=
\begin{cases}
x &\text{si $x =0$ ó $x\in P$}\\
-x & \text{si $-x\in P$}
\end{cases}
\end{equation*}
Esta última nos será de utilidad para la demostración de la desigualdad del triángulo que veremos más adelante.

Midiendo distancias

Si observamos la definición del valor absoluto, notamos que asocia a cualquier número real a su distancia respecto al cero. Veámoslo en los ejemplos siguientes:

  • $|-3|=3$
  • $|14|= 14$

En consecuencia, si consideramos la distancia entre cualquier par de números reales tendríamos la siguiente definición.

Definición: Para cualesquiera $a,b \in \r$ tenemos que están a distancia $|a-b|$.
Observemos que la distancia siempre será positiva o cero.

Desigualdad del triángulo

Para todo $a,b \in \r$ se cumple la siguiente desigualdad:
$$|a+b| \leq |a|+|b|$$

Demostración: Dada la definición del valor absoluto, debemos considerar casos sobre los signos de $a$ y $b$.
CASO 1: $a \geq 0$ y $b \geq 0$.
Recordemos que $P$ es cerrado bajo la suma, por lo que tenemos lo siguiente:
\begin{align*}
|a+b|&= a + b\\
&= |a|+|b|
\end{align*}
La última igualdad se sigue de $a = |a|$ y $b = |b|$.

CASO 2: $a < 0$ y $b < 0$.
Notemos que $-a \in P$ y $-b \in P$ por lo que $-a-b \in P$. Así se sigue que:
\begin{align*}
|a+b|&= -(a+b)\tag{por $a+b$ negativo}\\
&= -a – b\tag{por resultado 1}\\
&= (-a)+(-b)\\
&= |a|+|b|
\end{align*}
Por $|a|=-a$ y $|b|=-b$.

CASO 3: $a \geq 0$ y $b < 0$.
Para esta demostración debemos considerar dos subcasos.
SUBCASO 1: $a+b \geq 0$
Dado lo anterior aplicando la definición de valor absoluto ocurre que:
\begin{align*}
|a+b|&=a+b\\
&< a-b \tag{por resultados 2 y3}\\
\end{align*}
Como tenemos que $a-b = |a|+|b|$, concluimos:
$$|a+b|<|a|+|b|$$
SUBCASO 2: $a+b < 0$
Procederemos análogamente al subcaso anterior:
\begin{align*}
|a+b|&=-(a+b)\\
&= -a-b\\
&< a-b \tag{por resultados 2 y3}\\
\end{align*}
Ya que $a-b = |a|+|b|$, tenemos:
$$|a+b|<|a|+|b|$$

CASO 4: $a < 0$ y $b \geq 0$.
Al igual que en el caso 3, para verificar la desigualdad se deberán considerar dos subcasos. La demostración de este caso se deja como parte de la Tarea moral.

$\square$

Para poder dar por terminada la prueba, debemos demostrar los siguientes resultados auxiliares que utilizamos:

Resultados: Para cualesquiera $a,b,c \in \r$ se cumplen:

  1. $-a-b=-(a+b)$
  2. Si $b<0 \Rightarrow b<-b$
  3. Si $a<b \Rightarrow a+c < b+c$

Demostración:
1. Debemos verificar que $-a-b =(-a)+(-b)$ es inverso aditivo de $a+b$.
\begin{align*}
(a+b)+((-a)+(-b))&= (b+a)+((-a)+(-b))\\
&= ((b+a)+(-a))+(-b)\\
&= (b+(a+(-a))+(-b)\\
&= (b+0)+(-b)\\
&= b + (-b)\\
&=0
\end{align*}
Concluimos que $(-a)+(-b) = -(a+b)$

2. Ya que $b<0$ sabemos que $-b \in P$. Queremos probar que $-b-b > 0$.
Observemos que: $-b-b=(-b)+(-b)\in P$.
Por lo que afirmamos que $b<-b$.

3. Bastaría ver que $(b+c)-(a+c) \in P$. Debido a que $b-a \in P$. Observamos lo siguiente.
\begin{align*}
b-a &= (b-a)+0\\
&= (b-a) + (c-c)\\
&= (b+c)-(a+c)
\end{align*}
$$\therefore (b+c)-(a+c) \in P$$
$$\therefore b+c > a+c$$

$\square$

Consecuencias de la desigualdad del triángulo

Sean $a,b \in \r$. Se cumplen las siguientes desigualdades:

  1. $|a-b| \leq |a|+|b|$
  2. $|a|-|b|\leq |a-b|$
  3. $|b|-|a|\leq |a-b|$

En esta ocasión sólo probaremos el punto 2.

Demostración:
2. Cómo $|a|= |a+0|$, al desarrollar esta igualdad obtenemos:
\begin{align*}
|a|&= |a+0|\\
&= |a+ (b+ (-b))|\\
&= |(a-b)+b|\\
&\leq |a-b| + |b| \tag{por la desigualdad del triángulo}\\
\end{align*}
$$\therefore |a| \leq |a-b| + |b|$$
$$\therefore |a|-|b| \leq |a-b|$$

$\square$

Tarea moral

  • Propiedades del valor absoluto.
    Prueba los siguientes resultados:
    • $|a|=|-a|$
    • $|ab|=|a||b|$
    • $|\frac{1}{a}|$ con $a\neq 0$
    • $\frac{|a|}{|b|}$ con $b \neq 0$
  • Desigualdad del triángulo.
    • Realiza la prueba del CASO 4 .
    • Demuestra que:
      • $|a-b| \leq |a|+|b|$
      • $|b|-|a|\leq |a-b|$

Más adelante

En la próxima entrada comenzaremos a resolver desigualdades donde el valor absoluto se encuentra involucrado.

Entradas relacionadas

Geometría Moderna I: Desigualdad del triángulo

Introducción

Terminamos la entrada anterior hablando sobre el criterio lado, lado, ángulo (LLA), en ese orden y dimos un ejemplo para mostrar que en general no se cumple, en esta entrada veremos una condición adicional bajo la cual el criterio si es válido.  También veremos algunos resultados bien conocidos usando congruencia de triángulos entre ellos la desigualdad del triángulo.

Criterio LLA

Proposición 1. Si dos triángulos tienen dos lados respectivamente iguales y el ángulo opuesto al mayor de los lados también igual, entonces los triángulos son congruentes.

Demostración. Por contradicción. Sean $\triangle ABC$ y $\triangle A_{1}B_{1}C_{1}$ dos triángulos tales que $\overline{ AB} = \overline{ A_{1}B_{1}}$, $\overline{ BC} =\overline{ B_{1}C_{1}}$, $\angle BCA = \angle B_{1}C_{1}A_{1}$ y  $\overline{ AB} > \overline{ BC}$.

(1) Primero vamos a construir circunferencias de radio la longitud del mayor de los lados y con centro en los vértices $C$ y  $C_{1}$ respectivamente es decir donde se forma el ángulo opuesto al mayor de los lados.

Notemos que como $\overline{ AB} > \overline{ BC}$ respectivamente $\overline{ A_{1}B_{1}} > \overline{ B_{1}C_{1}}$ entonces los lados $\overline{ BC}$ y $\overline{ B_{1}C_{1}}$ quedan totalmente contenidos dentro de las circunferencias $C$($\overline{ AB}$, $C$ ) y $C$($\overline{ A_{1}B_{1}}$, $C_{1}$ ) respectivamente.

Ahora completemos los triángulos y supongamos que no son congruentes entonces los lados $\overline{ CA}$,  $\overline{ C_{1}A_{1}}$ son distintos, supongamos sin perdida de generalidad que $\overline{ CA} < \overline{ C_{1}A_{1}}$.

(2) Sea $A_{2} \in \overline{ C_{1}A_{1}}$  tal que $\overline{ C_{1}A_{2}} = \overline{ CA}$, ya que $\overline{ BC} =\overline{ B_{1}C_{1}}$ y $\angle BCA = \angle B_{1}C_{1}A_{2}$ por criterio LAL los triángulos $\triangle ABC$ y $\triangle A_{2}B_{1}C_{1}$ son congruentes por lo tanto $\overline{ AB} = \overline{ A_{2}B_{1}}$ es decir el lado $\overline{ A_{2}B_{1}}$ en un radio de la circunferencia $C(\overline{ A_{1}B_{1}}, C_{1})$

(3) esto implica que $A_{2} \in C(\overline{ A_{1}B_{1}}, C_{1})$, pero los puntos $A_{1}$, $A_{2}$ y $C_{1}$ son colineales por lo tanto $C_{1}$ esta fuera de la circunferencia, esto es una contradicción pues por hipótesis $\overline{ A_{1}B_{1}} > \overline{ B_{1}C_{1}}$. Asi los triángulos $\triangle ABC$, $\triangle A_{1}B_{1}C_{1}$ son congruentes.

$\square$

Triángulos isósceles y equilátero

En esta sección hablamos sobre algunos resultados relacionados con triángulos isósceles y equiláteros, también incluimos un resultado sobre la bisectriz de un ángulo como un ejemplo de aplicación del criterio ALA.

Definición 1. Se llama bisectriz de un ángulo a la recta que lo divide en dos ángulos iguales.

Definición 2. Definimos la distancia de un punto $P$ a una recta $l$ como la distancia entre $P$ y la intersección entre la recta y la perpendicular a la recta trazada desde $P$, llamada pie de la perpendicular.

Proposición 2. Cualquier punto $P$ en la bisectriz de un ángulo es equidistante a cada uno de los rayos que forman el ángulo.

Demostración. Consideremos el ángulo $\angle AOB$ y un punto $P$ en la bisectriz de $\angle AOB$, notemos que los triángulos $\triangle AOP$ y $\triangle BOP$ tienen dos ángulos iguales, un ángulo recto por el pie de las respectivas perpendiculares y los ángulos formados por la bisectriz, por el quinto postulado sabemos que la suma de los ángulos internos de cualquier triángulo es igual a dos ángulos rectos, así que los respectivos ángulos restantes son iguales entre sí, ahora los triángulos $\triangle AOP$ y $\triangle BOP$ comparten un lado en común, el lado $\overline {OP}$, por el criterio ALA los triángulos son congruentes y así $\overline { PA} = \overline { PB}$.

$\square$

Definición 3. La altura de un triángulo $\triangle ABC$ en $A$ es la recta perpendicular al lado $\overline{ BC}$ trazada desde el vértice $A$.

Proposición 3. A un triángulo con dos lados iguales le llamamos isósceles, si un triangulo es isósceles entonces tiene dos ángulos internos iguales y los dos ángulos externos adyacentes a dichos ángulos también son iguales, además la altura y la bisectriz trazadas desde el vértice en que concurren los lados iguales y la mediatriz del lado opuesto a dicho ángulo coinciden.

Demostración. (1) Sea $\triangle ABC$ un triángulo isósceles con $\overline{ AB} = \overline{ AC}$ y tracemos la bisectriz del ángulo $\angle BAC$ sea $M$ el punto en donde la bisectriz corta al lado opuesto.

(2) Los triángulos $\triangle AMB$ y $\triangle AMC$ tienen dos lados iguales, $\overline{ AB} = \overline{ AC}$ por hipótesis, $\overline{ AM}$ es un lado en común y $\angle BAM = \angle MAC$ por ser $\overline{ AM}$ bisectriz, por criterio LAL los triángulos son congruentes, así los ángulos en la base son iguales $\angle ABM = \angle ACM$.

(3) Por el segundo postulado podemos extender el segmento $\overline{ AB}$ y por el cuarto postulado $\angle ABM + \angle ABD = \pi = \angle ACM + \angle ECA$, así los ángulos externos son iguales $\angle ABD = \angle ECA$.

(4) Ahora como los ángulos $\angle BMA$ y $\angle CMA$ son adyacentes e iguales y suman 2 dos ángulos rectos entonces son rectos por lo tanto $\overline{ AM}$ es perpendicular a $\overline{ BC}$ y así $\overline{ AM}$ es altura, por ultimo como $\overline{ BM} = \overline{ CM}$ entonces $M$ es el punto medio de $\overline{ BC}$, por lo tanto $\overline{ AM}$ es mediatriz.

$\square$

Corolario. Decimos que un triángulo es equilátero si todos sus lados son iguales. Si un triángulo es equilátero entonces sus ángulos internos son iguales.

Demostración. Sea $\triangle ABC$ un triángulo equilátero, en particular tiene dos lados iguales digamos $\overline{ AB} = \overline{ AC}$, sin atender a la longitud del lado $\overline{ BC}$ podemos aplicar el mismo procedimiento de la proposición anterior y llegar a que $\angle ABC = \angle ACB$, ahora hacemos los mismo para los lados $\overline{ AB} = \overline{ BC}$ y obtenemos que $\angle CAB = \angle ACB$, por lo tanto, los tres ángulos internos de un triangulo equilátero son iguales, $\angle ABC = \angle ACB = \angle CAB$.

$\square$

Proposición 4. Consideremos un triángulo $\triangle ABC$ y construyamos sobre $\overline{ AB}$ y $\overline{ AC}$ triángulos equiláteros $\triangle ABC_{1}$ y $\triangle ACB_{1}$ respectivamente, entonces $\overline{ BB_{1}} = \overline{ CC_{1}}$.

Demostración. Consideremos los triángulos $\triangle BAB_{1}$ y $\triangle CAC_{1}$ como en la imagen, notemos que $\overline{ BA} = \overline{ AC_{1}}$, $\overline{ AC} = \overline{ AB_{1}}$ y
$\angle BAB_{1} = \angle BAC + \angle CAB_{1} = \angle BAC + \angle BAC_{1} = \angle CAC_{1}$, $\angle CAB_{1} = \angle BAC_{1}$
pues los triángulos $\triangle ABC_{1}$, $\triangle ACB_{1}$ son equiláteros. Por LAL $\triangle BAB_{1}$ y $\triangle CAC_{1}$ son congruentes por lo tanto $\overline{ BB_{1}} = \overline{ CC_{1}}$.

$\square$

Desigualdad del triángulo

La desigualdad del triángulo es una propiedad muy importante no solamente en Geometría sino en Análisis por ejemplo, sobre todo por que los espacios en los que se trabaja tambián tienen estructura geométrica. Antes de ver la desigualdad necesitamos mostrar un lema.

Lema. Para todo triángulo $\triangle ABC$ al lado mayor de cualesquiera dos lados se opone el ángulo mayor, es decir si $\overline{ AB} > \overline{ AC}$ entonces $\angle ACB > \angle ABC$.

La propiedad reciproca también es cierta, dados cualesquiera dos ángulos internos de un triángulo se tiene que al mayor de los ángulos se opone el mayor de los lados.

Demostración. Sea $\triangle ABC$ un triángulo tal que $\overline{ AB} > \overline{ AC}$ por el segundo postulado podemos extender el lado $\overline{ AC}$ hasta un punto $C_{1}$ tal que $\overline{ AB} = \overline{ AC_{1}}$.

Notemos que $\angle ACB$ es un ángulo exterior del triángulo $\triangle CBC_{1}$ por el quinto postulado sabemos que es igual a la suma de los ángulos interiores no adyacentes  a el  $\angle ACB = \angle AC_{1}B + \angle C_{1}BC$ por lo tanto $\angle ACB > \angle AC_{1}B$, pero $\angle AC_{1}B = \angle ABC_{1}$, pues el triángulo $\triangle ABC_{1}$ es isósceles, así que $\angle ACB > \angle ABC_{1}$.

Por otro lado $\angle ABC_{1} = \angle ABC + \angle CBC_{1}$, de donde obtenemos que $\angle ABC_{1} > \angle ABC$, finalmente por transitividad $\angle ACB > \angle ABC$. La demostración reciproca se dejara como ejercicio.

$\square$

Teorema. Desigualdad del triángulo. Para todo triángulo se cumple que la suma de cualesquiera dos de sus lados es mayor que el lado restante.

Demostración. Sea $\triangle ABC$ un triángulo, podemos extender $\overline{ BC}$ hasta un punto $C_{1}$ tal que $\overline{ AC} = \overline{ AC_{1}}$.

El ángulo $\angle BAC_{1} = \angle BAC + \angle CAC_{1}$, por lo tanto $\angle BAC_{1} > \angle CAC_{1}$, además $\angle CAC_{1} = \angle CC_{1}A$ ya que el triángulo $\triangle ACC_{1}$ es isósceles, así que $\angle BAC_{1} > \angle CC_{1}A$, consideremos estos ángulos como ángulos interiores del triángulo $\triangle ABC_{1}$, por el lema anterior $\overline{ BC_{1}} > \overline{ AB}$ pero $\overline{ BC_{1}} = \overline{ BC} + \overline{ CC_{1}} = \overline{ BC} + \overline{ AC}$.

Así $\overline{ BC} + \overline{ AC} > \overline{ AB}$. Las demás desigualdades se muestran de manera análoga.

$\square$

Tarea moral

Los siguientes ejercicios y problemas te ayudarán a reforzar lo aprendido en esta entrada.

  1. Muestra que si un triangulo tiene dos ángulos iguales, entonces los ángulos opuestos a estos ángulos también son iguales.
  2. Decimos que un cuadrilátero es un paralelogramo si los pares de lados opuestos son paralelos, las diagonales de un cuadrilátero son aquellas que se forman al unir vértices que no comparten un lado en común. Demuestra que un cuadrilátero es un paralelogramo si y solo si sus diagonales se intersecan en su punto medio.
  3. En un poblado situado junto a un rió, cuyo borde es totalmente recto, hay un incendio en un punto $A$, la estación de bomberos se encuentra en un Punto $B$ del mismo lado del río donde se dio el incendio, los bomberos necesitan primero pasar por el río para abastecerse de agua, ¿que punto $P$ en el borde del río hace que el trayecto $\overline{ BP} + \overline{ PA}$ sea mínimo?
  4. Demuestra que para cualesquiera dos ángulos internos de un triángulo se tiene que al mayor de los ángulos se opone el mayor de los lados.
  5. Demuestra el reciproco de la desigualdad del triángulo. Si $a$, $b$ y $c$ son números positivos tales que $a + b > c$, $a + c > b$ y $b + c > a$, es posible construir un triángulo con lados $a$, $b$ y $c$.

Más adelante…

En la siguiente entrada veremos el Teorema de Tales que nos permitirá hablar sobre otra relación importante entre triángulos que es el de semejanza.

Entradas relacionadas

Seminario de Resolución de Problemas: Desigualdades básicas

Introducción

En las entradas correspondientes a esta parte del curso aprenderemos varias técnicas que nos permitirán resolver problemas que involucren desigualdades. El área es enorme y hay libros enteros dedicados a ello. Nosotros sólo veremos algunas técnicas. Comenzaremos con desigualdades básicas y nos enfocaremos en los siguientes temas:

  • Desigualdad $x^2\geq 0$ y desigualdad del triángulo
  • Desigualdades de medias
  • La desigualdad de Cauchy-Schwarz
  • Técnicas de cálculo en desigualdades

En esta entrada veremos el primer inciso, que consiste de dos ideas muy sencillas:

Desigualdad $x^2\geq 0$. El cuadrado de cualquier número real es mayor o igual a cero. Es cero si y sólo si el número es cero.

Desigualdad del triángulo. Si $V$ es un espacio vectorial con norma $\norm{\cdot}$, entonces para cualesquiera vectores $u$ y $v$ se tiene que $$\norm{u}+\norm{v}\geq \norm{u+v}.$$

La desigualdad $x^2\geq 0$ parece muy inocente. Sin embargo, es una herramienta muy versátil cuando se combina con manipulaciones algebraicas creativas. La desigualdad del triángulo la estamos enunciando para espacios vectoriales con norma en general. Dos casos particulares que a lo mejor te son más familiares son los siguientes:

Desigualdad del triángulo para $\mathbb{R}$. Si $a$ y $b$ son números reales, entonces $|a|+|b| \geq |a+b|$.

Desigualdad del triángulo en $\mathbb{R}^n$. Si $ABC$ es un triángulo en el plano (o dimensiones más altas) , de lados de longitudes $\overline{AB}=c$, $\overline{BC}=a$ y $\overline{CA}=b$, entonces
\begin{align*}
a+b&\geq c\\
b+c &\geq a\\
c+a &\geq b.
\end{align*}

Si una de las igualdades se da, $ABC$ es un triángulo degenerado, es decir, con sus tres vértices alineados. En otro caso, todas las desigualdades son estrictas.

Veamos aplicaciones de estas desigualdades básicas.

La desigualdad $\frac{a^2+b^2}{2}\geq \sqrt{ab}$

Comenzaremos probando de dos formas distintas una desigualdad que también resulta útil en otras ocasiones.

Problema. Sean $a$ y $b$ números reales mayores o iguales a cero. Muestra que $$\frac{a+b}{2}\geq \sqrt{ab},$$ y que la igualdad se da si y sólo si $a$ y $b$ son iguales.

A esta desigualdad se le conoce como la desigualdad MA-MG para dos números reales. También forma parte de las desigualdades básicas que te ayudará conocer. Se llama así pues en el lado izquierdo tenemos a la media aritmética de los números $a$ y $b$, y al lado derecho tenemos la media geométrica de los números $a$ y $b$. En realidad la desigualdad se vale para más reales no negativos, pero esto lo veremos en otra entrada.

Sugerencia pre-solución. El problema se puede resolver tanto de manera algebraica, (usando $x^2\geq 0$) como de manera geométrica (usando la desigualdad del triángulo).

Para resolverlo de la primera forma, trabaja hacia atrás. Haz manipulaciones algebraicas para formular problemas equivalentes hasta que llegues a una desigualdad obvia.

Para resolverlo de la segunda forma, haz una figura en la que puedas representar tanto a la media geométrica como a la aritmética. Una forma de hacerlo es comenzar con una semicircunferencia de diámetro $a+b$.

Para identificar el caso de igualdad, haz un análisis de casos.

Solución algebraica. Queremos mostrar que $$\frac{a+b}{2}\geq \sqrt{ab}.$$ Pasando el dos multiplicando, y luego $2\sqrt{ab}$ restando al lado izquierdo, esta desigualdad igualdad ocurre si y sólo si $$a+b-2\sqrt{ab}\geq 0.$$ En el lado izquierdo identificamos un binomio al cuadrado, que se puede factorizar para dar la desigualdad equivalente $$\left(\sqrt{a}-\sqrt{b}\right)^2\geq 0.$$

Esta desigualdad es de la forma $x^2\geq 0$, así que es claramente cierta. La igualdad ocurre si y sólo si $\sqrt{a}-\sqrt{b}=0$, lo cual sucede si y sólo si $a=b$. Todos los pasos que hicimos son reversibles. Esto termina la solución.

$\square$

Solución geométrica. Consideremos la siguiente figura, en donde tenemos una semicircunferencia de diámetro $\overline{AB}=a+b$ y centro $O$. Aquí $C$ es un punto en $AB$ tal que $\overline{AC}=a$ y entonces $\overline{CB}=b$. Además, $D$ es un punto sobre la circunferencia tal que $DC$ es perpendicular a $AB$. Llamemos $d=\overline{CD}$.

Prueba visual de la desigualdad entre la media aritmética y media geométrica usando desigualdades básicas
Prueba visual de MA-MG

Como $\triangle AOD$ y $\triangle BOD$ son isósceles por tener dos lados iguales al radio de la circunferencia, tenemos que $\angle ADO = \angle DAO$ y $\angle BDO = \angle DBO$. Usando estas igualdades y que la suma de los ángulos internos de $\triangle ABD$ es $180^\circ$, se puede mostrar que el ángulo $ADB$ es de $90^\circ$.

De este modo, $\triangle ACD$ y $\triangle DCB$ son semejantes (por ser ambos semejantes a $\triangle ABD$ por criterio AA). Por la semejanza, tenemos que $$\frac{a}{d}=\frac{d}{b},$$ de donde $d=\sqrt{ab}$.

Para terminar la demostración, tomamos un punto $E$ sobre $DO$ tal que $\angle EOC = \angle ECO$. Por la desigualdad del triángulo en $\triangle DEC$, tenemos que

\begin{align*}
\sqrt{ab}&=\overline{DC}\\
&\leq \overline{DE} + \overline{EC}\\
&= \overline{DE} + \overline {EO}\\
&= \overline{DO}\\
&=\frac{a+b}{2}.
\end{align*}

Con esto demostramos la desigualdad. Para terminar el problema, necesitamos ver cuándo se dan los casos de igualdad. Se tiene la igualdad si y sólo si $\triangle DEC$ es un triángulo degenerado, lo cual sucede si y sólo si $E$ está en el segmento $DC$. Esto sólo es posible cuando $DO$ es perpendicular a $AB$, lo cual sucede si y sólo si $C=O$, si y sólo si $AC=CB$, si y sólo si $a=b$.

$\square$

Desigualdades básicas aplicadas a un problema de la Olimpiada Mexicana de Matemáticas

El siguiente problema apareció como parte de los exámenes selectivos que el Comité Nacional de la Olimpiada Mexicana de Matemáticas envía a los estados para seleccionar a sus estudiantes en distintas etapas. Tiene muchas formas de resolverse, pero veamos cómo se puede resolver con desigualdades básicas.

Problema. Sean $a,b,c,d$ reales positivos con $a^2+b^2+c^2+d^2=4$. Muestra que $$a^5+b^5+c^5+d^5 \geq a+b+c+d$$

Sugerencia pre-solución. Modifica el problema a mostrar como desigualdad auxiliar que para un real no negativo $x$ se tiene que $$x^5-2x^2-x+2\geq 0.$$ Esta desigualdad se puede demostrar usando que los cuadrados son no negativos.

Solución. Vamos a probar primero la desigualdad $$x^5-2x^2-x+2\geq 0.$$ Para que sea un poco más fácil, factorizaremos la expresión del lado izquierdo.

Notemos que $1$ es una raíz de $x^5-2x^2-x+2$, de modo que por el teorema del factor podemos factorizar $x-1$ del polinomio. Obtenemos que $$x^5-2x^2-x+2=(x-1)(x^4+x^3+x^2-x-2).$$

Notemos que, nuevamente, $1$ es una raíz de $(x^4+x^3+x^2-x-2)$. Al factorizar $x-1$ de nuevo, obtenemos que $$x^5-2x^2-x+2=(x-1)^2(x^3+2x^2+3x+2).$$

Ya estamos listos para probar la desigualdad que queremos. Notemos que $(x-1)^2\geq 0$ y que $x^3+2x^2+3x+2$ es mayor o igual que cero para $x\geq 0$ pues es un polinomio con puros coeficientes positivos. Esto prueba la desigualdad auxiliar. Reescribiéndola, tenemos que $$x^5\geq 2x^2+x-2.$$ Aplicándola en esta forma a los cuatro reales positivos $a,b,c,d$ del problema, y usando que la suma de cuadardos es $4$, obtenemos que
\begin{align*}
a^5 & + b^5+c^5+d^5\\
&\geq 2(a^2+b^2+c^2+d^2)+a+b+c+d-8\\
&=2\cdot 4 + a+b+c+d-8\\
&=a+b+c+d.
\end{align*}

Esto termina el problema.

$\square$

El primer paso parece un poco artificial. ¿Por qué queremos probar esa desigualdad auxiliar? En otra entrada de blog escribí cómo se puede llegar a las ideas de esta solución.

Desigualdad del triángulo aplicada a la construcción de tetraedros

Si pegamos cuatro triángulos equiláteros en el espacio se hace un tetraedro regular. De manera similar, si pegamos cuatro triángulos como el siguiente, también se hace un tetraedro en el espacio:

Pegar cuatro triángulos congruentes para hacer un tetraedro

La intuición nos dice que debería poderse con cualquier triángulo. Pero esta intuición está mal.

Problema. Sea $ABC$ un triángulo con un ángulo mayor a $90^\circ$. Muestra que no existe ningún tetraedro en el espacio tal que sus cuatro caras sean congruentes a $ABC$.

Sugerencia pre-solución. Procede por contradicción. Por simetría, puedes asumir que el ángulo mayor a $90^\circ$ es el ángulo en $A$. Usa como punto auxiliar al punto medio de $BC$ y usa desigualdades.

Solución. Una observación inicial es que si $ABC$ es un triángulo, $M$ es el punto medio de $BC$ y su ángulo interno en $A$ es mayor a $90^\circ$, entonces $2\overline{AM}<\overline{BC}$. Esto se muestra trazando una circunferencia de diámetro $BC$.

Desigualdad para la mediana en términos del ángulo que hace.

De hecho,

  • Un punto $X$ está sobre la circunfencia si y sólo si $\angle BXC = 90 ^\circ$, si y sólo si $\overline{OX}=\overline{OA}$.
  • $X$ está dentro de la circunferencia si y sólo si $\angle BXC > 90^\circ$, si y sólo si $\overline{OX}<\overline{OA}$ y
  • $X$ está fuera de la circunferencia si y sólo si $\anble BXC < 90^\circ$, si y sólo si $\overline{OX}>\overline{OA}$.

Resolvamos el problema. Sin pérdida de generalidad, el ángulo en $A$ es mayor a $90^\circ$. Entonces $\overline{AM}<\frac{\overline{BC}}{2}$, de donde $2\overline{AM}<\overline{BC}$.

Supongamos que se pudiera hacer en el espacio un tetraedro $WXYZ$ tal que cada una de las caras es congruente al triángulo $ABC$. Sin pérdida de generalidad, tenemos que
\begin{align*}
\overline{WX}&=\overline{YZ}=\overline{AB}\\
\overline{XY}&=\overline{ZW}=\overline{BC}\\
\overline{WY}&=\overline{XZ}=\overline{CA}.
\end{align*}

Tomemos el punto medio $M$ de $XY$. En $\triangle ZMW$, tenemos que
\begin{align*}
\overline{ZM}&=\overline{AM}\\
\overline{WM}&=\overline{AM}.
\end{align*}

Así, usando la desigualdad del triángulo en $\triangle ZMW$ tenemos que \begin{align*}
2\overline{AM}&=\overline{ZM}+\overline{WM}\\
&\geq \overline{ZW}\\
&=\overline{BC}.
\end{align*}

Esto es una contradicción con la desigualdad $2\overline{AM}<\overline{BC}$ que ya habíamos mostrado.

$\square$

Más problemas

Puedes encontrar más problemas de desigualdades básicas en la sección 7.1 del libro Problem Solving through Problems de Loren Larson. También puedes consultar más técnicas y problemas en el libro Desigualdades de la Olimpiada Mexicana de Matemáticas.

Álgebra Superior II: Norma y distancia en los complejos

Introducción a norma en los complejos

Ya definimos a $\mathbb{C}$ y sus operaciones. También definimos y dimos las propiedades de la conjugación compleja. Ahora hablaremos de la norma en los números complejos.

Definición. Dado el número complejo $w=a+bi$, su norma es $\sqrt{a^2+b^2}$. Denotamos a la norma de $w$ por $\Vert w \Vert$.

Ejemplo. La norma del complejo $\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{2}}i$ es $$\sqrt{\left(\frac{1}{\sqrt 2}\right)^2+ \left(\frac{1}{\sqrt 2}\right)^2}=\sqrt{\left(\frac{1}{2}+\frac{1}{2}\right)}=\sqrt{1}=1.$$ La norma del complejo $-3i$ es $$\sqrt{0^2+(-3)^2}=\sqrt{9}=3.$$

$\square$

Cuando pensamos a los números complejos como elementos del plano, identificando al complejo $a+bi$ con el punto $(a,b)$, la norma es una forma de medir qué tan alejado está del origen.

A partir de la noción de norma podemos definir la noción de distancia, que dice qué tan lejos están dos complejos entre sí.

Definición. Para dos números complejos $w$ y $z$ definimos la distancia entre $w$ y $z$ como la norma de $w-z$, es decir, $\Vert w-z\Vert$. La denotamos por $d(w, z)$

Propiedades básicas de la norma en los complejos

La norma en los complejos está relacionada con otras operaciones definidas como sigue:

Teorema 1. Sean $w$ y $z$ números complejos. Entonces:

  1. La norma es la raíz del producto de un complejo por su conjugado, es decir, $\Vert z \Vert = \sqrt{z\overline{z}}.$
  2. $\Vert z \Vert$ es un número real no negativo.
  3. $\Vert z \Vert = 0$ si y sólo si $z=0$.
  4. La norma es multiplicativa, es decir, $\Vert zw \Vert = \Vert z \Vert \Vert w \Vert$.

Demostración. Si $z=a+ib$, entonces $\overline{z}=a-ib$, y por lo tanto

\begin{align*}
\sqrt{z\overline{z}}&=\sqrt{a^2-(ib)^2}\\
&=\sqrt{a^2+b^2}\\
&=\Vert z \Vert.
\end{align*}

La norma de $z=a+ib$ es la suma del cuadrado de dos reales. Cada uno de ellos es no negativo, así que esa suma es no negativa. De este modo, al sacar raíz cuadrada obtenemos un número real y no negativo. Para que este número sea cero, necesitamos que $a^2=b^2=0$, es decir, que $a=b=0$, lo cual sucede justo cuando $z=0$.

Para mostrar la última propiedad, se pueden tomar dos números complejos explícitos y hacer las cuentas. Sin embargo, también podemos probarla usando la primer propiedad y la conmutatividad del producto, de números complejos, como sigue:

$$\Vert zw \Vert ^2= zw\overline{zw} = z\overline{z} w\overline{w}= \Vert z \Vert^2 \Vert w \Vert ^2.$$

Sacando raíz cuadrada de ambos lados obtenemos el resultado deseado.

$\square$

Ejercicios que usan las propiedades básicas

Veamos algunas formas en las que podemos usar las propiedades anteriores, de la norma, en los complejos.

Ejercicio. Muestra que $z$ y $\overline{z}$ tienen la misma norma.

Solución. Usando que $\overline{\overline{z}}=z$, la propiedad 1 del Teorema 1 y la conmutatividad del producto en $\mathbb{C}$ tenemos que $$\Vert \overline{z}\Vert = \sqrt{\overline{z}z}=\sqrt{z\overline{z}} = \Vert z \Vert.$$

$\square$

El siguiente es un corolario de la propiedad 4 del Teorema 1, que se puede mostrar usando inducción. La prueba de este corolario se deja como tarea moral.

Corolario. Para $z$ un complejo y $n$ un natural, se tiene que $$\Vert z^n \Vert = \Vert z \Vert ^n.$$

Ejercicio. Determina la norma del complejo $$\left(3+4i\right)^{20}.$$

Solución. Tomemos $u=3+4i$. El problema nos pide determinar $\Vert u^{20} \Vert$. Una forma de hacerlo es realizar primero la operación $u^{20}$, pero esto parece ser complicado. En vez de eso, usamos el Corolario anterior. Para ello, notamos que $$\Vert u \Vert = \sqrt{3^2+4^2}= \sqrt{25}=5.$$

De este forma, por el corolario, la norma que buscamos es $$\Vert u^{20} \Vert = \Vert u \Vert ^{20}= 5^{20}.$$

$\square$

Ejercicio. Sea $z$ un número complejo. Muestra que los siguientes números complejos tienen la misma norma: $$z, -z, iz, -iz.$$

Solución. Se sigue de la propiedad $4$ del Teorema 1 y de que $$\Vert -1 \Vert = \Vert i \Vert = \Vert -i \Vert = 1.$$

$\square$

Ejercicio. Muestra que para un número real, $r$, su norma compleja coincide con su valor absoluto.

Solución. Usando la propiedad 1 del Teorema 1 y que $\overline{r}=r$, tenemos que $$\Vert r \Vert = \sqrt{\overline{r}r}=\sqrt{r^2}=|r|.$$

$\square$

La desigualdad del triángulo

¿Cómo se comporta la norma con la suma de los complejos? Lo responderemos en esta sección. Pero antes, de pasar al teorema 2 que contiene la respuesta, veamos un pequeño resultado auxiliar.

Lema. Si $z$ es un número complejo, entonces $|\text{Re}(z)| \leq \Vert z \Vert$ y $|\text{Im}(z)|\leq \Vert z \Vert$. La primer igualdad se da si y sólo si $z$ es un número real y la segunda si y sólo si $z$ es un número imaginario puro, es decir, si su parte real es $0$.

Demostración. Tomemos $z=a+ib$. Tenemos que $a^2\leq a^2+b^2$, de modo que sacando raíces cuadradas tenemos que $$|\text{Re}(z)| = |a| = \sqrt{a^2}\leq \sqrt{a^2+b^2}=\Vert z \Vert.$$ La igualdad se da si y sólo si $b=0$, lo cual sucede si y sólo si $z$ es real.

$\square$

La demostración de la segunda parte es análoga, y queda como tarea moral.

Teorema 2 (desigualdad del triángulo). Para dos números complejos $w$ y $z$ se tiene que $$\Vert w+z \Vert \leq \Vert w \Vert + \Vert z \Vert.$$ La igualdad se da si y sólo si $w$ es un múltiplo real de $z$, es decir, si y sólo si existe un real $r$ tal que $w=rz$.

Demostración. Tenemos que:
\begin{align*}
\Vert w+z \Vert^2 &= (w+z)\overline{(w+z)}\\
&=(w\overline{w}+w\overline{z}+\overline{w}z+z\overline{z})\\
&=\Vert w \Vert^2 + 2\text{Re}(w\overline{z}) + \Vert z \Vert^2.
\end{align*}

Podemos continuar usando la desigualdad del Lema anterior (notemos que se obtiene la igualdad si y sólo si $w\overline{z}$ es real)

\begin{align*}
&\leq \Vert w \Vert^2 + 2\Vert w\overline{z}\Vert + \Vert z \Vert^2\\
&=\Vert w \Vert ^2 + 2 \Vert w \Vert \Vert z \Vert + \vert z \Vert^2\\
&=\left(\Vert w \Vert + \Vert z \Vert \right)^2.
\end{align*}

Esta cadena de desigualdades se resume a $$ \Vert w+z \Vert^2 \leq \left(\Vert w \Vert + \Vert z \Vert \right)^2, $$ de donde sacando raíz cuadrada en ambos lados, obtenemos lo deseado.

Como observamos durante la demostración, la igualdad se da si y sólo si $w\overline{z}$ es un número real, es decir, si y sólo si existe un real $s$ tal que $w\overline{z}=s$. Multiplicando por $z$ de ambos lados, obtenemos que $$w\Vert z \Vert^2 = sz.$$ Si $z=0$, entonces $w=0$ y por lo tanto $w$ es trivialmente un múltiplo real de $z$. Si $z\neq 0$, entonces $w=\frac{s}{\Vert z \Vert ^2}\cdot z$ también es un múltiplo real de $z$, con $r=\frac{s}{\Vert z \Vert ^2}$. Esto termina el análisis, de los casos, de la igualdad.

$\square$

Propiedades de la distancia

En la introducción definimos la distancia entre dos números complejos $w$ y $z$ como la norma de $w-z$, en símbolos, $d(w,z)=\Vert w-z \Vert$. Para formalizar ideas veamos la siguiente definición.

Definición. Sea $X$ un conjunto y $e: X\times X\rightarrow \mathbb{R}^{+}\cup \lbrace 0\rbrace$ una función, $e$ es una métrica en $X$ si, para todo $x$, $y$ y $z\in X$, satisface que:

  1. $e(x, y)\geq 0$.
  2. $e(x, y)=0$ si, y sólo si, $x=y$.
  3. $e(x, y)=e(y, x)$.
  4. $e(x, y)\leq e(x, z) + e(y, z).$

Observa que a partir de los teoremas 1 y 2, la distancia $d$ cumple las propiedades de esta definición, por lo que decimos que $d$ es una métrica en $\mathbb{C}$. Así tenemos el siguiente teorema.

Teorema 3. Sean $w$ y $z$ dos números complejos cualesquiera y $d(w, z)=\vert\vert w- z\vert\vert$. Entonces $d$ es una métrica en $\mathbb{C}$.

Demostrar este teorema es sencillo a partir de lo que ya vimos, así que su demostración queda como tarea moral.

Tarea moral

Los siguientes ejercicios y problemas te ayudarán a reforzar lo aprendido en esta entrada.

  • Muestra la propiedad 4 del Teorema 1 usando de manera explícita las partes reales e imaginarias de los complejos $z$ y $w$.
  • Demuestra el corolario de normas de potencias de complejos.
  • Determina la norma del complejo $(12-5i)^{10}$.
  • Determina la norma del complejo $(1+2i)(-3+4i)(5-6i)(-7-8i)$.
  • Demuestra la segunda parte del Lema.
  • Demuestra el Teorema 3.
  • Sean $w=(3+4i)(5-i)$ y $z=(5-i)(4+2i)$. Determina $d(w,z)$.