ФИПИ 672605 — Логарифмические неравенства с постоянным основанием

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