Enunciado

Sejam x , y dois reais quaisquer, com 0 < x < y . Prove

root(3)(y - x) > root(3)(y) - root(3)(x)

Passo 1

O truque aqui será desenvolver a seguinte inequação:

root(3)(y) root(3)(x) (root(3)(x) - root(3)(y)) < 0

Note que ela é verdadeira, pois, se usarmos as condições do enunciado:

y > 0 => root(3)(y) > 0

x > 0 => root(3)(x) > 0

0 < x < y => root(3)(x) < root(3)(y) => root(3)(x) - root(3)(y) < 0

Então, começamos a desenvolver a inequação:

root(3)(y) root(3)(x) root(3)(x) - root(3)(y) root(3)(x) root(3)(y) < 0

root(3)(y) root(3)(x^2) - root(3)(y^2) root(3)(x) < 0

Passo 2

Agora, multiplicamos a inequação por 3 :

3 root(3)(y) root(3)(x^2) - 3 root(3)(y^2) root(3)(x) < 0

Depois, somamos y - x nos dois lados:

y - x + 3 root(3)(y) root(3)(x^2) - 3 root(3)(y^2) root(3)(x) < y - x

y - 3 root(3)(y^2) root(3)(x) + 3 root(3)(y) root(3)(x^2) - x < y - x

Perceba que na esquerda temos um cubo perfeito:

(root(3)(y) - root(3)(x))^3 < y - x

Só resta tirar a raiz cúbica:

root(3)(y) - root(3)(x) < root(3)(y - x)

Logo, provamos:

root(3)(y - x) > root(3)(y) - root(3)(x)

Resposta

Ei, a resposta está no passo a passo :)

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

5 - Verifique as identidades onde x0 e y0 :a)x - y = ( x - y ) ( x + y ) b) x - y = ( x 4 - y 4 ) ( x 3 4 + x 2 y 4 + x y 2 4 + y 3 4 )
A afirmação:“para todo real x ≥ 0 , x ≥ x ”é falsa ou verdadeira? Justifique.
Prove que é irracional.(a) 6 (b) 2 + 3
Seja ϵ0 um real dado. Prove que quaisquer que sejam os reais positivos x e y , tem-se: x - yϵ 2 ⇒ x - yϵ
Sejam x , y dois reais quaisquer com x0 e y0 . Mostre que x y ≤ x + y 2