Questão 2

Matemática. Inequação logarítmica com módulo — análise de casos.

Determine todos os valores x∈Rx \in \mathbb{R} tais que ∣log⁡2(2x+2)∣>∣2x∣\left|\log_2\left(2^x + 2\right)\right| > |2x|.

Resposta

x∈(log⁡2(5−1)−1, 1)x \in \left(\log_2\left(\sqrt{5} - 1\right) - 1,\ 1\right), isto é, log⁡25−12<x<1\log_2\dfrac{\sqrt{5}-1}{2} < x < 1

Resolução

Eliminando os módulos pela análise de sinal e, em seguida, usando que log⁡2\log_2 é crescente, trocando cada desigualdade logarítmica por uma desigualdade entre potências de base 22:
log⁡2A>log⁡2B⟺A>B(A,B>0)\log_2 A > \log_2 B \quad\Longleftrightarrow\quad A > B \qquad (A, B > 0)

Domínio e sinal do primeiro módulo: 2x>02^x > 0 para todo xx real, logo 2x+2>22^x + 2 > 2 e o logaritmo está definido em todo R\mathbb{R}. Como log⁡2\log_2 é crescente,
log⁡2(2x+2)>log⁡22=1>0\log_2\left(2^x + 2\right) > \log_2 2 = 1 > 0
Assim ∣log⁡2(2x+2)∣=log⁡2(2x+2)\left|\log_2\left(2^x + 2\right)\right| = \log_2\left(2^x + 2\right), e a inequação fica
log⁡2(2x+2)>∣2x∣\log_2\left(2^x + 2\right) > |2x|

Graficamente, a solução é o conjunto dos xx em que a curva y=log⁡2(2x+2)y = \log_2(2^x + 2) fica acima de y=∣2x∣y = |2x|:

Caso de x maior ou igual a zero: ∣2x∣=2x=log⁡24x|2x| = 2x = \log_2 4^x, e a inequação equivale a
log⁡2(2x+2)>log⁡24x⟺2x+2>4x\log_2\left(2^x + 2\right) > \log_2 4^x \quad\Longleftrightarrow\quad 2^x + 2 > 4^x
Com t=2x>0t = 2^x > 0 e 4x=t24^x = t^2,
t2−t−2<0⟺(t−2)(t+1)<0t^2 - t - 2 < 0 \quad\Longleftrightarrow\quad (t - 2)(t + 1) < 0
Como t+1>0t + 1 > 0, a desigualdade equivale a t<2t < 2, isto é, 2x<22^x < 2, ou seja, x<1x < 1. Com a restrição do caso: 0≤x<10 \leq x < 1.

Caso de x negativo: ∣2x∣=−2x=log⁡22−2x|2x| = -2x = \log_2 2^{-2x}, e a inequação equivale a
log⁡2(2x+2)>log⁡22−2x⟺2x+2>2−2x\log_2\left(2^x + 2\right) > \log_2 2^{-2x} \quad\Longleftrightarrow\quad 2^x + 2 > 2^{-2x}
Com t=2x>0t = 2^x > 0 e 2−2x=1t22^{-2x} = \dfrac{1}{t^2}, multiplicando por t2>0t^2 > 0,
t3+2t2>1⟺t3+2t2−1>0t^3 + 2t^2 > 1 \quad\Longleftrightarrow\quad t^3 + 2t^2 - 1 > 0
O valor t=−1t = -1 anula o polinômio, e a divisão por t+1t + 1 fornece
(t+1)(t2+t−1)>0(t + 1)\left(t^2 + t - 1\right) > 0
Como t+1>0t + 1 > 0, resta t2+t−1>0t^2 + t - 1 > 0. As raízes de t2+t−1=0t^2 + t - 1 = 0 são t=−1±52t = \dfrac{-1 \pm \sqrt{5}}{2}; a raiz negativa fica fora de t>0t > 0, de modo que a condição é
t>5−12⟺2x>5−12⟺x>log⁡25−12=log⁡2(5−1)−1t > \frac{\sqrt{5} - 1}{2} \quad\Longleftrightarrow\quad 2^x > \frac{\sqrt{5} - 1}{2} \quad\Longleftrightarrow\quad x > \log_2\frac{\sqrt{5} - 1}{2} = \log_2\left(\sqrt{5} - 1\right) - 1
Como 0<5−12<10 < \dfrac{\sqrt{5} - 1}{2} < 1, esse limite x1=log⁡2(5−1)−1x_1 = \log_2\left(\sqrt{5} - 1\right) - 1 é negativo (aproximadamente −0,69-0{,}69), compatível com a restrição do caso: x1<x<0x_1 < x < 0.

Conjunto solução: reunindo os dois casos,
log⁡2(5−1)−1<x<1\log_2\left(\sqrt{5} - 1\right) - 1 < x < 1

Resposta: x∈(log⁡2(5−1)−1, 1)x \in \left(\log_2\left(\sqrt{5} - 1\right) - 1,\ 1\right), isto é, log⁡25−12<x<1\log_2\dfrac{\sqrt{5}-1}{2} < x < 1