Matemática · Glossário

O que é arcsin⁡, arccos⁡, arctan⁡?

Definição 4.9 Matemática universitária — Graduação 1 · Capítulo 4 — Funções Usuais

As restrições

sin ⁣:[π2,π2][1,1],cos ⁣:[0,π][1,1],tan ⁣:(π2,π2)R\sin \colon \intcc{-\tfrac\pi2}{\tfrac\pi2} \to \intcc{-1}{1}, \qquad \cos \colon \intcc{0}{\pi} \to \intcc{-1}{1}, \qquad \tan \colon \intoo{-\tfrac\pi2}{\tfrac\pi2} \to \R

são bijeções estritamente monótonas. Suas aplicações inversas escrevem-se arcsin\arcsin, arccos\arccos e arctan\arctan. Assim, por exemplo, y=arcsinxy = \arcsin x (x[1,1]x \in \intcc{-1}{1}) é o ângulo de [π2,π2]\intcc{-\frac\pi2}{\frac\pi2} cujo seno é xx.

Da esquerda para a direita: , , . Cada uma herda o seu gráfico da função direta restrita, por reflexão na reta y = x.
Da esquerda para a direita: arcsin\arcsin, arccos\arccos, arctan\arctan. Cada uma herda o seu gráfico da função direta restrita, por reflexão na reta y=xy = x.

Exemplos

Exemplo 4.11 (Reconhecendo uma constante escondida)

Estude g(x)=arctan1x1+xg(x) = \arctan\dfrac{1 - x}{1 + x} em (1,+)\intoo{-1} {+\infty}. Regra da cadeia e um cálculo curto:

g(x)=11+(1x1+x)2(1+x)(1x)(1+x)2=2(1+x)2+(1x)2=11+x2,g'(x) = \frac{1}{1 + \bigl(\frac{1-x}{1+x}\bigr)^2}\cdot \frac{-(1+x) - (1-x)}{(1+x)^2} = \frac{-2}{(1+x)^2 + (1-x)^2} = \frac{-1}{1 + x^2} ,

pois (1+x)2+(1x)2=2+2x2(1+x)^2 + (1-x)^2 = 2 + 2x^2. Logo g=arctang' = -\arctan': a função g+arctang + \arctan tem derivada nula no intervalo (1,+)\intoo{-1}{+\infty} e, portanto, é constante nele; o seu valor em x=0x = 0 é arctan1+arctan0=π4\arctan 1 + \arctan 0 = \frac\pi4. Conclusão:

arctan1x1+x=π4arctanx(x>1).\arctan\frac{1 - x}{1 + x} = \frac\pi4 - \arctan x \qquad (x > -1) .

Em (,1)\intoo{-\infty}{-1} o mesmo cálculo de derivada vale, mas a constante é diferente (3π4-\frac{3\pi}4: avalie o limite quando xx \to -\infty). 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(tan3π4)earctan(tan17π5).\arctan\Bigl(\tan\frac{3\pi}4\Bigr) \qquad\text{e}\qquad \arctan\Bigl(\tan\frac{17\pi}5\Bigr).

A receita: substitua o ângulo pelo único ângulo de (π2,π2)\intoo{-\frac\pi2}{\frac\pi2} com a mesma tangente, isto é, subtraia o múltiplo adequado de π\pi (o período de tan\tan). Primeiro: 3π4π=π4\frac{3\pi}4 - \pi = -\frac\pi4, de modo que a resposta é π4-\frac\pi4. Segundo: 17π53π=2π5(π2,π2)\frac{17\pi} 5 - 3\pi = \frac{2\pi}5 \in \intoo{-\frac\pi2}{\frac\pi2}, de modo que a resposta é 2π5\frac{2\pi}5. O cálculo é uma divisão euclidiana do ângulo por π\pi disfarçada — e as receitas análogas para arcsin\arcsin (refletir para [π2,π2]\intcc{-\frac\pi2}{\frac\pi2}, período 2π2\pi) e arccos\arccos (refletir para [0,π]\intcc0\pi) 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

arctan12+arctan15+arctan18=π4.\arctan\frac12 + \arctan\frac15 + \arctan\frac18 = \frac\pi4 .

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)=tanu+tanv1tanutanv\tan(u + v) = \frac{\tan u + \tan v}{1 - \tan u\tan v} com u=arctan12u = \arctan\frac12, v=arctan15v = \arctan\frac15

tan(u+v)=12+151110=7/109/10=79,logotan(u+v+arctan18)=79+181772=65/7265/72=1.\tan(u + v) = \frac{\frac12 + \frac15}{1 - \frac1{10}} = \frac{7/10}{9/10} = \frac79, \qquad\text{logo}\qquad \tan\Bigl(u + v + \arctan\frac18\Bigr) = \frac{\frac79 + \frac18}{1 - \frac7{72}} = \frac{65/72}{65/72} = 1 .

Segundo, cada um dos três ângulos está em (0,π4)\intoo0{\frac\pi4} (seus argumentos são menores que 11), de modo que a soma está em (0,3π4)\intoo0{\frac{3\pi}4}; o único ângulo ali com tangente 11 é π4\frac\pi4. Sem a localização, a conclusão seria “π4\frac\pi4 a menos de um múltiplo de π\pi” — meia demonstração. A mesma disciplina em dois passos conduz o Exercício 4.8 e o Exercício 4.12.

Ler no capítulo →