Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
Na Seção 5.1, vimos que a integral definida de uma dada função em um intervalo está associada à área (líquida) entre seu gráfico e as retas , e . Veja a Figura 5.2.
Com base nesta noção geométrica, podemos inferir as seguintes propriedades de integração para funções integráveis e :
Integral degenerada
(5.23) |
Multiplicação por escalar
(5.24) |
Soma/subtração
(5.25) |
Sobreposição/concatenação de intervalos
(5.26) |
Cotas inferior e superior
(5.27) |
Sejam e funções integráveis tais que
(5.28) | |||
(5.29) | |||
(5.30) |
Então, vejamos os seguintes casos:
(5.31) | ||||
(5.32) |
(5.33) |
(5.34) | ||||
(5.35) |
(5.36) | ||||
(5.37) | ||||
(5.38) |
(5.39) | ||||
(5.40) |
Lembrando que , temos da propriedade e) acima que
(5.41) | ||||
Com base na noção de integral, define-se a média de uma função no intervalo por
(5.42) |
no caso de ser integrável neste intervalo.
(Teorema do valor médio para integrais) Se for contínua em , então existe tal que
(5.43) |
Vejamos uma ideia da demonstração. Da propriedade de integração e) acima, temos
(5.44) |
Agora, pelo Teorema do valor intermediário (Teorema 2.6.1), temos assume todos os valores entre seus valores mínimo e máximo. Logo, existe tal que
(5.45) |
∎
Seja uma função contínua em , , e
(5.46) |
então possui pelo menos um zero neste intervalo. De fato, do Teorema do valor médio para integrais, temos que existe tal que
(5.47) | ||||
(5.48) |
Seja uma função integrável e a função definida por
(5.49) |
para algum número real dado.
(Teorema fundamental do cálculo, parte I) Se é contínua em , então é contínua em e diferenciável em a função
(5.50) |
sendo
(5.51) |
Vejamos a ideia da demonstração. Da definição de derivada, temos
(5.52) | ||||
(5.53) | ||||
(5.54) |
Agora, do Teorema do valor médio para integrais (Teorema 5.2.1), temos que existe tal que
(5.55) | ||||
(5.56) |
Notemos que quando e, portanto, temos
(5.57) | ||||
(5.58) | ||||
(5.59) |
∎
A parte I do Teorema fundamental do cálculo (Teorema 5.2.2), mostra que a integral de uma função (contínua) é uma função tal que
(5.62) |
Dizemos que é uma primitiva da função .
Observamos que se é uma primitiva de , então
(5.63) |
também é primitiva de para qualquer constante , i.e.
(5.64) | ||||
(5.65) | ||||
(5.66) | ||||
(5.67) |
Mais ainda, do Corolário 4.3.2 do Teorema do valor médio para derivadas, temos que quaisquer duas primitivas de uma mesma função diferem-se apenas uma constante.
Com isso, definimos a integral indefinida de em relação a por
(5.68) |
onde é qualquer primitiva de e uma constante indeterminada.
Vejamos os seguintes casos:
(5.69) |
(5.70) |
(5.71) |
(5.72) |
Com o Python+SymPy, podemos computar as integrais indefinidas acima com os seguintes comandos:
(Teorema fundamental do cálculo, parte II) Se é contínua em e é qualquer primitiva de , então
(5.73) |
Vejamos a ideia da demonstração. A parte I do Teorema fundamental do cálculo (Teorema 5.2.2), nos garante a existência de
(5.74) |
Seja, então, uma primitiva qualquer de . Logo,
(5.75) | ||||
(5.76) | ||||
(5.77) | ||||
(5.78) |
∎
Vejamos os seguintes casos:
(5.79) | ||||
(5.80) |
(5.81) | ||||
(5.82) |
(5.83) | ||||
(5.84) | ||||
(5.85) |
Com o Python+SymPy, podemos computar as integrais indefinidas acima com os seguintes comandos:
(Permutação dos limites de integração.) Do Teorema fundamental do cálculo, parte II, temos
(5.86) |
Ou seja, o valor da integral definida muda de sinal ao permutarmos seus limites de integração. De fato, se é uma primitiva de , então
(5.87) | ||||
(5.88) | ||||
(5.89) |
Temos que
(5.90) |
Agora,
(5.91) |
Conforme esperado, temos
(5.92) |
Calcule
(5.93) |
Primeiramente, notemos que
(5.94) | |||
(5.95) |
Então, usando as propriedades de integração, temos
(5.96) | ||||
(5.97) | ||||
(5.98) | ||||
(5.99) | ||||
(5.100) |
Com o Python+SymPy, podemos computar essa integral definida com os seguintes comandos:
Calcule a área entre o gráfico de e as retas , e .
Lembrando que a integral definida está associada a área sob o gráfico do integrando, temos que a área desejada pode ser calculada por
(5.101) |
pois para e para . Também, observamos que
(5.102) |
Logo, do Teorema fundamental do cálculo segue que
(5.103) | ||||
(5.104) | ||||
(5.105) |
Com o Python+SymPy, podemos computar essa integral definida com os seguintes comandos:
Encontre a função tal que
(5.106) |
e .
Integrando ambos os lados da equação diferencial em relação a , temos
(5.107) | |||
(5.108) |
Agora, da condição , segue
(5.110) | |||
(5.111) | |||
(5.112) |
Concluímos que . Com o Python+SymPy, podemos resolver esta computar essa integral definida com os seguintes comandos:
Sejam e tais que
(5.113) | |||
(5.114) |
Calcule
a) ; b) ; c)
Calcule
a) ; b) ; c)
Calcule a área entre o gráfico de e as retas , e .
Encontre a função tal que
(5.115) |
e .
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!
Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.
Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
Na Seção 5.1, vimos que a integral definida de uma dada função em um intervalo está associada à área (líquida) entre seu gráfico e as retas , e . Veja a Figura 5.2.
Com base nesta noção geométrica, podemos inferir as seguintes propriedades de integração para funções integráveis e :
Integral degenerada
(5.23) |
Multiplicação por escalar
(5.24) |
Soma/subtração
(5.25) |
Sobreposição/concatenação de intervalos
(5.26) |
Cotas inferior e superior
(5.27) |
Sejam e funções integráveis tais que
(5.28) | |||
(5.29) | |||
(5.30) |
Então, vejamos os seguintes casos:
(5.31) | ||||
(5.32) |
(5.33) |
(5.34) | ||||
(5.35) |
(5.36) | ||||
(5.37) | ||||
(5.38) |
(5.39) | ||||
(5.40) |
Lembrando que , temos da propriedade e) acima que
(5.41) | ||||
Com base na noção de integral, define-se a média de uma função no intervalo por
(5.42) |
no caso de ser integrável neste intervalo.
(Teorema do valor médio para integrais) Se for contínua em , então existe tal que
(5.43) |
Vejamos uma ideia da demonstração. Da propriedade de integração e) acima, temos
(5.44) |
Agora, pelo Teorema do valor intermediário (Teorema 2.6.1), temos assume todos os valores entre seus valores mínimo e máximo. Logo, existe tal que
(5.45) |
∎
Seja uma função contínua em , , e
(5.46) |
então possui pelo menos um zero neste intervalo. De fato, do Teorema do valor médio para integrais, temos que existe tal que
(5.47) | ||||
(5.48) |
Seja uma função integrável e a função definida por
(5.49) |
para algum número real dado.
(Teorema fundamental do cálculo, parte I) Se é contínua em , então é contínua em e diferenciável em a função
(5.50) |
sendo
(5.51) |
Vejamos a ideia da demonstração. Da definição de derivada, temos
(5.52) | ||||
(5.53) | ||||
(5.54) |
Agora, do Teorema do valor médio para integrais (Teorema 5.2.1), temos que existe tal que
(5.55) | ||||
(5.56) |
Notemos que quando e, portanto, temos
(5.57) | ||||
(5.58) | ||||
(5.59) |
∎
A parte I do Teorema fundamental do cálculo (Teorema 5.2.2), mostra que a integral de uma função (contínua) é uma função tal que
(5.62) |
Dizemos que é uma primitiva da função .
Observamos que se é uma primitiva de , então
(5.63) |
também é primitiva de para qualquer constante , i.e.
(5.64) | ||||
(5.65) | ||||
(5.66) | ||||
(5.67) |
Mais ainda, do Corolário 4.3.2 do Teorema do valor médio para derivadas, temos que quaisquer duas primitivas de uma mesma função diferem-se apenas uma constante.
Com isso, definimos a integral indefinida de em relação a por
(5.68) |
onde é qualquer primitiva de e uma constante indeterminada.
Vejamos os seguintes casos:
(5.69) |
(5.70) |
(5.71) |
(5.72) |
Com o Python+SymPy, podemos computar as integrais indefinidas acima com os seguintes comandos:
(Teorema fundamental do cálculo, parte II) Se é contínua em e é qualquer primitiva de , então
(5.73) |
Vejamos a ideia da demonstração. A parte I do Teorema fundamental do cálculo (Teorema 5.2.2), nos garante a existência de
(5.74) |
Seja, então, uma primitiva qualquer de . Logo,
(5.75) | ||||
(5.76) | ||||
(5.77) | ||||
(5.78) |
∎
Vejamos os seguintes casos:
(5.79) | ||||
(5.80) |
(5.81) | ||||
(5.82) |
(5.83) | ||||
(5.84) | ||||
(5.85) |
Com o Python+SymPy, podemos computar as integrais indefinidas acima com os seguintes comandos:
(Permutação dos limites de integração.) Do Teorema fundamental do cálculo, parte II, temos
(5.86) |
Ou seja, o valor da integral definida muda de sinal ao permutarmos seus limites de integração. De fato, se é uma primitiva de , então
(5.87) | ||||
(5.88) | ||||
(5.89) |
Temos que
(5.90) |
Agora,
(5.91) |
Conforme esperado, temos
(5.92) |
Calcule
(5.93) |
Primeiramente, notemos que
(5.94) | |||
(5.95) |
Então, usando as propriedades de integração, temos
(5.96) | ||||
(5.97) | ||||
(5.98) | ||||
(5.99) | ||||
(5.100) |
Com o Python+SymPy, podemos computar essa integral definida com os seguintes comandos:
Calcule a área entre o gráfico de e as retas , e .
Lembrando que a integral definida está associada a área sob o gráfico do integrando, temos que a área desejada pode ser calculada por
(5.101) |
pois para e para . Também, observamos que
(5.102) |
Logo, do Teorema fundamental do cálculo segue que
(5.103) | ||||
(5.104) | ||||
(5.105) |
Com o Python+SymPy, podemos computar essa integral definida com os seguintes comandos:
Encontre a função tal que
(5.106) |
e .
Integrando ambos os lados da equação diferencial em relação a , temos
(5.107) | |||
(5.108) |
Agora, da condição , segue
(5.110) | |||
(5.111) | |||
(5.112) |
Concluímos que . Com o Python+SymPy, podemos resolver esta computar essa integral definida com os seguintes comandos:
Sejam e tais que
(5.113) | |||
(5.114) |
Calcule
a) ; b) ; c)
Calcule
a) ; b) ; c)
Calcule a área entre o gráfico de e as retas , e .
Encontre a função tal que
(5.115) |
e .
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!
Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.