Función trigonométrica
# Función trigonométrica

En matemática, las funciones trigonométricas son las funciones determinadas con el objetivo de extender la definición de las razones trigonométricas a todos los números reales y complejos. Estas usualmente incluyen términos que describen la medición de ángulos y triángulos, tal como seno, coseno, tangente, cotangente, secante y cosecante.

Las funciones trigonométricas son de gran importancia en física, astronomía, cartografía, náutica, telecomunicaciones, la representación de fenómenos periódicos.

## Conceptos generales

Las funciones trigonométricas se pueden definir como el cociente entre dos lados de un triángulo rectángulo, asociado a sus ángulos. Las funciones trigonométricas son funciones cuyos valores son extensiones del concepto de razón trigonométrica en un triángulo rectángulo trazado en una circunferencia unitaria (de radio unidad). Definiciones más modernas las describen como series infinitas o como la solución de ciertas ecuaciones diferenciales, permitiendo su extensión a valores positivos y negativos, e incluso a números complejos.

Existen seis funciones trigonométricas básicas. Las últimas cuatro, se definen en relación de las dos primeras funciones, aunque se pueden definir geométricamente o por medio de sus relaciones. Algunas funciones fueron comunes antiguamente, y aparecen en las primeras tablas, pero no se utilizan actualmente ; por ejemplo el verseno (1 − cos θ) y la exsecante (sec θ − 1).

| Función | Abreviatura | Equivalencias (en radianes) |
| - | - | - |
| Seno | sen, sin | $\operatorname {sen} \;\theta \equiv {\frac {1}{\csc \theta }}\equiv \cos \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\cos \theta }{\cot \theta }}\,$ |
| Coseno | cos | $\cos \theta \equiv {\frac {1}{\sec \theta }}\equiv \operatorname {sen} \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\operatorname {sen} \theta }{\operatorname {tg} \theta }}\,$ |
| Tangente | tan, tg | $\operatorname {tg} \theta \equiv {\frac {1}{\cot \theta }}\equiv \cot \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\operatorname {sen} \theta }{\cos \theta }}\,$ |
| Cotangente | ctg (cot) | $\cot \theta \equiv {\frac {1}{\operatorname {tg} \theta }}\equiv \operatorname {tg} \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\cos \theta }{\operatorname {sen} \theta }}\,$ |
| Secante | sec | $\sec \theta \equiv {\frac {1}{\cos \theta }}\equiv \csc \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\operatorname {tg} \theta }{\operatorname {sen} \theta }}\,$ |
| Cosecante | csc (cosec) | $\csc \theta \equiv {\frac {1}{\operatorname {sen} \theta }}\equiv \sec \left({\frac {\pi }{2}}-\theta \right)\equiv {\frac {\cot \theta }{\cos \theta }}\,$ |

### Definiciones respecto de un triángulo rectángulo

Para definir las razones trigonométricas del ángulo: $\alpha$, del vértice A, se parte de un triángulo rectángulo arbitrario que contiene a este ángulo. El nombre de los lados de este triángulo rectángulo que se usará en los sucesivo será:

* La hipotenusa (h) es el lado opuesto al ángulo recto, o lado de mayor longitud del triángulo rectángulo.
* El cateto opuesto (a) es el lado opuesto al ángulo$\alpha$ .
* El cateto adyacente (b) es el lado adyacente al ángulo $\alpha$.

Todos los triángulos considerados se encuentran en el Plano Euclidiano, por lo que la suma de sus ángulos internos es igual a π radianes (o 180°). En consecuencia, en cualquier triángulo rectángulo los ángulos no rectos se encuentran entre 0 y π/2 radianes. Las definiciones que se dan a continuación definen estrictamente las funciones trigonométricas para ángulos dentro de ese rango:

1) El seno de un ángulo es la relación entre la longitud del cateto opuesto y la longitud de la hipotenusa:

   $\operatorname {sen} \alpha ={\frac {\color {ForestGreen}{\textrm {opuesto}}}{\color {Red}{\textrm {hipotenusa}}}}={\frac {a}{h}}$

El valor de esta relación no depende del tamaño del triángulo rectángulo que elijamos, siempre que tenga el mismo ángulo $\alpha$ , en cuyo caso se trata de triángulos semejantes.

2) El coseno de un ángulo es la relación entre la longitud del cateto adyacente y la longitud de la hipotenusa:

   $\cos \alpha ={\frac {\color {Blue}{\textrm {adyacente}}}{\color {Red}{\textrm {hipotenusa}}}}={\frac {b}{h}}$

3) La tangente de un ángulo es la relación entre la longitud del cateto opuesto y la del adyacente:

   $\operatorname {tg} \alpha ={\frac {\color {ForestGreen}{\textrm {opuesto}}}{\color {Blue}{\textrm {adyacente}}}}={\frac {a}{b}}$

4) La cotangente de un ángulo es la relación entre la longitud del cateto adyacente y la del opuesto:

   $\cot \alpha ={\frac {\color {Blue}{\textrm {adyacente}}}{\color {ForestGreen}{\textrm {opuesto}}}}={\frac {b}{a}}$

5) La secante de un ángulo es la relación entre la longitud de la hipotenusa y la longitud del cateto adyacente:

   $\sec \alpha ={\frac {\color {Red}{\textrm {hipotenusa}}}{\color {Blue}{\textrm {adyacente}}}}={\frac {h}{b}}$

6) La cosecante de un ángulo es la relación entre la longitud de la hipotenusa y la longitud del cateto opuesto:

   $\csc \alpha ={\frac {\color {Red}{\textrm {hipotenusa}}}{\color {ForestGreen}{\textrm {opuesto}}}}={\frac {h}{a}}$

### Razones trigonométricas de ángulos notables

La siguiente tabla resume los valores algebraicos más simples y/o comunes de las funciones trigonométricas. El símbolo ∞ representa el punto del infinito en la línea real proyectada extendida; la cual no tiene signo, porque, cuando aparece en la tabla, la función trigonométrica correspondiente tiende a +∞ en un lado y a −∞ en el otro lado, cuando el argumento tiende al valor en la tabla.

Tabla de ángulos notables :

| Radianes | Grado | Seno | Coseno | Tangente | Cotangente | Secante | Cosecante |
| - | - | - | - | - | - | - | - |
| 0 | 0° | $0$ | $1$ | $0$ | $\infty$ | $1$ | $\infty$ |
| π/12 | 15° | ${\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}$ | ${\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}$ | $2-{\sqrt {3}}$ | $2+{\sqrt {3}}$ | ${\sqrt {6}}-{\sqrt {2}}$ | ${\sqrt {6}}+{\sqrt {2}}$ |
| π/10 | 18° | ${\frac {{\sqrt {5}}-1}{4}}$ | ${\frac {\sqrt {10+2{\sqrt {5}}}}{4}}$ | ${\frac {\sqrt {25-10{\sqrt {5}}}}{5}}$ | ${\sqrt {5+2{\sqrt {5}}}}$ | ${\frac {\sqrt {50-10{\sqrt {5}}}}{5}}$ | $1+{\sqrt {5}}$ |
| π/8 | 22.5° | ${\frac {\sqrt {2-{\sqrt {2}}}}{2}}$ | ${\frac {\sqrt {2+{\sqrt {2}}}}{2}}$ | ${\sqrt {2}}-1$ | ${\sqrt {2}}+1$ | ${\sqrt {4-2{\sqrt {2}}}}$ | ${\sqrt {4+2{\sqrt {2}}}}$ |
| π/6 | 30° | ${\frac {1}{2}}$ | ${\frac {\sqrt {3}}{2}}$ | ${\frac {\sqrt {3}}{3}}$ | ${\sqrt {3}}$ | ${\frac {2{\sqrt {3}}}{3}}$ | $2$ |
| π/5 | 36° | ${\frac {\sqrt {10-2{\sqrt {5}}}}{4}}$ | ${\frac {1+{\sqrt {5}}}{4}}$ | ${\sqrt {5-2{\sqrt {5}}}}$ | ${\frac {\sqrt {25+10{\sqrt {5}}}}{5}}$ | ${\sqrt {5}}-1$ | ${\frac {\sqrt {50+10{\sqrt {5}}}}{5}}$ |
| π/4 | 45° | ${\frac {\sqrt {2}}{2}}$ | ${\frac {\sqrt {2}}{2}}$ | $1$ | $1$ | ${\sqrt {2}}$ | ${\sqrt {2}}$ |
| 3π/10 | 54° | ${\frac {1+{\sqrt {5}}}{4}}$ | ${\frac {\sqrt {10-2{\sqrt {5}}}}{4}}$ | ${\frac {\sqrt {25+10{\sqrt {5}}}}{5}}$ | ${\sqrt {5-2{\sqrt {5}}}}$ | ${\frac {\sqrt {50+10{\sqrt {5}}}}{5}}$ | ${\sqrt {5}}-1$ |
| π/3 | 60° | ${\frac {\sqrt {3}}{2}}$ | ${\frac {1}{2}}$ | ${\sqrt {3}}$ | ${\frac {\sqrt {3}}{3}}$ | $2$ | ${\frac {2{\sqrt {3}}}{3}}$ |
| 3π/8 | 67.5° | ${\frac {\sqrt {2+{\sqrt {2}}}}{2}}$ | ${\frac {\sqrt {2-{\sqrt {2}}}}{2}}$ | ${\sqrt {2}}+1$ | ${\sqrt {2}}-1$ | ${\sqrt {4+2{\sqrt {2}}}}$ | ${\sqrt {4-2{\sqrt {2}}}}$ |
| 2π/5 | 72° | ${\frac {\sqrt {10+2{\sqrt {5}}}}{4}}$ | ${\frac {{\sqrt {5}}-1}{4}}$ | ${\sqrt {5+2{\sqrt {5}}}}$ | ${\frac {\sqrt {25-10{\sqrt {5}}}}{5}}$ | $1+{\sqrt {5}}$ | ${\frac {\sqrt {50-10{\sqrt {5}}}}{5}}$ |
| 5π/12 | 75° | ${\frac {{\sqrt {6}}+{\sqrt {2}}}{4}}$ | ${\frac {{\sqrt {6}}-{\sqrt {2}}}{4}}$ | $2+{\sqrt {3}}$ | $2-{\sqrt {3}}$ | ${\sqrt {6}}+{\sqrt {2}}$ | ${\sqrt {6}}-{\sqrt {2}}$ |
| π/2 | 90° | $1$ | $0$ | $\infty$ | $0$ | $\infty$ | $1$ |

### Nuevas Razones Trigonométricas para el (angulo 90º/ \pi)

    $cos{\frac {90}{\pi }}={\frac {2}{\sqrt {5}}}$
    $sen{\frac {90}{\pi }}={\frac {1}{\sqrt {5}}}$
    $tg{\frac {90}{\pi }}={\frac {1}{2}}$

Autor Enfer Diez

### Definición en el conjunto de números reales

No es posible utilizar la definición dada anteriormente, un coseno de $\alpha$ para valores de $\alpha$ menores o iguales a 0 o valores mayores o iguales a π/2, pues no se podría construir un triángulo rectángulo tal que uno de sus ángulos mida $\alpha$ radianes. Para definir los valores de estas funciones para valores comprendidos entre 0 y 2π, se utilizará entonces una circunferencia unitaria, centrada en el origen de coordenadas del plano cartesiano. Se definirán las funciones trigonométricas coseno y seno como la abscisa (x) y la ordenada (y), respectivamente, de un punto P de coordenadas (x, y), perteneciente a la circunferencia, siendo $\alpha$ el ángulo, medido en radianes, entre el semieje positivo x y el segmento que une el origen con P.

Puede observarse que estas funciones toman valores entre -1 y 1. Nótese que para valores entre 0 y π/2, los valores obtenidos para el seno y el coseno con esta definición, coinciden con los obtenidos utilizando la noción de razón trigonométrica. Si el valor de x está fuera del intervalo [0,2π], puede descomponerse como x=2kπ+x' siendo k un número entero y x' un valor entre 0 y 2π. Se asignará a x los mismos valores de seno y coseno que los asignados a x', ya que puede interpretarse a x como un ángulo coterminal con x', y por lo tanto, las coordenadas del punto P serán las mismas en ambos casos.

## Funciones trigonométricas de ángulo doble

Sabiendo las funciones trigonométricas de la suma de dos ángulos, se pueden determinar las funciones trigonométricas de ángulo doble al plantear que $\alpha =\beta$

       $\operatorname {sen}(\alpha \pm \beta )=\operatorname {sen} \alpha \cos \beta \pm \operatorname {sen} \beta \cos \alpha$
       $\operatorname {sen} 2\alpha =\operatorname {sen} \alpha \cos \alpha +\operatorname {sen} \alpha \cos \alpha =2\operatorname {sen} \alpha \cos \alpha$
       $\cos(\alpha \pm \beta )=\cos \alpha \cos \beta \mp \operatorname {sen} \alpha \operatorname {sen} \beta$
       $\cos 2\alpha =\cos ^{2}\alpha -\operatorname {sen} ^{2}\alpha$

Para la fórmula del coseno del ángulo doble se pueden presentar otras dos formas alternativas con el uso de las identidades pitagóricas: Convirtiendo $\cos \alpha$ a términos de $\operatorname {sen} \alpha$, o convirtiendo $\operatorname {sen} \alpha$ a términos de $\cos \alpha$:

       $\cos 2\alpha =2\cos ^{2}\alpha -1$
       $\cos 2\alpha =1-2\operatorname {sen} ^{2}\alpha$

Para la tangente del ángulo doble se procede de la misma manera:

       $\operatorname {tg} (\alpha +\beta )={\frac {\operatorname {tg} \alpha +\operatorname {tg} \beta }{1-\operatorname {tg} \alpha \operatorname {tg} \beta }}$
       $\operatorname {tg} 2\alpha ={\frac {2\operatorname {tg} \alpha }{1-\operatorname {tg} ^{2}\alpha }}$

Para productos de dos funciones sinusoidales complementarias, se tiene que:

    $\operatorname {sen}(A)\cos(B)=\operatorname {sen} \left({\frac {A+B}{2}}\right)\cos \left({\frac {A+B}{2}}\right)+\operatorname {sen} \left({\frac {A-B}{2}}\right)\cos \left({\frac {A-B}{2}}\right)$
    $\operatorname {sen}(A)\cos(B)={\frac {1}{2}}\left(\operatorname {sen}(A+B)+\operatorname {sen}(A-B)\right)$

Y para el caso alternativo:

    $\cos(A)\operatorname {sen}(B)=\operatorname {sen} \left({\frac {A+B}{2}}\right)\cos \left({\frac {A+B}{2}}\right)-\operatorname {sen} \left({\frac {A-B}{2}}\right)\cos \left({\frac {A-B}{2}}\right)$
    $\cos(A)\operatorname {sen}(B)={\frac {1}{2}}\left(\operatorname {sen}(A+B)-\operatorname {sen}(A-B)\right)$

## Definiciones analíticas

La definición analítica más frecuente dentro del análisis real se hace a partir de ecuaciones diferenciales. Usando la geometría y las propiedades de los límites, se puede demostrar que la derivada del seno es el coseno y la derivada del coseno es el seno con signo negativo. (Aquí, como se hace generalmente en cálculo, todos los ángulos son medidos en radianes).

   ${\begin{cases}S'(x)=C(x)&S(0)=0\\C'(x)=-S(x)&C(0)=1\end{cases}}$

El teorema de Picard-Lindelöf de existencia y unicidad de las ecuaciones diferenciales lleva a que existen las funciones anteriores que se llaman respectivamente seno y coseno, es decir:

   $\cos x=C(x),\qquad \operatorname {sen} x=S(x)$

Esta definición analítica de las funciones trigonométricas permite una definición no-geométrica del número π, a saber, dicho número es el mínimo número real positivo que es un cero de la función seno.

### Series de potencias

A partir de la definición anterior pueden establecerse que las funciones seno y coseno son funciones analíticas cuya serie de Maclaurin viene dada por:

       $\operatorname {sen} x=\sum _{k=0}^{\infty }{\cfrac {(-1)^{k}\;x^{2k+1}}{(2k+1)!}}={\cfrac {x}{1!}}-{\cfrac {x^{3}}{3!}}+{\cfrac {x^{5}}{5!}}-{\cfrac {x^{7}}{7!}}\;\dots$
       $\cos x=\sum _{k=0}^{\infty }{\cfrac {(-1)^{k}\;x^{2k}}{(2k)!}}={\cfrac {1}{0!}}-{\cfrac {x^{2}}{2!}}+{\cfrac {x^{4}}{4!}}-{\cfrac {x^{6}}{6!}}\;\dots$

Estas identidades son a veces usadas como las definiciones de las funciones seno y coseno. Con frecuencia se utilizan como el punto de partida para el tratamiento riguroso de las funciones trigonométricas y sus aplicaciones (por ejemplo en las Series de Fourier), debido a que la teoría de las series infinitas puede ser desarrollada a partir de la base del sistema de números reales, independientemente de cualquier consideración geométrica. La diferenciabilidad y continuidad de estas funciones es entonces establecida a partir de las definiciones de series por sí misma.

### Relación con la exponencial compleja

Existe una relación importante entre la exponenciación de números complejos y las funciones trigonométricas según la fórmula de Euler:

   $e^{ix}=\cos x+i\operatorname {sen} x\,$

Esta relación puede probarse usando el desarrollo en serie de Taylor para la función exponencial y el obtenido en la sección anterior para las funciones seno y coseno. Separando ahora en parte real e imaginaria en la expresión anterior se encuentran las definiciones de seno y coseno en términos de exponenciales complejas:

   $\cos x={\frac {e^{ix}+e^{-ix}}{2}}\qquad \operatorname {sen} x={\frac {e^{ix}-e^{-ix}}{2i}}$

### A partir de ecuaciones diferenciales

Las funciones seno y coseno satisfacen la igualdad:

   $y''=-y.\,$

Es decir, la segunda derivada de cada función es la propia función con signo inverso. Dentro del espacio funcional de dos dimensiones V, que consiste en todas las soluciones de esta ecuación, las variables dependientes, juntas, pueden formar la base de V. Este método para definir las funciones seno y coseno es esencialmente equivalente a utilizar la fórmula de Euler. Además esta ecuación diferencial puede utilizarse no solo para definir al seno y al coseno, con ella también se pueden probar las identidades trigonométricas de las funciones seno y coseno.

Además, la observación de que el seno y el coseno satisfacen y′′ = −y implica que son funciones propias del operador de la segunda derivada.

La función tangente es la única solución de la ecuación diferencial no lineal

   $y'=1+y^{2}\,$

satisfaciendo la condición inicial y(0) = 0. Existe una interesante prueba visual de que la función tangente satisface esta ecuación diferencial.

## Funciones trigonométricas inversas

Las tres funciones trigonométricas inversas comúnmente usadas son:

* Arcoseno es la función inversa del seno de un ángulo. El significado geométrico es: el arco cuyo seno es dicho valor.

La función arcoseno real es una función $\left[-1,1\right]\to \left[-{\cfrac {\pi }{2}},{\cfrac {\pi }{2}}\right]\,$, es decir, no está definida para cualquier número real. Esta función puede expresarse mediante la siguiente serie de Taylor:

   $\operatorname {arcsen} (x)={\begin{cases}-{\cfrac {\pi }{2}}&x=-1\\x+{\cfrac {1}{2}}{\cfrac {x^{3}}{3}}+{\cfrac {1\cdot 3}{2\cdot 4}}{\cfrac {x^{5}}{5}}+{\cfrac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}{\cfrac {x^{7}}{7}}+\dots &-1<x<1\\+{\cfrac {\pi }{2}}&x=1\end{cases}}$
* Arcocoseno es la función inversa del coseno de un ángulo. El significado geométrico es: el arco cuyo coseno es dicho valor.

Es una función similar a la anterior, de hecho puede definirse como:

   $\arccos(x)={\frac {\pi }{2}}-\operatorname {arcsen} (x)$
* Arcotangente es la función inversa de la tangente de un ángulo. El significado geométrico es: el arco cuya tangente es dicho valor.

A diferencia de las anteriores la función arcotangente está definida para todos los reales. Su expresión en forma de serie es:

   $\operatorname {arctg} (x)={\begin{cases}x-{\cfrac {x^{3}}{3}}+{\cfrac {x^{5}}{5}}-{\cfrac {x^{7}}{7}}+\dots &|x|<1\\\pm {\cfrac {\pi }{2}}-{\cfrac {1}{x}}+{\cfrac {1}{3x^{3}}}-{\cfrac {1}{5x^{5}}}+\dots &+{\text{ con }}x\geq 1,-{\text{ con }}x\leq -1\end{cases}}$

## Generalizaciones

* Las funciones hiperbólicas son el análogo de las funciones trigonométricas para una hipérbola equilátera. Además el seno y coseno de un número imaginario puro puede expresarse en términos de funciones hiperbólicas.
* Las funciones elípticas son una generalización biperiódica de las funciones trigonométricas que en el plano complejo solo son periódicas sobre el eje real. En particular las funciones trigonométricas son el límite de las funciones elípticas de Jacobi cuando el parámetro del que dependen tiende a cero.

## Historia

El estudio de las funciones trigonométricas se remonta a la época de Babilonia, y gran parte de los fundamentos de trigonometría fueron desarrollados por los matemáticos de la Antigua Grecia, de la India y estudiosos musulmanes.

El primer uso de la función seno (sen(·)) aparece en el Sulba Sutras escrito en India del siglo VIII al VI a. C. Las funciones trigonométricas fueron estudiadas por Hiparco de Nicea (180-125 a. C.), Aryabhata (476-550), Varahamihira, Brahmagupta, al-Khwarizmi, Abu'l-Wafa, Omar Khayyam, Bhaskara II, Nasir al-Din Tusi, Regiomontanus (1464), Ghiyath al-Kashi y Ulugh Beg (Siglo XIV), Madhava (ca. 1400), Rheticus, y el alumno de éste, Valentin Otho. La obra de Leonhard Euler Introductio in analysin infinitorum (1748) fue la que estableció el tratamiento analítico de las funciones trigonométricas en Europa, definiéndolas como series infinitas presentadas en las llamadas "Fórmulas de Euler".

La noción de que debería existir alguna correspondencia estándar entre la longitud de los lados de un triángulo siguió a la idea de que triángulos similares mantienen la misma proporción entre sus lados. Esto es, que para cualquier triángulo semejante, la relación entre la hipotenusa y otro de sus lados es constante. Si la hipotenusa es el doble de larga, así serán los catetos. Justamente estas proporciones son las que expresan las funciones trigonométricas.

