Prove a desigualdade cos ⁡ x > 1 - x 2 2   ,   x ≠ 0 . (Sugestão: prove para x > 0 e e depois use o fato de que as funções de ambos os lados são pares)

Passo 1

Enunciar o teorema do valor médio

Provar inequações as vezes pode dar uma dorzinha de cabeça e uma enrolada na mente, eu sei, mas com calma a gente chega lá. Vamos lembrar do teorema do valor médio primeiro e ver se conseguimos algo dele. Seja f x contínua entre a , b , tal que f ( a ) ≠ f b , então existirá um número c tal que c ∈ a , b que satisfaz:

f ' c = f b - f a b - a

Mas pera, nosso enunciado já nos diz que f 0 = 0 . Show de bola, vamos então definir:

a , b = 0 , x

E ficar com:

f ' c = f x - f 0 x - 0

f ' c = f x - f 0 x

Passo 2

Achar uma expressão para f x e f ' c e coloca-la na inequação

Pra isso, vamos ter que dar uma boa olhada no nosso enunciado. Se chamarmos:

f x = cos ⁡ x + x 2 2 - 1

Vamos ter que:

f x = x f ' c + f 0 > 0

Opa, vamos primeiro encontrar f 0 :

f 0 = cos ⁡ 0 + 0 2 2 - 1 = 1 + 0 - 1 = 0

E depois derivar f x , ficando com:

f ' x = cos ⁡ x + 2 x 2 - 1 '  

f ' x = x - sin ⁡ x  

x f ' c = x c - sin ⁡ c  

Show de bola, tacando tudo na inequação:

x f ' c > 0

x c - sin ⁡ c > 0

Pra esse produto ser positivo, como x > 0 , necessariamente temos que ter:

c - sin ⁡ c > 0

sin ⁡ c < c

Eita, caímos em outra inequação que temos que provar. Mas bem, se provarmos ela, vamos estar automaticamente provando a primeira. Então vamos lá:

Passo 3

Provar a segunda inequação s i n   c < c

Opa, de novo aqui cabe usar o TVM. A próxima inequação pra provar é:

sin ⁡ c < c   ,   c   ∈ 0 , x

Oras, mas isso é exatamente o mesmo que:

sin ⁡ c < c   ,     c > 0

sin ⁡ x < x   ,     x > 0

Se escolhermos então:

a , b = 0 , x

Vamos ficar com:

f ' c = f x - f 0 x - 0

f ' c = f x - f 0 x

Show de bola, como nós temos sin ⁡ x < x , é uma escolha interessante fazermos:

f x = sin ⁡ x

E, logo, vamos ter:

f 0 = sin ⁡ 0 = 0

cos ⁡ c = s i n x x

Opa, mas vamos lembrar de uma propriedade importante dos senos e cossenos:

- 1 ≤ cos ⁡ c ≤ 1

Maravilha, agora é só substituir:

- 1 ≤ s i n x x ≤ 1

- x ≤ s i n x ≤ x

s i n x ≤ x

E pronto, tai provado. Provando a segunda inequação provamos também a primeira. Uhuul.

Passo 4

Provar que o mesmo vale ∀ x < 0 usando a definição de função par

As sugestões não estão lá a toa né, então vamos primeiro provar que cada função é par. Uma função par é definida como uma função onde:

f x = f - x

Pras duas funções na inequação, temos:

cos ⁡ x = cos ⁡ - x

E temos também:

1 - 2 x 2 = 1 - 2 - x 2

1 - 2 x 2 = 1 - 2 x 2

Então realmente temos duas funções pares. Só que funções pares são funções simétricas em relação ao eixo y . Então uma vez que cos ⁡ x > 1 - 2 x 2 é uma verdade de um lado do eixo, também será do outro.

Resposta

cos ⁡ x > 1 - 2 x 2   ,   x ≠ 0 é provado como verdadeiro.

Exercícios de Livros Relacionados

Em uma investigação de assassinato, a temperatura do corpo era 32,5 ºC às 13h30 e 30,3 ºC uma hora depois. A temperatura normal do corpo é 37,0 ºC, e a temperatura do ambiente era 20 ºC. Quando o assa
Demonstre que quando x → ∞ , e x cresce mais rapidamente que x 2 para qualquer inteiro positivo, até mesmo x 1.000.000 . Dica: qual é enésima derivada de x n ?
Se f for crescente em um intervalo 0 ,b , segue da Definição 4.1 . 1 que f 0f x com qualquer x do intervalo 0 ,b . Use esse resultado nesses exercícios.Mostre que 1 + x 31 + 1 3 x se x0 e confirme a d
53-54. Em cada parte, determine se a afirmação é verdadeira ou falsa. Se falsa, encontre funções para quais a afirmação não é válida.53. b) Se f e g forem crescentes em um intervalo, então f . g també
Nos Exercícios de 1 a 40, faça o seguinte: (a) ache os extremos relativos de f pelo teste da primeira derivada; (b) determine os valores de x nos quais os extremos relativos ocorrem; (c) determine os