Aritmética |
Geometría |
Polinomios |
Desigualdades |
Álgebra |
Combinatoria |
Invariantes |
Las razones trigonométricas proporcionan una herramienta muy útil para dar relaciones numéricas entre lados y ángulos en geometría. En esta lección vamos a presentar las propiedades fundamentales de las funciones seno y coseno, justificándolas desde el punto de vista de la geometría.
Supongamos que tenemos un ángulo agudo $\alpha$ y construimos un triángulo rectángulo $ABC$ de forma que $\angle CAB=\alpha$, $\angle ABC=90$ y $\angle BCA=90-\alpha$. Definimos entonces
\[\sin(\alpha)=\frac{a}{b}=\frac{\text{cateto opuesto}}{\text{hipotenusa}},\hspace{1cm}\cos(\alpha)=\frac{c}{b}=\frac{\text{cateto contiguo}}{\text{hipotenusa}},\]
y a estas cantidades las llamaremos seno y coseno de $\alpha$, respectivamente. Lo importante es que no dependen en absoluto del triángulo $ABC$, es decir, se pueden calcular en cualquier otro triángulo rectángulo tal que uno de los ángulos sea $\alpha$ ya que cualesquiera triángulos rectángulos en estas condiciones son semejantes entre sí. Para ángulos obtusos, usaremos las siguientes fórmulas como definición:
\[\sin(\alpha)=\sin(180-\alpha),\hspace{1cm}\cos(\alpha)=-\cos(180-\alpha).\]
Como las razones trigonométricas no dependen del triángulo, podemos colocar su vértice en un punto fijo, uno de sus lados en una semirrecta fija y dejar variar al otro, que hace el papel de hipotenusa, con longitud constante uno. Por tanto, elegir un ángulo concreto es elegir un punto sobre una circunferencia de radio uno, la conocida como circunferencia goniométrica:
Esto nos permite hablar de seno y coseno de ángulos que no tienen por qué estar entre $0$ y $180$, sino que pueden tomar cualquier valor real. La convención es tomar el seno positivo cuando el ángulo está en el primer o segundo cuadrante y negativo en el tercero o en el cuarto, mientras que el coseno se toma positivo en el primer y cuarto cuadrante y negativo en el segundo y tercero. De esta manera, el seno y el coseno son funciones de un ángulo que repiten su valor cada vez que el ángulo se incrementa $360$ grados, es decir, cuando damos una vuelta completa a la circunferencia. Todo esto se resume en las siguientes expresiones que definen a las funciones seno y coseno para todo valor de $\alpha\in\mathbb R$ (¡incluso negativo!): \begin{align*} \sin(\alpha+90)&=\cos\alpha,& \cos(\alpha+90)&=-\sin\alpha,\\ \sin(\alpha+180)&=-\sin\alpha,& \cos(\alpha+180)&=-\cos\alpha,\\ \sin(\alpha+270)&=-\cos\alpha,& \cos(\alpha+270)&=\sin\alpha,\\ \end{align*} En realidad, sólo hay que recordar que las gráficas de las funciones seno y coseno tienen ejes de simetría verticales y centros de simetría donde son cero (estos ejes y centros se han marcado con colores en la imagen de arriba). También es importante saber que la gráfica de la función coseno no es más que trasladar horizontalmente la gráfica de la función seno. Con esto, se tienen todas las relaciones y simetrías de ambas funciones y además nos aseguramos que es suficiente conocerlas en el intervalo $[0,90]$. Son particularmente útiles siguientes simetrías par e impar: \[\cos(-x)=\cos(x),\qquad\mathrm{sen}(x)=-\mathrm{sen}(x).\]
Para los ángulos de $0$ y $90$, está claro que
\[\mathrm{sen}(0)=\cos(90)=0,\qquad \mathrm{sen}(90)=\cos(0)=1.\]
Para el resto de ángulos, vamos a utilizar un triángulo equilátero, un cuadrado y un pentágono regular, todos ellos de lado $1$, así como un triángulo equilátero apoyado sobre el lado de un cuadrado. Estas son configuraciones en las que aparecen los ángulos que necesitamos en triángulos rectángulos (¿sabrías justificar por qué?):
Vamos a ver las figuras una por una.
En los cálculos anteriores hay algunas racionalizaciones difíciles, pero se dejan los detalles como ejercicio.
Una propiedad muy interesante de las razones trigonométricas es que nos permiten relacionar distintos elementos de un triángulo cualquiera, no necesariamente rectángulo. El teorema del coseno, que escribimos a continuación, puede verse como un teorema de Pitágoras generalizado cuando el triángulo no es necesariamente rectángulo. Como es habitual, escribiremos los lados de un triángulo $ABC$ como $a=BC$, $b=AC$ y $c=AB$ y los ángulos como $\alpha$, $\beta$ y $\gamma$ en los vértices $A$, $B$ y $C$, respectivamente.
En el triángulo rectángulo $APC$, tenemos que $\cos\alpha=AP/c$, luego despejamos $AP=c\cos\alpha$ y $CP=b-AP=b-c\cos(\alpha)$. Aplicando el teorema de Pitágoras a los triángulos $ABP$ y $BCP$, podemos calcular \begin{align*} c^2=AP^2+h^2=AP^2+a^2-CP^2&=c^2\cos^2\alpha+a^2-(b-c\cos\alpha)^2\\ &=a^2-b^2+2bc\cos\alpha. \end{align*} De aquí se tiene directamente la fórmula del enunciado.
Como $BP$ es un diámetro, necesariamente el ángulo $\angle BCP$ es recto y además $\angle BPC=\alpha$ por la propiedad del arco capaz. Esto nos permite calcular el seno de $\alpha$ en el triángulo rectángulo $BCP$ como $\sin\alpha=\frac{a}{2R}$ y hemos terminado.
Los teoremas del seno y el coseno, además de dar relaciones interesantes entre los elementos de un triángulo, pueden pensarse también como una herramienta con la que, dados tres elementos entre ángulos o lados, nos permiten calcular los otros tres (salvo que nos den tres ángulos, situación en la que el triángulo no está determinado). El siguiente ejercicio resuelto, debería convencernos de esto.
Una consecuencia del teorema del seno es la siguiente, que suele simplificar muchos razonamientos en la práctica.
Supongamos ahora que un ángulo es obtuso, pongamos $\alpha\gt 90\gt \beta\geq \gamma$. Observemos que $\beta= 180-\alpha-\gamma\lt 180-\alpha\lt 90$, luego tenemos que \[\mathrm{sen}(\beta)\lt\mathrm{sen}(180-\alpha)=\mathrm{sen}(\alpha).\] Además, también se tiene que $\mathrm{sen}(\gamma)\leq\mathrm{sen}(\beta)$ ya que $\gamma\leq\beta\lt 90$. Hemos probado que los senos están ordenados igual que los ángulos y esto termina la demostración.
A la hora de trabajar con funciones trigonométricas, existen multitud de fórmulas que permiten transformar expresiones con senos y cosenos. En realidad, todas ellas se deducen a partir de las del seno y coseno de una suma.
El teorema del coseno nos dice que $c^2=a^2+b^2-2ab\cos(C)$, lo que se traduce en que \begin{align*} \mathrm{sen}^2(x+y)&=\mathrm{sen}^2(x)+\mathrm{sen}^2(y)-2\mathrm{sen}(x)\mathrm{sen}(y)\cos(180-x-y)\\ &=\mathrm{sen}^2(x)+\mathrm{sen}^2(y)+2\mathrm{sen}(x)\mathrm{sen}(y)\cos(x+y). \end{align*} Dado que $\mathrm{sen}^2(x+y)=1-\cos^2(x+y)$ por la identidad fundamental, la igualdad anterior nos dice que $z=\cos(x+y)$ es solución de la ecuación de segundo grado \[z^2+2\mathrm{sen}(x)\mathrm{sen}(y)z+\mathrm{sen}^2(x)+\mathrm{sen}^2(y)-1=0.\] Esta ecuación tiene soluciones \begin{align*} z&=-\mathrm{sen}(x)\mathrm{sen}(y)\pm\sqrt{\mathrm{sen}^2(x)\mathrm{sen}^2(y)-\mathrm{sen}^2(x)-\mathrm{sen}^2(y)+1}\\ &=-\mathrm{sen}(x)\mathrm{sen}(y)\pm\sqrt{(1-\mathrm{sen}^2(x))(1-\mathrm{sen}^2(y))}\\ &=-\mathrm{sen}(x)\mathrm{sen}(y)\pm\cos(x)\cos(y). \end{align*} Si $x+y\leq 90$, podemos descartar la solución con el signo $-$ puesto que $\cos(x+y)\geq 0$. Si $90\lt x+y\leq 180$, podemos hacer el siguiente truco: \begin{align*} \cos(x+y)&=-\cos(180-(x+y))=-\cos((90-x)+(90-y))\\ &=\mathrm{sen}(90-x)\mathrm{sen}(90-y)-\cos(90-x)\cos(90-y)\\ &=\cos(x)\cos(y)-\mathrm{sen}(x)\mathrm{sen}(y), \end{align*} ya que ahora $90-x$ y $90-y$ suman menos de $90$ y podemos usar el caso previamente demostrado.
Una posibilidad para probar el resto de casos es usar las simetrías de las funciones seno y coseno y seguir estos pasos (se deja como ejercicio, aunque es más pesado que instructivo pues no aporta ninguna idea nueva):
Observemos que al ser el coseno una función par y el seno una función impar, tenemos automáticamente fórmulas para el seno y el coseno de una diferencia: \begin{align*} \mathrm{sen}(x-y)&=\mathrm{sen}(x)\cos(-y)+\cos(x)\mathrm{sen}(-y)\\ &=\mathrm{sen}(x)\cos(y)-\cos(x)\mathrm{sen}(y),\\ \cos(x-y)&=\cos(x)\cos(-y)-\mathrm{sen}(x)\mathrm{sen}(-y)\\ &=\cos(x)\cos(y)+\mathrm{sen}(x)\mathrm{sen}(y). \end{align*}
Obviamente, no es necesario ni recomendable memorizar ninguna estas fórmulas, ya que se deducen todas de forma más o menos rápida de las fórmulas para el seno y coseno de una suma. Sin embargo, conviene saber que las transformaciones anteriores existen, por si nos pueden ayudar a simplificar alguna expresión concreta.
Deducir la conocida como fórmula de Herón: \[S=\sqrt{p(p-a)(p-b)(p-c)},\] así como la siguiente fórmula para el radio circunscrito: \[R=\frac{abc}{4S}.\]
En la práctica, en ocasiones se usan otras razones trigonométricas, aunque en el fondo todas ellas se pueden expresar en términos de senos y cosenos. Estas funciones son la tangente, la cotangente, la secante y la cosecante: \[\tan(x)=\frac{\mathrm{sen}(x)}{\cos(x)},\qquad \cot(x)=\frac{\cos(x)}{\mathrm{sen}(x)},\qquad \sec(x)=\frac{1}{\cos(x)},\qquad \csc(x)=\frac{1}{\mathrm{sen}(x)}.\] Estas razones están definidas sólo cuando los denominadores no se anulan. La tangente, por ejemplo, no está definida en los múltiplos impares de $90$, donde el coseno es cero. Sin embargo, en el intervalo $(-90,90)$ es una función creciente desde $-\infty$ hasta $+\infty$ y luego sus valores se repiten cada vez que aumentamos o disminuimos el ángulo en $180$ grados. La tangente recibe su nombre por ser la longitud del segmento tangente a la circunferencia que se ve con el ángulo, como hemos representado en la siguiente figura en verde: