O Teorema Fundamental do Cálculo
Uma introdução
Prof. Doherty Andrade
Novembro, 2023
i
Uma introdução
Prof. Doherty Andrade
Novembro, 2023
O Teorema Fundamental do Cálculo (TFC) é uma das mais importantes descobertas na história da matemática. Ele estabelece a profunda conexão entre dois conceitos aparentemente distintos: a derivada e a integral.
O TFC foi formulado independentemente por Isaac Newton e Gottfried Wilhelm Leibniz no século XVII, marcando o nascimento do cálculo moderno.
Este teorema revela que a diferenciação e a integração são operações inversas, um insight que revolucionou não apenas a matemática, mas também a física e a engenharia.
O Teorema Fundamental do Cálculo possui duas partes essenciais:
Seja \( f \) uma função contínua no intervalo \([a,b]\). Definimos a função integral:
\[ F(x) = \int_a^x f(t)\,dt \]
para \( x \in [a,b] \). Esta função será fundamental em nossa discussão.
A função \( F(x) \) representa a área acumulada sob a curva \( y = f(t) \) desde \( t = a \) até \( t = x \).
Uma função \( F \) é chamada de antiderivada (ou primitiva) de \( f \) em um intervalo \( I \) se:
\[ F'(x) = f(x) \]
para todo \( x \in I \).
O TFC conecta essas duas ideias aparentemente distintas: a função integral e a antiderivada.
Se \( f \) é contínua em \([a,b]\), então a função \( F \) definida por:
\[ F(x) = \int_a^x f(t)\,dt \]
é contínua em \([a,b]\), diferenciável em \((a,b)\), e:
\[ F'(x) = f(x) \]
para todo \( x \in (a,b) \).
Se imaginarmos \( F(x) \) como a área acumulada sob a curva \( f \), então a taxa de variação instantânea dessa área em relação a \( x \) é exatamente o valor da função \( f \) naquele ponto.
Para demonstrar que \( F'(x) = f(x) \), consideremos a definição de derivada:
\[ F'(x) = \lim_{h \to 0} \frac{F(x+h) - F(x)}{h} \]
Observemos que:
\[ F(x+h) - F(x) = \int_a^{x+h} f(t)\,dt - \int_a^x f(t)\,dt = \int_x^{x+h} f(t)\,dt \]
Pelo Teorema do Valor Médio para Integrais, existe \( c_h \in [x, x+h] \) tal que:
\[ \int_x^{x+h} f(t)\,dt = f(c_h) \cdot h \]
Portanto:
\[ \frac{F(x+h) - F(x)}{h} = f(c_h) \]
Quando \( h \to 0 \), temos \( c_h \to x \), e pela continuidade de \( f \):
\[ \lim_{h \to 0} f(c_h) = f(x) \]
Assim, \( F'(x) = f(x) \), completando a demonstração.
Se \( f \) é contínua em \([a,b]\) e \( F \) é qualquer antiderivada de \( f \) (ou seja, \( F' = f \)), então:
\[ \int_a^b f(x)\,dx = F(b) - F(a) \]
Esta parte nos fornece um método poderoso para calcular integrais definidas: encontre uma antiderivada, avalie nos limites de integração e subtraia.
Esta fórmula é frequentemente escrita como:
\[ \int_a^b f(x)\,dx = \left.F(x)\right|_a^b = F(b) - F(a) \]
Seja \( F \) uma antiderivada de \( f \). Pela Parte 1 do TFC, sabemos que:
\[ G(x) = \int_a^x f(t)\,dt \]
também é uma antiderivada de \( f \).
Como \( F \) e \( G \) são ambas antiderivadas de \( f \), elas diferem por uma constante:
\[ F(x) = G(x) + C \]
para alguma constante \( C \) e todo \( x \in [a,b] \).
Avaliando em \( x = a \):
\[ F(a) = G(a) + C = \int_a^a f(t)\,dt + C = 0 + C = C \]
Portanto, \( C = F(a) \).
Avaliando em \( x = b \):
\[ F(b) = G(b) + F(a) = \int_a^b f(t)\,dt + F(a) \]
Rearranjando: \( \int_a^b f(t)\,dt = F(b) - F(a) \), completando a demonstração.
Calcule \(\displaystyle \int_1^3 (2x + 1)\,dx \).
Solução: Uma antiderivada é \( F(x) = x^2 + x \). Pelo TFC:
\[ \int_1^3 (2x + 1)\,dx = F(3) - F(1) = (9 + 3) - (1 + 1) = 12 - 2 = 10 \]
Seja \( G(x) = \displaystyle\int_0^x \cos(t^2)\,dt \). Encontre \( G'(x) \).
Solução: Pela Parte 1 do TFC:
\[ G'(x) = \cos(x^2) \]
Se \( f(x) \geq g(x) \) no intervalo \([a,b]\), então a área entre as curvas é:
\[ A = \int_a^b [f(x) - g(x)]\,dx \]
Vamos calcular a área entre as curvas:
\[ f(x) = x^2 + 1 \quad \text{e} \quad g(x) = 2x \]
no intervalo onde \( f(x) \geq g(x) \).
Resolvemos \( x^2 + 1 = 2x \):
\[ x^2 - 2x + 1 = 0 \Rightarrow (x - 1)^2 = 0 \Rightarrow x = 1 \]
As curvas se tocam em \( x = 1 \). Para \( x \neq 1 \), temos \( f(x) > g(x) \).
Usaremos o intervalo \([0, 2]\) para ilustrar a área.
\[ A = \int_0^2 [(x^2 + 1) - 2x]\,dx = \int_0^2 (x^2 - 2x + 1)\,dx \]
Encontrando a antiderivada:
\( F(x) = \frac{x^3}{3} - x^2 + x \)
Aplicando o TFC:
\[ A = F(2) - F(0) = \left(\frac{8}{3} - 4 + 2\right) - 0 = \frac{8}{3} - 2 = \frac{2}{3} \]
Calcule a área da região limitada pelas curvas:
\[ y = x^2 - 1 \quad \text{e} \quad y = x - 1 \]
A função \( y = x^2 - 1 \) é uma parábola com vértice em \( (0, -1) \), abre para cima e corta o eixo x em \( x = \pm1 \).
A reta \( y = x - 1 \) tem inclinação 1 e intercepta o eixo y em \( -1 \).
Igualando:
\[ x^2 - 1 = x - 1 \Rightarrow x^2 - x = 0 \Rightarrow x(x - 1) = 0 \]
Logo, \( x = 0 \) e \( x = 1 \). Os pontos são \( (0, -1) \) e \( (1, 0) \).
Testando \( x = 0.5 \):
\( f(0.5) = -0.75 \), \( g(0.5) = -0.5 \) ⇒ \( g(x) > f(x) \) em \( [0,1] \).
\[ A = \int_0^1 [(x - 1) - (x^2 - 1)]\,dx = \int_0^1 (x - x^2)\,dx \]
Antiderivada:
\[ F(x) = \frac{x^2}{2} - \frac{x^3}{3} \]
Aplicando o TFC:
\[ A = \left[\frac{x^2}{2} - \frac{x^3}{3}\right]_0^1 = \frac{1}{2} - \frac{1}{3} = \frac{1}{6} \]
A área é \( A = \frac{1}{6} \approx 0.1667 \).
O Teorema Fundamental do Cálculo estabelece a profunda conexão entre:
Parte 1: \( \frac{d}{dx} \int_a^x f(t)\,dt = f(x) \)
Parte 2: \( \int_a^b f(x)\,dx = F(b) - F(a) \), onde \( F' = f \)
O TFC revolucionou a matemática porque unificou dois campos aparentemente distintos e forneceu ferramentas poderosas para ciência e engenharia.
"O cálculo diferencial e integral, unificado pelo Teorema Fundamental, é provavelmente a ferramenta matemática mais importante já desenvolvida para a descrição científica do mundo natural." - Carl B. Boyer
A elegância do TFC reside em sua simplicidade conceitual e seu poder transformador.
Explore quatro exemplos clássicos do Teorema Fundamental do Cálculo. Clique em um botão para carregar a função integranda, visualizar o gráfico e ver o cálculo da integral.