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)
A derivada de f no ponto a: limite da taxa de variação média quando o incremento encolhe a zero. Geometricamente, é o coeficiente angular da reta tangente ao gráfico de f no ponto . Fisicamente, é a taxa instantânea de variação de f em a.
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: .)
Show solution
Pela definição: . Resp: .Show step-by-step (with the why)
- Monte o quociente incremental com . Calcule e . O quociente é .
- Fatore e cancele . Numerador tem fator comum : . O cancelamento é válido porque no processo limite .
- Tome o limite. . Logo .
Macete: para , a derivada é — avalie diretamente em para conferir o resultado.
- Ex. 51.2Application
Calcule para usando a definição. (Resp: .)
Show solution
Expanda . O quociente incremental reduz-se a . No limite : . - Ex. 51.3Application
Calcule para (constante real) pela definição. (Resp: .)
Show solution
Para (constante), e . Logo o quociente para todo . O limite é . - Ex. 51.4ApplicationAnswer key
Calcule para (função afim) pela definição. (Resp: .)
Show solution
Para : . Quociente: . Limite: . A derivada de uma função afim é sua própria inclinação — constante.Show step-by-step (with the why)
- Calcule . Substitua : .
- Monte o quociente. . O cancela exatamente.
- Limite. . A derivada é a inclinação , constante em todo ponto.
Curiosidade: este resultado confirma que a reta tangente a uma reta é ela mesma — a "aproximação linear" de uma função já linear é perfeita.
- Ex. 51.5Application
Calcule para via definição. (Resp: .)
Show solution
Para : . . Quociente: . Limite: . - Ex. 51.6Application
Calcule para via definição. (Resp: .)
Show solution
Para : . . Quociente: . Limite: . Sinal negativo: está decrescendo em .Show step-by-step (with the why)
- Calcule . Substitua : . Expanda . Logo .
- Monte o quociente. . Quociente: .
- Limite. . Derivada negativa: a função decresce em .
Macete: antes de usar a definição para polinômios, expanda completamente e organize por potências de — os termos sem sempre cancelam com .
- Ex. 51.7Application
Calcule a função derivada para via definição. (Resp: .)
Show solution
Para : quociente incremental . Limite: . - Ex. 51.8Application
Use a definição para calcular sendo . (Resp: .)
Show solution
Expanda . O quociente incremental é . No limite: . Confirma o padrão para . - Ex. 51.9ApplicationAnswer key
Calcule para via definição. (Resp: .)
Show solution
Para : , . Quociente: . Limite: . O sinal negativo indica que a função está decrescendo em . - Ex. 51.10ApplicationAnswer key
Calcule para via definição. (Resp: .)
Show solution
Expanda . Subtraindo e dividindo por : . Limite: . - Ex. 51.11Application
Calcule para via definição. (Resp: .)
Show solution
Para : (calculado no Exemplo 2). Em : . Sinal negativo: a hipérbole é decrescente para .Show step-by-step (with the why)
- Quociente incremental. . Combine as frações: numerador = .
- Divida por . .
- Limite. .
Macete: para , use sempre MDC para combinar as frações do numerador — a manipulação é sempre a mesma.
- Ex. 51.12ApplicationAnswer key
Calcule para via definição. (Resp: .)
Show solution
Para : multiplique numerador e denominador por . O quociente torna-se . Limite: . Em : . - Ex. 51.13ApplicationAnswer key
Calcule para via definição e escreva a equação da reta tangente em . (Resp: ; tangente .)
Show solution
Para , . Em : . A reta tangente passa por com inclinação : . - Ex. 51.14Application
Determine a equação da reta tangente a no ponto .
Show solution
Derivada de é . Em : e . Reta tangente: .Show step-by-step (with the why)
- Calcule . . Ponto de tangência: .
- Calcule . Via definição ou resultado do Exemplo 1: , então . Este é o coeficiente angular da tangente.
- Equação ponto-inclinação. . Simplifique: .
- Verificação. Em : . Correto.
Macete: a equação da reta tangente sempre tem a forma — memorize esse molde e não precisará rederivá-lo.
- Ex. 51.15ApplicationAnswer key
Determine a equação da reta tangente a no ponto .
Show solution
, , . Reta tangente: . - Ex. 51.16Application
Para , em qual valor de a reta tangente é horizontal? Determine também o ponto do gráfico. (Resp: ; ponto .)
Show solution
A derivada de é (pela definição). Tangente horizontal quando : . O ponto é . - Ex. 51.17Application
Calcule para via definição. (Resp: .)
Show solution
Para , . Em : . - Ex. 51.18Application
Calcule para via definição. (Resp: .)
Show solution
Para : quociente incremental . Limite: . - Ex. 51.19Application
Equação da reta tangente a em .
Show solution
Do Exemplo 3: . Em : e . Tangente: . - Ex. 51.20ApplicationAnswer key
Determine a equação da reta normal a no ponto . (Resp: .)
Show solution
Para : , logo . A reta tangente em tem inclinação . A reta normal é perpendicular, inclinação . Ponto: . Equação: . - Ex. 51.21Understanding
A função é diferenciável em ? Justifique calculando as derivadas laterais.
Show solution
Derivada lateral direita: . Derivada lateral esquerda: . Como , a derivada não existe em . Note que é contínua em — este é o exemplo canônico de continuidade sem diferenciabilidade.Show step-by-step (with the why)
- Verifique continuidade. . Contínua — mas a continuidade não garante diferenciabilidade.
- Derivada lateral direita (). .
- Derivada lateral esquerda (). Para , . Logo .
- Conclusão. : derivadas laterais divergem. Não diferenciável em . O gráfico tem bico (canto) em .
Macete: sempre que a função for definida por partes ou envolver módulo, calcule as derivadas laterais separadamente — não assuma que existência do limite implica igualdade dos dois lados.
- Ex. 51.22Understanding
A função é diferenciável em ? (Resp: sim, .)
Show solution
Para : lateral direita . Lateral esquerda: . Ambas valem : diferenciável com . Contraste com : o fator extra suaviza o bico. - Ex. 51.23Understanding
Analise em . O limite do quociente incremental existe? (Resp: — tangente vertical.)
Show solution
Quociente: . Quando , . A derivada é : tangente vertical em . Não diferenciável no sentido clássico (derivada deve ser finita). - Ex. 51.24UnderstandingAnswer key
Seja . É diferenciável em ? Calcule as derivadas laterais. (Resp: não diferenciável; .)
Show solution
Lateral esquerda (, ramo ): . Lateral direita (, ramo ): . Como : bico em , não diferenciável. - Ex. 51.25Understanding
Seja para e . Mostre que . (Resp: use o teorema do confronto — .)
Show solution
Para , : quociente incremental em é . Como pelo teorema do confronto, o limite é . Logo . - Ex. 51.26Understanding
Seja para e . A função é diferenciável em ?
Show solution
O quociente incremental é . Quando , oscila entre e indefinidamente — o limite não existe. Logo não é diferenciável em . Contraste com : o fator "amortece" a oscilação. - Ex. 51.27Understanding
Seja . Calcule pelas derivadas laterais. (Resp: .)
Show solution
Lateral direita (): quociente . Lateral esquerda (): quociente . Ambas valem : . Geometricamente, os dois ramos se unem com tangente horizontal na origem. - Ex. 51.28Understanding
Interprete geometricamente: o que significa , e ?
Show solution
Geometricamente: significa tangente com inclinação positiva — função crescente em . : inclinação negativa — decrescente. : tangente horizontal — ponto potencialmente máximo, mínimo ou inflexão (ponto estacionário). O valor não tem relação direta com o sinal de . - Ex. 51.29Understanding
Qual é a relação correta entre diferenciabilidade e continuidade?
Show solution
O teorema prova a implicação : diferenciável contínua. O contraexemplo canônico para a recíproca falsa é : contínua em mas não diferenciável. A diferenciabilidade é condição mais forte que a continuidade. - Ex. 51.30Understanding
Explique, com um exemplo numérico, por que a diferença central é mais precisa numericamente que a diferença forward .
Show solution
A diferença forward tem erro de truncamento . A diferença central cancela o termo de primeira ordem por simetria, resultando em erro . Para : erro forward , erro central — 100 vezes melhor. Verifique com em : diferença central dá , que dividido por resulta exatamente — sem erro. - Ex. 51.31ModelingAnswer key
Um objeto se move com posição metros. Qual é sua velocidade instantânea em s?
Show solution
Posição . Pela definição: . Em : m/s. Verificação numérica: . Velocidade média no intervalo: m/s — converge para 8. - Ex. 51.32Modeling
Posição metros. Calcule a velocidade instantânea em s pela definição de derivada. (Resp: m/s.)
Show solution
Posição . Derivada via definição: . Em : m/s. - Ex. 51.33Modeling
Custo reais. Qual o custo marginal em unidades?
Show solution
Do Exemplo 5: . Em : reais. Cada unidade adicional além das 50 custa aproximadamente R\$ 130.Show step-by-step (with the why)
- Identifique . Custo total em reais para unidades. Custo marginal = derivada = taxa de variação instantânea do custo.
- Calcule via definição. Quociente: . Limite: .
- Avalie em . reais por unidade.
- Verificação. reais. O custo marginal (130) subestima em R\$ 1 — diferença de segunda ordem esperada.
Curiosidade: a diferença entre custo marginal (R\$ 130) e incremento real (R\$ 131) é exatamente — confirma a teoria de aproximação linear.
- Ex. 51.34Modeling
População indivíduos. Calcule a taxa de crescimento em anos pela definição de derivada. (Resp: indivíduos/ano.)
Show solution
Para : (via definição). Em : indivíduos/ano. A população cresce a uma taxa de 40 indivíduos por ano no instante . - Ex. 51.35Modeling
Em machine learning, a função de perda é . Calcule via definição e encontre o que minimiza . (Resp: ; mínimo em .)
Show solution
Para : quociente incremental . Limite: . Mínimo em — o parâmetro ótimo é o verdadeiro valor. - Ex. 51.36Modeling
Carga elétrica coulombs. A corrente . Calcule .
Show solution
Carga coulombs. Corrente . Em : A. Derivação: quociente , limite . - 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.)
Show solution
Volume da esfera: . Quociente incremental: . Limite: . Em : cm³/cm. Note que , a área da superfície — resultado elegante: a taxa de variação do volume em relação ao raio é a área da superfície. - Ex. 51.38Challenge
Determine tal que tenha reta tangente horizontal no ponto . (Resp: .)
Show solution
A derivada de é . Para tangente horizontal em : . - 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 .)
Show solution
Se é par, . Derivada lateral esquerda: . Substitua com : . Para diferenciável em : , logo . - Ex. 51.40Proof
Seja , com e diferenciáveis em . Use a definição de derivada para demonstrar que (regra da soma).
Show solution
Para : . Como ambos os limites existem (por hipótese, e são diferenciáveis em ), o limite da soma é a soma dos limites: . Esta é a demonstração da regra da soma a partir da definição.
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.