Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Cálculo Diferencial e Integral I: Definición de continuidad y sus propiedades

Por Juan Manuel Naranjo Jurado

4 respuestas

Introducción

En esta entrada definiremos la continuidad de una función, es probable que hayas estudiado antes tal concepto y la manera en que se suele definir de forma intuitiva es mediante la siguiente sentencia: «Si puedes dibujar la función sin levantar el lápiz, entonces es una función continua». Nosotros revisaremos el tema con mayor formalidad, pero notarás que tal enunciado será de ayuda para interpretar la definición.

Definición de continuidad

En palabras sencillas, una función es continua en un punto $x_0$ si el límite en tal punto es igual a evaluar la función en $x_0$.

Definición. Sean $f: A \to \mathbb{R}$ con $A \subset \mathbb{R}$ y $x_0 \in A$. La función $f$ es continua en $x_0$ si para todo $\varepsilon > 0$, existe $\delta > 0$ tal que para todo $x \in A$ que satisface que $0<|x-x_0|< \delta$, entonces se cumple que $|f(x)-f(x_0)|< \varepsilon$.

Observación. Si además $x_0$ es un punto de acumulación de $A$, entonces se dice que $f$ es continua en $x_0$ si $$ \lim_{x \to x_0} f(x) = f(x_0).$$

En la entrada de definición formal de límite se vieron algunos ejemplos de funciones continuas; específicamente se dejaron dos ejercicios como tarea moral que procederemos a probar en esta entrada.

Ejemplo 1. La función $f(x) = c$, es continua en $x_0$ para todo $x_0 \in \mathbb{R}$.

Demostración.

Sea $\varepsilon > 0$. Dado que la función es constante, cualquier valor de delta nos funciona, así consideremos $\delta = 1$.

Si $0<|x-x_0|< \delta$, entonces

\begin{align*}
|f(x)-f(x_0)| & = |c-c|\\
& = 0 \\
& < \varepsilon.
\end{align*}

$$\therefore \lim_{x \to x_0} f(x) = f(x_0).$$

$\square$

Ejemplo 2. La función $f(x) = x$ es continua en $x_0$ para todo $x_0 \in \mathbb{R}$.

Demostración.

Sea $\varepsilon > 0$. Consideremos $\delta = \varepsilon$.

Si $0<|x-x_0|<\delta$, entonces
\begin{align*}
|f(x)-f(x_0)| & = |x-x_0|\\
& < \delta \\
& = \varepsilon.
\end{align*}

$$\therefore \lim_{x \to x_0} f(x) = f(x_0).$$

Antes de revisar el siguiente ejemplo, demostraremos un resultado que nos será muy útil al momento de calcular límites.

Proposición. Sea $f: A \to \mathbb{R}$, entonces

$$\lim_{x \to x_0} f(x) = L \Leftrightarrow \lim_{h \to 0} f(x_0+h) = L.$$

Demostración.

$\Rightarrow]$ Supongamos que $$\lim_{x \to x_0} f(x) = L.$$

Sea $\varepsilon > 0$. Existe $\delta > 0 $ tal que si $0 < |x-x_0| < \delta$, entonces $|f(x)-L| < \varepsilon.$

Notemos que si $0 < |h| < \delta$, entonces $0 < |(h+x_0)-x_0| < \delta$. Por lo tanto, $|f(x_0+h)-L| < \varepsilon.$

$$\therefore \lim_{h \to 0} f(x_0+h) = L.$$

$\Leftarrow]$ Supongamos que $$\lim_{h \to 0} f(x_0+h) = L.$$

Sea $\varepsilon>0$. Existe $\delta >0$ tal que si $0<|h|<\delta$, entonces $|f(x_0+h)-L|< \varepsilon.$

Notemos que si $0<|x−x_0|<\delta$, entonces $|f(x_0+(x−x_0))−L|=|f(x)−L|<\varepsilon$.

$$\therefore \lim_{x \to x_0} f(x) = L.$$

$\square$

Ejemplo 3. La función $f(x) = sen(x)$ es continua en $x_0$ para todo $x_0 \in \mathbb{R}.$

Demostración.

Para probar la continuidad de esta función, procederemos a calcular sus límites laterales y emplearemos el hecho de que las funciones seno y coseno son continuas en $x = 0$, lo cual se demostró en esta entrada. Además, usaremos las siguientes identidades trigonométricas:

  1. $$sen(a+b) = sen(a)cos(b) + cos(a)sen(b).$$
  2. $$sen(a-b) = sen(a)cos(b) – cos(a)sen(b).$$

Calculando el límite por la derecha, usando la primera identidad y empleando la proposición anterior, tenemos

\begin{align*}
\lim_{x \to x_0^+} sen(x) & = \lim_{h \to 0^+} sen(x_0+h) \\
& = \lim_{h \to 0^+} sen(x_0)cos(h) + cos(x_0)sen(h) \text{, pues $h > 0$} \\
& = sen(x_0)cos(0) + cos(x_0)sen(0) \\
& = sen(x_0).
\end{align*}

Calculando el límite por la izquierda, usando la segunda identidad y empleando la proposición anterior, tenemos

\begin{align*}
\lim_{x \to x_0^-} sen(x) & = \lim_{h \to 0^-} sen(x_0+h) \\
& = \lim_{h \to 0^-} sen(x_0)cos(h) – cos(x_0)sen(h) \text{, pues $h < 0$} \\
& = sen(x_0)cos(0) + cos(x_0)sen(0)\\
& = sen(x_0).
\end{align*}

Como los límites laterales existen y coinciden, se concluye que

$$\lim_{x \to x_0} sen(x) = sen(x_0).$$

Por lo tanto, la función es continua.

$\square$

Propiedades básicas de la continuidad

A continuación revisaremos tres propiedades aritméticas de las funciones continuas.

Teorema. Si $f$ y $g$ son funciones continuas en $x_0$, entonces

  1. $f+g$ es continua en $x_0$.
  2. $f \cdot g$ es continua en $x_0$.
  3. Si además $g(x_0) \neq 0$, entonces $\frac{1}{g}$ es continua en $x_0$.

Demostración.

Como $f$ y $g$ son continuas en $x_0$, entonces
$$\lim_{x \to x_0} f(x) = f(x_0) \quad \text{ y } \quad \lim_{x \to x_0} g(x) = g(x_0).$$
Por las propiedades del límite, tenemos lo siguiente
\begin{align*}
\lim_{x \to x_0} (f + g)(x) & = \lim_{x \to x_0} [f(x) + g(x)] \\
& = \lim_{x \to x_0} f(x) + \lim_{x \to x_0} g(x) \\
& = f(x_0) + g(x_0) \\
& = (f+g)(x_0).
\end{align*}

$$\therefore \lim_{x \to x_0} (f + g)(x) = (f+g)(x_0).$$

Por lo tanto, $f+g$ es continua en $x_0$.

Podemos notar que los incisos siguientes tienen demostraciones análogas ocupando las propiedades demostradas para el límite de una función, por lo cual su prueba se omitirá.

$\square$

Gracias al teorema anterior y los ejemplos vistos, tenemos una gama de funciones continuas, las funciones polinomiales: $p(x) = \alpha_n x^n + \alpha_{n-1} x^{n-1} + \ldots + \alpha_1 x +\alpha_0$.

La siguiente propiedad que veremos hace referencia a la composición de funciones continuas.

Teorema. Si $g$ es continua en $x_0$ y $f$ es continua en $g(x_0)$, entonces la composición de funciones $f \circ g$ es continua en $x_0.$

Demostración.

Queremos probar que $$\lim_{x \to x_0} (f \circ g)(x) = (f \circ g)(x_0)$$
y para demostrarlo procederemos mediante la definición épsilon-delta.

Sea $\varepsilon > 0$.

Como $f$ es continua en $g(x_0)$, existe $\delta’ > 0$ tal que para todo $y$ que cumpla $|y-g(x_0)|< \delta’$, entonces $|f(y)-f(g(x_0))|< \varepsilon$.

Dado que estamos viendo la composición, podemos considerar particularmente $y = g(x)$, de esta manera se tiene que si $|g(x)-g(x_0)|< \delta’$, entonces
\begin{align*}|f(g(x))-f(g(x_0))| <\varepsilon. \tag{1} \end{align*}

Como $g$ es continua en $x_0$, para cualquier valor positivo arbitrario, en este caso consideraremos $\delta’>0$, existe $\delta > 0$ tal que si $0<|x-x_0|<\delta$, entonces
\begin{align*} |g(x)-g(x_0)| < \delta’. \tag{2} \end{align*}

De (1) y (2), se sigue que $$\text{si } 0<|x-x_0|<\delta \Rightarrow |g(x)-g(x_0)| < \delta’ \Rightarrow |f(g(x))-f(g(x_0))| <\varepsilon.$$

Es decir, si $0<|x-x_0|<\delta$, entonces $|f(g(x))-f(g(x_0))| <\varepsilon$.

$\square$

El teorema anterior nos permite extender aún más el almacén de funciones continuas. Por ejemplo, sabemos que $g(x) = x^2+x-10$ es continua en $x_0$ para todo $x_0 \in \mathbb{R}$ y la función $f(x) = sen(x)$ es continua en cualquier punto, particularmente en $g(x_0)$, entonces la composición $(f \circ g) (x) = sen(x^2+x-10)$ también es continua en $x_0$.

Existen cierto tipo de funciones que no están definidas en algún punto en particular. Por ejemplo $f(x) = xsen(\frac{1}{x})$, no está definida en $x_0=0$ y, por tanto, no puede ser continua en tal punto, pero a partir de ella podemos construir una nueva función que sí sea continua en $x_0=0$. En una entrada anterior, vimos que $$\lim_{x \to 0} xsen \left( \frac{1}{x} \right) = 0.$$

De esta forma, podemos definir una nueva función:

$$f(x) = \begin{cases} xsen(\frac{1}{x}) & \text{si } x \neq 0 \\
0 & \text{si } x = 0. \end{cases}$$

Esta nueva función $f$ es continua en $x_0 = 0$. A este tipo de funciones que podemos convertirlas en funciones continuas en $x_0$ redefiniéndolas en tal punto, se dice que tienen una discontinuidad removible o evitable.


Por otro lado, también hay funciones cuya discontinuidad es no removible. Consideremos la función $f(x) = sen\left( \frac{1}{x} \right)$, revisamos anteriormente que el límite de tal función no existe. Por lo cual, aunque la definiéramos en $x_0$, seguiría siendo discontinua en dicho punto.

Hasta ahora estuvimos empleando la definición de continuidad en un punto, sin embargo, para la mayoría de los ejemplos revisados probamos la continuidad para todo $\mathbb{R}$, puesto que consideramos un $x_0$ arbitrario. Es conveniente tener una definición para la continuidad en un intervalo. Y, como podrás imaginarlo, para que una función sea continua en un intervalo $(a,b)$, se requiere que la función sea continua en cada punto del intervalo (con una pequeña particularidad para intervalos cerrados).

Definición (Continuidad en un intervalo abierto). Si $f$ es continua en todo $x$ con $x \in (a,b)$, se dice que $f$ es continua en el intervalo $(a,b)$.

Definición (Continuidad en un intervalo cerrado). Si $f$ es continua en todo $x$ con $x \in (a,b)$ y se cumple que

$$\lim_{x \to a^+} f(x) = f(a) \quad \text{ y } \quad \lim_{x \to b^-} f(x) = f(b).$$

Entonces se dice que $f$ es continua en el intervalo $[a,b]$.

Terminaremos esta entrada probando un teorema que nos dice que si $f$ es continua en $x_0$ y $f(x_0)$ es mayor a cero (o menor a cero), entonces existe todo un intervalo en el que es mayor a cero (o menor a cero).

Teorema. Supongamos que $f$ es continua en $x_0$ y $f(x_0)>0$. Entonces $f(x) >0$ para todo $x$ en un intervalo que contiene a $x_0$, es decir, existe $\delta > 0$ tal que $f(x) >0$ para todo $x$ tal que $|x-x_0|< \delta$.

De forma análoga, si $f(x_0) <0$, entonces existe $\delta > 0$ tal que $f(x) < 0$ para todo $x$ tal que $|x-x_0|< \delta$.

Demostración.

Supongamos que $f$ es continua en $x_0$ y $f(x_0)>0$, entonces para $\varepsilon = \frac{1}{2}f(x_0) > 0$, existe $\delta>0$ tal que si $|x-x_0|< \delta$, entonces
\begin{gather*}
& |f(x)-f(x_0)|< \frac{1}{2}f(x_0). \\
\Leftrightarrow & -\frac{1}{2}f(x_0) < f(x)-f(x_0) < \frac{1}{2}f(x_0). \\
\Leftrightarrow & -\frac{1}{2}f(x_0) + f(x_0) < f(x) < \frac{1}{2}f(x_0) + f(x_0). \\
\Leftrightarrow & f(x) > \frac{1}{2}f(x_0) > 0.
\end{gather*}

La demostración para cuando $f(x_0)< 0$ es análoga usando $\varepsilon = – \frac{1}{2}f(x_0) > 0.$

$\square$

Más adelante…

Tras revisar las propiedades básicas de las funciones continuas, estamos listos para revisar resultados muy interesantes derivados de la continuidad. En la siguiente entrada revisaremos el popular teorema del valor intermedio, que nos indica que si una función continua en un intervalo $[a,b]$ y que al evaluarla en $a$ toma un valor negativo, $f(a) < 0$, y al evaluarla en $b$ toma un valor positivo, $f(b) > 0$, entonces dicha función necesariamente toma el valor cero, es decir, existe un $x_0$ en el intervalo $[a,b]$ tal que $f(x_0) = 0$. Para probar este resultado, se hará uso del último teorema revisado en esta entrada.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Prueba que la función $f(x) = cos(x)$ es continua en cualquier punto $x_0 \in \mathbb{R}$.
  • Sea $f: A \to \mathbb{R}$. Prueba que si $f$ es continua en un punto $x_0 \in A$, entonces la función $|f|(x):= |f(x)|$ también es continua en $x_0$. ¿Se cumple el regreso? Es decir, ¿si $|f|$ es continua en $x_0$ entonces $f$ también es continua en tal punto?
  • Se dice que una función $f$ es aditiva si $f(x+y) = f(x)+f(y)$ para todo $x$, $y$ en $\mathbb{R}$. Prueba que para una función aditiva $f$ tal que es continua en algún punto $x_0$, entonces es continua en todo su dominio.
  • Da un ejemplo de dos funciones $f$ y $g$ discontinuas en $x_0$ tales que la suma $f+g$ sea continua en $x_0.$
  • Da un ejemplo de dos funciones $f$ y $g$ discontinuas en $x_0$ tales que el producto $f \cdot g$ sea continuo en $x_0.$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Raíz cuadrada y desigualdades

Por Karen González Cárdenas

Deja un comentario

Introducción

Ahora veremos el concepto de raíz cuadrada, su definición formal, resultados útiles y ejercicios de desigualdades donde se vea involucrada.

Definición de raíz cuadrada de un número real

Definición (Raíz cuadrada): Sea $x,y \in \r$ tal que $x, y \geq 0$. Definiremos a la raíz cuadrada de $x$ como sigue:
$$\sqrt{x}=y \Leftrightarrow x= y^{2}.$$

Para dejar más clara la definición observemos el siguientes ejemplo:

  • Si $x =9$ tenemos que para $\sqrt{9}$:
    $\sqrt{(3)^{2}}= 3$

Observaciones

  1. Para toda $x \in \r$ con $x>0$. Observamos que la raíz cuadra de $x$ cumple con las siguientes desigualdades, es decir, $$-\sqrt{x} \leq 0 , \quad \sqrt{x} \geq 0.$$
  2. Para $y \in \r$ tenemos que $\sqrt{y^{2}} =|y|.$
  3. $|y^{2}|=y^{2};$
    $|y^{2}|=|y|^{2}.$

Demostración de 1: Consideramos $x=y^{2}$ donde $y^{2}\geq 0$. Así al sustituir y aplicar la raíz cuadrada se sigue que:
\begin{equation*}
\sqrt{y^{2}}=
\begin{cases}
y &\text{si $y \geq 0$}\\
-y & \text{si $y< 0$}.
\end{cases}
\end{equation*}

Demostración de 2: Vemos que esto se sigue de la observación anterior ya que
\begin{equation*}
|y|=
\begin{cases}
y &\text{si $y \geq 0$}\\
-y & \text{si $y< 0$}.
\end{cases}
\end{equation*}
$$\therefore \sqrt{y^{2}} =|y|.$$

$\square$

Algunos resultados importantes

Teorema: Para $x,y \in \r$ donde $x \geq 0$ y $y \geq 0$.
$$x \leq y \Leftrightarrow x^{2} \leq y^{2}$$

Demostración:
$\Rightarrow$): Como tenemos por hipótesis $x \leq y$ vemos que al multiplicar por $x$ obtendríamos
$$x \leq y \Rightarrow x^{2} \leq xy$$
Y si multiplicamos por $y$:
$$x \leq y \Rightarrow xy \leq y^{2}$$
Así por transitividad:
$$\Rightarrow x^{2} \leq y^{2}$$
$\Leftarrow$): Ahora tenemos como hipótesis que $x^{2} \leq y^{2}$. Y esto es equivalente a decir
$$0 \leq y^{2}-x^{2} \Leftrightarrow (y+x)(y-x) \geq 0$$

Por lo que debemos considerar los casos en que:
a) $y+x \geq 0$ y $y-x \geq 0$
De la segunda desigualdad concluimos $y \geq x$.

O el caso b) $y+x \leq 0$ y $y-x \leq 0$
Vemos que este caso no tiene sentido.
$$\therefore \quad y \geq x$$

$\square$

Corolario: Para $x \geq 0$, $y \geq 0$.
$$x\leq y \Leftrightarrow \sqrt{x} \leq \sqrt{y}$$
Demostración:
Tomemos $a = \sqrt{x}$ y $b=\sqrt{y}$.
$\Rightarrow$):
Entonces $a^{2}=(\sqrt{x})^{2}$ y $b^{2}=(\sqrt{y})^{2}\Rightarrow a^{2}=x$ y $b^{2}=y$
Y como por hipótesis $x\leq y$
\begin{align*}
&\Rightarrow a^{2} \leq b^{2}\\
&\Rightarrow a \leq b\\
&\Rightarrow \sqrt{x} \leq \sqrt{y}
\end{align*}
$\Leftarrow$):
Ahora como por hipótesis $\sqrt{x} \leq \sqrt{y}$
\begin{align*}
&\Rightarrow a \leq b\\
&\Rightarrow a^{2} \leq b^{2}\\
&\Rightarrow x \leq y
\end{align*}

$\square$

Corolario: Para cualesquiera $x,y \in \r$ donde $y\geq 0$.
$$|x|^{2}\leq y \Leftrightarrow |x| \leq \sqrt{y}$$
Demostración:
Aplicando el corolario anterior tenemos las siguientes equivalencias
\begin{align*}
|x|^{2}\leq y &\Leftrightarrow \sqrt{|x|^{2}} \leq \sqrt{y}\\
&\Leftrightarrow \sqrt{x^{2}} \leq \sqrt{y}\\
&\Leftrightarrow |x| \leq \sqrt{y}\\
\end{align*}

$\square$

A continuación resolveremos ejercicios de desigualdades donde se encontraran involucrados la raíz cuadrada y el valor absoluto.

Ejercicio 1

Encuentra los valores $x$ que cumplan la desigualdad:

$$2x^{2}<|x-1|$$

Por el valor absoluto presente sabemos que debemos tomar casos, por lo que tenemos:

CASO 1: $x-1\geq 0 \Leftrightarrow x\geq 1$

Sustituyendo nos queda:
\begin{align*}
2x^{2}<|x-1|&\Leftrightarrow 2x^{2}< x-1\\
&\Leftrightarrow 2x^{2}- x+1<0\\
\end{align*}
Aplicando la fórmula general para ecuaciones de segundo grado:
\begin{align*}
x &=\frac{1 \pm \sqrt{(-1)^2 -4(2)(1)}}{2(2)}\\
&=\frac{1 \pm \sqrt{1-8}}{4}\\
&=\frac{1 \pm \sqrt{-7}}{4}.\\
\end{align*}
Pero como $\sqrt{-7}$ no tiene solución en $\r$, tenemos que la solución de este caso es:
$$[1,\infty) \cap \emptyset= \emptyset.$$

CASO 2: $x-1\leq 0 \Leftrightarrow x\leq 1$
Por lo que tendríamos:
\begin{align*}
2x^{2}<|x-1|&\Leftrightarrow 2x^{2}< -(x-1)\\
&\Leftrightarrow 2x^{2}+x-1<0\\
\end{align*}

Y por la fórmula general se sigue:
\begin{align*}
x&=\frac{-1\pm \sqrt{(1)^2 -4(2)(-1)}}{2(2)}\\
&=\frac{-1\pm \sqrt{9}}{4}\\
&=\frac{-1\pm 3}{4}.\\
\end{align*}
$$\therefore \quad x_{1}=\frac{1}{2}, \quad x_{2}=-1$$
Sustituyendo lo anterior tenemos que:
$$2x^{2}+x-1<0 \Rightarrow \left(x-\frac{1}{2} \right)(x+1)<0$$

Dado lo anterior notamos que para que el producto satisfaga la desigualdad hay que considerar el siguiente par de casos:
CASO 2.1: $x-\frac{1}{2}>0$ y $ x+1<0$
De donde $x>\frac{1}{2}$ y $ x<-1$. Al considerar la intersección vemos que ocurre:
$$\left(\frac{1}{2}, \infty \right) \cap (-\infty,-1)= \emptyset$$

CASO 2.2: $x-\frac{1}{2}<0$ y $ x+1>0$
Ahora tendríamos que $x<\frac{1}{2}$ y $ x>-1$. Y la solución sería:
$$\left(-1,\frac{1}{2} \right)$$

Concluimos así que la solución del CASO 2 esta dada por:
$$\left[\emptyset \cup \left(-1, \frac{1}{2} \right) \right] \cap (-\infty, 1)=\left(-1,\frac{1}{2} \right)$$

Finalmente la solución total es:
$$\left(-1,\frac{1}{2} \right)\cup \emptyset =\left(-1,\frac{1}{2} \right)$$


Ejercicio 2

$$x^{2}-4x-1 >0$$

Buscando la solución de la ecuación $x^{2}-4x-1 =0$:
\begin{align*}
x &=\frac{-(-4)\pm \sqrt{(-4)^2 -4(1)(-1)}}{2(1)}\\
&=\frac{4\pm \sqrt{16+4}}{2}\\
&=\frac{4\pm \sqrt{20}}{2}\\
&=\frac{4\pm 2\sqrt{5}}{2}\\
&= 2\pm 2\sqrt{5}
\end{align*}
$$\therefore \quad x_{1}=2+\sqrt{5},\quad x_{2}=2-\sqrt{5}$$

Entonces la desigualdad que queremos resolver sería:
$$(x – (2+\sqrt{5}))(x-(2-\sqrt{5}))>0$$

Para que el producto cumpla con la condición de ser mayor que cero debemos considerar los casos:
CASO 1: $x-2-\sqrt{5} >0$ y $x-2+\sqrt{5} >0$
$\Rightarrow x>2+\sqrt{5}$ y $x>2-\sqrt{5}$
$\Rightarrow x>2+\sqrt{5}$

CASO 2: $x-2-\sqrt{5} <0$ y $x-2+\sqrt{5} <0$
$\Rightarrow x<2+\sqrt{5}$ y $x<2-\sqrt{5}$
$\Rightarrow x<2-\sqrt{5}$


De los casos anteriores obtenemos que nuestro conjunto solución es:
$$(-\infty, 2-\sqrt{5}) \cup (2+\sqrt{5}, \infty)$$

Ahora que ya hemos revisado estos ejercicios, te invitamos a poner en práctica los procedimientos vistos con los siguientes ejercicios.

Más adelante

En la siguiente entrada veremos las cotas de un conjunto en $\r$. Definiremos formalmente los conceptos de cota superior e inferior y veremos algunos ejemplos donde los aplicaremos. Estos serán de suma importancia para comenzar a hablar de ínfimos y supremos posteriormente.

Tarea moral

Prueba que:

  • $|y^{2}|=y^{2}$
  • $|y^{2}|=|y|^{2}$

Obtén todos los valores de $x$ que satisfagan las siguientes desigualdades:

  • $-5x^{2} + 2x +|x|-1 \leq 3$
  • $x^{2}-4x-1<0$
  • $-7x^{2}+2x+|x|<-4$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Geometría analítica I: Aplicaciones a geometría del triángulo

Por Elsa Fernanda Torres Feria

Deja un comentario

Introducción

En esta entrada usaremos la forma normal de la recta para demostrar dos teoremas conocidos como teoremas de concurrencia de líneas.

Medianas y baricentro

Cerremos la entrada con la enunciación y la demostración del siguiente teorema.

Teorema. Dado un triángulo PQR, sus tres medianas concurren en un punto que divide al segmento dentro del triángulo (de cada mediana) en proporción 1:2.

Demostración.

Para empezar la demostración, construimos un triángulo PQR.

Para construir las medianas, primero localizamos los puntos medios de cada segmento (A, B, C) cuyas coordenadas baricéntricas están dadas por

\begin{align*}
A&=\frac{1}{2}P + \frac{1}{2}Q \\
B&=\frac{1}{2}Q + \frac{1}{2}R \\
C&=\frac{1}{2}R + \frac{1}{2}P \\
\end{align*}

Ya que queremos que se encuentren justo en el punto medio de cada segmento.

Al trazar la mediana del segmento $PQ$ tenemos lo siguiente

La manera en la que procederemos a partir de ahora, es que localizaremos el punto en el segmento de cada mediana que lo divide en proporción 1:2 esperando llegar a que los tres puntos son el mismo.

Comencemos con el punto $G$ que divide al segmento $AR$ en proporción 1:2, esto es que $G$ sea:

$G=\frac{1}{3}R+\frac{2}{3}A $

AL sustituir el valor de $A$, tenemos como resultado
\begin{align*}
G&=\frac{1}{3}R+\frac{2}{3}\left( \frac{1}{2}P + \frac{1}{2}Q \right) \\
&= \frac{1}{3}R+\frac{1}{3}P+\frac{1}{3}Q \\
\end{align*}

Lo que puede ser replicado para cada segmento. Para el $BP$ se tiene

\begin{align*}
G’ &=\frac{1}{3}P+\frac{2}{3}B \\
&=\frac{1}{3}P+\frac{2}{3} \left( \frac{1}{2}Q + \frac{1}{2}R \right) \\
&= \frac{1}{3}P+\frac{1}{3}Q+\frac{1}{3}R \\
&= \frac{1}{3}R+\frac{1}{3}P+\frac{1}{3}Q \\
\end{align*}

Y para el $CQ$

\begin{align*}
G»&=\frac{1}{3}Q+\frac{2}{3}C \\
&=\frac{1}{3}Q+\frac{2}{3} \left( \frac{1}{2}R + \frac{1}{2}P \right) \\
&= \frac{1}{3}Q+\frac{1}{3}R+\frac{1}{3}P \\
&= \frac{1}{3}R+\frac{1}{3}P+\frac{1}{3}Q \\
\end{align*}

$\therefore$ $G=G’=G»$

Acabamos de demostrar que los puntos que dividen a cada mediana en una proporción 1:2 son el mismo para cada una, por lo que las tres medianas concurren en este punto.

$\square$

A este punto $G$ se le conoce como el baricentro del triángulo, y podrás imaginar después de que discutimos la idea física de estas coordenadas, que $G$ corresponde al centro de masa o punto de equilibrio del triángulo.

Utiliza el siguiente interactivo para asegurarte de que esto es válido con cualquier triángulo, puedes mover los puntos P,Q y R y aún existirá el punto $G$ de intersección de las 3 medianas. Si te da curiosidad, puedes usar la herramienta de distancia de GeoGebra para medir la longitud de cada segmento de la mediana y verificar que efectivamente, está en una relación 1:2 con respecto al punto $G$.

Teoremas de concurrencia

Para poder realizar las demostraciones, definiremos a la altura de un triángulo como la recta que pasa por uno de sus vértices y es ortogonal al lado opuesto. Ahora, enunciemos y demostremos el primer teorema.

Teorema 1. Las alturas de un triángulo son concurrentes.

Demostración

Comencemos esta demostración con un interactivo que ilustre un triángulo y sus alturas.

Las rectas verdes son las alturas del triángulo y en el interactivo es bastante evidente que concurren en un punto y que esto pasa para cualquier triángulo (para comprobarlo puedes mover con tu cursor los vértices para modificar el triángulo). Sin embargo en este curso de geometría analítica, queremos demostrarlo de manera algebraica.

Para esta demostración algebraica, notemos que los vértices del triángulo son $A$, $B$, y $C$ y las alturas asociadas a cada vértice son $a$, $b$ y $c$ respectivamente. Escribamos la forma normal de cada una de estas rectas (alturas). Para $a$ tenemos

$a$ : $(C-B) \cdot x = (C-B) \cdot A$

pues la recta $a$ es ortogonal al lado del triángulo que pasa por los vértices $C$ y $B$, por lo que este lado tiene dirección $(C-B)$ y pasa por el punto $A$. De manera análoga, sabemos que $b$ es perpendicular a la recta que pasa por $A$ y $C$ con dirección $A-C$ y pasa también por el punto $B$, así

$b$ : $(A-C) \cdot x = (A-C) \cdot B$

Y de la misma forma para $c$ tenemos

$c$ : $(B-A) \cdot x = (B-A) \cdot C$

Nota que si sumamos las dos primeras ecuaciones, obtendremos la ecuación negativa de $c$:

\begin{align*}
(C-B) \cdot x + (A-C) \cdot x &= (C-B) \cdot A + (A-C) \cdot B \\
(C-B + A-C) \cdot x & = C \cdot A – B \cdot A + A \cdot B – C \cdot B\\
(-B+A) \cdot x & = C \cdot A – A \cdot B + A \cdot B – C \cdot B\\
(-B+A) \cdot x & = C \cdot A – C \cdot B \\
(-B+A) \cdot x & =(A – B) \cdot C
\end{align*}

Esto es importante, pues si tomamos un elemento en la intersección de las alturas $a$ y $b$ ($x \in a \cap b$), entonces también está en la suma y está última nos da como resultado el negativo de la ecuación de la recta $c$, por lo tanto $x \in c$.

De manera análoga, si sumamos $b$ y $c$ obtenemos

$(B-C) \cdot x = (B- C) \cdot A$

que corresponde a la ecuación negativa de $a$, por lo que si $x \in b \cap c$, entonces $x$ está en la suma de las ecuaciones y por tanto está en $a$.

Para completar la demostración, deberíamos realizar el mismo procedimiento al sumar las ecuaciones de $c$ y $a$ y confirmar que un punto en su intersección está en $b$.

$\therefore$ si dos de las alturas se intersectan, entonces la tercera recta también y en el mismo punto.

$square$

Teorema 2.

Demuestra que las tres mediatrices de un triángulo son concurrentes.

Demostración

Para comenzar la demostración, recordemos que la mediatriz de un segmento es la recta que es ortogonal a este y pasa por su punto medio.

De nuevo, es claro que las tres mediatrices del triángulo con vértices $D$, $E$ y $F$ concurren en un punto. Denominamos a los puntos medios de cada lado como $a$, $b$ y $c$, que es por donde pasan las mediatrices.

Ahora, para comenzar la parte algebraica de la demostración, definamos en su forma normal la primera miediatriz $i$. Siguiendo la idea de la demostración pasada, $i$ es ortogonal a $(E-F)$ y pasa por el punto $a$ por lo que

$i$ : $(E-F) \cdot x = (E-F) \cdot a$

De la misma manera, $j$ es ortogonal a $(D-E)$ y pasa por $b$, así

$j$ : $(D-E) \cdot x = (D-E) \cdot b$

Y para $k$ tenemos

$k$ : $(F-D) \cdot x = (F-D) \cdot c

Sigamos la intuición de la demostración anterior y sumemos las expresiones de $i$ y $j$

\begin{align*}
(E-F) \cdot x + (D-E) \cdot x &= (E-F) \cdot a + (D-E) \cdot b \\
E \cdot x – F \cdot x + D \cdot x – E \cdot x &= E \cdot a – F \cdot a + D \cdot b – E \cdot b \\
D \cdot x- F \cdot x &=E \cdot a – F \cdot a + D \cdot b – E \cdot b
\end{align*}

Para seguir avanzando con nuestra demostración, debemos recordar que $a,$, $b$ y $c$ son los puntos medios de cada lado del triángulo, por lo que podemos expresarlos en términos de los vértices de la siguiente manera

$a=\frac{F+E}{2}$, $b=\frac{E+D}{2}$ Y $c=\frac{D+F}{2}$

Con esto en mente, podemos sustituir $a$ y $b$ en la ecuación anterior y desarrollar

$D \cdot x- F \cdot x = E \cdot \left( \frac{F+E}{2} \right) – F \cdot \left( \frac{F+E}{2} \right) + D \cdot \left( \frac{E+D}{2} \right) – E \cdot \left( \frac{E+D}{2} \right) $

Al realizar todo el desarrollo obtenemos que

$D \cdot x- F \cdot x = \frac{1}{2}( D \cdot D – F \cdot F)$

Ahora, en la demostración pasada queríamos llegar a algún múltiplo de $k$ para demostrar que las 3 rectas se intersectaban, siguiendo con esa lógica, desarrollemos el lado derecho de $k$ tomando en cuenta a $c$ como punto medio de un lado

\begin{align*}
(F-D) \cdot c &= (F-D) \cdot \frac{D+F}{2} \\
&= \frac{1}{2} (F-D) \cdot (D+F) \\
&= \frac{1}{2}(F \cdot D + F \¢dot F – D \cdot D – F \cdot D) \\
&= \frac{1}{2}(F \cdot F – D \cdot D)
\end{align*}

Que es justamente el negativo de lo que obtuvimos arriba, por lo que al sumar las expresiones de $i$ y $j$ obtenemos el negativo de la expresión de $k$. Así, si un punto $x$ está en $ i \cap j$, entonces está en la suma y por lo tanto está en $k$.

El procedimiento es análogo para cada uno de los casos faltantes.

$\square$

Para concluir esta entrada, denotaremos al punto en el que concurren las mediatrices como circuncentro.

Más adelante…

En las próximas entradas discutiremos la forma normal de un elemento geométrico en el espacio $\mathbb{R}^3$ que no será la recta y hablaremos de la norma de un vector, que de cierta manera apareció en nuestras demostraciones pero no lo hemos discutido con formalidad hasta ahora.

Tarea moral

  • Completa los casos faltantes en la demostración del primer teorema.
  • Completa los casos faltantes en la demostración del segundo teorema.
  • Encuentra el circuncentro del triángulo que tiene como vértices los puntos $(5,3)$, $(2,-1)$ y $(8,0)$.

Álgebra Lineal II: Matrices de formas bilineales

Por Diego Ligani Rodríguez Trejo

1 respuesta

Introducción

Al principio de esta unidad, especialmente en la entrada del teorema de Gauss empezamos a hablar de una relación entre formas bilineales y matrices. Aquí formalizaremos esta relación. Veremos cómo se define la matriz asociada a una forma bilineal y cómo podemos traducir operaciones con la forma bilineal en operaciones con su matriz asociada.

Matriz asociada a una forma bilineal y una forma cuadrática

En toda esta entrada, $V$ es un espacio vectorial sobre $\mathbb{R}$ de dimensión finita.

Definición. Sea $ e_1, \cdots , e_n$ una base de $V$ y $b: V \times V \rightarrow \mathbb{R}$ una forma bilineal de $V$. La matriz de $b$ con respecto a la base $e_1,\ldots, e_n$ es la matriz

\begin{align*} A=[a_{ij}] \text{ con } a_{ij}=b(e_i,e_j),\end{align*}

para todo $i,j$ tal que $1 \leq i,j \leq n$.

Para definir la forma matricial de una forma cuadrática tenemos que ser un poco más cuidadosos. Hay más de una forma bilineal que puede generar a una misma forma cuadrática. Sin embargo, por la identidad de polarización tenemos que esta forma bilineal es única si pedimos adicionalmente que sea simétrica. De aquí obtenemos la siguiente definición.

Definición. Sea $e_1, \cdots , e_n$ una base de $V$ y $q$ una forma cuadrática de $V$, la matriz de $q$ con respecto a la base $e_1, \ldots, e_n$ es la matriz de su forma polar en esa misma base.

Problema. Sea $V=\mathbb{R}^3$ y $q$ dada como sigue
\begin{align*} q(x)=x_1x_2+x_2x_3+x_3x_1,\end{align*}

para cada $x=(x_1,x_2,x_3)\in \mathbb{R}^3$.

Encuentra su matriz asociada $A$ en la base canónica y su matriz asociada $B$ en la base \begin{align*}u_1&=(1,1,0),\\ u_2&=(1,0,1),\\ u_3&=(0,1,1).\end{align*}

Solución. Primero, mediante la identidad de polarización tenemos que la forma polar $b$ de $q$ cumple que $b(x,x’)$ es

\begin{align*} \frac{x’_1x_2+x’_2x_1+x’_1x_3+x’_3x_1+x’_2x_3+x’_3x_2}{2} ,\end{align*}

para $x=(x_1,x_2,x_3)$ y $x’=(x’_1,x’_2,x’_3)$.

Ahora, calculemos qué le hace esta forma bilineal a la base canónica de par en par.

\begin{align*}
&b(e_1,e_1)=b(e_2,e_2)=b(e_3,e_3)=0 \\
\text{y} \quad &b(e_1,e_2)=b(e_1,e_3)=b(e_2,e_3)=\frac{1}{2}.
\end{align*}

Por lo que su matriz asociada en la base canónica es

\begin{align*} A=\begin{pmatrix} 0 & \frac{1}{2} & \frac{1}{2} \\
\frac{1}{2} & 0 & \frac{1}{2} \\
\frac{1}{2} & \frac{1}{2} & 0 \end{pmatrix}\end{align*}

Por otro lado, calculando lo que $b$ le hace a nuestra otra base

\begin{align*}
&b(u_1,u_1)=b(u_2,u_2)=b(u_3,u_3)=1 \\
\text{y} \quad &b(u_1,u_2)=b(u_1,u_3)=b(u_2,u_3)=\frac{3}{2}
\end{align*}

Y construyendo esta otra matriz:

\begin{align*}
B=\begin{pmatrix} 1 & \frac{3}{2} & \frac{3}{2} \\
\frac{3}{2} & 1 & \frac{3}{2} \\
\frac{3}{2} & \frac{3}{2} & 1
\end{pmatrix}
\end{align*}

$\triangle$

Evaluar la forma bilineal con su matriz

En la entrada del teorema de Gauss vimos que si $b$ es una forma bilineal de $V$ y $e_1,\ldots,e_n$ es una base, entonces para cualesquiera vectores

\begin{align*}
x&=x_1e_1+\ldots+x_ne_n\\
y&=y_1e_1+\ldots+y_ne_n
\end{align*}

tenemos que $$b(x,y)=\sum_{i=1}^n \sum_{j=1}^n x_i y_j b(e_i,e_j).$$

Por la regla del producto de matrices, la expresión de la derecha es precisamente lo que se obtiene al realizar la siguiente operación:

$$^t{X} \begin{pmatrix}b(e_1,e_1) & b(e_1,e_2) & \ldots & b(e_1,e_n)\\ b(e_2,e_1) & b(e_2,e_2) & \ldots & b(e_2,e_n)\\ \vdots & & \ddots & \vdots \\ b(e_n,e_1) & b(e_n,e_2) & \ldots & b(e_n,e_n) \end{pmatrix} Y,$$

donde $X=(x_1,\ldots,x_n)$ y $Y=(y_1,\ldots,y_n)$.

Notemos que en medio tenemos justo la forma matricial de $b$ en la base $e_1,\ldots,e_n$. Al lado izquierdo tenemos al transpuesto del vector de coordenadas de $x$ en la base $e_1,\ldots, e_n$ y al lado derecho tenemos al vector de coordenadas de $y$ en esta misma base. Hemos demostrado lo siguiente.

Proposición. Sea $b$ una forma bilineal de $V$ y $\beta$ una base de $V$. Sea $A$ la matriz de $b$ en la base $\beta$. Sean $X$ y $Y$ los vectores de coordenadas de vectores $x$ y $y$ de $V$ en la base $\beta$, respectivamente. Entonces $$b(x,y)=\text{}^tXAY.$$

Algunas consecuencias de la proposición anterior son:

  • Una forma bilineal es simétrica si y sólo si su matriz en una base cualquiera es simétrica.
  • Si fijamos la base $\beta$ y la forma bilineal $b$, entonces la matriz que hace que $b(x,y)=\text{}^tXAY$ para todos $x,y$ es única.

La discusión anterior nos permite comenzar con una forma bilineal $b$ y una base $\beta$ y obtener una (y sólo una) matriz. Partiendo de una matriz y una base $\beta$ también podemos obtener una forma bilineal mediante la regla $$b(x,y)=\text{}^tXAY.$$

Cambios de base

En los resultados anteriores al fijar un espacio vectorial $V$ de dimensión $n$ y una base $\beta$ obtenemos una asociación biyectiva (de hecho un isomorfismo) entre formas bilineales de $V$ y matrices en $M_n(\mathbb{R})$.

Sin embargo, al cambiar la base de $V$, la matriz que representa a una forma bilineal puede cambiar.

Proposición. Supongamos que una forma bilineal $b$ tiene asociada una matriz $A$ con respecto a una base $\beta$ y una matriz $A’$ con respecto a otra base $\beta’$. Sea $P$ la matriz de cambio de base de $\beta$ a $\beta’$. Entonces
\begin{align*} A’=\text{ } ^tPAP.\end{align*}

Demostración. Sean $x,y \in V$ dos vectores cualesquiera. Escribamos $\beta = \{u_1, \cdots , u_n\}$ y $\beta’ = \{u’_1, \cdots , u’_n\}$. Usando $\beta$ escribamos

\begin{align*} x=x_1u_1 + \cdots + x_nu_n.\end{align*}

Definamos a $X$ como el vector columna de las coordenadas de $x$ en la base $\beta$, es decir:

$$X=\begin{pmatrix} x_1 \\
\vdots \\
x_n \end{pmatrix}.$$

Definimos análogamente a $X’, Y, Y’$ como los vectores columnas de coordenadas de $x$ en la base $\beta’$, de $y$ en la base $\beta$ y de $y$ en la base $\beta’$, respectivamente.

Sabemos entonces que

\begin{align*} b(x,y)= \text{ }^tXAY= \text{ }^tX’A’Y’\end{align*}

Además, sabemos que

\begin{align*}
X&=PX’\\
Y&=PY’
\end{align*}

De aquí se tiene la siguiente cadena de igualdades:

\begin{align*}
\text{ }^tX’A’Y’&= b(x,y)\\
&=\text{ }^tXAY\\
&=\text{ }^t(PX’)A(PY’)\\
&=\text{ }^tX’\text{ }^tPAPY’.
\end{align*}

Fijándonos en los extremos

\begin{align*} \text{ }^tX’A’Y’=\text{ }^tX’\text{ }^tPAPY’. \end{align*}

Por la unicidad de la matriz que representa a $b$ en la base $\beta’$, finalmente concluimos que

\begin{align*} A’=\text{ } ^tPAP.\end{align*}

$\square$

Más adelante…

Esta es una pequeña introducción a la relación entre las formas bilineales (y cuadráticas por extensión) y las matrices. Podemos ver que ésta nos dio otra manera de entender y calcular a las formas bilineales. Algo que no hemos explorado es el poder que esta relación nos entrega al aplicar todo lo que conocemos acerca de matrices a las matrices asociadas a una forma bilineal. Antes de llegar a eso, primero veremos el análogo complejo de lo que acabamos de estudiar.

Otro problema que enfrentamos es la dependencia de las matrices a su base. Aunque este no es un problema que podamos evitar, nos gustaría encontrar propiedades que se mantengan sin importar la base que sea elegida. Esto lo abordaremos un poco más adelante. De hecho, cuando lo hagamos estaremos listos para enunciar y demostrar un resultado muy interesante: la ley de inercia de Sylvester.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

  1. Sea $V=\mathbb{R}^3$ y definamos $q: V \rightarrow \mathbb{R}$
    \begin{align*} q(x,y,z)= (x+2y+3z)^2+(y+z)^2. \end{align*}
    Prueba que $q$ es cuadrática y encuentra su forma polar. ¿Es esta forma cuadrática $q$ positiva definida? ¿Es positiva?
  2. Encuentra la matriz $A$ asociada a la forma cuadrática $q$ del ejercicio anterior con respecto a la base canónica y la matriz $B$ asociada a $q$ con respecto a la base $(1,1,1), (0,-1,-1),(0,0,2)$.
  3. Encuentra las matrices de cambio de base entre la base canónica y la base del inciso anterior. Verifica que se cumple el resultado de cambios de base.
  4. Encuentra una expresión de Gauss para $q$.
  5. Encuentra el rango de $A$ y de $B$. Encuentra el determinante de $A$ y de $B$ ¿Notas algo en particular?

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Cálculo Diferencial e Integral I: Valor absoluto y desigualdades

Por Karen González Cárdenas

Deja un comentario

Introducción

En esta entrada nos dedicaremos a resolver desigualdades que involucran el valor absoluto. Para ello retomaremos la definición del valor absoluto de un número real y utilizaremos algunos resultados que probaremos a continuación.

Un par de resultados importantes

Lema: Para todo $a \in \r$. $a \leq |a|$ y $-a \leq |a|$.


Demostración: Procederemos a revisar los siguientes dos casos.
CASO 1: Si $a \geq 0$.
Por un lado tenemos por la definición de valor absoluto $|a|=a$.
$$\therefore |a|\geq a.$$
Y por otro que $a \geq 0 \geq -a$, así por transitividad se concluye que:
$$ |a| \geq -a.$$

CASO 2: Si $a \leq 0$.
Así se sigue por definición que $|a|=-a$ entonces tenemos que $|a|\geq -a$.
Y análogamente al caso anterior: $-a \geq 0 \geq a \Rightarrow |a|\geq a$.

$\square$

Teorema: Consideremos $a,x \in \r$ con $a\geq 0$.

  1. \begin{align*}
    |x|\leq a &\Leftrightarrow -a \leq x\quad \text{y} \quad x \leq a\\
    &\Leftrightarrow x\in [-a,a].
    \end{align*}
  2. \begin{align*}
    |x|\geq a &\Leftrightarrow -a \geq x\quad \text{o} \quad x \geq a\\
    &\Leftrightarrow x\in (-\infty,-a] \cup [a, \infty).
    \end{align*}

NOTA.- «$\Leftrightarrow$» se lee como «si y sólo si». Y recordemos que $\Rightarrow$ significa «entonces».
Demostración:
1. $\Rightarrow$: Por hipótesis tenemos que $|x|\leq a$, aplicando el lema anterior:
$$x \leq |x|\quad \text{y} \quad -x \leq |x|$$
Por transitividad: $$x \leq a \quad \text{y} \quad -x \leq a$$
$$\therefore x \leq a\quad \text{y} \quad x \leq -a$$

Lo anterior nos indica lo siguiente: $x \in (-\infty, a]$ y $x \in [-a,\infty)$. Así al tomar la intersección de estos intervalos, obtenemos:
$$(-\infty, a] \cap [-a,\infty) = [-a,a]$$

$\Leftarrow$: Ahora consideremos $x \in [-a,a]$, así tenemos que:
$$x\in [-a,a]=(-\infty, a] \cap [-a,\infty)$$
Aplicando la respectiva definición de intervalo e intersección:
$$x \leq a\quad \text{y} \quad x \leq -a$$
Y por el lema:
$$x \leq |x|\quad \text{y} \quad -x \leq |x|$$

$$\therefore |x| \leq a$$

2. El punto 2 se quedará de ejercicio para la Tarea moral.

$\square$

Ahora continuaremos con ejercicios de desigualdades, en ellos deberemos encontrar todos los valores que las satisfagan.

Ejercicio 1

$$|x-3|=8$$
Recordemos que debido a la definición de valor absoluto, siempre deberemos considerar casos.
Para resolver este ejercicio deberemos considerar los siguientes:
CASO 1: $x-3 \geq 0$
Por lo que $|x-3|=x-3$ y sustituyendo tenemos:
\begin{align*}
x-3 =8 &\Leftrightarrow x=8+3\\
&\Leftrightarrow x = 11.
\end{align*}
CASO 2: $x-3 < 0$
Así $|x-3|= -x+3$, por lo que se sigue:
\begin{align*}
-x+3 =8 &\Leftrightarrow -x=8-3\\
&\Leftrightarrow -x =5\\
&\Leftrightarrow x= -5.
\end{align*}

De los casos anteriores obtenemos que los valores de $x$ que satisfacen la igualdad son
$x =11$ o $x=-5$

Ejercicio 2

$$|3x-3| \leq 2x+1$$
Para este ejercicio aplicando el teorema tendríamos:
$-2x-1 \leq 3x-3 \quad$ y $\quad 3x-3 \leq 2x+1$.
Comenzaremos desarrollando la primera desigualdad:
\begin{align*}
-2x-1 \leq 3x-3 &\Leftrightarrow -2x-3x \leq -3+1\\
&\Leftrightarrow -5x \leq -2\\
&\Leftrightarrow 5x \geq 2\\
&\Leftrightarrow x \geq \frac{2}{5}.
\end{align*}
$$\therefore \quad x \in \left[\frac{2}{5}, \infty \right)$$
Y de la segunda obtenemos:
\begin{align*}
3x-3 \leq 2x+1 &\Leftrightarrow 3x-2x \leq 1+3\\
&\Leftrightarrow x\leq 4.
\end{align*}
$$\therefore \quad x \in(-\infty,4]$$

Por lo que al tomar la intersección de ambos intervalos nos queda que los valores que satisfacen la desigualdad son:
$$ x \in (-\infty,4] \cap \left[\frac{2}{5}, \infty \right)= \left [\frac{2}{5}, 4 \right]$$


$$\therefore \quad x \in \left [\frac{2}{5}, 4 \right]$$

Ejercicio 3

$$|2x+1|-|3x+2|<1$$
Debido a que tenemos dos valores absolutos, para resolver este ejercicio necesitaremos considerar los siguientes casos:

  1. $2x+1 \geq 0 \quad$ y $\quad 3x+2 \geq 0$
  2. $2x+1 \leq 0 \quad$ y $\quad 3x+2 \leq 0$
  3. $2x+1 \geq 0 \quad$ y $\quad 3x+2 \leq 0$
  4. $2x+1 \leq 0 \quad$ y $\quad 3x+2 \geq 0$

Nuestra solución final será la unión de todas las soluciones obtenidas en los casos anteriores.

CASO 1: $2x+1 \geq 0$ y $3x+2 \geq 0$

Desarrollando las desigualdades:
\begin{align*}
2x+1 \geq 0\quad &\text{y} \quad 3x+2 \geq 0\\
\Leftrightarrow 2x \geq -1 \quad &\text{y} \quad 3x \geq -2\\
\Leftrightarrow x \geq -\frac{1}{2} \quad &\text{y} \quad x \geq -\frac{2}{3}\\
\end{align*}


$$\Leftrightarrow x \geq -\frac{1}{2}$$

Aplicando el valor absoluto obtenemos:
\begin{align*}
|2x+1|-|3x+2|<1 &\Leftrightarrow 2x+1-(3x+2) <1\\
&\Leftrightarrow 2x+1-3x-2-1<0\\
&\Leftrightarrow -x -2 <0\\
&\Leftrightarrow x+2>0\\
&\Leftrightarrow x> -2
\end{align*}
Por lo que al tomar la siguiente intersección tenemos que la solución de este caso es:
$$\left[-\frac{1}{2}, \infty \right) \cap (-2, \infty)= \left[-\frac{1}{2}, \infty \right)$$

CASO 2: $2x+1 \leq 0 \quad$ y $\quad 3x+2 \leq 0$
Tendríamos que:
\begin{align*}
2x+1 \leq 0\quad &\text{y} \quad 3x+2 \leq 0\\
\Leftrightarrow 2x \leq -1 \quad &\text{y} \quad 3x \leq -2\\
\Leftrightarrow x \leq -\frac{1}{2} \quad &\text{y} \quad x \leq -\frac{2}{3}\\
\end{align*}

$$\Leftrightarrow x \leq -\frac{2}{3}$$
Al sustituir tenemos:
\begin{align*}
|2x +1|-|3x+2|<1 &\Rightarrow -(2x+1)-(-(3x+2))<1\\
&\Rightarrow -2x-1+3x+2-1<0\\
&\Rightarrow x <0
\end{align*}

Así tenemos la solución:
$$ (-\infty, 0) \cap \left(-\infty, -\frac{2}{3} \right] = \left(-\infty, -\frac{2}{3} \right] $$

CASO 3: $2x+1 \geq 0 \quad$ y $\quad 3x+2 \leq 0$
Ahora se sigue que:
\begin{align*}
2x+1 \geq 0\quad &y \quad 3x+2 \leq 0\\
\Leftrightarrow 2x \geq -1 \quad &y \quad 3x \leq -2\\
\Leftrightarrow x \geq -\frac{1}{2} \quad &y \quad x \leq -\frac{2}{3}\\
\end{align*}
Así observamos:
$$\left(-\infty, -\frac{2}{3} \right] \cap \left[-\frac{1}{2}, \infty \right) = \emptyset$$

CASO 4: $2x+1 \leq 0 \quad$ y $\quad 3x+2 \geq 0$
Desarrollando:
\begin{align*}
2x+1 \leq 0 \quad &\text{y} \quad 3x+2 \geq 0\\
\Leftrightarrow 2x \leq -1 \quad &\text{y} \quad 3x \geq -2\\
\Leftrightarrow x \leq -\frac{1}{2} \quad &\text{y} \quad x \geq -\frac{2}{3}\\
\end{align*}

$$\Leftrightarrow -\frac{2}{3} \leq x \leq -\frac{1}{2}$$
Aplicando la definición del valor absoluto:
\begin{align*}
|2x+1|-|3x+2|<1 &\Rightarrow -(2x+1) – (3x+2) < 1\\
&\Leftrightarrow -2x-1-3x-2-1< 0\\
&\Leftrightarrow -5x -4 < 0\\
&\Leftrightarrow 5x+4 > 0\\
&\Leftrightarrow 5x> -4\\
&\Leftrightarrow x > -\frac{4}{5}
\end{align*}
Concluimos que la solución a este caso es:
$$\left[-\frac{2}{3}, -\frac{1}{2} \right] \cap \left(-\frac{4}{5}, \infty \right)= \left[-\frac{2}{3}, -\frac{1}{2} \right]$$

Finalizamos considerando como solución total a la unión de los intervalos obtenidos en los cuatro casos:
$$\left(-\infty, -\frac{2}{3} \right] \cup\left[-\frac{2}{3}, -\frac{1}{2} \right] \cup \left[-\frac{1}{2}, \infty \right) = (-\infty, \infty)$$

Observemos que para la resolución de este tipo de desigualdades, siempre deberemos considerar los casos correspondientes a los signos del argumento de la función valor absoluto, es decir, cuando el argumento es positivo y cuando es negativo. En la sección de Tarea moral encontrarás ejercicios que te ayudarán a reforzar lo visto en esta entrada.

Más adelante

Ahora que ya hemos visto el procedimiento para encontrar los valores que satisfacen una desigualdad con valor absoluto, en la siguiente entrada lo utilizaremos para continuar resolviendo ejercicios que lo involucren adicionando el concepto de raíz cuadrada de un número real. Veremos que el valor absoluto está relacionado con la definición formal de raíz cuadrada y algunos resultados útiles.

Tarea moral

Demuestra el punto 2 del teorema, recordemos que $a\geq 0$:
\begin{align*}
|x|\geq a &\Leftrightarrow -a \geq x\quad o \quad x \geq a\\
&\Leftrightarrow x\in (-\infty,-a] \cup [a, \infty)
\end{align*}

Encuentra los valores que satisfacen las siguientes desigualdades:

  • $|x-3|< 8$
  • $|3x-3| > 2x+1$
  • $|x-1||x+2|=3$
  • $|x-1|+|x-2|> 1$

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»