As restrições
sin:[−2π,2π]→[−1,1],cos:[0,π]→[−1,1],tan:(−2π,2π)→R
são bijeções estritamente monótonas. Suas aplicações inversas escrevem-se arcsin, arccos e arctan. Assim, por exemplo, y=arcsinx (x∈[−1,1]) é o ângulo de [−2π,2π] cujo seno é x.
Exemplos
Exemplo 4.11 (Reconhecendo uma constante escondida)
Estude g(x)=arctan1+x1−x em (−1,+∞). Regra da cadeia e um cálculo curto:
g′(x)=1+(1+x1−x)21⋅(1+x)2−(1+x)−(1−x)=(1+x)2+(1−x)2−2=1+x2−1,
pois (1+x)2+(1−x)2=2+2x2. Logo g′=−arctan′: a função g+arctan tem derivada nula no intervalo (−1,+∞) e, portanto, é constante nele; o seu valor em x=0 é arctan1+arctan0=4π. Conclusão:
arctan1+x1−x=4π−arctanx(x>−1).
Em (−∞,−1) o mesmo cálculo de derivada vale, mas a constante é diferente (−43π: avalie o limite quando x→−∞). A ideia: “derivada nula implica constante” é um enunciado intervalo por intervalo — exatamente a sutileza explorada no Exercício 4.6 e no Exercício 4.10.
Exemplo 4.14 (Voltando ao intervalo principal)
Calcule
arctan(tan43π)earctan(tan517π).
A receita: substitua o ângulo pelo único ângulo de (−2π,2π) com a mesma tangente, isto é, subtraia o múltiplo adequado de π (o período de tan). Primeiro: 43π−π=−4π, de modo que a resposta é −4π. Segundo: 517π−3π=52π∈(−2π,2π), de modo que a resposta é 52π. O cálculo é uma divisão euclidiana do ângulo por π disfarçada — e as receitas análogas para arcsin (refletir para [−2π,2π], período 2π) e arccos (refletir para [0,π]) conduzem o Exercício 4.1 e a resposta por partes do Exercício 4.10.
Exemplo 4.15 (Somando arco-tangentes com segurança)
Demonstremos que
arctan21+arctan51+arctan81=4π.
Dois ingredientes: a fórmula da tangente da soma e — o passo que os iniciantes esquecem — uma localização da soma. Primeiro, tan(u+v)=1−tanutanvtanu+tanv com u=arctan21, v=arctan51 dá
tan(u+v)=1−10121+51=9/107/10=97,logotan(u+v+arctan81)=1−72797+81=65/7265/72=1.
Segundo, cada um dos três ângulos está em (0,4π) (seus argumentos são menores que 1), de modo que a soma está em (0,43π); o único ângulo ali com tangente 1 é 4π. Sem a localização, a conclusão seria “4π a menos de um múltiplo de π” — meia demonstração. A mesma disciplina em dois passos conduz o Exercício 4.8 e o Exercício 4.12.