Решите неравенство ${3}^{{\log }_{3}({\log }_{3}x)}+{\log }_{9}^{2}x-8\le 0.$
Задание с развёрнутым ответом. Запишите решение и сравните его с разбором.
Ответ: $x\in(1;81]$.
Решение
Нужно найти все допустимые $x$, при которых неравенство верно. Повторяющиеся логарифмы удобно заменить одной переменной. Для логарифма требуется $x>0$. Введём:
$$t=\log_{3}x,\qquad x=3^t.$$
Вложенный логарифм $\log_3(\log_3x)$ требует положительности своего аргумента:
$$\log_3x>0\ \Longleftrightarrow x>1\ \Longleftrightarrow t>0.$$
Логарифм и степень с одинаковым основанием взаимно обратны при положительном аргументе:
$$3^{\log_3(\log_3x)}=\log_3x=t.$$
Второй логарифм меняем к основанию 3:
$$\log_9x=\frac{\log_3x}{\log_39}=\frac t2,\qquad(\log_9x)^2=\frac{t^2}4.$$
Поэтому исходное неравенство:
$$t+\frac{t^2}4-8\le0.$$
Теперь все исходные преобразования свели задачу к одной рациональной дроби:
$$\frac{t^{2}}{4} + t - 8\le0.$$
Приведение к общему знаменателю даёт числитель и знаменатель:
$$N=\frac{t^{2}}{4} + t - 8,\qquad D=1.$$
Разберём числитель; факторизацию выведем, чтобы не угадывать её.
Сравним квадратный трёхчлен с общей формой $At^2+Bt+C$. Его коэффициенты:
$$A=\frac{1}{4},\qquad B=1,\qquad C=-8.$$
Для корней нужен дискриминант $\Delta=B^2-4AC$. Вычислим квадрат и произведение отдельно:
$$B^2=\left(1\right)^2=1,$$
$$4AC=4\cdot\left(\frac{1}{4}\right)\cdot\left(-8\right)=-8.$$
Вычитаем найденные числа:
$$\Delta=1-\left(-8\right)=9.$$
$$\sqrt\Delta=\sqrt{9}=3.$$
Подставим числа в формулу каждого корня $t=(-B\pm\sqrt\Delta)/(2A)$. Здесь $-B=-1$, $2A=\frac{1}{2}$:
$$t_1=\frac{-1+3}{\frac{1}{2}}=\frac{2}{\frac{1}{2}}=4,$$
$$t_2=\frac{-1-3}{\frac{1}{2}}=\frac{-4}{\frac{1}{2}}=-8.$$
Итак, нули рассматриваемого трёхчлена:
$$t\in\left\{-8,4\right\}.$$
Итак, для исследования знака получена дробь:
$$\frac{\frac{\left(t - 4\right) \left(t + 8\right)}{4}}{1}\le0.$$
Применим метод интервалов. У линейного множителя $t-r$ знак минус слева от $r$ и плюс справа; положительный постоянный множитель знак не меняет. Чётная степень ненулевого множителя положительна по обе стороны от корня. Нули знаменателя всегда запрещены. Нули числителя включаем, поскольку неравенство нестрогое, если они не запрещены исходными ограничениями.
$$-\infty<t<-8:\quad N\ +,\quad D\ +,\quad N/D\ +.$$
$$-8<t<4:\quad N\ -,\quad D\ +,\quad N/D\ -.$$
$$4<t<\infty:\quad N\ +,\quad D\ +,\quad N/D\ +.$$
Оставляем нужный знак, добавляем допустимые нули числителя и пересекаем с исходной областью. Именно исходной: сокращение множителя не разрешает прежний нулевой знаменатель. Получаем:
$$t\in \left(0, 4\right].$$
Возвращаемся к $x$. По определению логарифма:
$$t=\log_{3}(x)\ \Longleftrightarrow\ x=3^t.$$
Основание больше 1, поэтому функция $3^t$ возрастает: порядок концов каждого интервала сохраняется. Выпишем преобразование каждого конца:
$$t=0\ \Longrightarrow\ x=1.$$
$$t=4\ \Longrightarrow\ x=81.$$
Открытые и закрытые концы сохраняем: равенство допустимо только там, где оно было разрешено в исходном неравенстве.
Ответ:
$$x\in \left(1, 81\right].$$