\( \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} \)
A acumulação de uma taxa é dada pela variação da quantidade.

Existe outra forma comum do Teorema Fundamental do Cálculo. Nessa forma, o Teorema Fundamental do Cálculo servirá como nossa “fórmula de atalho” para calcular integrais definidas.

A partir disso, você deve perceber que as duas versões do Teorema Fundamental estão intimamente relacionadas. Na verdade, as duas formas são equivalentes, apenas enunciadas de modo diferente. Por isso, muitas vezes as pessoas simplesmente chamam ambas de “O Teorema Fundamental do Cálculo”. Uma maneira de pensar no Segundo Teorema Fundamental do Cálculo é:

Isso pode ser lido como:

A acumulação de uma taxa é dada pela variação da quantidade.

Quando calculamos uma integral definida, primeiro encontramos uma antiderivada e depois a avaliamos nos limites de integração. É conveniente primeiro exibir a antiderivada e depois avaliá-la. Uma notação especial costuma ser usada no processo de calcular integrais definidas usando o Teorema Fundamental do Cálculo. Em vez de escrever explicitamente \(F(b)-F(a)\), muitas vezes escrevemos \[ \eval {F(x)}_a^b \] o que significa que devemos avaliar \(F(x)\) em \(b\) e depois subtrair \(F(x)\) avaliada em \(a\) \[ \eval {F(x)}_a^b = F(b)-F(a). \]

Vamos ver alguns exemplos do teorema fundamental em ação.

1 Entendendo o movimento com o Teorema Fundamental do Cálculo

Sabemos que

  • A derivada de uma função posição é uma função velocidade.
  • A derivada de uma função velocidade é uma função aceleração.

Agora considere integrais definidas de funções velocidade e aceleração. Especificamente, se \(v(t)\) é uma função velocidade, o que significa \(\displaystyle \int _a^b v(t)\d t\)?

O Segundo Teorema Fundamental do Cálculo afirma que \[ \int _a^b v(t)\d t = V(b) - V(a), \] onde \(V(t)\) é qualquer antiderivada de \(v(t)\). Como \(v(t)\) é uma função velocidade, podemos escolher \(V(t)\) como a função posição. Então, \(V(b) - V(a)\) mede uma variação de posição, ou deslocamento, ao longo do intervalo de tempo \([a,b]\).

Agora sabemos que, para resolver certos tipos de problemas, aqueles que envolvem alguma forma de acumulação, “basta” encontrar uma antiderivada, substituir dois valores e subtrair. Infelizmente, encontrar antiderivadas pode ser bastante difícil. Embora exista um pequeno número de regras que nos permitem calcular a derivada de qualquer função usual, não existem regras desse tipo para antiderivadas. Há algumas técnicas que frequentemente se mostram úteis, mas nunca conseguiremos reduzir o problema a um processo completamente mecânico.