Las restricciones
sin:[−2π,2π]→[−1,1],cos:[0,π]→[−1,1],tan:(−2π,2π)→R
son biyecciones estrictamente monótonas. Sus aplicaciones inversas se escriben arcsin, arccos y arctan. Así, por ejemplo, y=arcsinx (x∈[−1,1]) es el ángulo de [−2π,2π] cuyo seno vale x.
Ejemplos
Ejemplo 4.11 (Reconocer una constante escondida)
Estúdiese g(x)=arctan1+x1−x en (−1,+∞). Regla de la cadena y un cálculo breve:
g′(x)=1+(1+x1−x)21⋅(1+x)2−(1+x)−(1−x)=(1+x)2+(1−x)2−2=1+x2−1,
puesto que (1+x)2+(1−x)2=2+2x2. Así pues, g′=−arctan′: la función g+arctan tiene derivada nula en el intervalo (−1,+∞) y, por tanto, es constante ahí; su valor en x=0 es arctan1+arctan0=4π. Conclusión:
arctan1+x1−x=4π−arctanx(x>−1).
En (−∞,−1) vale el mismo cálculo de la derivada, pero la constante es otra (−43π: evalúese el límite cuando x→−∞). La idea clave: «derivada nula implica constante» es un enunciado intervalo por intervalo — exactamente la sutileza que explotan los Ejercicio 4.6 y Ejercicio 4.10.
Ejemplo 4.14 (Volver al intervalo principal)
Calcúlense
arctan(tan43π)yarctan(tan517π).
La receta: sustitúyase el ángulo por el único ángulo de (−2π,2π) con la misma tangente, es decir, réstese el múltiplo adecuado de π (el período de tan). Primero: 43π−π=−4π, luego la respuesta es −4π. Segundo: 517π−3π=52π∈(−2π,2π), luego la respuesta es 52π. El cálculo es una división euclídea del ángulo por π disfrazada — y las recetas análogas para arcsin (llevar por reflexión a [−2π,2π], período 2π) y arccos (llevar a [0,π]) mueven el Ejercicio 4.1 y la respuesta a trozos del Ejercicio 4.10.
Ejemplo 4.15 (Sumar arcotangentes sin riesgos)
Demostremos que
arctan21+arctan51+arctan81=4π.
Dos ingredientes: la fórmula de la tangente de una suma y — el paso que olvidan los principiantes — una localización de la suma. Primero, tan(u+v)=1−tanutanvtanu+tanv con u=arctan21, v=arctan51 da
tan(u+v)=1−10121+51=9/107/10=97,y despueˊstan(u+v+arctan81)=1−72797+81=65/7265/72=1.
Segundo, cada uno de los tres ángulos está en (0,4π) (sus argumentos son menores que 1), luego la suma está en (0,43π); el único ángulo de ahí con tangente 1 es 4π. Sin la localización, la conclusión sería «4π salvo múltiplos de π» — media demostración. La misma disciplina en dos pasos mueve los Ejercicio 4.8 y Ejercicio 4.12.