Se da la desigualdad:
$$4 \cdot 9 x + \left(- 7 \cdot 12^{x} + 3 \cdot 16 x\right) < 0$$
Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
$$4 \cdot 9 x + \left(- 7 \cdot 12^{x} + 3 \cdot 16 x\right) = 0$$
Resolvemos:
$$x_{1} = - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
$$x_{1} = - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
Las raíces dadas
$$x_{1} = - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
son puntos de cambio del signo de desigualdad en las soluciones.
Primero definámonos con el signo hasta el punto extremo izquierdo:
$$x_{0} < x_{1}$$
Consideremos, por ejemplo, el punto
$$x_{0} = x_{1} - \frac{1}{10}$$
=
$$- \frac{1}{10} - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
=
$$- \frac{1}{10} - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
lo sustituimos en la expresión
$$4 \cdot 9 x + \left(- 7 \cdot 12^{x} + 3 \cdot 16 x\right) < 0$$
$$\left(- 7 \cdot 12^{- \frac{1}{10} - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}} + 3 \cdot 16 \left(- \frac{1}{10} - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}\right)\right) + 4 \cdot 9 \left(- \frac{1}{10} - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}\right) < 0$$
/-log(12) \
W|---------|
1 \ 12 / /-log(12) \
- -- - ------------ 84*W|---------| < 0
42 10 log(12) \ 12 /
- -- - 7*12 - ---------------
5 log(12)
significa que la solución de la desigualdad será con:
$$x < - \frac{W\left(- \frac{\log{\left(12 \right)}}{12}\right)}{\log{\left(12 \right)}}$$
_____
\
-------ο-------
x1