Seja f: R -> R tal que f(x) = sen x. Use o Teorema do Valor Médio para mostrar que |sen x - sen y| <= |x - y| para todo x, y em R. Deduza que |sen(x)| <= |x| para todo x em R.

Passo 1

Vamos resolver o exercício que pede para mostrar que para todos os números reais e , usando o Teorema do Valor Médio. Depois, vamos deduzir que para todo real.

Passo 2

Primeiro, vamos lembrar o que é o Teorema do Valor Médio (TVM). Esse teorema diz que se uma função é contínua no intervalo e diferenciável no intervalo aberto , então existe pelo menos um ponto em tal que:
No nosso caso, a função é contínua e diferenciável em todo , então podemos aplicar o TVM.

Passo 3

Vamos aplicar o TVM para os pontos e na função . Sem perda de generalidade, suponha que . Segundo o TVM, existe um ponto entre e tal que:
Sabemos que a derivada de é , então:

Passo 4

Agora, vamos tirar o módulo dos dois lados da equação:
Multiplicando ambos os lados por , obtemos:
Sabemos que para todo real, pois o cosseno nunca ultrapassa 1 em módulo. Portanto:

Passo 5

Para deduzir que para todo real, vamos considerar o caso especial onde . Substituindo na desigualdade que mostramos:
Como , temos:

Resposta

Portanto, usando o Teorema do Valor Médio, mostramos que para todos os e deduzimos que para todo .

Exercícios relacionados

Considere a função f(x) = (2 - x^2) / (x^2 - 4). Então f'(x) = 4x / (x^2 - 4)^2 e f''(x) = -4(3x^2 + 4) / (x^2 - 4)^3 © Encontre as assintotas horizontais e verticais, caso existam.
Para cada uma das funções abaixo determine os intervalos onde f cresce e onde f decresce.
(a) f(x) = x + 1/x.
(b) f(x) = x / (1 + x^2)
© f(x) = x^2 - 3/x^2.
(d) f(x) = raiz(x) + 4/x.
Por transformação dos eixos coordenados, representar a equação seguinte noutra que não tenha os termos do grau : x^2 - 4y^2 + 6x + 8y + 1 = 0.
Encontrar as novas coordenadas dos pontos 1,0 e 0,1 quando os eixos coordenados são rodados num ângulo de 90 graus.