Archivo de la etiqueta: coseno

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 $△ A B C$ donde $A B$ es la hipotenusa y sea $α = ∠ B A C$ , decimos que $B C$ es el cateto opuesto a $α$ y $A C$ es el cateto adyacente a $α$ .

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

El seno del ángulo $α$ como $\frac{c . o p u e s t o}{h i p o t e n u s a}$ y lo denotamos como $\sin α = \frac{B C}{A B}$ .
El coseno del ángulo $α$ como $\frac{c . a d y a c e n t e}{h i p o t e n u s a}$ y lo denotamos como $\cos α = \frac{A C}{A B}$ .
La tangente del ángulo $α$ como $\frac{c . o p u e s t o}{c . a d y a c e n t e}$ y lo denotamos como $\tan α = \frac{B C}{A C}$ .
La cosecante del ángulo $α$ como como $\frac{h i p o t e n u s a}{c . o p u e s t o}$ y lo denotamos como $\csc α = \frac{A B}{B C}$ .
La secante del ángulo $α$ como $\frac{h i p o t e n u s a}{c . a d y a c e n t e}$ y lo denotamos como $\sec α = \frac{A B}{A C}$ .
La cotangente del ángulo $α$ como $\frac{c . a d y a c e n t e}{c . o p u e s t o}$ y lo denotamos como $\cot α = \frac{A C}{B C}$ .

Si consideramos el ángulo complementario a $α$ , $β = ∠ C B A$ , entonces de las definiciones se siguen las siguientes relaciones:

$\sin α = \cos β$ , $\cos α = \sin β$ , $\tan α = \frac{\sin α}{\cos α}$ , $\tan α \tan β = 1$ .

$\csc α = \sec β$ , $\sec α = \csc β$ , $\cot α = \frac{\cos α}{\sin α}$ , $\cot α \cot β = 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 $O x$ y el rayo superior $O y$ y trazamos las proyecciones $X$ , $Y$ de $O$ a las rectas $x$ , $y$ respectivamente.

El triángulo $△ O P X$ es rectángulo y su hipotenusa $O P = 1$ , si consideramos el ángulo $∠ X O P = γ$ entonces
$\sin γ = P X$ y
$\cos γ = O X$ .

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 $O P$ entonces $R Q ∥ P X$ y los triángulos $△ O P X$ y $△ O R Q$ son semejantes por lo tanto
$\tan γ = \frac{P X}{O X} = \frac{R Q}{O Q} = R Q$ y
$\sec γ = \frac{O P}{O X} = \frac{O R}{O Q} = O R$ .

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 $O P$ entonces $S T ∥ x$ , por lo tanto $γ = ∠ S T O$ y así $△ O P X$ y $△ T O S$ son semejantes, por lo tanto,
$\csc γ = \frac{O P}{P X} = \frac{O T}{O S} = O T$ y
$\cot α = \frac{O X}{P X} = \frac{S T}{O S} = S T$ .

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$ respectivamente.

De esta manera todas las razones trigonométricas quedan determinadas por el valor de $\sin γ = P X$ y $\cos γ = O X$ .

Teorema 1, identidad pitagórica. Sea $0 \leq γ < 2 π$ entonces, $\sin^{2} γ + \cos^{2} γ = 1$ .

Demostración. Aplicamos el teorema de Pitágoras al triángulo rectángulo $△ O P X$ , (figura 2).

$1 = P X^{2} + O X^{2} = \sin^{2} γ + \cos^{2} γ$ .

Ley extendida de senos

Teorema 2, ley extendida de los senos. Sean $△ A B C$ y $(O, R)$ su circuncírculo, etiquetemos $∠ B A C = α$ , $∠ C B A = β$ , $∠ A C B = γ$ y $a = B C$ , $b = A C$ , $c = A B$ las longitudes de sus lados, entonces
$\frac{\sin α}{a} = \frac{\sin β}{b} = \frac{\sin γ}{c} = \frac{1}{2 R}$ .

Demostración. Tracemos $D$ el punto diametralmente opuesto a $C$ , entonces $∠ B D C = α$ , pues subtienden el mismo arco.

$∠ C B D$ es un ángulo recto, pues $C D$ es diámetro, por lo tanto $\sin α = \sin ∠ B D C = \frac{a}{C D}$ .

Por lo tanto, $\frac{\sin α}{a} = \frac{1}{2 R}$ .

De manera análoga podemos ver que
$\sin β = \frac{b}{2 R}$ y
$\sin γ = \frac{c}{2 R}$ .

Por lo tanto, $\frac{\sin α}{a} = \frac{\sin β}{b} = \frac{\sin γ}{c} = \frac{1}{2 R}$ .

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 $2 R = 1$ en el teorema anterior.

Ley de cosenos

Teorema 3, ley de cosenos. Sean $△ A B C$ , $∠ B A C = α$ , $∠ C B A = β$ , $∠ A C B = γ$ y $a = B C$ , $b = A C$ , $c = A B$ las longitudes de sus lados, entonces se da la siguiente igualdad:
$c^{2} = a^{2} + b^{2} - 2 a b \cos γ$ .

Demostración. Trazamos $D$ el pie de la perpendicular a $B C$ desde $A$ y aplicamos el teorema de Pitágoras a $△ A B D$ y $△ A D C,$ de donde obtenemos

$\begin{matrix} (1) & c^{2} = A D^{2} + (a - D C)^{2} = A D^{2} + a^{2} - 2 a (D C) + D C^{2}, \end{matrix}$
$b^{2} = A D^{2} + D C^{2}$
$\Leftrightarrow$ $\begin{matrix} (2) & A D^{2} = b^{2} - D C^{2} . \end{matrix}$

Sustituimos $(2)$ en $(1)$ y obtenemos $c^{2} = b^{2} + a^{2} - 2 a (D C)$ .

Por otro lado $\cos γ = \frac{D C}{b}$ $\Leftrightarrow$ $b \cos γ = D C$ .

Así que $c^{2} = a^{2} + b^{2} - 2 a b \cos γ$ .

De manera similar se puede ver que
$a^{2} = b^{2} + c^{2} - 2 b c \cos α$ y
$b^{2} = a^{2} + c^{2} - 2 a c \cos β$ .

El seno de la suma

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

Demostración. Sea $A B C D$ cíclico tal que $B D = 1$ es diámetro del circuncírculo, $∠ D B A = α$ y $∠ C B D = β$ .

Como consecuencia del corolario tenemos que $A C = \sin (α + β)$ , ademas $△ B A D$ y $△ D C B$ son triángulos rectángulos pues $D B$ es diámetro.

Se sigue que
$A B = \cos α$ ,
$C D = \sin β$ ,
$A D = \sin α$ y
$B C = \cos β$ .

El teorema de Ptolomeo nos dice que
$\begin{matrix} (3) & A C \times B D = A B \times C D + B C \times A D . \end{matrix}$

Por lo tanto, $\sin (α + β) = \cos α \sin β + \sin α \cos β$ .

El coseno de la suma

Teorema 5, el coseno de la suma de dos ángulos. Sean $α \neq 0$ y $β$ ángulos agudos tales que $α + β < \frac{π}{2}$ entonces $\cos (α + β) = \cos α \cos β - \sin α \sin β$ .

Demostración. Sea $A B C D$ cíclico tal que $B C = 1$ es diámetro del circuncírculo, $∠ C B D = α$ y $∠ D B A = β$ .

Como $△ B A C$ y $△ B D C$ son triángulos rectángulos y $B C = 1$ tenemos que
$A C = \sin (α + β) = \sin α \cos β + \sin β \cos α$ (teorema 4),
$B D = \cos α$ ,
$A B = \cos (α + β)$ ,
$C D = \sin α$ ,
$A D = \sin ∠ D C A = \sin β$ (corolario).

Por el teorema de Ptolomeo $(3)$ , aplicado a $A B C D$ obtenemos:
$\cos (α + β) \sin α + \sin β$
$= (\sin α \cos β + \sin β \cos α) \cos α$
$= \sin α \cos β \cos α + \sin β \cos^{2} α$
$= \sin α \cos β \cos α + (\sin β) (1 - \sin^{2} α)$ (teorema 1)
$= \sin α \cos β \cos α - \sin β \sin^{2} α + \sin β$ .

$\Leftrightarrow$ $\cos (α + β) \sin α = \sin α \cos β \cos α - \sin β \sin^{2} α$ .

Por lo tanto, $\cos (α + β) = \cos β \cos α - \sin β \sin α$ .

Seno y coseno del ángulo medio

Teorema 6, el seno y el coseno del ángulo medio. Sea $α \neq 0$ un ángulo agudo entonces
$\sin \frac{α}{2} = \sqrt{\frac{1 - \cos α}{2}}$ y $\cos \frac{α}{2} = \sqrt{\frac{1 + \cos α}{2}}$ .

Demostración. Sea $A B C D$ cíclico tal que $B C = 1$ es diámetro y $∠ C B D = ∠ D B A = \frac{α}{2}$ .

Ya que $△ B A C$ y $△ B D C$ son triángulos rectángulos podemos ver que
$A C = \sin α$ ,
$B D = \cos \frac{α}{2}$ ,
$A B = \cos α$ ,
$C D = \sin \frac{α}{2}$ ,
$A D = \sin ∠ D C A = \sin \frac{α}{2}$ (corolario).

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

Por lo tanto, $2 \sin \frac{α}{2} \cos^{2} \frac{α}{2} = \sin \frac{α}{2} (\cos α + 1)$ $\Rightarrow$
$\begin{matrix} (4) & \cos^{2} \frac{α}{2} = \frac{\cos α + 1}{2} . \end{matrix}$

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

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

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.

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.

$i)$ A partir de un triangulo equilátero deriva los valores de las seis razones trigonométricas para los ángulos $\frac{π}{3}$ y $\frac{π}{6}$ ,
$i i)$ A partir de un triángulo rectángulo isósceles deduce los valores de las seis razones trigonométricas para el ángulo $\frac{π}{4}$ .
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 contraio, muestra que para cualquier valor de $α$ se cumple que:
$i)$ $\sin (- α) = - \sin α$ ,
$i i)$ $\cos (- α) = \cos α$ ,
$i i i)$ $\sin (π - α) = \sin α$ ,
$i v)$ $\cos (π - α) = - \cos α$ ,
$v)$ $\sec^{2} α = 1 + \tan^{2} α$ .
Sean $α$ y $β$ ángulos agudos tales que $α \geq β$ , muestra geométricamente:
$i)$ el seno de la diferencia de dos ángulos, $\sin (α - β) = \sin α \cos β - \sin β \cos α$ ,
$i i)$ el coseno de la diferencia de dos ángulos, $\cos (α - β) = \cos α \cos β + \sin α \sin β$ .
Sean $α$ y $β$ ángulos agudos prueba que:
$i)$ $\sin α \cos β = \frac{\sin (α + β) + \sin (α - β)}{2}$ ,
$i i)$ $\cos α \sin β = \frac{\sin (α + β) - \sin (α - β)}{2}$ .
Sea $△ A B C$ , por $A$ traza cualquier recta que corte a $B C$ en $L$ , muestra que $\frac{B L}{L C} = \frac{A B \sin ∠ B A L}{A C \sin ∠ L A C}$ .

Demuestra que si $\frac{\sin α}{\sin β} = \frac{\sin δ}{\sin γ}$ y $α + β = δ + γ < π$ entonces $α = δ$ y $β = γ$ .
Sea $△ A B C$ con $a = B C$ , $b = A C$ , $c = A B$ , $α = ∠ B A C$ , $β = ∠ C B A$ , $γ = ∠ A C B$ , demuestra las siguientes formulas para calcular el área de $△ A B C$ :
$i)$ $(△ A B C) = \frac{a c \sin β}{2} = \frac{a b \sin γ}{2} = \frac{b c \sin α}{2}$ ,
$i i)$ $(△ A B C) = \frac{a^{2} \sin β \sin γ}{2 \sin (β + γ)} = \frac{b^{2} \sin α \sin γ}{2 \sin (α + γ)} = \frac{c^{2} \sin α \sin β}{2 \sin (α + β)}$ .

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Teorema de Ptolomeo.
Siguiente entrada del curso: Circunferencias tritangentes.
Otros cursos.

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»

Álgebra Superior II: Exponencial, logaritmo y trigonometría en los complejos

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

Gracias a las entradas anteriores ya hemos desarrollado un buen manejo de los números complejos. Sabemos cómo se construyen y cómo hacer operaciones básicas, incluyendo obtener conjugados, la forma polar, sacar normas y elevar a potencias. También hemos aprendido a resolver varias ecuaciones en los complejos: cuadráticas, sistemas lineales y raíces $n$ -ésimas. Todo esto forma parte de los fundamentos algebraicos de $C$ . Ahora hablaremos un poco de la exponencial, el logaritmo y trigonometría en los complejos.

Aunque mencionaremos un poco de las motivaciones detrás de las definiciones, no profundizaremos tanto como con otros temas. Varias de las razones para elegir las siguientes definiciones tienen que ver con temas de ecuaciones diferenciales y de análisis complejo, que no se estudian sino hasta semestres posteriores.

Función exponencial compleja

Recordemos que, para un real $y$ , definimos $cis (y) = \cos y + i \sin y$ . La función $cis$ y la exponenciación en los reales nos ayudarán a definir la exponencial compleja.

Definición. Definimos la función $\exp : C \to C$ como $\exp (x + y i) = e^{x} cis (y) .$

Ejemplo 1. Se tiene que $\exp (1 + \frac{π}{2} i) = e^{1} cis (\frac{π}{2}) = e i .$

$△$

Ejemplo 2. Se tiene que $\exp (π i) = e^{0} cis (π) = (1) (- 1) = - 1.$ Como veremos más abajo, esto lo podemos reescribir como la famosa identidad de Euler $e^{π i} + 1 = 0.$

$△$

Ejemplo 3. Se tiene que $\exp (2 + 3 i) = e^{2} cis (3) .$ Como $\cos (3)$ y $\sin (3)$ no tienen ningún valor especial, esta es la forma final de la expresión.

$△$

Propiedades de la función exponencial compleja

Una buena razón para definir la exponencial así es que si $y = 0$ , entonces la definición coincide con la definición en los reales: $\exp (x) = e^{x} cis (0) = e^{x} .$ Si $x = 0$ , tenemos que $\exp (i y) = cis (y)$ , de modo que si $w$ tiene norma $r$ y argumento $θ$ , podemos reescribir su forma polar como $w = r \exp (θ i),$ y una forma alternativa de escribir el teorema de De Moivre es $w^{n} = r^{n} \exp (n θ i) .$

Otra buena razón para definir la exponencial compleja como lo hicimos es que se sigue satisfaciendo que las sumas en la exponencial se abren en productos.

Proposición. Para $w$ y $z$ complejos se tiene que $E (w + z) = E (w) E (z) .$

Demostración. Escribamos $w = a + b i$ y $z = c + d i$ con $a, b, c$ y $d$ reales. Tenemos que
$\begin{aligned} \exp (w + z) & = \exp ((a + c) + (b + d) i) \\ = e^{a + c} cis (b + d) . \end{aligned}$

Por propiedades de la exponencial en $R$ tenemos que $e^{a + c} = e^{a} e^{c}$ . Además, por cómo funciona la multiplicación compleja en términos polares, tenemos que $cis (b + d) = cis (b) cis (d)$ . Usando estas observaciones podemos continuar con la cadena de igualdades,

$\begin{aligned} = e^{a} e^{c} cis (b) cis (d) \\ = (e^{a} cis (b)) (e^{c} cis (d)) \\ = \exp (a + b i) \exp (c + d i) \\ = \exp (w) \exp (z) . \end{aligned}$

Como $\exp$ extiende a la exponencial real y se vale abrir las sumas de exponentes en productos, puede ser tentador usar la notación $e^{x + y i}$ en vez de $\exp (x + y i)$ . Hay que tener cuidado con esta interpretación, pues hasta ahora no hemos dicho qué quiere decir «elevar a una potencia». Cuando lo hagamos, veremos que usar la notación $e^{x + y i}$ sí tiene sentido, pero por el momento hay que apegarnos a la definición.

Hay otras buenas razones para definir la exponencial compleja como lo hicimos. Una muy importante es que es la solución a una ecuación diferencial muy natural. Más adelante, en tu formación matemática, verás esto.

Función logaritmo complejo

Con el logaritmo natural $\ln$ en $R$ y la multifunción argumento podemos extender el logaritmo a $C$ .

Definición. Definimos la función $L : C ∖ {0} \to C$ como $L (z) = \ln ‖ z ‖ + \arg (z) i .$

Hay que ser un poco más precisos, pues $\arg (z)$ es una multifunción y toma varios valores. Cuando estamos trabajando con logaritmo, lo más conveniente por razones de simetría es que tomemos el argumento en el intervalo $(- π, π]$ . En cursos posteriores hablarás de «otras» funciones logaritmo, y de por qué ésta es usualmente una buena elección.

Ejemplo. Los logaritmos de $i$ y de $- 1$ son, respectivamente,
$\begin{aligned} L (i) & = \ln ‖ i ‖ + \arg (i) i = \ln (1) + \frac{π}{2} i = \frac{π}{2} i \\ L (- 1) & = \ln ‖ - 1 ‖ + \arg (- 1) i = \ln (1) + π i = π i . \end{aligned}$

$△$

Propiedades del logaritmo complejo

La función $\exp$ restringida a los números con parte imaginaria en $(- π, π]$ es invertible y su inversa es $L$ . Esto justifica en parte la definición de logaritmo. Demostrar esto es sencillo y queda como tarea moral.

La función $L$ restringida a los reales positivos coincide con la función logaritmo natural, pues para $z = x + 0 i = x$ , con $x > 0$ se tiene que $\arg (x) = 0$ y entonces $L (z) = L (x) = ‖ x ‖ + \arg (x) i = x .$

Como en el caso real, la función logaritmo abre productos en sumas, pero con un detalle que hay que cuidar.

Proposición. Para $w$ y $z$ complejos no $0$ , se tiene que $L (w z)$ y $L (w) + L (z)$ difieren en un múltiplo entero de $2 π i$ .

Con la función logaritmo podemos definir potencias de números complejos.

Definición. Para $w, z$ en $C$ con $w \neq 0$ , definimos $w^{z} = \exp (z L (w)) .$

Ejemplo. En particular, podemos tomar $w = e$ , de donde $\begin{aligned} e^{z} & = \exp (z L (e)) \\ = \exp (z \ln (e)) \\ = \exp (z), \end{aligned}$ de donde ahora sí podemos justificar usar la notación $e^{x + y i}$ en vez de $\exp (x + y i)$ .

Esta definición de exponenciación en $C$ es buena, en parte, porque se puede probar que se satisfacen las leyes de los exponentes.

Proposición. Para $w, z_{1}, z_{2}$ en $C$ , con $w \neq 0$ , se cumple que $z^{w_{1} + w_{2}} = z^{w_{1}} z^{w_{2}}$ y que $(z^{w_{1}})^{w_{2}} = z^{w_{1} w_{2}} .$

La demostración es sencilla y se deja como tarea moral.

Funciones trigonométricas complejas

Finalmente, definiremos las funciones trigonométricas en $C$ . Para ello, nos basaremos en la función exponencial que ya definimos.

Definición. Para $z$ cualquier complejo, definimos $\cos (z) = \frac{e^{i z} + e^{- i z}}{2}$ y $\sin (z) = \frac{e^{i z} - e^{- i z}}{2} .$

Una de las razones por las cuales esta definición es buena es que extiende a las funciones trigonométricas reales. En efecto, si $z = x + 0 i = x$ es real, entonces $\cos (z)$ es $\begin{aligned} \frac{e^{i z} + e^{- i z}}{2} & = \frac{cis (x) + cis (- x)}{2} \\ = \frac{2 \cos (x)}{2} \\ = \cos (x), \end{aligned}$ y de manera similar para $\sin (z)$ .

Las funciones trigonométricas en $C$ siguen cumpliendo varias propiedades que cumplían en $R$ .

Proposición. Para $w$ y $z$ complejos, se tiene que
$\begin{array}{r} \cos (w + z) = \cos (w) \cos (z) - \sin (w) \sin (z) \\ \sin (w + z) = \sin (w) \cos (z) + \sin (z) \cos (w) . \end{array}$

Demostración. Procedemos por definición. Tenemos que
$\begin{aligned} 4 & \cos (w) \cos (z) \\ = (e^{i w} + e^{- i w}) (e^{i z} + e^{- i z}) \\ = (e^{i (w + z)} + e^{i (w - z)} + e^{i (z - w)} + e^{i (- z - w)}) \end{aligned}$

y que
$\begin{aligned} 4 & \sin (w) \sin (z) \\ = (e^{i w} - e^{- i w}) (e^{i z} - e^{- i z}) \\ = (e^{i (w + z)} - e^{i (w - z)} - e^{i (z - w)} + e^{i (- z - w)}), \end{aligned}$

de modo que
$\begin{aligned} 4 (\cos (w) & \cos (z) - \sin (w) \sin (z)) \\ = 2 (e^{i (w + z)} + e^{- i (w + z)}) \\ = 4 \cos (w + z) . \end{aligned}$

Dividiendo entre $4$ ambos lados de la igualdad, obtenemos la primer identidad. La segunda se demuestra de manera análoga, y queda como tarea moral.

Más adelante…

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.

Determina los valores de $\exp (3 + \frac{3 π}{4} i)$ y de $L (- i)$ .
Muestra que para $z$ con parte imaginaria en $(- π, π]$ se tiene que $L (\exp (z)) = z$ .
Determina el valor de $(1 + i)^{1 + i}$ .
Muestra las leyes de los exponentes para la exponenciación en $C$ .
Determina el valor de $\sin (i)$ y de $\cos (1 + i)$ .
Muestra la identidad de seno de la suma de ángulos en $C$ .
Investiga qué otras propiedades de las funciones trigonométricas reales se extienden al caso complejo.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Problemas de fórmula de De Moivre y raíces n-ésimas
Entrada siguiente del curso: Problemas de exponencial, logaritmo y trigonometría en $C$

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»

Seminario de Resolución de Problemas: Funciones diferenciables y la derivada

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En entradas anteriores hemos platicado acerca de funciones continuas. A partir de ahí, platicamos de dos teoremas importantes para esta clase de funciones: el teorema del valor intermedio y el teorema del valor extremo. La siguiente clase de funciones que nos interesa es la de funciones diferenciables. Hablaremos de esta clase de funciones y de la derivada.

Como recordatorio, si $A \subset R$ y $a$ es un punto en el interior de $A$ , decimos que $f : A \to R$ es diferenciable en $a$ si el límite $lim_{h \to 0} \frac{f (a + h) - f (a)}{h}$ existe y es finito.

En ese caso, llamamos $f^{'} (a)$ al valor de ese límite. Cuando $A$ es abierto y $f$ es diferenciable en todo punto $a$ de $A$ , entonces simplemente decimos qur $f$ es diferenciable y podemos definir a la derivada $f^{'}$ de $f$ como la función $f^{'} : A \to R$ tal que a cada punto lo manda al límite anterior.

Mencionaremos algunas propiedades básicas de funciones diferenciables y cómo se pueden usar para resolver problemas. Como en ocasiones anteriores, no hacemos mucho énfasis en la demostración de las propiedades básicas, pues se pueden encontrar en libros de texto, como el Cálculo de Spivak.

Propiedades básicas de funciones diferenciables

En la definición de diferenciabilidad, se calcula el límite $lim_{h \to 0} \frac{f (x + h) - f (x)}{h} .$ Sin embargo, en algunas ocasiones es más sencillo calcular el límite $lim_{y \to x} \frac{f (x) - f (y)}{x - y} .$ Estos dos límites son equivalentes, pues sólo difieren en el cambio de variable $y = x + h$ . Dependiendo del problema que se esté estudiando, a veces conviene usar una notación u otra para simplificar las cuentas.

Como en el caso de la continuidad, la diferenciabilidad se comporta bien con las operaciones básicas.

Proposición. Si $f : (a, b) \to R$ y $g : (a, b) \to R$ son diferenciables, entonces $f + g$ , $f - g$ y $f g$ son diferenciables. Tenemos que sus derivadas son
$\begin{array}{r} (f + g)^{'} = f^{'} + g^{'} \\ (f - g)^{'} = f^{'} - g^{'} \\ (f g)^{'} = f^{'} g + f g^{'} . \end{array}$ Si $g (x) \neq 0$ , entonces $f / g$ también es diferenciable en $x$ , con derivada $(f / g)^{'} = \frac{f^{'} g - f g^{'}}{g^{2}} .$

La proposición anterior se puede probar directamente de las definiciones. Se demuestra en un curso usual de cálculo, pero es un ejercicio recomendable hacer las demostraciones de nuevo.

La tercera igualdad se llama la regla del producto y la última la regla del cociente. En la regla del producto tenemos simetría, así que no importa cuál función derivamos primero. En la regla del cociente sí importa que derivemos primero a $f$ en el numerador. Para acordarse de ello, es fácil acordarse que $g$ va «al cuadrado» y como va al cuadrado, es «más fuerte», y «no se deja derivar primero».

Las funciones diferenciables son continuas, en el sentido de la siguiente proposición.

Proposición. Si $f : A \to R$ es una función diferenciable en $x$ , entonces es continua en $x$ .

Demostración. En efecto,
$\begin{aligned} lim_{h \to 0} & f (a + h) - f (a) \\ = & lim_{h \to 0} \frac{f (a + h) - f (a)}{h} \cdot h \\ = & lim_{h \to 0} \frac{f (a + h) - f (a)}{h} \cdot lim_{h \to 0} h \\ = & f^{'} (a) \cdot 0 = 0, \end{aligned}$

de modo que $lim_{h \to 0} f (a + h) = f (a),$ en otras palabras, $lim_{x \to a} f (x) = f (a),$ así que $f$ es continua en $a$ .

Una propiedad más es que las funciones diferenciables alcanzan su máximo en puntos en donde la derivada se anula. Damos un esbozo de la demostración de una parte de la proposición, pero recomendamos completar con cuidado el resto de la prueba, sobre todo cuidando que al pasar términos negativos multiplicando o dividiendo, se invierta la desigualdad correctamente.

Proposición. Si $f : (a, b) \to R$ tiene un máximo o un mínimo en $x$ , entonces $f^{'} (x) = 0$ .

Sugerencia pre-demostración. Supón que $f^{'} (x) \neq 0$ . Divide en casos de acuerdo a si $f^{'} (x) > 0$ ó $f^{'} (x) < 0$ . También, haz una figura que te ayude a entender lo que está sucediendo: si la derivada existe y es mayor que $0$ en un punto $x$ , entonces cerca de $x$ la función se ve como si «tuviera pendiente positiva» y entonces tantito a la derecha crece y tantito a la izquierda decrece.

Esbozo de demostración. Procedemos por contradicción. Si $f^{'} (x) = c > 0$ , entonces para $h > 0$ suficientemente pequeño tenemos que $| \frac{f (x + h) - f (x)}{h} - c | < c / 2,$ de modo que $\frac{f (x + h) - f (x)}{h} > c / 2$ , de donde $f (x + h) > f (x) + \frac{h c}{2} > f (x)$ , lo que muestra que $x$ no es un máximo.

Del mismo modo, tomando $h < 0$ suficientemente cercano a $0$ , tenemos que $x$ no es un mínimo. Los casos en los que $f^{'} (x) = c < 0$ son parecidos.

La proposición anterior nos permite usar la derivada para estudiar los valores extremos de una función, aunque no esté definida en un intervalo abierto. Si $f : [a, b] \to R$ es diferenciable en $(a, b)$ y es continua en $[a, b]$ , entonces sus valores extremos forzosamente están o bien en los extremos del intervalo (en $a$ o $b$ ), o bien en un punto $x \in (a, b)$ en donde la derivada es $0$ . Esta es la estrategia que usaremos para mostrar los teoremas de Rolle y del valor medio.

Problemas resueltos de funciones diferenciables

Veamos algunos problemas en los que podemos aplicar las propiedades anteriores de funciones diferenciables.

Problema. Supongamos que la función $x f (x)$ es diferenciable en un punto $x_{0} \neq 0$ y que la función $f$ es continua en $x_{0}$ . Muestra que $f$ es diferenciable en $x_{0}$ .

Sugerencia pre-solución. Para mostrar que la expresión es diferenciable, usa la definición de diferenciabilidad con límite $x \to x_{0}$ . En vez de tratar de encontrar el límite del cociente directamente, cambia el problema multiplicando y dividiendo por $x x_{0}$ .

Solución. Primero, como $x f (x)$ es diferenciable en $x_{0}$ , tenemos que el siguiente límite existe y es finito $A := lim_{x \to x_{0}} \frac{x f (x) - x_{0} f (x_{0})}{x - x_{0}} .$

Tenemos que mostrar que el límite $lim_{x \to x_{0}} \frac{f (x) - f (x_{0})}{x - x_{0}}$ existe. Para ello tomamos una $x$ suficientemente cerca de $x_{0}$ , de modo que $x \neq 0$ , y multiplicamos el numerador y denominador por $x x_{0}$ , y luego sumamos y restamos $x_{0}^{2} f (x_{0})$ en el numerador para obtener lo siguiente:

$\begin{aligned} \frac{f (x) - f (x_{0})}{x - x_{0}} \\ = & \frac{x x_{0} f (x) - x x_{0} f (x_{0})}{x x_{0} (x - x_{0})} \\ = & \frac{x x_{0} f (x) - x_{0}^{2} f (x_{0}) - x x_{0} f (x_{0}) + x_{0}^{2} f (x_{0})}{x x_{0} (x - x_{0})} \\ = & \frac{1}{x} (\frac{x f (x) - x_{0} f (x_{0})}{x - x_{0}}) - \frac{f (x_{0})}{x} . \end{aligned}$

Tomando el límite cuando $x \to x_{0}$ , tenemos que el primer sumando converge a $\frac{A}{x_{0}}$ , por la diferenciabilidad de $x f (x)$ y que el segundo sumando converge a $\frac{f (x_{0})}{x_{0}}$ . De esta forma, $f$ es diferenciable en $x_{0}$ .

Problema. Sea $n$ un entero positivo y $a_{1}, \dots, a_{n}$ números reales. Consideremos la función $f (x) = a_{1} \sin x + a_{2} \sin 2 x + \dots + a_{n} \sin n x .$ Muestra que si $| f (x) | \leq | \sin x |$ para todos los reales $x$ , entonces $| a_{1} + 2 a_{2} + \dots + n a_{n} | \leq 1.$

Sugerencia pre-solución. Se puede hacer una prueba por inducción. Intenta hacerlo así. Luego, intenta modificar el problema poniendo a la expresión final del enunciado en términos de la derivada de $f$ en algún valor específico.

Solución. La derivada de $f$ es $a_{1} \cos x + 2 a_{2} \cos 2 x + \dots + n a_{n} \cos n x,$ que en $0$ es $a_{1} + 2 a_{2} + \dots + n a_{n},$ que es precisamente el lado izquierdo de la desigualdad que queremos.

Por definición de derivada, tenemos que
$\begin{aligned} | f^{'} (0) | & = lim_{x \to 0} | \frac{f (x) - f (0)}{x - 0} | \\ = lim_{x \to 0} | \frac{f (x)}{x} | . \end{aligned}$

Por la hipótesis del problema, la última expresión dentro del límite es menor o igual a $| \frac{\sin x}{x} |$ . Como el límite de $\frac{\sin x}{x}$ cuando $x \to 0$ es $1$ , tenemos que $| f^{'} (0) | \leq 1,$ como queríamos.

Problema. Supongamos que $f : R \to R$ es una función que satisface la ecuación funcional $f (x + y) = f (x) + f (y)$ para todo $x$ y $y$ en $R$ y que $f$ es diferenciable en $0$ . Muestra que $f$ es una función de la forma $f (x) = c x$ para $c$ un real.

Sugerencia pre-solución. Usa como paso intermedio para el problema mostrar que $f$ es diferenciable en todo real. Recuerda que una función que satisface la ecuación funcional del problema debe satisfacer que $f (x) = f (1) x$ para todo racional $x$ . Esto se probaba con división por casos e inducción. Usa propiedades de funciones continuas.

Solución. Tomando $x = y = 0$ , tenemos que $f (0) = 2 f (0)$ , de modo que $f (0) = 0$ . Mostremos que $f$ es diferenciable en todo real.

Como $f$ es diferenciable en $0$ , tenemos que $L := lim_{h \to 0} \frac{f (h) - f (0)}{h} = lim_{h \to 0} \frac{f (h)}{h}$ existe y es finito. Tomemos ahora cualquier real $r$ . Por la ecuación funcional, tenemos que
$\begin{aligned} f (r + h) - f (r) & = f (r) + f (h) - f (h) \\ = f (r), \end{aligned}$
de modo que $lim_{h \to 0} \frac{f (r + h) - f (r)}{h} = lim_{h \to 0} f (h) = L .$

Así, $f$ es diferenciable en todo real $r$ . Por lo tanto, $f$ es contínua en todo real.

Anteriormente, cuando hablamos de inducción y de división por casos, vimos que una función que satisface la ecuación funcional $f (x + y) = f (x) + f (y)$ debe satisfacer que $f (x) = f (1) x$ para todo número racional $x$ . Para cualquier real $r$ podemos encontrar una sucesión de racionales ${x_{n}}$ que convergen a $r$ . Como $f$ es continua, tenemos que
$\begin{aligned} f (r) & = lim_{n \to \infty} f (x_{n}) \\ = lim_{n \to \infty} f (1) x_{n} \\ = f (1) r . \end{aligned}$

Esto muestra lo que queremos.

Más problemas

Hay más ejemplos de problemas relacionados con la derivada en la Sección 6.3 del libro Problem Solving through Problems de Loren Larson.

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: coseno

Geometría Moderna I: Trigonometría

Introducción

Razones trigonométricas

Círculo trigonométrico

Ley extendida de senos

Ley de cosenos

El seno de la suma

El coseno de la suma

Seno y coseno del ángulo medio

Más adelante…

Tarea moral

Entradas relacionadas

Fuentes

Agradecimientos

Álgebra Superior II: Exponencial, logaritmo y trigonometría en los complejos

Introducción

Función exponencial compleja

Propiedades de la función exponencial compleja

Función logaritmo complejo

Propiedades del logaritmo complejo

Funciones trigonométricas complejas

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Seminario de Resolución de Problemas: Funciones diferenciables y la derivada

Introducción

Propiedades básicas de funciones diferenciables

Problemas resueltos de funciones diferenciables

Más problemas