\( \newenvironment {prompt}{}{} \newcommand {\accordion }[0]{} \newcommand {\ungraded }[0]{} \newcommand {\xmDefaultPreamble }[0]{xmPreamble.tex} \newcommand {\xmDefaultPrintstyle }[0]{xmPrintstyle.sty} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\,d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty - \infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}\hspace {0in}} \newcommand {\point }[1]{\left (#1\right )} \newcommand {\pt }[1]{\mathbf {#1}} \newcommand {\Lim }[2]{\lim _{\point {#1} \to \point {#2}}} \DeclareMathOperator {\proj }{\mathbf {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\VerbMathToks }[2]{\alteqtoks {\begin {#2} #1 \end {#2}}} \newcommand {\DeclareMicrotypeVariants }[1]{} \newcommand {\DeclareMicrotypeAlias }[2]{} \newcommand {\LoadMicrotypeFile }[1]{} \newcommand {\DeclareMicrotypeFilePrefix }[1]{} \newcommand {\DeclareMicrotypeBabelHook }[2]{} \newcommand {\microtypesetup }[1]{} \newcommand {\microtypecontext }[1]{} \newcommand {\textmicrotypecontext }[2]{#2} \newcommand {\leftprotrusion }[1]{#1} \newcommand {\rightprotrusion }[1]{#1} \newcommand {\noprotrusionifhmode }[0]{} \newcommand {\lsstyle }[0]{} \newcommand {\lslig }[1]{#1} \newcommand {\maketitle }[0]{} \newcommand {\problem }[0]{ } \newcommand {\exercise }[0]{ } \newcommand {\question }[0]{ } \newcommand {\exploration }[0]{ } \newcommand {\dialogue }[0]{\begin {description}} \newcommand {\GetTranslation }[1]{#1} \)
Usamos derivadas para ajudar a localizar extremos.

Quer estejamos interessados em uma função como um objeto puramente matemático, quer em conexão com alguma aplicação ao mundo real, muitas vezes é útil saber como é o gráfico da função. Podemos obter uma boa ideia do gráfico usando certas informações cruciais fornecidas pelas derivadas da função.

1 Extremos

Vamos começar com algumas definições.

Graficamente, os extremos globais correspondem aos pontos mais alto e mais baixo do gráfico de uma função.

As derivadas serão mais úteis quando considerarmos não os extremos globais, mas suas versões locais. Um extremo local de uma função \(f\) é um ponto \((a,f(a))\) do gráfico de \(f\) em que a coordenada \(y\) é maior (ou menor) do que todas as outras coordenadas \(y\) dos pontos do gráfico cujas coordenadas \(x\) estão “próximas de” \(a\).

No próximo exemplo, esclarecemos a definição de mínimo local.

Os pontos de máximo e de mínimo locais são bastante característicos no gráfico de uma função e, portanto, são úteis para entender a forma do gráfico. Muitos problemas do mundo real e de diferentes áreas da ciência acabam se resumindo a encontrar o menor (ou o maior) valor que uma função atinge (por exemplo, podemos querer encontrar o custo mínimo com que determinada tarefa pode ser realizada).

2 Pontos críticos

Considere o gráfico da função \(f\).

A função \(f\) tem quatro extremos locais: em \(x=-4\), \(x=-2\), \(x=0\) e \(x=4\). Observe que a função \(f\) não é derivável em \(x=-4\) e em \(x=-2\). Observe que \(f'(0)=0\) e \(f'(4)=0\).

Depois desse exemplo, o teorema a seguir não deve ser surpresa.

O Teorema de Fermat diz que, se \(f'(a) = 0\), então \(f\) tem um extremo local em \(x=a\)?
sim não

O Teorema de Fermat diz que os únicos pontos em que uma função pode ter um máximo ou mínimo local são pontos em que a derivada é zero ou em que a derivada não está definida. Como ilustração do primeiro cenário, considere os gráficos de \(f(x) = x^3-4.5x^2+6x\) e \(f'(x) = 3x^2-9x+6\).

Faça a escolha correta que completa a frase abaixo.

No ponto \((1,f(1))\), a função \(f\) tem

um máximo local um mínimo local nenhum extremo local
Selecione a afirmação correta.
\(f'(1)\) não está definida \(f'(1)>0\) \(f'(1)=0\) \(f'(1)<0\)
Faça a escolha correta que completa a frase abaixo.

No ponto \((1.5,f(1.5))\), a função \(f\) tem

um máximo local um mínimo local nenhum extremo local
Selecione a afirmação correta.
\(f'(1.5)\) não está definida \(f'(1.5)>0\) \(f'(1.5)=0\) \(f'(1.5)<0\)
Faça a escolha correta que completa a frase abaixo.

No ponto \((2,f(2))\), a função \(f\) tem

um máximo local um mínimo local nenhum extremo local
Selecione a afirmação correta.
\(f'(2)\) não está definida \(f'(2)>0\) \(f'(2)=0\) \(f'(2)<0\)

Como ilustração do segundo cenário, considere os gráficos de \(f(x) = x^{2/3}\) e \(f'(x) = \frac {2}{3x^{1/3}}\):

Faça a escolha correta que completa a frase abaixo.

No ponto \((-2,f(-2))\), a função \(f\) tem

um máximo local um mínimo local nenhum extremo local
Selecione a afirmação correta.
\(f'(-2)\) não está definida \(f'(-2)>0\) \(f'(-2)=0\) \(f'(-2)<0\)
Faça a escolha correta que completa a frase abaixo.

No ponto \((0,0)\), a função \(f\) tem

um máximo local um mínimo local nenhum extremo local
Selecione a afirmação correta.
\(f'(0)\) não está definida \(f'(0)>0\) \(f'(0)=0\) \(f'(0)<0\)

Isso nos leva à próxima definição.

Como tanto o máximo local quanto o mínimo local ocorrem em um ponto crítico, quando localizamos um ponto crítico precisamos determinar qual deles, se algum, de fato ocorre.

3 O teste da primeira derivada

Vamos explorar mais a fundo e refinar o método da seção anterior para decidir se há um máximo ou mínimo local em um ponto crítico. Lembre-se de que

  • Se \(f'(x) >0\) em um intervalo, então \(f\) é crescente nesse intervalo.
  • Se \(f'(x) <0\) em um intervalo, então \(f\) é decrescente nesse intervalo.

Então, como exatamente a derivada nos diz se há um máximo, um mínimo ou nenhum dos dois em um ponto? Use o teste da primeira derivada.

Assim, vimos que, se \(f'\) é zero em um ponto e crescente em um intervalo que contém esse ponto, então \(f\) tem um mínimo local nesse ponto. Se \(f'\) é zero em um ponto e decrescente em um intervalo que contém esse ponto, então \(f\) tem um máximo local nesse ponto. Portanto, vemos que podemos obter informações sobre \(f\) estudando como \(f'\) varia. Isso nos leva à próxima seção.

4 Pontos de inflexão

Se estamos tentando entender a forma do gráfico de uma função, saber onde ela tem concavidade para cima e onde tem concavidade para baixo nos ajuda a obter uma imagem mais precisa. Vale a pena resumir o que já vimos em um único teorema.

De particular interesse são os pontos em que a concavidade muda de para cima para para baixo, ou de para baixo para para cima.

É instrutivo ver alguns exemplos de pontos de inflexão:

Também é instrutivo ver alguns contraexemplos de pontos de inflexão:

Identificamos pontos de inflexão primeiro encontrando os \(x\) tais que \(f''(x)\) é zero ou não está definida e, depois, verificando se \(f''(x)\) de fato passa de positiva a negativa ou de negativa a positiva nesses pontos.

Observe que precisamos calcular e analisar a segunda derivada para entender a concavidade, então podemos muito bem tentar usar o teste da segunda derivada para máximos e mínimos. Se por algum motivo ele falhar, podemos então tentar um dos outros testes.

5 O teste da segunda derivada

Lembre-se do teste da primeira derivada:

  • Se \(f'(x)>0\) para todo \(x\) próximo e à esquerda de \(a\) e \(f'(x)<0\) para todo \(x\) próximo e à direita de \(a\), então a função \(f\) tem um máximo local em \(a\).
  • Se \(f'(x)<0\) para todo \(x\) próximo e à esquerda de \(a\) e \(f'(x)>0\) para todo \(x\) próximo e à direita de \(a\), então a função \(f\) tem um mínimo local em \(a\).

Suponha que uma função \(f\) tenha um ponto crítico em \(a\) e que \(f'(a)=0\). Se \(f'\) for decrescente em algum intervalo que contém \(a\), então ela passa de positiva a negativa em \(a\). Portanto, se \(f''\) é negativa em algum intervalo que contém \(a\), então \(f'\) é certamente decrescente, de modo que há um máximo local no ponto em questão. Por outro lado, se \(f'\) é crescente, então ela passa de negativa a positiva em \(a\). Portanto, se \(f''\) é positiva em um intervalo que contém \(a\), então \(f'\) é certamente crescente, de modo que há um mínimo local no ponto em questão. Resumimos isso no teste da segunda derivada.

O teste da segunda derivada costuma ser a maneira mais fácil de identificar pontos de máximo e de mínimo locais. Às vezes o teste falha, e às vezes a segunda derivada é bastante difícil de calcular. Nesses casos, precisamos recorrer a um dos testes anteriores.

Se \(f''(a)=0\), o que o teste da segunda derivada nos diz?
A função tem um extremo local em \(x=a\). A função não tem extremo local em \(x=a\). Ele não dá nenhuma informação sobre se a função tem um extremo local em \(x=a\).