Se da la desigualdad:
$$- 16 x^{2} + \left(- 2^{x - 3} \left(16 - x^{2}\right) + 4^{x - 3}\right) \geq 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$- 16 x^{2} + \left(- 2^{x - 3} \left(16 - x^{2}\right) + 4^{x - 3}\right) = 0$$
Resolvemos:
$$x_{1} = 7$$
$$x_{2} = - \frac{2 W\left(- \frac{\sqrt{2} i \log{\left(2 \right)}}{8}\right)}{\log{\left(2 \right)}}$$
$$x_{3} = - \frac{2 W\left(\frac{\sqrt{2} i \log{\left(2 \right)}}{8}\right)}{\log{\left(2 \right)}}$$
Descartamos las soluciones complejas:
$$x_{1} = 7$$
Las raíces dadas
$$x_{1} = 7$$
son puntos de cambio del signo de desigualdad en las soluciones.
Primero definámonos con el signo hasta el punto extremo izquierdo:
$$x_{0} \leq x_{1}$$
Consideremos, por ejemplo, el punto
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$- \frac{1}{10} + 7$$
=
$$\frac{69}{10}$$
lo sustituimos en la expresión
$$- 16 x^{2} + \left(- 2^{x - 3} \left(16 - x^{2}\right) + 4^{x - 3}\right) \geq 0$$
$$- 16 \left(\frac{69}{10}\right)^{2} + \left(4^{-3 + \frac{69}{10}} - 2^{-3 + \frac{69}{10}} \left(16 - \left(\frac{69}{10}\right)^{2}\right)\right) \geq 0$$
9/10
19044 4/5 6322*2
- ----- + 128*2 + ---------- >= 0
25 25
pero
9/10
19044 4/5 6322*2
- ----- + 128*2 + ---------- < 0
25 25
Entonces
$$x \leq 7$$
no se cumple
significa que la solución de la desigualdad será con:
$$x \geq 7$$
_____
/
-------•-------
x1