Enunciado

  1. Mostre que 1 ≤ 1 + x 3 ≤ 1 + x 3 para x ≥ 0
  2. Mostre que 1 ≤ ∫ 0 1 1 + x 3 d x ≤ 1,25

Passo 1

Fala meus queridos!

Nessa questão temos que mostrar duas coisas.Primeiro, temos que mostrar que:

1 ≤ 1 + x 3 ≤ 1 + x 3

E que isso é válido para x ≥ 0

E depois temos que mostrar que:

1 ≤ ∫ 0 1 1 + x 3 d x ≤ 1,25

Em ambos os casos temos a mesma função. Vamos ver o que precisamos para provar essas expressões em cada caso.

Passo 2

Para provar que:

1 ≤ 1 + x 3 ≤ 1 + x 3

Vamos chamar de f uma função tal que f x = x , derivando, temos que f ' x = 1 / ( 2 x ) e temos que

1 2 x > 0 ,     ∀   x > 0

Então, podemos ver que f está aumentando no intervalo 0 , ∞ .

Se x ≥ 0 então x 3 ≥ 0 , adicionando 1 em ambos os lados, temos

1 + x 3 ≥ 1

Isso quer dizer que

f 1 + x 3 ≥ f 1

Então

1 + x 3 ≥ 1 ,     ∀   x > 0

Beleza, provamos o primeiro lado da desigualdade!

Agora, vamos dizer o seguinte, seja g t = t 2 - t , derivando, temos que g ' t = 2 t - 1 e temos que

2 t - 1 > 0 ,     ∀   t ≥ 1

Então, podemos ver que g está aumentando no intervalo 1 , ∞ , então, desde que g 1 = 0 , g t ≥ 0 quando t ≥ 1 .

Agora, seja t = 1 + x 3 , quando x ≥ 0

1 + x 3 ≥ 1

t ≥ 1

g t ≥ 0

Então

1 + x 3 - 1 + x 3 ≥ 0

Logo,

  1 + x 3 ≤ 1 + x 3

E como já havíamos provado anteriormente o outro lado da desigualdade, basta juntar tudo

Para x ≥ 0 , então

1 ≤ 1 + x 3 ≤ 1 + x 3

Passo 3

Agora temos que provar que:

1 ≤ ∫ 0 1 1 + x 3 d x ≤ 1,25

Para isso, nós vamos usar a seguinte propriedade.

Se:

f x ≤ g x ≤ h x

Então:

∫ a b f ( x ) ≤ ∫ a b g x ≤ ∫ a b h ( x )

Aplicando na nossa desigualdade e usando os limites de 0 até 1, teremos:

∫ 0 1 1 d x ≤ ∫ 0 1 1 + x 3 d x ≤ ∫ 0 1 1 + x 3 d x

Agora basta resolver as integrais da esquerda e da direita:

x 0 1 ≤ ∫ 0 1 1 + x 3 d x ≤ x + x 4 4 0 1

1 ≤ ∫ 0 1 1 + x 3 d x ≤ 1 + 1 4

1 ≤ ∫ 0 1 1 + x 3 d x ≤ 1,25

Pronto!

Resposta

Dedução nos Passos.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

10. Calculee) int t g (2 x) d x
10. Calculeb)int sec^2 x d x
10. Calculei)int (5^x + e^(- x)) d x
10. Calculem)int (cos (x) + sec (x))/(cos (x)) d x
10- Calcule.d)int sec x d x