Teorema Fundamental do Clculo

A fim de demonstrar o Teorema Fundamental do Clculo vamos inicialmente

apresentar uma outra propriedade que ser utilizada em sua demonstrao.

Teorema da Mdia: Seja f uma funo contnua num intervalo [a,b]. Ento
existe um ponto x0 nesse intervalo tal que:

Demonstrao:

A partir da definio de integral definida de f em [a,b], temos:

onde xi*, para , um ponto qualquer do i-simo sub-intervalo de

comprimento em que o intervalo [a,b] foi dividido.

Como f contnua em [a,b], pelo Teorema de Weierstrass, existem m e M no

intervalo tais que para qualquer ,

ou seja, m e M so, respectivamente os pontos de mnimo e de mximo da

funo f em [a,b].

Podemos ento dizer que:

e, somando para i variando de 1 a n, temos

de onde,
isto ,

Calculando o limite quando , temos:

ou seja,

de onde

Logo, est compreendido entre o valor mnimo e o valor mximo

da funo f em [a,b]. Como f contnua, por hiptese, existe um ponto x0 nesse

intervalo tal que , como queramos mostrar.

Teorema Fundamental do Clculo: Seja f uma funo contnua no intervalo

[a,b]. A funo F, dada por , derivvel em todos os pontos

interiores ao intervalo ]a,b[ e sua derivada dada por F'(x)=f(x).

Demonstrao:

Precisamos mostrar que F derivvel em ]a,b[, ou seja que existe

, para todo x em ]a,b[.

Mais ainda, precisamos mostrar que esse limite igual a f(x).

Para cada x em ]a,b[, temos:

Quando , como f contnua, temos , ou seja existe o limite

do quociente e

ou seja,

como queramos mostrar.

Conseqncia: Se f uma funo contnua no intervalo [a,b], ento

, onde G uma qualquer primitiva de f, isto , tal que

G'=f.

Demonstrao:

O Teorema Fundamental do Clculo garante que se ento a

funo F uma primitiva de f, pois , precisamente aquela que se

anula para x=a, uma vez que .

Seja G uma outra primitiva qualquer de f, isto

Temos ento,

e
Logo, , como queramos mostrar.

Notao: