Archivo de la etiqueta: tangente

Cálculo Diferencial e Integral III: Introducción al teorema de la función inversa

Por Alejandro Antonio Estrada Franco

Introducción

Estamos a punto de entrar a discutir dos de los resultados principales de nuestro curso: el teorema de la función inversa y el teorema de la función implícita. Repasemos un poco qué hemos hecho hasta ahora. En las dos entradas anteriores introdujimos la noción de diferenciabilidad, la cual cuando sucede para una función $f:\mathbb{R}^n\to \mathbb{R}^m$, nos dice que $f$ se parece mucho a una función lineal en un punto dado. Vimos que esta noción implica continuidad y que tiene una regla de la cadena relacionada con el producto de matrices. También, hemos discutido cómo esta noción se relaciona con la existencia de espacios tangentes a gráficas multidimensionales.

Ahora queremos entender todavía mejor a las funciones diferenciables. Hay dos teoremas que nos permiten hacer eso. Uno es el teorema de la función inversa y el otro es el teorema de la función implícita. En esta entrada hablaremos del primero, y en un par de entradas más introduciremos el segundo resultado. El propósito del teorema de la función inversa es dar una condición bajo la cual una función es invertible, por lo menos localmente. De hecho, la mayoría de las veces sólo se puede garantizar la invertibilidad localmente, pues las funciones usualmente no son inyectivas y esto da comportamientos globales más difíciles de manejar.

Enunciar el teorema y entenderlo requiere de cierto esfuerzo. Y demostrarlo todavía más. Por esta razón, en esta entrada nos enfocaremos sólo en dar el teorema y presentar herramientas preliminares que necesitaremos para hacer su demostración.

Enunciado del teorema de la función inversa

Supongamos que tenemos $f:\mathbb{R}^n\to \mathbb{R}^n$ y que es diferenciable en el punto $\bar{a}$. Entonces, $f$ se parece mucho a una función lineal en $\bar{a}$, más o menos $f(\bar{x})\approx f(\bar{a}) + T_{\bar{a}}(\bar{x}-\bar{a})$. Así, si $T_{\bar{a}}$ es invertible, suena a que «cerquita de $\bar{a}$» la función $f(\bar{x})$ debe de ser invertible. El teorema de la función inversa pone estas ideas de manera formal.

Teorema (de la función inversa). Sea $f:S\subseteq \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ de clase $C^{1}$ en el abierto $S$. Si la matriz $Df(\bar{a})$ es invertible, entonces, existe $\delta >0$ tal que:

  1. $B_{\delta}(\bar{a})\subseteq S$ y $f$ es inyectiva en $B_{\delta}(\bar{a})$.
  2. $f^{-1}:f(B_{\delta}(\bar{a}))\subseteq \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ es continua en $f(B_{\delta}(\bar{a}))$.
  3. $f(B_{\delta}(\bar{a}))\subseteq \mathbb{R}^{n}$ es un conjunto abierto.
  4. $f^{-1}$ es de clase $C^{1}$ en $f(B_{\delta}(\bar{a}))$ y además, si $\bar{x}=f(\bar{v})\in f(B_{\delta}(\bar{a}))$, entonces, $Df^{-1}(\bar{x})=Df^{-1}(f(\bar{v}))=(Df(\bar{v}))^{-1}$.

Veamos qué nos dice de manera intuitiva cada una de las conclusiones del teorema.

  1. Tendremos una bola $B_\delta(\bar{a})$ dentro de la cual $f$ será inyectiva, y por lo tanto será biyectiva hacia su imagen. Así, $f$ restringida a esta bola será invertible. Es importante que sea una bola abierta, porque entonces sí tenemos toda una región «gordita» en donde pasa la invertibilidad (piensa que si fuera un cerrado, a lo mejor sólo es el punto $\bar{a}$ y esto no tiene chiste).
  2. La inversa $f^{-1}$ que existirá para $f$ será continua. Esto es lo mínimo que podríamos esperar, aunque de hecho el punto $4$ garantiza algo mucho mejor.
  3. La imagen de $f$ en la bola $B_\delta(\bar{a})$ será un conjunto abierto.
  4. Más aún, se tendrá que $f^{-1}$ será de clase $C^1$ y se podrá dar de manera explícita a su derivada en términos de la derivada de $f$ con una regla muy sencilla: simplemente la matriz que funciona para derivar $f$ le sacamos su inversa como matriz y esa funciona al evaluarla en el punto apropiado.

El teorema de la función inversa es profundo pues tanto su enunciado como su demostración combina ideas de topología, álgebra y cálculo. Por esta razón, para su demostración necesitaremos recopilar varias de las herramientas de álgebra lineal que hemos repasado en la Unidad 2 y la Unidad 5. Así mismo, necesitaremos ideas topológicas de las que hemos visto en la Unidad 3. Con ellas desarrollaremos algunos resultados auxiliares que en la siguiente entrada nos permitirán concluir la demostración.

Un criterio para campos vectoriales $C^1$

El teorema de la función inversa es para funciones de clase $C^1$. Nos conviene entender esta noción mejor. Cuando una función $f$ es de clase $C^1$, entonces es diferenciable. Pero el regreso no es cierto y hay contraejemplos. ¿Qué le falta a una función diferenciable para ser de clase $C^1$? A grandes rasgos, que las funciones derivadas $T_\bar{a}$ y $T_\bar{b}$ hagan casi lo mismo cuando $\bar{a}$ y $\bar{b}$ son cercanos. En términos de matrices, necesitaremos que la expresión $||(Df(\bar{a})-Df(\bar{b}))(\bar{x})||$ sea pequeña cuando $\bar{a}$ y $\bar{b}$ son cercanos entre sí.

El siguiente teorema será importante en nuestro camino hacia el teorema de la función inversa. Intuitivamente, para lo que lo usaremos es para aproximar una función $f$ localmente, con «cuadritos» que corresponden a los planos tangentes, porque «muy cerquita» estos planos varían muy poco si pedimos que $f$ sea de clase $C^1$. Es decir si $\bar{a}$ y $\bar{b}$ son dos puntos en el dominio de una función diferenciable, y estos están muy cerca uno del otro, sus planos tangentes serán casi el mismo. Esto nos invita a cambiar localmente a una superficie por cuadritos como más adelante se explicará con detalle.

Figura 1. En azul y en rojo dos planos que corresponden a las derivadas $T_{\bar{a}}$ y $T_{\bar{b}}$. Este cambio calculado es distintos puntos cercanos es «suave», esto se expresará con la ecuación $||Df(\bar{b})(\bar{x})-Df(\bar{a})(\bar{x})||\leq \epsilon ||\bar{x}||$ ya con las diferenciales para todo $\bar{x}$.

El teorema concreto que nos interesa demostrar es la siguiente equivalencia para que una función sea de clase $C^1$.

Teorema. Sea $f:S\subseteq \mathbb{R}^{n}\rightarrow \mathbb{R}^{m}$ una función diferenciable en $S$. Se tiene que $f$ es de clase $C^{1}$ en $S$ si y sólo si para todo $\bar{a}\in S$ y para cada $\varepsilon >0$ existe $\delta >0$ tal que $B_{\delta}(\bar{a})\subseteq S$, y si $\bar{b}\in B_{\delta}(\bar{a})$ se tiene $||(Df(\bar{b})-Df(\bar{a}))(\bar{x})||\leq \varepsilon ||\bar{x}||$ para todo $\bar{x}\in \mathbb{R}^{n}$.

Demostración. $\Rightarrow).$ Supongamos que $f$ es de clase $C^1$ en $S$, es decir, todas sus funciones componentes tienen derivadas parciales en $S$ y son continuas. Sea $\varepsilon>0$. Veremos que se puede encontrar una $\delta$ como en el enunciado.

Tomemos $\bar{a}$ y $\bar{b}$ en $S$. Expresamos a $(Df(\bar{b})-Df(\bar{a}))(\bar{x})$ como

\begin{align*}
\begin{pmatrix} \frac{\partial f_{1}}{\partial x_{1}}(\bar{b})-\frac{\partial f_{1}}{\partial x_{1}}(\bar{a}) & \dots & \frac{\partial f_{1}}{\partial x_{n}}(\bar{b})-\frac{\partial f_{1}}{\partial x_{n}}(\bar{a}) \\ \vdots & \ddots & \dots \\ \frac{\partial f_{m}}{\partial x_{1}}(\bar{b})-\frac{\partial f_{m}}{\partial x_{1}}(\bar{a}) & \dots & \frac{\partial f_{m}}{\partial x_{n}}(\bar{b})-\frac{\partial f_{m}}{\partial x_{n}}(\bar{a}) \end{pmatrix}\begin{pmatrix} x_{1} \\ \vdots \\ x_{n}\end{pmatrix}
\end{align*}

o equivalentemente como

\begin{align*}
\begin{pmatrix} \left( \triangledown f_{1}(\bar{b})-\triangledown f_{1}(\bar{a})\right) \cdot \bar{x} \\ \vdots \\ \left( \triangledown f_{m}(\bar{b})-\triangledown f_{m}(\bar{a})\right) \cdot \bar{x} \end{pmatrix}.
\end{align*}

De tal manera que por Cauchy-Schwarz:

\begin{align*}
||(Df(\bar{b})-Df(\bar{a}))(\bar{x})||^2&=\sum_{i=1}^m (\left( \triangledown f_{i}(\bar{b})-\triangledown f_{i}(\bar{a})\right)\cdot \bar{x})^2\\
&\leq \sum_{i=1}^m ||\triangledown f_{i}(\bar{b})-\triangledown f_{i}(\bar{a})||^2||\bar{x}||^2\\
&=||\bar{x}||^2 \sum_{i=1}^m ||\triangledown f_{i}(\bar{b})-\triangledown f_{i}(\bar{a})||^2\\
&=||\bar{x}||^2 \sum_{i=1}^m \sum_{j=1}^{n}\left( \frac{\partial f_{i}}{\partial x_{j}}(\bar{b})-\frac{\partial f_{i}}{\partial x_{j}}(\bar{a})\right) ^{2}
\end{align*}

En este punto se ve la importancia de que las parciales sean continuas. Podemos encontrar una $\delta$ que nos garantice que $B_\delta\subseteq S$ y que si $||\bar{b}-\bar{a}||<\delta$, entonces $$\left| \frac{\partial f_{i}}{\partial x_{j}}(\bar{b})-\frac{\partial f_{i}}{\partial x_{j}}(\bar{a}) \right| < \frac{\varepsilon}{\sqrt{mn}}.$$ En esta situación, podemos seguir acotando $||(Df(\bar{b})-Df(\bar{a}))(\bar{x})||^2$ como sigue:
\begin{align*}
&\leq ||\bar{x}|| \sum_{i=1}^m \sum_{j=1}^{n}\frac{\varepsilon^2}{mn}\\
&=\varepsilon^2||\bar{x}||^2.
\end{align*}

Al sacar raiz cuadrada, obtenemos la desigualdad $$||(Df(\bar{b})-Df(\bar{a}))(x)||\leq \varepsilon||\bar{x}||$$ buscada.

$\Leftarrow).$ Supongamos ahora que para cada $\varepsilon$ existe una $\delta$ como en el enunciado del teorema. Debemos ver que todas las derivadas parciales de todas las componentes son continuas. Podemos aplicar la desigualdad $||(Df(\bar{b})-Df(\bar{a}))(\bar{x})||\leq ||\bar{x}||\varepsilon$ tomando como $\bar{x}$ cada vector $\hat{e}_i$ de la base canónica. Esto nos dice que

\[ ||Df(\bar{b})(\hat{e}_i)-Df(\bar{a})(\hat{e}_i)||< \varepsilon||\hat{e}_i|| =\varepsilon.\]

Por nuestro desarrollo anterior, para cada $i$ tenemos

\begin{align*}
\varepsilon&>||Df(\bar{b})(\hat{e}_i)-Df(\bar{a})(\hat{e}_i)||\\
&=||\left( \triangledown f_{1}(\bar{b})\cdot \hat{e}_i-\triangledown f_{1}(\bar{a})\cdot \hat{e}_i,\dots ,\triangledown f_{m}(\bar{b})\cdot \hat{e}_i-\triangledown f_{m}(\bar{a})\cdot \hat{e}_i\right)||\\
&=\left| \left|\left( \frac{\partial f_{1}}{\partial x_{i}}(\bar{b})-\frac{\partial f_{1}}{\partial x_{i}}(\bar{a}),\dots ,\frac{\partial f_{m}}{\partial x_{i}}(\bar{b})-\frac{\partial f_{m}}{\partial x_{i}}(\bar{a})\right) \right| \right|\\
&= \sqrt{\sum_{j=1}^{m}\left(\frac{\partial f_{j}}{\partial x_{i}}(\bar{b})-\frac{\partial f_{j}}{\partial x_{i}}(\bar{a})\right)^{2}}.
\end{align*}

Elevando al cuadrado,

\[ \sum_{j=1}^{m}\left(\frac{\partial f_{j}}{\partial x_{i}}(b)-\frac{\partial f_{j}}{\partial x_{i}}(a)\right)^{2}<\varepsilon ^{2}.\]

Como todos los términos son no negativos, cada uno es menor a $\epsilon^2$. Así, para cada $i,j$ tenemos

\[ \left|\frac{\partial f_{j}}{\partial x_{i}}(\bar{b})-\frac{\partial f_{j}}{\partial x_{i}}(\bar{a})\right|<\varepsilon.\]

Esto es precisamente lo que estábamos buscando: si $\bar{b}$ está lo suficientemente cerca de $\bar{a}$, cada derivada parcial en $\bar{b}$ está cerca de su correspondiente en $\bar{a}$.

$\square$

Invertibilidad de $Df(\bar{a})$ en todo un abierto

En esta sección demostraremos lo siguiente. Si $f:\mathbb{R}^n\to \mathbb{R}^n$ es un campo vectorial diferenciable en $\bar{a}$ y $Df(\bar{a})$ es invertible, entonces $Df(\bar{x})$ será invertible para cualquier $\bar{x}$ alrededor de cierta bola abierta alrededor de $\bar{a}$. Los argumentos en esta ocasión están un poco más relacionados con el álgebra lineal.

Será útil que recuerdes que una transformación lineal $T:\mathbb{R}^n \to \mathbb{R}^n$ es invertible si el único $\bar{x}\in \mathbb{R}^n$ tal que $T(\bar{x})=\bar{0}$ es $\bar{x}=\bar{0}$. El siguiente criterio es otra caracterización de invertibilidad en términos de lo que le hace $T$ a la norma de los vectores.

Teorema. Sea $T:\mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ una transformación lineal. La transformación $T$ es invertible si y sólo si existe $\varepsilon >0$ tal que $$||T(\bar{x})||\geq \varepsilon ||\bar{x}||$$ para todo $\bar{x}\in \mathbb{R}^{n}$.

Demostración. $\left. \Rightarrow \right)$ Como $T$ es invertible, para todo $\bar{x}\neq \bar{0}$ sucede que $T(\bar{x})\neq \bar{0}$. En particular, esto sucede para todos los vectores en $S^{n-1}$ (recuerda que es la esfera de radio $1$ y dimensión $n-1$ centrada en $\bar{0}$). Esta esfera es compacta y consiste exactamente de los $\bar{x}\in \mathbb{R}^n$ de norma $1$.

Sabemos que las transformaciones lineales y la función norma son continuas. Por la compacidad de $S^{n-1}$, la expresión $||T(\bar{x})||$ tiene un mínimo digamos $\varepsilon$, que alcanza en $S^{n-1}$. Por el argumento del párrafo anterior, $\varepsilon>0$.

Tomemos ahora cualquier vector $\bar{x}\in \mathbb{R}^n$. Si $\bar{x}=\bar{0}$, entonces $$||T(\bar{0})||=||\bar{0}||=0\geq \varepsilon ||\bar{0}||.$$ Si $\bar{x}\neq \bar{0}$, el vector $\frac{\bar{x}}{||\bar{x}||}$ está en $S^{n-1}$, de modo que $$\left|\left|T\left(\frac{\bar{x}}{||\bar{x}||}\right)\right|\right| \geq \varepsilon.$$ Usando linealidad para sacar el factor $||\bar{x}||$ y despejando obtenemos $$||T(\bar{x})||\geq \varepsilon ||\bar{x}||,$$ como estábamos buscando.

$\left. \Leftarrow \right)$ Este lado es más sencillo. Si existe dicha $\varepsilon >0$, entonces sucede que para $\bar{x}$ en $\mathbb{R}^n$, con $\bar{x}\neq \bar{0}$ tenemos $$||T(\bar{x})||\geq \varepsilon||\bar{x}||>0.$$ Por lo tanto, $T(\bar{x})\neq \bar{0}$ y así $T$ es invertible.

$\square$

Obtengamos una consecuencia del teorema de clasificación de la sección anterior que está muy relacionada con este resultado que acabamos de demostrar.

Teorema. Sea $f:S\subseteq \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ de clase $C^{1}$ en el conjunto abierto $S$ y $\bar{a}\in S$. Si $Df(\bar{a})$ es invertible, entonces existen $\delta >0$ y $m>0$ tales que $B_{\delta}(\bar{a})\subseteq S$ y $||Df(\bar{b})(\bar{x})||\geq m||\bar{x}||$, para todo $\bar{b}\in B_{\delta}(\bar{a})$ y para todo $\bar{x}\in \mathbb{R}^{n}$.

Demostración. Como $Df(\bar{a})$ es invertible, por el teorema que acabamos de demostrar existe $\varepsilon’>0$ tal que $$||Df(\bar{a})(\bar{x})||\geq \varepsilon’||\bar{x}||$$ para todo $\bar{x}\in \mathbb{R}^{n}$.

Por nuestra caracterización de funciones $C^1$, Ahora como $f\in C^{1}$ en $S$ (abierto) para $\varepsilon =\frac{\varepsilon’}{2}>0$, existe $\delta >0$ tal que $B_{\delta}(\bar{a})\subseteq S$, y $||Df(\bar{b})(\bar{x})-Df(\bar{a})(\bar{x})||\leq \frac{\varepsilon’}{2}||\bar{x}||$ para todo $\bar{b}\in B_{\delta}(\bar{a})$ y para todo $\bar{x}\in \mathbb{R}^{n}$.

Por la desigualdad del triángulo, \[ ||Df(\bar{a})(\bar{x})-Df(\bar{b})(\bar{x})||+||Df(\bar{b})(\bar{x})||\geq ||Df(\bar{a})(\bar{x})||,\]

de donde

\begin{align*}
||Df(\bar{b})(\bar{x})||&\geq ||Df(\bar{a})(\bar{x})||-||Df(\bar{b})(\bar{x})-Df(\bar{a})(\bar{x})||\\
&\geq \varepsilon’||\bar{x}||-\frac{\varepsilon’}{2}||\bar{x}||\\
&= \frac{\varepsilon’}{2} ||\bar{x}||.
\end{align*}

De esta manera, el resultado es cierto para la $\delta$ que dimos y para $m=\frac{\varepsilon’}{2}$.

$\square$

El siguiente corolario es consecuencia inmediata de lo discutido en esta sección y está escrito de acuerdo a la aplicación que haremos más adelante en la demostración del teorema de la función inversa.

Corolario. Sea $f:S\subseteq \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}$ una función de clase $C^{1}$ en $S$ y $\bar{a}\in S$. Si $Df(\bar{a})$ es invertible, entonces, existe $\delta > 0$ tal que $B_{\delta}(\bar{a})\subseteq S$ y $Df(\bar{b})$ es invertible para todo $\bar{b}\in B_{\delta}(\bar{a})$.

Queda como tarea moral responder por qué este corolario es consecuencia inmediata del teorema anterior.

Un poco de intuición geométrica

Dejamos esta entrada hasta aquí, la naturaleza densamente teórica de lo que estamos haciendo puede hacer pesadas las exposiciones. Lo que hasta aquí demostramos es que para un campo vectorial $C^1$ si su derivada en $\bar{a}$ es invertible, entonces lo es en toda una vecindad que tiene a $\bar{a}$. Imaginemos al pedacito de superficie $f(B_{\delta}(\bar{a}))$ cubierto con pequeños rectángulos. En cada punto, las imágenes de estos rectángulos están muy cerquita, casi pegados a la superficie. Esto nos garantizaría la invertibilidad de $f$ en esta vecindad.

Figura 2

En la Figura 2 vemos ilustrado esto. El círculo inferior corresponde a la vecindad $B_{\delta}(\bar{a})$ en el dominio de $f$. La función $f$ levanta una porción del plano en la sabana delineada con negro arriba del círculo. En el círculo tenemos al punto $\bar{a}$ en verde agua. Sobre la sábana de arriba tenemos con el mismo color a $f(\bar{a})$. Los puntos negros pequeños dentro de la vecindad alrededor de $\bar{a}$ son alzados por $f$ a puntos negros sobre la sabana. Sobre de cada punto negro en la sabana tenemos un cuadrito rojo que representa al cachito de plano tangente cerca de la imagen de cada punto. La imagen esta llena de estos pequeños cuadritos, todos ellos representan diferenciales invertibles, esto nos permitirá asegurar la invertibilidad de $f$ en al menos una vecindad.

Más adelante…

En la siguiente entrada demostraremos el teorema de la función inversa, inciso por inciso. Es importante que estes familiarizado con los resultados de esta entrada, pues serán parte importante de la demostración.

Tarea moral

  1. ¿Qué diría el teorema de la función inversa para campos vectoriales $f:\mathbb{R}^2\to \mathbb{R}^2$? ¿Se puede usar para $$f(r,\theta)=(r\cos(\theta),r\sin(\theta))?$$ Si es así, ¿para qué valores de $r$ y $\theta$? ¿Qué diría en este caso explícitamente?
  2. Explica por qué el corolario que enunciamos en efecto se deduce de manera inmediata de lo discutido en la sección correspondiente.
  3. Revisa todas las desigualdades que usamos en esta entrada. ¿Qué resultado estamos usando? ¿Cuándo se darían estas igualdades?
  4. Demuestra que el determinante de una matriz es una función continua en términos de las entradas de la matriz. Usa esto para demostrar que si $A\in M_n(\mathbb{R})$ es una matriz y $B$ es una matriz muy cercana a $A$, entonces $B$ también es invertible.
  5. Demuestra que si una transformación $T$ es diagonalizable, entonces en el teorema de caracterización de invertibilidad se puede usar como $\epsilon$ al mínimo de la expresión $|\lambda|$ variando sobre todos los eigenvalores $\lambda$ de $T$.

Entradas relacionadas

Cálculo Diferencial e Integral I: Funciones trigonométricas (Parte 2)

Por Karen González Cárdenas

Introducción


Ahora que hemos comenzado a revisar las funciones trigonométricas de seno y coseno, en esta entrada veremos las funciones tangente, cotangente, secante y cosecante. De igual manera, revisaremos las funciones inversas y su representación gráfica.

Hablemos de la tangente y la cotangente

Recordemos de la entrada anterior las definiciones:

\begin{align*}
tan(\theta)&=\frac{sen(\theta)}{cos(\theta)} & cot(\theta)&=\frac{cos(\theta)}{sen(\theta)}
\end{align*}

Para la función tangente tenemos que su gráfica se vería como:

Observación: La tangente presenta asíntotas en los valores $x=\frac{k \pi}{2}$ con $k \in \mathbb{Z}$.

Y su rama principal la consideramos definida en el dominio:
$$tan: \left(-\frac{\pi}{2}, \frac{\pi}{2} \right) \rightarrow \r$$

Y para la función cotangente su gráfica sería:

Observación: La cotangente presenta asíntotas en los valores $x=k \pi$ con $k \in \mathbb{Z}$.

Para esta función consideraremos como su rama principal en el siguiente dominio:
$$cot: (0,\pi) \rightarrow \r$$

Ahora la secante y la cosecante

Ya vimos que están definidas como:
\begin{align*}
sec(\theta)&= \frac{1}{cos(\theta)} & csc(\theta)&= \frac{1}{sen(\theta)}.
\end{align*}

Comencemos con la gráfica para la función secante:

Observación: La secante presenta asíntotas en los valores $x=\frac{k \pi}{2}$ con $k \in \mathbb{Z}$.

Notemos que esta función se encuentra definida sobre cada cresta y por debajo de cada valle de la función $cos(\theta)$:

Tomaremos como domino donde la función es invertible a:
$$D= \left[0, \frac{\pi}{2} \right) \cup \left(\frac{\pi}{2},\pi \right].$$

Para la función cosecante vemos que se encuentra definida sobre cada cresta y por debajo de cada valle de la función $sen(\theta)$:

Observación: La cosecante presenta asíntotas en los valores $x=k \pi$ con $k \in \mathbb{Z}$.

Para esta función consideraremos al dominio donde es invertible a:
$$D= \left[-\frac{\pi}{2}, 0 \right) \cup \left(0, \frac{\pi}{2} \right].$$

¿Quiénes son las funciones inversas?

Para poder visualizar las gráficas de cada una de las funciones trigonométricas utilizaremos el método descrito previamente de reflejar la gráfica de la función respecto de la función identidad en el dominio donde es biyectiva o invertible.

Comenzaremos con la inversa de la función $f(x)=sen(x)$ en el dominio $D_{f}=\left[ -\frac{\pi}{2}, \frac{\pi}{2} \right]$:

A $f^{-1}(x)$ la llamaremos arcoseno de $x$:
$$f^{-1}(x)=arcsen(x),$$
geométricamente esta función nos da el arco cuyo seno es $x$ valor.

Procederemos de la misma manera con $g(x)=cos(x)$ en el dominio $D_{g}=[0,\pi]$:

Ahora a $g^{-1}$ la llamaremos arcocoseno de $x$:
$$g^{-1}(x)=arccos(x)$$
y su interpretación geométrica sería el arco cuyo coseno es el valor $x$.

Dejaremos como ejercicio de Tarea moral realizar la gráfica para la función inversa de $h(x)= tan(x)$ en el dominio $D_{h}= \left(-\frac{\pi}{2}, \frac{\pi}{2} \right)$:
$$h^{-1}(x)= arctan(x),$$
la función arcotangente nos da el arco cuya tangente es el valor $x$.

Tarea moral

  • Obtener la gráfica de las siguientes funciones:
    • $f(x)=-tan(x)$
    • $f(x)=-2sec(x)+1$
    • $f(x)=arctan(x)$
    • $f(x)=3-csc(x)$

Más adelante

En la siguiente entrada veremos al conjunto de funciones exponenciales y logarítmicas, sus representaciones gráficas, la relación que existe entre ellas y algunos resultados que cumplen, como las leyes de los exponentes y las leyes de los logaritmos.

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 Moderna I: Trigonometría

Por Rubén Alexander Ocampo Arellano

Introducción

En esta entrada presentaremos las razones trigonométricas respecto de un ángulo agudo en un triángulo rectángulo, estas pueden ser vistas como funciones si consideramos el ángulo como una variable, veremos como extender estas funciones a ángulos de cualquier magnitud y algunas identidades trigonométricas.

Razones trigonométricas

Definiciones. Consideremos un triángulo rectángulo $\triangle ABC$ donde $AB$ es la hipotenusa y sea $\alpha =  \angle BAC$, decimos que $BC$ es el cateto opuesto a $\alpha$ y $AC$ es el cateto adyacente a $\alpha$.

Definimos las razones trigonométricas respecto del ángulo $\alpha$ como sigue:

El seno del ángulo $\alpha$ como $\dfrac{c.opuesto}{hipotenusa}$ y lo denotamos como $\sin \alpha = \dfrac{BC}{AB}$.
El coseno del ángulo $\alpha$ como $\dfrac{c.adyacente}{hipotenusa}$ y lo denotamos como $\cos \alpha = \dfrac{AC}{AB}$.
La tangente del ángulo $\alpha$ como $\dfrac{c.opuesto}{c.adyacente}$ y lo denotamos como $\tan \alpha = \dfrac{BC}{AC}$.
La cosecante del ángulo $\alpha$ como como $\dfrac{hipotenusa}{c.opuesto}$ y lo denotamos como $\csc \alpha = \dfrac{AB}{BC}$.
La secante del ángulo $\alpha$ como $\dfrac{hipotenusa}{c.adyacente}$  y lo denotamos como $\sec \alpha = \dfrac{AB}{AC}$.
La cotangente del ángulo $\alpha$ como $\dfrac{c.adyacente}{c.opuesto}$ y lo denotamos como $\cot \alpha = \dfrac{AC}{BC}$.

Figura 1

Si consideramos el ángulo complementario a $\alpha$, $\beta = \angle CBA$, entonces de las definiciones se siguen las siguientes relaciones:

$\sin \alpha = \cos \beta$, $\cos \alpha = \sin \beta$, $\tan \alpha = \dfrac{\sin \alpha}{\cos \alpha}$, $\tan \alpha \tan \beta = 1$.

$\csc \alpha = \sec \beta$, $\sec \alpha = \csc \beta$, $\cot \alpha = \dfrac{\cos \alpha}{\sin \alpha}$, $\cot \alpha \cot \beta = 1$.

Círculo trigonométrico

Consideremos $(O, 1)$ un círculo con centro en $O$ de radio $1$, por $O$ trazamos dos rectas perpendiculares $x$ e $y$, tomamos un punto $P \in (O, 1)$ en el cuadrante formado por el rayo derecho $Ox$ y el rayo superior $Oy$ y trazamos las proyecciones $X$, $Y$ de $O$ a las rectas $x$, $y$ respectivamente.

El triángulo $\triangle OPX$ es rectángulo y su hipotenusa $OP = 1$, si consideramos el ángulo $\angle XOP = \gamma$ entonces
$\sin \gamma = PX$ y
$\cos \gamma = OX$.

Figura 2

Tracemos la tangente a $(O, 1)$ por $Q$, la intersección entre $x$ y $(O, 1)$, tomemos $R$ como la intersección entre la tangente y $OP$ entonces $RQ \parallel PX$ y los triángulos $\triangle OPX$ y $\triangle ORQ$ son semejantes por lo tanto
$\tan \gamma = \dfrac{PX}{OX} = \dfrac{RQ}{OQ} = RQ$ y
$\sec \gamma = \dfrac{OP}{OX} = \dfrac{OR}{OQ} = OR$.

Ahora trazamos la tangente a $(O, 1)$ por $S$, la intersección de $y$ con $(O, 1)$, tomamos $T$ como la intersección de la tangente con $OP$ entonces $ST \parallel x$, por lo tanto $\gamma = \angle STO$ y así $\triangle OPX$ y $\triangle TOS$ son semejantes, por lo tanto,
$\csc \gamma = \dfrac{OP}{PX} = \dfrac{OT}{OS} = OT$ y 
$\cot \alpha = \dfrac{OX}{PX} = \dfrac{ST}{OS} = ST$.

Con esta construcción podemos extender las definiciones de función trigonométrica para ángulos agudos a ángulos de cualquier magnitud trasladando el punto $P$ alrededor de la circunferencia $(O, 1)$ y tomando las proyecciones de $P$, $X$ e $Y$ a las rectas $x$ e $y$ respectivamente que tomaremos como positivas si se encuentran en los rayos derecho y superior o negativas si se encuentran en los rayos izquierdos e inferior de las rectas $x$, $y$ respetivamente.

De esta manera todas las razones trigonométricas quedan determinadas por el valor de $\sin \gamma = PX$ y $\cos \gamma = OX$.

Teorema 1, identidad pitagórica. Sea $0 \leq \gamma < 2\pi$ entonces, $\sin^2 \gamma + \cos^2 \gamma = 1$.

Demostración. Aplicamos el teorema de Pitágoras al triángulo rectángulo $\triangle OPX$, (figura 2).

$1 = PX^2 + OX^2 = \sin^2 \gamma + \cos^2 \gamma$.

$\blacksquare$

Ley extendida de senos

Teorema 2, ley extendida de los senos. Sean $\triangle ABC$ y $(O, R)$ su circuncírculo, etiquetemos $\angle BAC = \alpha$, $\angle CBA = \beta$, $\angle ACB = \gamma$ y $a = BC$, $b = AC$, $c = AB$ las longitudes de sus lados, entonces
$\dfrac{\sin \alpha}{a} = \dfrac{\sin \beta}{b} = \dfrac{\sin \gamma}{c} = \dfrac{1}{2R}$.

Demostración. Tracemos $D$ el punto diametralmente opuesto a $C$, entonces $\angle BDC = \alpha$, pues subtienden el mismo arco.

$\angle CBD$ es un ángulo recto, pues $CD$ es diámetro, por lo tanto $\sin \alpha = \sin \angle BDC = \dfrac{a}{CD}$.

Por lo tanto, $\dfrac{\sin \alpha}{a} = \dfrac{1}{2R}$.

Figura 3

De manera análoga podemos ver que
$\sin \beta = \dfrac{b}{2R}$ y
$\sin \gamma = \dfrac{c}{2R}$.

Por lo tanto, $\dfrac{\sin \alpha}{a} = \dfrac{\sin \beta}{b} = \dfrac{\sin \gamma}{c} = \dfrac{1}{2R}$.

$\blacksquare$

Corolario. El seno de un ángulo inscrito en una circunferencia de diámetro $1$ es igual a la cuerda que abarca dicho ángulo.

Demostración. Se sigue de sustituir $2R = 1$ en el teorema anterior.

$\blacksquare$

Ley de cosenos

Teorema 3, ley de cosenos. Sean $\triangle ABC$, $\angle BAC = \alpha$, $\angle CBA = \beta$, $\angle ACB = \gamma$ y $a = BC$, $b = AC$, $c = AB$ las longitudes de sus lados, entonces se da la siguiente igualdad:
$c^2 = a^2 + b^2 – 2ab \cos \gamma$.

Demostración. Trazamos $D$ el pie de la perpendicular a $BC$ desde $A$ y aplicamos el teorema de Pitágoras a $\triangle ABD$ y $\triangle ADC,$ de donde obtenemos

$\begin{equation} c^2 = AD^2 + (a – DC)^2 = AD^2 + a^2 – 2a(DC) + DC^2, \end{equation}$
$b^2 = AD^2 + DC^2$
$\Leftrightarrow$ $\begin{equation} AD^2 = b^2 – DC^2. \end{equation}$

Figura 4

Sustituimos $(2)$ en $(1)$ y obtenemos $c^2 = b^2 + a^2 – 2a(DC)$.

Por otro lado $\cos \gamma = \dfrac{DC}{b}$ $\Leftrightarrow$ $b \cos \gamma = DC$.

Así que $c^2 = a^2 + b^2 – 2ab \cos \gamma$.

De manera similar se puede ver que
$a^2 = b^2 + c^2 – 2bc \cos \alpha$ y
$b^2 = a^2 + c^2 – 2ac \cos \beta$.

$\blacksquare$

El seno de la suma

Teorema 4, el seno de la suma de dos ángulos. Sean $\alpha$ y $\beta$ ángulos agudos entonces $\sin (\alpha + \beta) = \sin \alpha \cos \beta + \sin \beta \cos \alpha$.

Demostración. Sea $\square ABCD$ cíclico tal que $BD = 1$ es diámetro del circuncírculo, $\angle DBA = \alpha$ y $\angle CBD =\beta$.

Figura 5

Como consecuencia del corolario tenemos que $AC = \sin (\alpha + \beta)$, ademas $\triangle BAD$ y $\triangle DCB$ son triángulos rectángulos pues $DB$ es diámetro.

Se sigue que
$AB = \cos \alpha$,
$CD = \sin \beta$,
$AD = \sin \alpha$ y
$BC = \cos \beta$.

El teorema de Ptolomeo nos dice que
$\begin{equation} AC \times BD = AB \times CD + BC \times AD. \end{equation}$

Por lo tanto, $\sin (\alpha + \beta) = \cos \alpha \sin \beta +\sin \alpha \cos \beta$.

$\blacksquare$

El coseno de la suma

Teorema 5, el coseno de la suma de dos ángulos. Sean $\alpha \ne 0$ y $\beta$ ángulos agudos tales que $\alpha + \beta < \dfrac{\pi}{2}$ entonces $\cos (\alpha + \beta) = \cos \alpha \cos \beta – \sin \alpha \sin \beta$.

Demostración. Sea $\square ABCD$ cíclico tal que $BC = 1$ es diámetro del circuncírculo, $\angle CBD = \alpha$ y $\angle DBA = \beta$.

Figura 6

Como $\triangle BAC$ y $\triangle BDC$ son triángulos rectángulos y $BC = 1$ tenemos que
$AC = \sin (\alpha + \beta) = \sin \alpha \cos \beta + \sin \beta \cos \alpha$ (teorema 4),
$BD = \cos \alpha$,
$AB = \cos (\alpha + \beta)$,
$CD = \sin \alpha$,
$AD = \sin \angle DCA = \sin \beta$ (corolario).

Por el teorema de Ptolomeo $(3)$, aplicado a $\square ABCD$ obtenemos:
$\cos (\alpha + \beta) \sin \alpha + \sin \beta$
$= (\sin \alpha \cos \beta + \sin \beta \cos \alpha) \cos \alpha$
$= \sin \alpha \cos \beta \cos \alpha + \sin \beta \cos^2 \alpha$
$ = \sin \alpha \cos \beta \cos \alpha + (\sin \beta)(1 – \sin^2 \alpha)$ (teorema 1)
$= \sin \alpha \cos \beta \cos \alpha – \sin \beta \sin^2 \alpha + \sin \beta$.

$\Leftrightarrow$$\cos (\alpha + \beta) \sin \alpha = \sin \alpha \cos \beta \cos \alpha – \sin \beta \sin^2 \alpha$.

Por lo tanto, $\cos (\alpha + \beta) = \cos \beta \cos \alpha -\sin \beta \sin \alpha$.

$\blacksquare$

Seno y coseno del ángulo medio

Teorema 6, el seno y el coseno del ángulo medio. Sea $\alpha \ne 0$ un ángulo agudo entonces
$\sin \dfrac{\alpha}{2} = \sqrt{\dfrac{1 – \cos \alpha}{2}}$ y $\cos \dfrac{\alpha}{2} = \sqrt{\dfrac{1 + \cos \alpha}{2}}$.

Demostración. Sea $\square ABCD$ cíclico tal que $BC = 1$ es diámetro y $\angle CBD = \angle DBA = \dfrac{\alpha}{2}$.

Figura 7

Ya que $\triangle BAC$ y $\triangle BDC$ son triángulos rectángulos podemos ver que
$AC = \sin \alpha$,
$BD = \cos \dfrac{\alpha}{2}$,
$AB = \cos \alpha$,
$CD = \sin \dfrac{\alpha}{2}$,
$AD = \sin \angle DCA = \sin \dfrac{\alpha}{2}$ (corolario).

Aplicando Ptolomeo $(3)$ y el teorema 4 obtenemos:
$\cos \alpha \sin \dfrac{\alpha}{2} + \sin \dfrac{\alpha}{2} = \sin \alpha \cos \dfrac{\alpha}{2} $
$= \sin (\dfrac{\alpha}{2} +\dfrac{\alpha}{2}) \cos \dfrac{\alpha}{2} = 2 \sin \dfrac{\alpha}{2} \cos^2 \dfrac{\alpha}{2}$.

Por lo tanto, $2 \sin \dfrac{\alpha}{2} \cos^2 \dfrac{\alpha}{2} = \sin \dfrac{\alpha}{2} (\cos \alpha + 1)$ $\Rightarrow$  
$\begin{equation} \cos^2 \dfrac{\alpha}{2} = \dfrac{\cos \alpha + 1}{2}. \end{equation}$

De donde se sigue que $\cos \dfrac{\alpha}{2} = \sqrt{\dfrac{\cos \alpha + 1}{2}}$.

Ahora sustituimos la identidad pitagórica en la ecuación $(4)$ y obtenemos:
$1 – \sin^2 \dfrac{\alpha}{2} = \dfrac{\cos \alpha + 1}{2}$
$\Leftrightarrow$
$\sin \dfrac{\alpha}{2} = \sqrt{\dfrac{1 – \cos \alpha}{2}}$.

$\blacksquare$

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.

  1. $i)$ A partir de un triangulo equilátero deriva los valores de las seis razones trigonométricas para los ángulos $\dfrac{\pi}{3}$ y $\dfrac{\pi}{6}$,
    $ii)$ A partir de un triángulo rectángulo isósceles deduce los valores de las seis razones trigonométricas para el ángulo $\dfrac{\pi}{4}$.
  2. Recordemos que consideramos la magnitud de un ángulo central como positiva, si recorremos el arco de circunferencia que subtiende dicho ángulo en el sentido contrario al de las manecillas del reloj y negativa en caso contario, muestra que para cualquier valor de $\alpha$ se cumple que:
    $i)$ $\sin (-\alpha) = -\sin \alpha$,
    $ii)$ $\cos (-\alpha) = \cos \alpha$,
    $iii)$ $\sin (\pi – \alpha) = \sin \alpha$,
    $iv)$ $\cos (\pi – \alpha) = -\cos \alpha$,
    $v)$ $\sec^2 \alpha = 1 + \tan^2 \alpha$.
  3. Sean $\alpha$ y $\beta$ ángulos agudos tales que $\alpha \geq \beta$, muestra geométricamente:
    $i)$ el seno de la diferencia de dos ángulos, $\sin (\alpha – \beta) = \sin \alpha \cos \beta – \sin \beta \cos \alpha$,
    $ii)$ el coseno de la diferencia de dos ángulos, $\cos (\alpha – \beta) = \cos \alpha \cos \beta + \sin \alpha \sin \beta$.
  4.  Sean $\alpha$ y $\beta$ ángulos agudos prueba que:
    $i)$ $\sin \alpha \cos \beta = \dfrac{\sin (\alpha + \beta) + \sin (\alpha – \beta)}{2}$,
    $ii)$ $\cos \alpha \sin \beta = \dfrac{\sin (\alpha + \beta) – \sin (\alpha – \beta)}{2}$.
  5. Sea $\triangle ABC$, por $A$ traza cualquier recta que corte a $BC$ en $L$, muestra que $\dfrac{BL}{LC} = \dfrac{AB \sin \angle BAL}{AC \sin \angle LAC}$.
Figura 8
  1. Demuestra que si $\dfrac{\sin \alpha}{\sin \beta} = \dfrac{\sin \delta}{\sin \gamma}$ y $\alpha + \beta = \delta + \gamma < \pi$ entonces $\alpha = \delta$ y $\beta = \gamma$.
  2. Sea $\triangle ABC$ con $a = BC$, $b = AC$, $c = AB$, $\alpha = \angle BAC$, $\beta = \angle CBA$, $\gamma = \angle ACB$, demuestra las siguientes formulas para calcular el área de $\triangle ABC$:
    $i)$ $(\triangle ABC) = \dfrac{ac \sin \beta}{2} = \dfrac{ab \sin \gamma}{2} = \dfrac{bc \sin \alpha}{2}$,
    $ii)$ $(\triangle ABC) = \dfrac{a^2 \sin \beta \sin \gamma}{2 \sin (\beta + \gamma)} = \dfrac{b^2 \sin \alpha \sin \gamma}{2 \sin (\alpha + \gamma)} = \dfrac{c^2 \sin \alpha \sin \beta}{2 \sin (\alpha + \beta)}$.

Más adelante…

En la siguiente entrada estudiaremos algunas propiedades relacionadas con el incírculo y los excÍrculos de un triángulo, así como también sobre sus centros y radios.

Entradas relacionadas

Fuentes

  • Santos, J., Tesis Geometría del Cuadrilátero. 2010, pp 69-78.
  • Cárdenas, S., Notas de Geometría. México: Ed. Prensas de Ciencias, 2013, pp 55-62.
  • Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 89-95.

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»