Mostre que

∫ 0 1 cos ⁡ x 2 d x - 1 - 1 5.2 ! + 1 9.4 ! - 1 13.6 ! ≤ 1 15.7 !

Passo 1

Para mostrar a desigualdade dada, vamos começar observando a série de Taylor para a função cos ⁡ ( x 2 ) em torno de x = 0

c o s x 2 = 1   - x 2 2 !   + x 4 4 !   - x 6 6 !   + …

Agora, vamos focar na diferença entre a integral definida ∫ 0 1 cos ⁡ x 2 d x e a soma parcial da série de Taylor:

S n = 1 - 1 2 ! + 1 4 ! - 1 6 ! + … + - 1 n 1 2 n !

Passo 2

Podemos expressar essa diferença como:

Δ = ∫ 0 1 cos ⁡ ( x 2 ) d x - S n

Para avaliar essa diferença, vamos usar o Teorema do Valor Médio para Integrais. De acordo com esse teorema, existe um valor \(c\) no intervalo [ 0,1 ] tal que:

Δ = cos ⁡ c 2 1 - - 1 n 2 n + 1 ! c 2 n + 1  

Aqui, c   está entre 0 e 1, então 0 ≤ c 2 ≤ 1 , e podemos dizer que 0 ≤ cos ⁡ c 2 ≤ 1 .

Passo 3

Isso nos leva a:

Δ = cos ⁡ c 2 1 - - 1 n 2 n + 1 ! c 2 n + 1 ≤ 1 2 n + 2 ! c 2 n + 1

Agora, queremos mostrar que | Δ | é menor ou igual a 1 / 15 ! 7

Δ ≤ 1 2 n + 1 ! c 2 n + 1 ≤ 1 2 n + 2 ! ≤ 1 15 ! 7

Portanto, mostramos que Δ ≤   1 / 15 ! 7 ) , o que significa que:

∫ 0 1 cos ⁡ ( x 2 ) d x - ( 1 - 1 15.2 ! + 1 9.4 ! - 1 13.6 ! ) ≤ 1 15 ! 7

Essa desigualdade foi demonstrada.

Resposta

Essa desigualdade foi demonstrada no passo a passo.

Exercícios de Livros Relacionados

D e t e r m i n e o p o l i n ô m i o d e T a y l o r , d e o r d e m 2 , d e f e m v o l t a d e x_0 d a d o . ô sen x e x_0 = 0
D e t e r m i n e o p o l i n ô m i o d e T a y l o r , d e o r d e m 2 , d e f e m v o l t a d e x_0 d a d o . ô f (x) = cos x e x_0 = 0
Utilizando a relação s e nx = x + o x 2 ,c a l c u l elim x → 0 ⁡ s e nx - x 2 x 2 Sugestão. o x 2 é um infinitésimo de ordem superior a x 2 , para x → 0 , isto é, lim x → 0 ⁡ o x 2 x 2 = 0
38. Sejam P x e Q x polinômios tais que P ( x 0 ) =P ' x o = 0 ,Q ( x 0 ) = Q ' ( x 0 ) = 0 e Q " ( x 0 ) ≠ 0 . Mostre que lim x → xo ⁡ P x Q x = P " x o Q " x o . Generalize.
Utilizando a relação s e nx = x + o x 2 ,c a l c u l e lim x → 0 ⁡ sen ⁡ x - x x 2 Sugestão. o x 2 é um infinitésimo de ordem superior a x 2 , para x → 0 , isto é, lim x → 0 ⁡ o x 2 x 2 = 0