Se da la desigualdad:
log ( log ( 7 x 2 − 6 x ) ) ≤ 2 \log{\left(\log{\left(7 x^{2} - 6 x \right)} \right)} \leq 2 log ( log ( 7 x 2 − 6 x ) ) ≤ 2 Para resolver esta desigualdad primero hay que resolver la ecuación correspondiente:
log ( log ( 7 x 2 − 6 x ) ) = 2 \log{\left(\log{\left(7 x^{2} - 6 x \right)} \right)} = 2 log ( log ( 7 x 2 − 6 x ) ) = 2 Resolvemos:
x 1 = 3 7 − 9 + 7 e e 2 7 x_{1} = \frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 1 = 7 3 − 7 9 + 7 e e 2 x 2 = 3 7 + 9 + 7 e e 2 7 x_{2} = \frac{3}{7} + \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 2 = 7 3 + 7 9 + 7 e e 2 x 1 = 3 7 − 9 + 7 e e 2 7 x_{1} = \frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 1 = 7 3 − 7 9 + 7 e e 2 x 2 = 3 7 + 9 + 7 e e 2 7 x_{2} = \frac{3}{7} + \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 2 = 7 3 + 7 9 + 7 e e 2 Las raíces dadas
x 1 = 3 7 − 9 + 7 e e 2 7 x_{1} = \frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 1 = 7 3 − 7 9 + 7 e e 2 x 2 = 3 7 + 9 + 7 e e 2 7 x_{2} = \frac{3}{7} + \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x 2 = 7 3 + 7 9 + 7 e e 2 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 x_{0} \leq x_{1} x 0 ≤ x 1 Consideremos, por ejemplo, el punto
x 0 = x 1 − 1 10 x_{0} = x_{1} - \frac{1}{10} x 0 = x 1 − 10 1 =
( 3 7 − 9 + 7 e e 2 7 ) + − 1 10 \left(\frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7}\right) + - \frac{1}{10} ( 7 3 − 7 9 + 7 e e 2 ) + − 10 1 =
23 70 − 9 + 7 e e 2 7 \frac{23}{70} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} 70 23 − 7 9 + 7 e e 2 lo sustituimos en la expresión
log ( log ( 7 x 2 − 6 x ) ) ≤ 2 \log{\left(\log{\left(7 x^{2} - 6 x \right)} \right)} \leq 2 log ( log ( 7 x 2 − 6 x ) ) ≤ 2 log ( log ( − 6 ( 23 70 − 9 + 7 e e 2 7 ) + 7 ( 23 70 − 9 + 7 e e 2 7 ) 2 ) ) ≤ 2 \log{\left(\log{\left(- 6 \left(\frac{23}{70} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7}\right) + 7 \left(\frac{23}{70} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7}\right)^{2} \right)} \right)} \leq 2 log log − 6 ( 70 23 − 7 9 + 7 e e 2 ) + 7 ( 70 23 − 7 9 + 7 e e 2 ) 2 ≤ 2 / / 2 \\
| | / _____________\ _____________||
| | | / / 2\ | / / 2\ ||
| | | / \e / | / \e / || <= 2
| | 69 |23 \/ 9 + 7*e | 6*\/ 9 + 7*e ||
log|log|- -- + 7*|-- - -----------------| + -------------------||
\ \ 35 \70 7 / 7 // pero
/ / 2 \\
| | / _____________\ _____________||
| | | / / 2\ | / / 2\ ||
| | | / \e / | / \e / || >= 2
| | 69 |23 \/ 9 + 7*e | 6*\/ 9 + 7*e ||
log|log|- -- + 7*|-- - -----------------| + -------------------||
\ \ 35 \70 7 / 7 // Entonces
x ≤ 3 7 − 9 + 7 e e 2 7 x \leq \frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x ≤ 7 3 − 7 9 + 7 e e 2 no se cumple
significa que una de las soluciones de nuestra ecuación será con:
x ≥ 3 7 − 9 + 7 e e 2 7 ∧ x ≤ 3 7 + 9 + 7 e e 2 7 x \geq \frac{3}{7} - \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} \wedge x \leq \frac{3}{7} + \frac{\sqrt{9 + 7 e^{e^{2}}}}{7} x ≥ 7 3 − 7 9 + 7 e e 2 ∧ x ≤ 7 3 + 7 9 + 7 e e 2 _____
/ \
-------•-------•-------
x1 x2