Lição 51 — Derivada: definição via limite
Derivada como limite da taxa de variação média. Reta tangente. Diferenciabilidade implica continuidade, mas não vice-versa. Cálculo pela definição para funções elementares.
Used in: 2.º ano do EM (16–17 anos) · Equiv. Math II japonês (微分) · Equiv. Klasse 11 alemã (Analysis)
Rigorous notation, full derivation, hypotheses
Definição rigorosa e teoremas
Definição de derivada
"We say that a function is differentiable at whenever exists. […] The derivative measures the instantaneous rate of change of the function, as well as the slope of the tangent line to the function at the given point." — Boelkins, Active Calculus §1.3
"The derivative of a function at a point in its domain, if it exists, is ." — OpenStax Calculus Vol. 1, §3.1
Notações equivalentes
A expressão denota a derivada avaliada no ponto .
Da secante à tangente — geometria do limite
A reta secante (laranja) passa pelos pontos (a, f(a)) e (a+h, f(a+h)). Conforme h → 0, a secante gira até coincidir com a reta tangente (dourada). A derivada é o coeficiente angular desse limite.
Reta tangente e reta normal
Sendo diferenciável em :
- Reta tangente em :
- Reta normal em (perpendicular à tangente, se ):
Teorema fundamental de diferenciabilidade
"If is differentiable at , then is continuous at . […] The converse is not true, and a function can be continuous but fail to be differentiable at a point." — OpenStax Calculus Vol. 1, §3.2
Pontos de não-diferenciabilidade
Derivadas fundamentais via definição
| Função | |
|---|---|
| (constante) | |
| () | |
Exemplos resolvidos
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 51.1Application
Calcule para usando a definição de derivada. (Resp: .)
- Ex. 51.2Application
Calcule para usando a definição. (Resp: .)
- Ex. 51.3Application
Calcule para (constante real) pela definição. (Resp: .)
- Ex. 51.4ApplicationAnswer key
Calcule para (função afim) pela definição. (Resp: .)
- Ex. 51.5Application
Calcule para via definição. (Resp: .)
- Ex. 51.6Application
Calcule para via definição. (Resp: .)
- Ex. 51.7Application
Calcule a função derivada para via definição. (Resp: .)
- Ex. 51.8Application
Use a definição para calcular sendo . (Resp: .)
- Ex. 51.9ApplicationAnswer key
Calcule para via definição. (Resp: .)
- Ex. 51.10ApplicationAnswer key
Calcule para via definição. (Resp: .)
- Ex. 51.11Application
Calcule para via definição. (Resp: .)
- Ex. 51.12ApplicationAnswer key
Calcule para via definição. (Resp: .)
- Ex. 51.13ApplicationAnswer key
Calcule para via definição e escreva a equação da reta tangente em . (Resp: ; tangente .)
- Ex. 51.14Application
Determine a equação da reta tangente a no ponto .
- Ex. 51.15ApplicationAnswer key
Determine a equação da reta tangente a no ponto .
- Ex. 51.16Application
Para , em qual valor de a reta tangente é horizontal? Determine também o ponto do gráfico. (Resp: ; ponto .)
- Ex. 51.17Application
Calcule para via definição. (Resp: .)
- Ex. 51.18Application
Calcule para via definição. (Resp: .)
- Ex. 51.19Application
Equação da reta tangente a em .
- Ex. 51.20ApplicationAnswer key
Determine a equação da reta normal a no ponto . (Resp: .)
- Ex. 51.21Understanding
A função é diferenciável em ? Justifique calculando as derivadas laterais.
- Ex. 51.22Understanding
A função é diferenciável em ? (Resp: sim, .)
- Ex. 51.23Understanding
Analise em . O limite do quociente incremental existe? (Resp: — tangente vertical.)
- Ex. 51.24UnderstandingAnswer key
Seja . É diferenciável em ? Calcule as derivadas laterais. (Resp: não diferenciável; .)
- Ex. 51.25Understanding
Seja para e . Mostre que . (Resp: use o teorema do confronto — .)
- Ex. 51.26Understanding
Seja para e . A função é diferenciável em ?
- Ex. 51.27Understanding
Seja . Calcule pelas derivadas laterais. (Resp: .)
- Ex. 51.28Understanding
Interprete geometricamente: o que significa , e ?
- Ex. 51.29Understanding
Qual é a relação correta entre diferenciabilidade e continuidade?
- Ex. 51.30Understanding
Explique, com um exemplo numérico, por que a diferença central é mais precisa numericamente que a diferença forward .
- Ex. 51.31ModelingAnswer key
Um objeto se move com posição metros. Qual é sua velocidade instantânea em s?
- Ex. 51.32Modeling
Posição metros. Calcule a velocidade instantânea em s pela definição de derivada. (Resp: m/s.)
- Ex. 51.33Modeling
Custo reais. Qual o custo marginal em unidades?
- Ex. 51.34Modeling
População indivíduos. Calcule a taxa de crescimento em anos pela definição de derivada. (Resp: indivíduos/ano.)
- Ex. 51.35Modeling
Em machine learning, a função de perda é . Calcule via definição e encontre o que minimiza . (Resp: ; mínimo em .)
- Ex. 51.36Modeling
Carga elétrica coulombs. A corrente . Calcule .
- Ex. 51.37Modeling
Volume de uma esfera . Calcule a taxa de variação do volume em relação ao raio em cm. (Resp: cm³/cm. Bônus: relacione o resultado com a área da superfície.)
- Ex. 51.38Challenge
Determine tal que tenha reta tangente horizontal no ponto . (Resp: .)
- Ex. 51.39ChallengeAnswer key
Prove que se é uma função par e diferenciável em , então . (Dica: use a definição das derivadas laterais e a propriedade .)
- Ex. 51.40Proof
Seja , com e diferenciáveis em . Use a definição de derivada para demonstrar que (regra da soma).
Fontes
- Active Calculus 2.0 — Boelkins · 2024 · CC-BY-SA 4.0. Capítulos §1.1 (velocidade instantânea), §1.3 (derivada num ponto), §1.4 (derivada como função), §1.7 (limites, continuidade e diferenciabilidade). Fonte primária. Atividades guiadas sobre secante→tangente, interpretação gráfica e os bicos do módulo.
- Calculus, Volume 1 — OpenStax · Herman, Strang et al. · CC-BY-NC-SA 4.0. Capítulos §3.1 (Defining the Derivative), §3.2 (The Derivative as a Function). Exercícios extensivos com cálculo pela definição e aplicações em física, economia e biologia.
- APEX Calculus — Hartman et al. · 5.ª ed. · CC-BY-NC 4.0. Capítulo §2.1 (Instantaneous Rates of Change). Tratamento formal com exemplos de reta tangente e normal, tabela de derivadas fundamentais via definição.