Función trigonométrica inversa

Plantilla:Trigonometría En matemáticas, las funciones trigonométricas inversas (ocasionalmente también llamadas funciones arco, funciones antitrigonométricas o funciones ciclométricas) son las funciones inversas de las funciones trigonométricas (con dominios adecuadamente restringidos). Específicamente, son las inversas de las funciones seno, coseno, tangente, cosecante, secante y cotangente, y se utilizan para obtener un ángulo a partir de cualquiera de las relaciones trigonométricas angulares. Las funciones trigonométricas inversas se utilizan ampliamente en ingeniería, navegación, física y geometría.

Notación

Existen varias notaciones para las funciones trigonométricas inversas. La convención más común es nombrar funciones trigonométricas inversas usando un prefijo de arco: Plantilla:Math, Plantilla:Math, Plantilla:Math, etc, convención que se usa en este artículo. Esta notación surge de las siguientes relaciones geométricas: cuando se mide en radianes, un ángulo de θ radianes corresponderá a un arco cuya longitud es rθ, donde r es el radio de la circunferencia. Así, en la circunferencia goniométrica (de radio igual a 1), "el arco cuyo coseno es x" es el mismo que "el ángulo cuyo coseno es x", porque la longitud del arco de circunferencia en radios es la misma que la medida del ángulo en radianes. En los lenguajes de programación de computadoras, las funciones trigonométricas inversas generalmente se denominan con las formas abreviadas Asin, Acos y Atan (en Visual Basic); asin, acos y atan (en C++); o ArcSin, ArcCos y ArcTan (en Pascal).

Las notaciones Plantilla:Math, Plantilla:Math, Plantilla:Math, etc., tal como las introdujo John Herschel en 1813, también se utilizan a menudo en fuentes en inglés, y son coherentes con la notación de las funciones inversas. Esto puede parecer que entra en conflicto con la semántica común para expresiones como Plantilla:Math, que se refieren a una potencia numérica en lugar de a la composición de funciones, y por lo tanto, puede generar una confusión entre el inverso multiplicativo o recíproco y la función inversa. La confusión se mitiga un poco por el hecho de que cada una de las funciones trigonométricas recíprocas tiene su propio nombre, por ejemplo, Plantilla:Math = Plantilla:Math. Sin embargo, algunos autores desaconsejan su uso por su ambigüedad. Otra convención utilizada por algunos autores es emplear una primera letra mayúscula, junto con un superíndice Plantilla:Math: Plantilla:Math, Plantilla:Math, Plantilla:Math, etc. Esto potencialmente evita la confusión con el inverso multiplicativo, que debería estar representado por Plantilla:Math, Plantilla:Math, etc.

Desde 2009, el estándar ISO 80000-2 ha especificado que se use únicamente el prefijo "arco" para denominar a las funciones trigonométricos inversas.

La influencia de los lenguajes de programación ha hecho que cada vez sea más frecuente en la bibliografía en español encontrarse con que las funciones seno y arco seno, tradicionalmente transcritas en los textos matemáticos como sen y arco sen, aparezcan escritas como sin y arc sin. Un ejemplo notable es la propia Wikipedia en español, donde la sintaxis del código LaTex utilizado para escribir fórmulas matemáticas, emplea las formas <math>\sin (x)</math> (con el resultado de $\sin (x)$); y <math>\arcsin (x)</math> (con el resultado de $\arcsin (x)$).

Propiedades básicas

Valores principales

Dado que ninguna de las seis funciones trigonométricas son inyectivas, deben estar restringidas para tener funciones inversas. Por lo tanto, los rangos de las funciones inversas son los subconjuntos propios de los dominios de las funciones originales.

Por ejemplo, usando el término función en el sentido de las funciones multivaluadas, al igual que la función raíz cuadrada Plantilla:Math podría definirse a partir de Plantilla:Math, la función Plantilla:Math se define de modo que Plantilla:Math. Para un número real dado Plantilla:Mvar, con Plantilla:Math, hay múltiples (de hecho, numerables infinitos) números Plantilla:Mvar tales que Plantilla:Math; por ejemplo, Plantilla:Math, pero también Plantilla:Math, Plantilla:Math, etc. Cuando solo se desea un valor, la función puede restringirse a su rama principal. Con esta restricción, para cada Plantilla:Mvar en el dominio, la expresión Plantilla:Math producirá un valor único, llamado su valor principal. Estas propiedades se aplican a todas las funciones trigonométricas inversas.

Las principales inversas se enumeran en la siguiente tabla.

Nombre	Notación usual	Definición	Dominio de Plantilla:Mvar con resultado real	Rango de valores principales usuales (radianes)	Rango de valores principales usuales (grados)
arco seno	Plantilla:Math	Plantilla:Math	−1 ≤ x ≤ 1	−Plantilla:Sfrac ≤ y ≤ Plantilla:Sfrac	−90° ≤ y ≤ 90°
arco coseno	Plantilla:Math	Plantilla:Math	−1 ≤ x ≤ 1	0 ≤ y ≤ π	0° ≤ y ≤ 180°
arco tangente	Plantilla:Math	Plantilla:Math	todos los números reales	−Plantilla:Sfrac < y < Plantilla:Sfrac	−90° < y < 90°
arco cotangente	Plantilla:Math	Plantilla:Math	todos los números reales	0 < y < π	0° < y < 180°
arco secante	Plantilla:Math	Plantilla:Math	x ≥ 1 o x ≤ -1	0 ≤ y < Plantilla:Sfrac o Plantilla:Sfrac < y ≤ π	0° ≤ y < 90° o 90° < y ≤ 180°
arco cosecante	Plantilla:Math	Plantilla:Math	x ≤ −1 o 1 ≤ x	−Plantilla:Sfrac ≤ y < 0 o 0 < y ≤ Plantilla:Sfrac	−90° ≤ y < 0° o 0° < y ≤ 90°

(Nota: algunos autores definen el rango del arco secante como (0 ≤ y < Plantilla:Sfrac o π ≤ y < Plantilla:Sfrac), porque la función tangente no es negativa en este dominio. Esto hace que algunos cálculos sean más consistentes. Por ejemplo, utilizando este rango, Plantilla:Math, mientras que con el rango (0 ≤ y < Plantilla:Sfrac o Plantilla:Sfrac < y ≤ π), se tendría que escribir Plantilla:Math, ya que la tangente no es negativa en 0 ≤ y < Plantilla:Sfrac, pero tampoco es positiva en Plantilla:Sfrac < y ≤ π. Por una razón similar, los mismos autores definen el rango del arco cosecante como −π < y ≤ −Plantilla:Sfrac o 0 < y ≤ Plantilla:Sfrac.)

Si se permite que x sea un número complejo, entonces el rango de y se aplica solo a su parte real.

Soluciones generales

Cada una de las funciones trigonométricas es periódica en la parte real de su argumento, recorriendo todos sus valores dos veces en cada intervalo de 2π:

• El seno y la cosecante comienzan su período en 2πk - Plantilla:Sfrac (donde k es un número entero), terminan en 2πk + Plantilla:Sfrac y luego se invierten sobre 2πk + Plantilla:Sfrac a 2πk + Plantilla:Sfrac.
• El coseno y la secante comienzan su período en 2πk, lo terminan en 2πk + π, y luego se invierten sobre 2πk + π a 2πk + 2π.
• La tangente comienza su período en 2πk - Plantilla:Sfrac, lo termina en 2πk + Plantilla:Sfrac, y luego lo repite (hacia adelante) sobre 2πk + Plantilla:Sfrac a 2πk + Plantilla:Sfrac.
• La cotangente comienza su período en 2πk, lo termina en 2πk + π, y luego lo repite (hacia adelante) sobre 2πk + π a 2πk + 2π.

Esta periodicidad se refleja en los inversos generales, donde k es un número entero.

La siguiente tabla muestra cómo las funciones trigonométricas inversas pueden usarse para resolver las igualdades que involucran las seis funciones trigonométricas estándar, donde se asume que Plantilla:Mvar, Plantilla:Mvar, Plantilla:Mvar y Plantilla:Mvar se encuentran dentro del rango apropiado.

El símbolo Plantilla:Math es la igualdad lógica. La expresión "LI Plantilla:Math LD" indica Plantilla:Enf que:

• (a) El lado izquierdo de la expresión (es decir, LI) y el lado derecho (es decir, LD) son Plantilla:Enf verdaderos, o bien que
• (b) El lado izquierdo y el lado derecho son Plantilla:Enf falsos.

Plantilla:Enf existe una opción (c) (por ejemplo, Plantilla:Enf es posible que la declaración LI sea verdadera y también simultáneamente que la declaración LD sea falsa), porque de lo contrario no se debería haber escrito que "LI Plantilla:Math LD" (consúltese esta nota al pie para ver un ejemplo ilustrando este concepto).

Condición		Solución	donde...
Plantilla:Math	[[igualdad lógica|Plantilla:Math]]	Plantilla:Math	para algún Plantilla:Math [[Número entero|Plantilla:Math]]
	Plantilla:Math	Plantilla:Math Plantilla:Spaceo Plantilla:Math	para algún Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math
	Plantilla:Math	Plantilla:Math Plantilla:Spaceo Plantilla:Math	para algún Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math
	Plantilla:Math	Plantilla:Math Plantilla:Spaceo Plantilla:Math	para algún Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math
	Plantilla:Math	Plantilla:Math Plantilla:Spaceo Plantilla:Math	para algún Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math

Valores iguales de las funciones

En la siguiente tabla, se muestra cómo dos ángulos Plantilla:Math y Plantilla:Math deben estar relacionados, si sus valores bajo una función trigonométrica dada son iguales o tienen el signo cambiado.

Igualdad				Solución							donde...	También una solución para
Plantilla:Math	Plantilla:Math	Plantilla:Math	[[Logical equality|Plantilla:Math]]	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math [[Número entero|Plantilla:Math]]	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	Plantilla:Math	para algún Plantilla:Math	Plantilla:Math
Plantilla:Math	[[Logical equality|Plantilla:Math]]	Plantilla:Math										Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math										Plantilla:Math
Plantilla:Math	Plantilla:Math	Plantilla:Math										Plantilla:Math

Relaciones entre funciones trigonométricas y funciones trigonométricas inversas

Se tabulan a continuación las funciones trigonométricas de las funciones trigonométricas inversas. Una forma rápida de deducirlas es considerando la geometría de un triángulo rectángulo, con un lado de longitud 1 y otro lado de longitud x, aplicando a continuación el teorema de Pitágoras y las definiciones de las razones trigonométricas. Las deducciones puramente algebraicas son más largas. Vale la pena señalar que para arco secante y arco cosecante, el diagrama asume que x es positivo, y por lo tanto, el resultado debe corregirse mediante el uso de valores absolutos y la operación signo (sgn).

$\theta$	$\sin (\theta )$	$\cos (\theta )$	$\tan (\theta )$	Diagrama
$\arcsin (x)$	$\sin (\arcsin (x))=x$	$\cos (\arcsin (x))=\sqrt{1-x^2}$	$\tan (\arcsin (x))=\frac{x}{\sqrt{1-x^2}}$
$\arccos (x)$	$\sin (\arccos (x))=\sqrt{1-x^2}$	$\cos (\arccos (x))=x$	$\tan (\arccos (x))=\frac{\sqrt{1-x^2}}{x}$
$\arctan (x)$	$\sin (\arctan (x))=\frac{x}{\sqrt{1+x^2}}$	$\cos (\arctan (x))=\frac{1}{\sqrt{1+x^2}}$	$\tan (\arctan (x))=x$
$\mathrm{arccot}(x)$	$\sin (\mathrm{arccot}(x))=\frac{1}{\sqrt{1+x^2}}$	$\cos (\mathrm{arccot}(x))=\frac{x}{\sqrt{1+x^2}}$	$\tan (\mathrm{arccot}(x))=\frac{1}{x}$
$\mathrm{arcsec}(x)$	$\sin (\mathrm{arcsec}(x))=\frac{\sqrt{x^2-1}}{|x|}$	$\cos (\mathrm{arcsec}(x))=\frac{1}{x}$	$\tan (\mathrm{arcsec}(x))=\mathrm{sgn}(x)\sqrt{x^2-1}$
$\mathrm{arccsc}(x)$	$\sin (\mathrm{arccsc}(x))=\frac{1}{x}$	$\cos (\mathrm{arccsc}(x))=\frac{\sqrt{x^2-1}}{|x|}$	$\tan (\mathrm{arccsc}(x))=\frac{\mathrm{sgn}(x)}{\sqrt{x^2-1}}$

Relaciones entre las funciones trigonométricas inversas

Los valores principales habituales de las funciones arcsin (x) (rojo) y arccos (x) (azul) representados en el plano cartesiano

Los valores principales habituales de las funciones arctan (x) (rojo) y arccot (x) (azul) representados en el plano cartesiano

Los valores principales habituales de las funciones arcsec (x) (rojo) y arccsc (x) (azul) representados en el plano cartesiano

Ángulos complementarios:

$\begin{array}{cc}\arccos (x)& =\frac{\pi }{2}-\arcsin (x)\\ \mathrm{arccot}(x)& =\frac{\pi }{2}-\arctan (x)\\ \mathrm{arccsc}(x)& =\frac{\pi }{2}-\mathrm{arcsec}(x)\end{array}$

Argumentos negativos:

$\begin{array}{cc}\arcsin (-x)& =-\arcsin (x)\\ \arccos (-x)& =\pi -\arccos (x)\\ \arctan (-x)& =-\arctan (x)\\ \mathrm{arccot}(-x)& =\pi -\mathrm{arccot}(x)\\ \mathrm{arcsec}(-x)& =\pi -\mathrm{arcsec}(x)\\ \mathrm{arccsc}(-x)& =-\mathrm{arccsc}(x)\end{array}$

Argumentos recíprocos:

$\begin{array}{cc}\arccos \left(\frac{1}{x}\right)& =\mathrm{arcsec}(x)\\ \arcsin \left(\frac{1}{x}\right)& =\mathrm{arccsc}(x)\\ \arctan \left(\frac{1}{x}\right)& =\frac{\pi }{2}-\arctan (x)=\mathrm{arccot}(x),\text{ si }x>0\\ \arctan \left(\frac{1}{x}\right)& =-\frac{\pi }{2}-\arctan (x)=\mathrm{arccot}(x)-\pi ,\text{ si }x<0\\ \mathrm{arccot}\left(\frac{1}{x}\right)& =\frac{\pi }{2}-\mathrm{arccot}(x)=\arctan (x),\text{ si }x>0\\ \mathrm{arccot}\left(\frac{1}{x}\right)& =\frac{3\pi }{2}-\mathrm{arccot}(x)=\pi +\arctan (x),\text{ si }x<0\\ \mathrm{arcsec}\left(\frac{1}{x}\right)& =\arccos (x)\\ \mathrm{arccsc}\left(\frac{1}{x}\right)& =\arcsin (x)\end{array}$

Identidades útiles si solo se tiene un fragmento de una tabla de seno:

$\begin{array}{cc}\arccos (x)& =\arcsin \left(\sqrt{1-x^2}\right),\text{ si }0\le x\le 1\text{ , de donde se obtiene }\\ \arccos & \left(\frac{1-x^2}{1+x^2}\right)=\arcsin \left(\frac{2x}{1+x^2}\right),\text{ si }0\le x\le 1\\ \arcsin & \left(\sqrt{1-x^2}\right)=\frac{\pi }{2}-\mathrm{sgn}(x)\arcsin (x)\\ \arccos (x)& =\frac{1}{2}\arccos (2x^2-1),\text{ si }0\le x\le 1\\ \arcsin (x)& =\frac{1}{2}\arccos (1-2x^2),\text{ si }0\le x\le 1\\ \arcsin (x)& =\arctan \left(\frac{x}{\sqrt{1-x^2}}\right)\\ \arctan (x)& =\arcsin \left(\frac{x}{\sqrt{1+x^2}}\right)\\ \mathrm{arccot}(x)& =\arccos \left(\frac{x}{\sqrt{1+x^2}}\right)\end{array}$

Siempre que se use aquí la raíz cuadrada de un número complejo, se elige la raíz con la parte real positiva (o la parte imaginaria positiva si el cuadrado es real negativo).

Un formulario útil que se deriva directamente de la tabla anterior es

$\arctan \left(x\right)=\arccos \left(\sqrt{\frac{1}{1+x^2}}\right),\text{ si }x\ge 0$.

Se obtiene reconociendo que $\cos (\arctan \left(x\right))=\sqrt{\frac{1}{1+x^2}}=\cos (\arccos \left(\sqrt{\frac{1}{1+x^2}}\right))$.

De la fórmula del ángulo mitad, $\tan \left(\frac{\theta }{2}\right)=\frac{\sin (\theta )}{1+\cos (\theta )}$, se obtiene:

$\begin{array}{cc}\arcsin (x)& =2\arctan \left(\frac{x}{1+\sqrt{1-x^2}}\right)\\ \arccos (x)& =2\arctan \left(\frac{\sqrt{1-x^2}}{1+x}\right),\text{ si }-1<x\le 1\\ \arctan (x)& =2\arctan \left(\frac{x}{1+\sqrt{1+x^2}}\right)\end{array}$

Fórmula de la suma de arco tangentes

$\arctan (u)\pm \arctan (v)=\arctan \left(\frac{u\pm v}{1\mp uv}\right)(\mathrm{mod}\pi ),uv\ne 1.$

Se deduce de la fórmula de la tangente de la suma

$\tan (\alpha \pm \beta )=\frac{\tan (\alpha )\pm \tan (\beta )}{1\mp \tan (\alpha )\tan (\beta )},$ haciendo que

$\alpha =\arctan (u),\beta =\arctan (v).$

En cálculo

Plantilla:AnchorDerivadas de funciones trigonométricas inversas

Plantilla:AP

Las derivadas para valores complejos de z son los siguientes:

$\begin{array}{cccc}\frac{d}{dz}\arcsin (z)& =\frac{1}{\sqrt{1-z^2}};& z& \ne -1,+1\\ \frac{d}{dz}\arccos (z)& =-\frac{1}{\sqrt{1-z^2}};& z& \ne -1,+1\\ \frac{d}{dz}\arctan (z)& =\frac{1}{1+z^2};& z& \ne -i,+i\\ \frac{d}{dz}\mathrm{arccot}(z)& =-\frac{1}{1+z^2};& z& \ne -i,+i\\ \frac{d}{dz}\mathrm{arcsec}(z)& =\frac{1}{z^2\sqrt{1-\frac{1}{z^2}}};& z& \ne -1,0,+1\\ \frac{d}{dz}\mathrm{arccsc}(z)& =-\frac{1}{z^2\sqrt{1-\frac{1}{z^2}}};& z& \ne -1,0,+1\end{array}$

Solo para valores reales de x:

$\begin{array}{ccc}\frac{d}{dx}\mathrm{arcsec}(x)& =\frac{1}{|x|\sqrt{x^2-1}};& |x|>1\\ \frac{d}{dx}\mathrm{arccsc}(x)& =-\frac{1}{|x|\sqrt{x^2-1}};& |x|>1\end{array}$

Una derivación de ejemplo: si $\theta =\arcsin (x)$, se obtiene:

$\frac{d\arcsin (x)}{dx}=\frac{d\theta }{d\sin (\theta )}=\frac{d\theta }{\cos (\theta )d\theta }=\frac{1}{\cos (\theta )}=\frac{1}{\sqrt{1-{\sin }^2(\theta )}}=\frac{1}{\sqrt{1-x^2}}$

Expresión como integrales definidas

Integrar la derivada y fijar el valor en un punto da una expresión para la función trigonométrica inversa como una integral definida:

$\begin{array}{cccc}\arcsin (x)& =\underset{0}{\overset{x}{\int }}\frac{1}{\sqrt{1-z^2}}dz,& |x|& \le 1\\ \arccos (x)& =\underset{x}{\overset{1}{\int }}\frac{1}{\sqrt{1-z^2}}dz,& |x|& \le 1\\ \arctan (x)& =\underset{0}{\overset{x}{\int }}\frac{1}{z^2+1}dz,\\ \mathrm{arccot}(x)& =\underset{x}{\overset{\mathrm{\infty }}{\int }}\frac{1}{z^2+1}dz,\\ \mathrm{arcsec}(x)& =\underset{1}{\overset{x}{\int }}\frac{1}{z\sqrt{z^2-1}}dz=\pi +\underset{x}{\overset{-1}{\int }}\frac{1}{z\sqrt{z^2-1}}dz,& x& \ge 1\\ \mathrm{arccsc}(x)& =\underset{x}{\overset{\mathrm{\infty }}{\int }}\frac{1}{z\sqrt{z^2-1}}dz=\underset{-\mathrm{\infty }}{\overset{x}{\int }}\frac{1}{z\sqrt{z^2-1}}dz,& x& \ge 1\\ \end{array}$

Cuando x es igual a 1, las integrales con dominios limitados son impropias, pero aun así están bien definidas.

Series infinitas

Similar a las funciones seno y coseno, las funciones trigonométricas inversas también se pueden calcular usando series de potencias. Para el arco seno, la serie se puede deducir expandiendo su derivada, $\frac{1}{\sqrt{1-z^2}}$, como una serie binomial, e integrando término por término (usando la definición integral como anteriormente). De manera similar, la serie para el arco tangente puede derivarse expandiendo su derivada $\frac{1}{1+z^2}$ en una serie geométrica y aplicando la definición integral anterior (véase la serie de Leibniz).

$\begin{array}{cc}\arcsin (z)& =z+\left(\frac{1}{2}\right)\frac{z^3}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{z^5}{5}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{z^7}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(2n-1)!!}{(2n)!!}\frac{z^{2n+1}}{2n+1}\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{(2n)!}{(2^{n}n!{)}^2}\frac{z^{2n+1}}{2n+1};|z|\le 1\end{array}$

$\arctan (z)=z-\frac{z^3}{3}+\frac{z^5}{5}-\frac{z^7}{7}+\cdots =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{z}^{2n+1}}{2n+1};|z|\le 1z\ne i,-i$

Las series para las otras funciones trigonométricas inversas se pueden dar en términos de estas de acuerdo con las relaciones dadas anteriormente. Por ejemplo, $\arccos (x)=\pi /2-\arcsin (x)$, $\mathrm{arccsc}(x)=\arcsin (1/x)$, etc. Otra serie viene dada por:

$2{(\arcsin \left(\frac{x}{2}\right))}^2=\sum _{n=1}^{\mathrm{\infty }}\frac{x^{2n}}{n^2(\genfrac{}{}{0ex}{}{2n}{n})}.$

Leonhard Euler encontró una serie para el arco tangente que converge más rápidamente que su serie de Taylor:

$\arctan (z)=\frac{z}{1+z^2}\sum _{n=0}^{\mathrm{\infty }}\prod _{k=1}^n\frac{2k{z}^2}{(2k+1)(1+z^2)}.$

(El término en la suma para n = 0 es el producto vacío, que vale 1).

Alternativamente, esto se puede expresar como

$\arctan (z)=\sum _{n=0}^{\mathrm{\infty }}\frac{2^{2n}(n!{)}^2}{(2n+1)!}\frac{z^{2n+1}}{(1+z^2{)}^{n+1}}.$

Otra serie para la función arco tangente viene dada por

$\arctan (z)=i\sum _{n=1}^{\mathrm{\infty }}\frac{1}{2n-1}(\frac{1}{(1+2i/z{)}^{2n-1}}-\frac{1}{(1-2i/z{)}^{2n-1}}),$

donde $i=\sqrt{-1}$ es la unidad imaginaria.

Fracciones continuas para el arco tangente

Dos alternativas a la serie de potencias para el arco tangente son estas fracciones continuas:

$\arctan (z)=\frac{z}{1+\frac{(1z{)}^2}{3-1z^2+\frac{(3z{)}^2}{5-3z^2+\frac{(5z{)}^2}{7-5z^2+\frac{(7z{)}^2}{9-7z^2+\ddots }}}}}=\frac{z}{1+\frac{(1z{)}^2}{3+\frac{(2z{)}^2}{5+\frac{(3z{)}^2}{7+\frac{(4z{)}^2}{9+\ddots }}}}}$

La segunda de ellas es válida en el plano complejo. Hay dos cortes, desde −i hasta el punto en el infinito, bajando por el eje imaginario, y desde i hasta el punto en el infinito, subiendo por el mismo eje. Funciona mejor para números reales que van de -1 a 1. Los denominadores parciales son los números naturales impares, y los numeradores parciales (después del primero) son solo (nz)², y cada cuadrado perfecto aparece una vez. La primera fue desarrollada por Leonhard Euler; la segunda por Carl Friedrich Gauss utilizando la función hipergeométrica.

Integrales indefinidas de funciones trigonométricas inversas

Para valores reales y complejos de z :

$\begin{array}{cc}\int \arcsin (z)dz& =z\arcsin (z)+\sqrt{1-z^2}+C\\ \int \arccos (z)dz& =z\arccos (z)-\sqrt{1-z^2}+C\\ \int \arctan (z)dz& =z\arctan (z)-\frac{1}{2}\ln (1+z^2)+C\\ \int \mathrm{arccot}(z)dz& =z\mathrm{arccot}(z)+\frac{1}{2}\ln (1+z^2)+C\\ \int \mathrm{arcsec}(z)dz& =z\mathrm{arcsec}(z)-\ln \left[z(1+\sqrt{\frac{z^2-1}{z^2}})\right]+C\\ \int \mathrm{arccsc}(z)dz& =z\mathrm{arccsc}(z)+\ln \left[z(1+\sqrt{\frac{z^2-1}{z^2}})\right]+C\end{array}$

Para x real ≥ 1:

$\begin{array}{cc}\int \mathrm{arcsec}(x)dx& =x\mathrm{arcsec}(x)-\ln (x+\sqrt{x^2-1})+C\\ \int \mathrm{arccsc}(x)dx& =x\mathrm{arccsc}(x)+\ln (x+\sqrt{x^2-1})+C\end{array}$

Para todas las x reales que no estén entre -1 y 1:

$\begin{array}{cc}\int \mathrm{arcsec}(x)dx& =x\mathrm{arcsec}(x)-\mathrm{sgn}(x)\ln \left(|x+\sqrt{x^2-1}|\right)+C\\ \int \mathrm{arccsc}(x)dx& =x\mathrm{arccsc}(x)+\mathrm{sgn}(x)\ln \left(|x+\sqrt{x^2-1}|\right)+C\end{array}$

El valor absoluto es necesario para compensar los valores negativos y positivos de las funciones arco secante y arco cosecante. La función signo también es necesaria debido a los valores absolutos en las derivadas de las dos funciones, que crean dos soluciones diferentes para los valores positivos y negativos de x. Estos se pueden simplificar aún más utilizando las definiciones logarítmicas de las funciones hiperbólicas inversas:

$\begin{array}{cc}\int \mathrm{arcsec}(x)dx& =x\mathrm{arcsec}(x)-\mathrm{arcosh}(|x|)+C\\ \int \mathrm{arccsc}(x)dx& =x\mathrm{arccsc}(x)+\mathrm{arcosh}(|x|)+C\\ \end{array}$

El valor absoluto en el argumento de la función arcosh crea una mitad negativa de su gráfica, haciéndola idéntica a la función logarítmica signo que se muestra arriba.

Todas estas antiderivadas se pueden derivar usando métodos de integración y las formas derivadas simples que se muestran arriba.

Ejemplo

Usando $\int udv=uv-\int vdu$ (es decir, el método de integración por partes), se obtiene

$\begin{array}{cccc}u& =\arcsin (x)& dv& =dx\\ du& =\frac{dx}{\sqrt{1-x^2}}& v& =x\end{array}$

Luego

$\int \arcsin (x)dx=x\arcsin (x)-\int \frac{x}{\sqrt{1-x^2}}dx,$

que aplicando la simple sustitución siguiente, $w=1-x^2,dw=-2xdx$ arroja el resultado final:

$\int \arcsin (x)dx=x\arcsin (x)+\sqrt{1-x^2}+C$

Ampliación al plano complejo

Una superficie de Riemann para el argumento de la relación Plantilla:Math. La superficie naranja de en medio es la función principal, que representa Plantilla:Math. La superficie azul de arriba y la verde de abajo están desplazadas verticalmente Plantilla:Math y Plantilla:Math respectivamente

Dado que las funciones trigonométricas inversas son funciones analíticas, pueden extenderse desde la línea real al plano complejo. Esto da como resultado funciones con varias superficies y puntos de ramificación. Una forma posible de definir la extensión es:

$\arctan (z)=\underset{0}{\overset{z}{\int }}\frac{dx}{1+x^2}z\ne -i,+i$

donde la parte del eje imaginario que no se encuentra estrictamente entre los puntos de ramificación (−iy + i) es el corte de rama entre la superficie principal y las otras. La trayectoria de la integral no debe cruzar un corte de rama. Cuandoz no está en una corte de rama, una ruta en línea recta de 0 a z es una ruta de este tipo. Para z en un corte de rama, el camino debe acercarse desde Re[x] > 0 para la corte de rama superior y desde Re[x] < 0 para el corte de rama inferior.

La función arco seno se puede definir como:

$\arcsin (z)=\arctan \left(\frac{z}{\sqrt{1-z^2}}\right)z\ne -1,+1$

donde (la función raíz cuadrada tiene su corte en el eje real negativo y) la parte del eje real que no se encuentra estrictamente entre −1 y +1 es el corte de rama entre la superficie principal del arco seno y las otras superficies;

$\arccos (z)=\frac{\pi }{2}-\arcsin (z)z\ne -1,+1$

que tiene el mismo corte que el arco seno;

$\mathrm{arccot}(z)=\frac{\pi }{2}-\arctan (z)z\ne -i,i$

que tiene el mismo corte que el arco tangente;

$\mathrm{arcsec}(z)=\arccos \left(\frac{1}{z}\right)z\ne -1,0,+1$

donde la parte del eje real entre −1 y +1 inclusive, es el corte entre la superficie principal del arco secante y las otras superficies;

$\mathrm{arccsc}(z)=\arcsin \left(\frac{1}{z}\right)z\ne -1,0,+1$

que tiene el mismo corte que el arco secante.

Formas logarítmicas

Estas funciones también pueden expresarse utilizando logaritmos complejos. Esto extiende su dominios al plano complejo de forma natural. Las siguientes identidades para los valores principales de las funciones se mantienen en todos los lugares donde se definen, incluso en sus cortes de rama.

$\begin{array}{ccc}\arcsin (z)& =-i\ln (\sqrt{1-z^2}+iz)=i\ln (\sqrt{1-z^2}-iz)& =\mathrm{arccsc}\left(\frac{1}{z}\right)\\ \arccos (z)& =-i\ln (\sqrt{z^2-1}+z)=\frac{\pi }{2}-\arcsin (z)& =\mathrm{arcsec}\left(\frac{1}{z}\right)\\ \arctan (z)& =-\frac{i}{2}\ln \left(\frac{i-z}{i+z}\right)=-\frac{i}{2}\ln \left(\frac{1+iz}{1-iz}\right)& =\mathrm{arccot}\left(\frac{1}{z}\right)\\ \mathrm{arccot}(z)& =-\frac{i}{2}\ln \left(\frac{z+i}{z-i}\right)=-\frac{i}{2}\ln \left(\frac{iz-1}{iz+1}\right)& =\arctan \left(\frac{1}{z}\right)\\ \mathrm{arcsec}(z)& =-i\ln (i\sqrt{1-\frac{1}{z^2}}+\frac{1}{z})=\frac{\pi }{2}-\mathrm{arccsc}(z)& =\arccos \left(\frac{1}{z}\right)\\ \mathrm{arccsc}(z)& =-i\ln (\sqrt{1-\frac{1}{z^2}}+\frac{i}{z})=i\ln (\sqrt{1-\frac{1}{z^2}}-\frac{i}{z})& =\arcsin \left(\frac{1}{z}\right)\end{array}$

Generalización

Debido a que todas las funciones trigonométricas inversas generan un ángulo de un triángulo rectángulo, se pueden generalizar usando la fórmula de Euler para formar un triángulo rectángulo en el plano complejo. Algebraicamente, se obtiene:

$c{e}^{\theta i}=c\cos (\theta )+ci\sin (\theta )$

o

$c{e}^{\theta i}=a+bi$

donde $a$ es el lado adyacente, $b$ es el lado opuesto y $c$ es la hipotenusa. A partir de aquí, se puede resolver para $\theta$.

$\begin{array}{cc}{e}^{\ln (c)+\theta i}& =a+bi\\ \ln c+\theta i& =\ln (a+bi)\\ \theta & =\mathrm{Im}(\ln (a+bi))\end{array}$

o

$\theta =-i\ln \left(\frac{a+bi}{c}\right)=i\ln \left(\frac{c}{a+bi}\right)$

Tomar la parte imaginaria funciona para cualquier $a$ y $b$ de valor real, pero si $a$ o $b$ tiene un valor complejo, se tiene que usar la ecuación final para que la parte real del resultado no se excluya. Dado que la longitud de la hipotenusa no cambia el ángulo, ignorar la parte real de $\ln (a+bi)$ también elimina $c$ de la ecuación. En la ecuación final, se ve que el ángulo del triángulo en el plano complejo se puede encontrar utilizando las longitudes de cada lado. Al establecer uno de los tres lados igual a 1 y uno de los lados restantes igual al dato de entrada $z$, se obtiene una fórmula para una de las funciones trigonométricas inversas, para un total de seis ecuaciones. Debido a que las funciones trigonométricas inversas requieren solo una entrada, se debe poner el lado final del triángulo en términos de los otros dos usando la relación del teorema de Pitágoras

$a^2+b^2=c^2$

La siguiente tabla muestra los valores de a, b y c para cada una de las funciones trigonométricas inversas y las expresiones equivalentes para $\theta$ que resultan de reemplazar los valores en las ecuaciones anteriores y simplificar.

$\begin{array}{cccccccccccc}& a& & b& & c& & \theta & & {\theta }_{simplificado}& & {\theta }_{a,b\in ℝ}\\ \arcsin (z)& \sqrt{1-z^2}& & z& & 1& & -i\ln \left(\frac{\sqrt{1-z^2}+zi}{1}\right)& & =-i\ln (\sqrt{1-z^2}+zi)& & \mathrm{Im}(\ln (\sqrt{1-z^2}+zi))\\ \arccos (z)& z& & \sqrt{1-z^2}& & 1& & -i\ln \left(\frac{z+i\sqrt{1-z^2}}{1}\right)& & =-i\ln (z+\sqrt{z^2-1})& & \mathrm{Im}(\ln (z+\sqrt{z^2-1}))\\ \arctan (z)& 1& & z& & \sqrt{1+z^2}& & i\ln \left(\frac{\sqrt{1+z^2}}{1+zi}\right)& & =\frac{i}{2}\ln \left(\frac{i+z}{i-z}\right)& & \mathrm{Im}(\ln (1+zi))\\ \mathrm{arccot}(z)& z& & 1& & \sqrt{z^2+1}& & i\ln \left(\frac{\sqrt{z^2+1}}{z+i}\right)& & =\frac{i}{2}\ln \left(\frac{z-i}{z+i}\right)& & \mathrm{Im}(\ln (z+i))\\ \mathrm{arcsec}(z)& 1& & \sqrt{z^2-1}& & z& & -i\ln \left(\frac{1+i\sqrt{z^2-1}}{z}\right)& & =-i\ln (\frac{1}{z}+\sqrt{\frac{1}{z^2}-1})& & \mathrm{Im}(\ln (1+\sqrt{1-z^2}))\\ \mathrm{arccsc}(z)& \sqrt{z^2-1}& & 1& & z& & -i\ln \left(\frac{\sqrt{z^2-1}+i}{z}\right)& & =-i\ln (\sqrt{1-\frac{1}{z^2}}+\frac{i}{z})& & \mathrm{Im}(\ln (\sqrt{z^2-1}+i))\\ \end{array}$

En este sentido, todas las funciones trigonométricas inversas se pueden considerar como casos específicos de la función logarítmica de valores complejos. Dado que esta definición funciona para cualquier $z$ de valor complejo, esta definición permite obtener ángulos hiperbólicos como resultados y se puede utilizar para definir aún más las funciones hiperbólicas inversas. Las demostraciones elementales de las relaciones también pueden obtenerse a través de la expansión a formas exponenciales de las funciones trigonométricas.

Demostración de ejemplo

Gráficos cromáticos de las funciones trigonométricas inversas en el plano complejo

$\arcsin (z)$	$\arccos (z)$
$\arctan (z)$	$\mathrm{arccot}(z)$
$\mathrm{arcsec}(z)$	$\mathrm{arccsc}(z)$

$\sin (\varphi )=z$

$\varphi =\arcsin (z)$

Usando la definición exponencial del seno, se obtiene

$z=\frac{e^{\varphi i}-e^{-\varphi i}}{2i}$

Sea

$\xi =e^{\varphi i}$

Resolviendo para $\varphi$

$z=\frac{\xi -\frac{1}{\xi }}{2i}$

$2iz=\xi -\frac{1}{\xi }$

$\xi -2iz-\frac{1}{\xi }=0$

${\xi }^2-2i\xi z-1=0$

$\xi =iz\pm \sqrt{1-z^2}=e^{\varphi i}$

$\varphi i=\ln (iz\pm \sqrt{1-z^2})$

$\varphi =-i\ln (iz\pm \sqrt{1-z^2})$

(se elige la rama positiva)

$\varphi =\arcsin (z)=-i\ln (iz+\sqrt{1-z^2})$

Aplicaciones

Aplicación: encontrar el ángulo de un triángulo rectángulo

Triángulo rectángulo

Las funciones trigonométricas inversas son útiles cuando se intenta determinar los dos ángulos restantes de un triángulo rectángulo si se conocen las longitudes de los lados del triángulo. Recordando las definiciones de triángulo rectángulo de seno y coseno, se tiene que

$\theta =\arcsin \left(\frac{\text{opuesto}}{\text{hipotenusa}}\right)=\arccos \left(\frac{\text{adyacente}}{\text{hipotenusa}}\right).$

A menudo, la hipotenusa se desconoce y debería calcularse antes de usar arcoseno o arcocoseno usando el teorema de Pitágoras: $a^2+b^2=h^2$ donde $h$ es la longitud de la hipotenusa. El arco tangente es útil en esta situación, ya que no se necesita la longitud de la hipotenusa.

$\theta =\arctan \left(\frac{\text{opuesto}}{\text{adyacente}}\right).$

Por ejemplo, supóngase que un techo desciende 8 metros cuando se extiende 20 metros horizontalmente. El techo forma un ángulo θ con la horizontal, donde θ se puede calcular de la siguiente manera:

$\theta =\arctan \left(\frac{\text{opuesto}}{\text{adyacente}}\right)=\arctan \left(\frac{\text{desnivel}}{\text{anchura}}\right)=\arctan \left(\frac{8}{20}\right)\approx 21.8^{\circ }.$

En informática e ingeniería

Variante de dos argumentos del arco tangente

Plantilla:Anchor Plantilla:AP La función arcotangente de dos parámetros calcula el arcotangente de y/x dados y y x, pero con un rango de (−π, π]. En otras palabras, atan2 (y, x) es el ángulo entre el eje positivo x de un plano y el punto (x, y) en él, con signo positivo para ángulos en sentido antihorario (semiplano superior,y > 0), y signo negativo para ángulos en sentido horario (semiplano inferior,y < 0). Se introdujo por primera vez en muchos lenguajes de programación de computadoras, pero ahora también es común en otros campos de la ciencia y la ingeniería.

En términos de la función estándar arctan, es decir, con un rango de (−Plantilla:Sfrac, Plantilla:Sfrac), se puede expresar de la siguiente manera:

$\mathrm{atan2}(y,x)=\{\begin{array}{cc}\arctan (\frac{y}{x})& x>0\\ \arctan (\frac{y}{x})+\pi & y\ge 0,x<0\\ \arctan (\frac{y}{x})-\pi & y<0,x<0\\ \frac{\pi }{2}& y>0,x=0\\ -\frac{\pi }{2}& y<0,x=0\\ \text{undefined}& y=0,x=0\end{array}$

También es igual al valor principal del argumento del número complejo x + i y.

Esta función también se puede definir utilizando la fórmula de la tangente del ángulo mitad de la siguiente manera:

$\mathrm{atan2}(y,x)=2\arctan \left(\frac{y}{\sqrt{x^2+y^2}+x}\right)$

siempre que x > 0 o y ≠ 0. Sin embargo, este procedimiento falla si se pretende calcular x ≤ 0 e y = 0, por lo que la expresión no es adecuada para su uso en programas de ordenador.

El orden de argumentos anterior (y, x) parece ser el más común, y en particular se usa según la Organización Internacional de Normalización en el lenguaje de programación C, pero algunos autores pueden usar la convención opuesta (x,y) por lo que se requiere cierta precaución. Estas variaciones se detallan en el artículo atan2.

Función de arco con el parámetro de ubicación

En muchas aplicaciones, la solución $y$ de la ecuación $x=\tan (y)$ es acercarse lo más posible a un valor dado $-\mathrm{\infty }<\eta <\mathrm{\infty }$. La solución adecuada es producida por el parámetro función arco tangente modificada

$y={\arctan }_{\eta }(x):=\arctan (x)+\pi \cdot \mathrm{rni}\left(\frac{\eta -\arctan (x)}{\pi }\right).$

La función $\mathrm{rni}$ redondea al entero más cercano.

Precisión numérica

Para ángulos cercanos a 0 y π, el arco coseno es un valor mal condicionado, y por lo tanto, calculará el ángulo con precisión reducida en aplicaciones informáticas (debido al número limitado de dígitos). De manera similar, el arco seno pierde precisión para ángulos cercanos a −π/2 y π/2.

Véase también

• Exsecante
• Verseno
• Funciones hiperbólicas inversas
• Anexo:Integrales de funciones inversas trigonométricas
• Identidades y fórmulas de trigonometría
• Función trigonométrica
• Funciones trigonométricas de matrices

Enlaces externos

• Plantilla:MathWorld