Lição 56 — Derivadas de funções inversas
Teorema da derivada da inversa e derivação de arcsin, arccos, arctan, ln, log_a, a^x e hiperbólicas inversas via diferenciação implícita.
Usado em: 2.º ano EM avançado · Equiv. Math III japonês cap. 3 · Equiv. Analysis Grundkurs/Leistungskurs alemão · IB Math HL tópico 6
A derivada da função inversa: a inclinação de no ponto é o recíproco da inclinação de no ponto , onde . Esta fórmula gera as derivadas de , , e todas as funções inversas elementares.
Notação rigorosa, derivação completa, hipóteses
Definição rigorosa e tabela completa
Teorema da derivada da função inversa
"Se é uma função diferenciável, um-a-um, com e , então é diferenciável em e ." — Active Calculus §2.6, Theorem 2.6.2
Demonstração via regra da cadeia
Da identidade , diferenciando ambos os lados em relação a pela regra da cadeia:
Como por hipótese, dividindo:
Interpretação geométrica
O gráfico de é o reflexo do gráfico de na reta . Uma tangente de inclinação no gráfico de no ponto vira inclinação no gráfico de no ponto — a reflexão troca os papéis de e .
Reflexão na diagonal transforma inclinação em . O ponto de vira de .
Tabela de derivadas de funções inversas
| Função | Domínio | Derivada |
|---|---|---|
| $ | x |
"Em geral, há uma fórmula para a derivada de para qualquer com : . Esta fórmula é um caso especial da regra da cadeia aplicada a ." — OpenStax Calculus Volume 1 §3.7
Cadeia com inversa trig
Para diferenciável:
Exemplos resolvidos
Lista de exercícios
40 exercícios · 10 com solução desenvolvida (25%)
- Ex. 56.1Aplicação
Seja . Calcule no ponto , usando o teorema da derivada da inversa.
Ver solução
, logo . Encontre tal que : aqui calculamos em . Pelo teorema: .Ver passo a passo (com o porquê)
- Identifique a. é o ponto em ; .
- Derive f. (constante).
- Aplique o teorema. .
Para uma função linear , a inversa tem derivada constante — o recíproco da inclinação original.
- Ex. 56.2Aplicação
Seja . Calcule no ponto correspondente a .
Ver solução
, . Em : , . Logo . - Ex. 56.3Aplicação
Seja com . Calcule no ponto correspondente a .
Ver solução
para . . Em : , . Logo . Resposta: após a inversão do ramo. - Ex. 56.4AplicaçãoGabarito
Seja . Calcule via teorema da inversa e confirme com a fórmula de .
Ver solução
, . Em : , . Logo . Confirma que .Ver passo a passo (com o porquê)
- Identifique o ponto. ; portanto .
- Derive. ; em : .
- Teorema. .
Consistência: ; em dá . As duas abordagens concordam.
- Ex. 56.5Aplicação
Seja com . Calcule .
Ver solução
com . Queremos . Precisamos tal que : . Com , apenas é admissível ( está fora do domínio). Deriva: , . Logo . - Ex. 56.6Aplicação
Seja . Calcule , sabendo que .
Ver solução
. Queremos . Precisamos tal que : . Teste : . Logo . , . Portanto . - Ex. 56.7Aplicação
Dados e , calcule .
Ver solução
Dados e , com . Pelo teorema: . - Ex. 56.8Aplicação
Dados e , calcule .
Ver solução
Dados e , com . .Ver passo a passo (com o porquê)
- Identifique os dados. : o ponto em corresponde a em .
- Aplique o teorema. .
Quando a inclinação de é pequena (), a inclinação da inversa é grande (3) — a inversa sobe mais steeply no mesmo ponto.
- Ex. 56.9Aplicação
Dados e , calcule .
Ver solução
Dados e , com ponto alvo . . - Ex. 56.10AplicaçãoGabarito
Dados e , calcule .
Ver solução
Dados e . . - Ex. 56.11Aplicação
Dados e , calcule .
Ver solução
Dados e . . - Ex. 56.12Aplicação
Dados e , calcule .
Ver solução
Dados e . . - Ex. 56.13Aplicação
Calcule para .
Ver solução
. Cadeia com , : . Domínio: .Ver passo a passo (com o porquê)
- Identifique u. , .
- Fórmula da cadeia. .
- Simplifique. : resultado .
Domínio: precisamos , ou seja, .
- Ex. 56.14Aplicação
Calcule para .
Ver solução
. Cadeia: , . . - Ex. 56.15AplicaçãoGabarito
Calcule para .
Ver solução
. Cadeia com , : . Simplificando: . - Ex. 56.16Aplicação
Calcule para .
Ver solução
: , derive: . Com e : . - Ex. 56.17Aplicação
Calcule para .
Ver solução
. Cadeia externa: potência cúbica. .Ver passo a passo (com o porquê)
- Camada externa. , . .
- Camada interna. .
- Combine. .
A regra da cadeia com potência de arcfunção: o expoente desce para fora e a derivada da arcfunção multiplica.
- Ex. 56.18Aplicação
Calcule para .
Ver solução
. Regra do produto: . Como e : . Fatorando: ... simplifica a . - Ex. 56.19Aplicação
Calcule para .
Ver solução
. Cadeia (regra da potência + arctan): . - Ex. 56.20Aplicação
Calcule para .
Ver solução
. Cadeia com , : ... espera: o sinal do numerador e do . Para : . Resultado: (sinal cancela). Ambas as formas aparecem na literatura dependendo da convenção de arcsec. - Ex. 56.21Aplicação
Calcule para .
Ver solução
. Cadeia com , . . - Ex. 56.22Aplicação
Calcule para (para ).
Ver solução
. Regra do produto: . Para : , então .Ver passo a passo (com o porquê)
- Produto. .
- Derivada de arccsc. .
- Combine. Para : .
As derivadas de arccsc e arcsec têm o valor absoluto no denominador. Quando podemos escrever simplesmente .
- Ex. 56.23AplicaçãoGabarito
Seja . Calcule .
Ver solução
. Cadeia com , : . A opção correta lista o produto com incorretamente; a resposta certa é . - Ex. 56.24Aplicação
Seja . Calcule .
Ver solução
. Regra do produto: . Para a segunda parcela, cadeia: . Logo .Ver passo a passo (com o porquê)
- Produto. , . .
- u' = 10x.
- v' pela cadeia. .
- Combine. .
Regra do produto com arctan interno: não esqueça de derivar o argumento pela cadeia ao calcular .
- Ex. 56.25Aplicação
Seja . Calcule .
Ver solução
. Cadeia com , : . Domínio: , ou seja, . - Ex. 56.26Aplicação
Dado que é injetiva, calcule .
Ver solução
é injetiva (crescente: para todo ). Precisamos tal que : . Teste : . Logo . . .Ver passo a passo (com o porquê)
- Verifique injetividade. . Estritamente crescente.
- Encontre a tal que f(a) = 1. . Logo .
- Aplique o teorema. .
A injetividade garante que a inversa existe. Verificar é o primeiro passo quando o enunciado diz "é injetiva" mas não é óbvio.
- Ex. 56.27ModelagemGabarito
Física. A posição de um disco de hóquei após segundos é metros. Calcule a velocidade e avalie em , e .
Ver solução
A posição é . A velocidade é . Em : m/s; em : m/s; em : m/s. A velocidade diminui monotonicamente — o puck desacelera.Ver passo a passo (com o porquê)
- Velocidade. .
- Aceleração. .
- Avalie. : , ; : ; : .
Conclusão: velocidade e aceleração (em módulo) tendem a zero — o puck nunca para, mas vai cada vez mais devagar. conforme .
- Ex. 56.28Modelagem
Sombra de edifício. Um edifício de 225 pés projeta uma sombra de comprimento pés. O ângulo de elevação satisfaz . Calcule em pés.
Ver solução
O ângulo de elevação satisfaz (onde 225 pés é a altura e é a sombra). . Em : rad/pé. - Ex. 56.29Modelagem
Poste e fio. Um poste de 75 pés tem fios de comprimento pés presos ao topo. O ângulo satisfaz . Calcule quando pés.
Ver solução
O polo tem 75 pés; o fio tem comprimento . O ângulo satisfaz , logo . Cadeia: . Em : rad/pé. - Ex. 56.30ModelagemGabarito
Foguete. Uma câmera a 2000 pés da base de lançamento rastreia um foguete a altitude pés. O ângulo de elevação é . Calcule .
Ver solução
. Cadeia: . Quando câmera e foguete estão a 5000 pés: ; rad/pé.Ver passo a passo (com o porquê)
- Modelo. Câmera a 2000 pés da base; altitude do foguete . Ângulo de elevação: .
- Derive. .
- Avalie. A 5000 pés de distância: . Substitua.
Aplicação: sistemas de rastreamento de foguetes usam exatamente esta fórmula para calcular a taxa de rotação da câmera de rastreamento.
- Ex. 56.31ModelagemGabarito
Use diferenciação logarítmica para calcular (para ).
Ver solução
Diferenciação logarítmica: . Derivando: . Logo . O erro clássico — usar regra de potência — trata o expoente como constante. - Ex. 56.32Modelagem
Calcule para .
Ver solução
. Cadeia com , : . Domínio: todos os reais (pois para ). - Ex. 56.33Modelagem
Seja e . Calcule e . Qual a relação entre eles?
Ver solução
Seja . Então . , portanto e . . Logo .Ver passo a passo (com o porquê)
- Identifique. ; . Portanto satisfaz .
- Derive f. ; .
- Teorema. .
Observe a relação recíproca: e . O produto das inclinações no par de pontos correspondentes é sempre 1.
- Ex. 56.34Modelagem
Seja . Verifique que é invertível e calcule , sabendo que .
Ver solução
é invertível pois e é zero apenas em pontos isolados — é estritamente crescente. O ponto está no gráfico. . Logo . A resposta é . - Ex. 56.35CompreensãoGabarito
O gráfico de passa por e por . Estime e use isso para calcular .
Ver solução
Dados os pontos e : inclinação aproximada . O ponto em corresponde a em . Logo .Ver passo a passo (com o porquê)
- Estime f'(1). Taxa de variação: .
- Ponto correspondente. , logo .
- Teorema. .
Esta é a forma prática do teorema da inversa: estimar a inclinação graficamente e depois inverter.
- Ex. 56.36CompreensãoGabarito
O que acontece geometricamente na fórmula quando ? Dê um exemplo concreto.
Ver solução
Quando , o denominador da fórmula é zero. Geometricamente, a tangente ao gráfico de em é vertical. Exemplo: , , existe, mas é infinito — não existe no sentido usual.Ver passo a passo (com o porquê)
- Exemplo. : .
- Inversa existe. .
- Derivada explode. quando .
Macete: tangente horizontal em vira tangente vertical em (reflexão na diagonal).
- Ex. 56.37Compreensão
Prove que para , mostrando que a derivada da soma é zero e avaliando em .
Ver solução
Seja . Derivando: . Logo é constante. Em : . Portanto para todo . - Ex. 56.38Desafio
Calcule para .
Ver solução
. Cadeia com : . Logo .Ver passo a passo (com o porquê)
- Identifique u. .
- Derive u. .
- Cadeia. .
Três camadas: logaritmo externo, soma de arcfunções, e cada arcfunção pela regra padrão. Identifique a estrutura antes de derivar.
- Ex. 56.39Desafio
Calcule para .
Ver solução
. Três camadas (de fora para dentro): arctan, ln, arcsin. .Ver passo a passo (com o porquê)
- Camada 1 (arctan). . Aqui .
- Camada 2 (ln). . Aqui .
- Camada 3 (arcsin). .
- Multiplique. .
Regra da cadeia tripla: cada camada contribui um fator. Domínio: (arcsin definido e positivo para o ln).
- Ex. 56.40DemonstraçãoGabarito
Demonstração. Prove que usando a identidade e a regra da cadeia.
Ver solução
Da identidade , diferenciando em pela regra da cadeia: . Com : . Escrevendo e : .Ver passo a passo (com o porquê)
- Identidade fundamental. .
- Derive em y. Cadeia: .
- Isole. .
- Forma compacta. onde .
A regra da cadeia: "derivada da composta é produto das derivadas". Como a composta é a identidade (derivada 1), o produto deve ser 1 — daí o recíproco.
Fontes
- Active Calculus — Boelkins · 2024 · §2.6 "Derivatives of Inverse Functions" · CC-BY-NC-SA. Fonte primária. Seção gratuita online com atividades de descoberta.
- Calculus Volume 1 — OpenStax · 2016 · §3.7 "Derivatives of Inverse Functions" · CC-BY-NC-SA. Tabela completa, exemplos de diferenciação logarítmica.
- APEX Calculus — Hartman et al. · 2024 · v5 · §2.7 e §6.6 · CC-BY-NC. PDF gratuito. Hiperbólicas inversas e composições avançadas.