условие

logx⁡2+3log2x⁡2−6log4x⁡2≤0

шаг 1.Область допустимых значений

Все три основания положительны и не равны единице. Аргумент 2 положителен сам по себе и ограничений не даёт.

ОДЗ
{x>0,x≠12x>0,2x≠14x>0,4x≠1
{x>0,x≠1x>0,x≠0,5x>0,x≠0,25
x>0,x≠0,25,x≠0,5,x≠1

Выколотые точки 0,25, 0,5 и 1 — это значения, при которых основания 4x, 2x и x обращаются в единицу.

шаг 2.Переворачиваем логарифмы

У всех трёх логарифмов один и тот же аргумент 2, а основания переменные. Переворачиваем каждый логарифмПреобразования логарифмов и ОДЗ
Главное правило
Сначала выписываем ОДЗ, потом преобразуем логарифмы. Каждое тождество ниже верно только на своей области — меняя её по ходу, легко потерять или добавить решения. Сам логарифм loga⁡b требует a>0,a≠1,b>0.
Степень выносим с модулем
Тождество loga⁡bn=nloga⁡b верно только при b>0. При чётном показателе b2k определено и для b<0, поэтому обязателен модуль:
loga⁡b2k=2kloga⁡|b|
У нас 16log3⁡(x+1)6=log3⁡|x+1|. Без модуля потеряли бы ветку x<−1 и корень x=−4.
Коэффициент внутрь — расширение ОДЗ
Обратный ход cloga⁡b=loga⁡bc при чётном c расширяет область: 2loga⁡x=loga⁡x2 — слева x>0, справа x≠0. Появляются посторонние корни x<0; держим исходное b>0 или сразу пишем модуль.
Свернуть в один — можно
loga⁡f+loga⁡g=loga⁡(fg)
loga⁡f−loga⁡g=loga⁡fg
ОДЗ уже требует f>0 и g>0 — держим его, свёртка ничего лишнего не вносит.
Развернуть в сумму/разность — опасно
loga⁡(fg) определён при fg>0, loga⁡fg — при fg>0 (в том числе оба множителя отрицательны). Разбивая на loga⁡f±loga⁡g, силой требуем f>0,g>0 и теряем эту ветку. Корректно — только с модулями:
loga⁡(fg)=loga⁡|f|+loga⁡|g|
Смена основания — безопасно
loga⁡b=logc⁡blogc⁡a и loga⁡b=1logb⁡a — область не меняется (нужно c>0,c≠1, для второй b≠1).
Основное тождество
aloga⁡b=b(b>0), loga⁡ak=k — удобно при потенцировании и записи числа как логарифма (c=loga⁡ac).
— тогда двойка становится основанием, а переменная уходит в аргумент.
logx⁡2=1log2⁡x
log2x⁡2=1log2⁡2x=11+log2⁡x
log4x⁡2=1log2⁡4x=12+log2⁡x

Формула log_a b = 1 : log_b a верна при a, b > 0, a ≠ 1, b ≠ 1 — на ОДЗ все условия выполнены. log₂2x = log₂2 + log₂x = 1 + log₂x, а log₂4x = log₂4 + log₂x = 2 + log₂x.

шаг 3.Делаем замену

Обозначим t = log₂x. Выколотые точки ОДЗ переходят в t ≠ 0, t ≠ −1 и t ≠ −2. Приводим левую часть к одной дроби.

t=log2⁡x,t≠0,t≠−1,t≠−2
1t+31+t−62+t≤0
(1+t)(2+t)+3t(2+t)−6t(1+t)t(1+t)(2+t)≤0
t2+3t+2+3t2+6t−6t2−6tt(1+t)(2+t)≤0
−2t2+3t+2t(1+t)(2+t)≤0
2t2−3t−2t(1+t)(2+t)≥0

Значения x = 1, 0,5 и 0,25 дают t = 0, −1 и −2 — это ровно точки разрыва получившейся дроби. Умножаем обе части на −1 — знак неравенства переворачивается.

шаг 4.Раскладываем числитель

Числитель — квадратный трёхчлен; находим корни через дискриминант и записываем разложение.

D=(−3)2−4⋅2⋅(−2)=9+16=25
t=3±254=3±54=2=−0,5
2t2−3t−2=2(t−2)(t+0,5)
2(t−2)(t+0,5)t(1+t)(2+t)≥0

Множитель 2 в скобку не вносим: так корни 2 и −0,5 видны прямо в скобках и совпадают с точками на оси. Положительная двойка на знак дроби не влияет.

шаг 5.Метод интервалов

Корни числителя: −0,5 и 2 — закрашены (нестрогое ≥). Точки разрыва: −2, −1 и 0 — выколоты.

−+−+−+2−1−0,5−02
−∞
+∞
t

Пробная точка t = 1 на (0; 2): 2(1 − 2)(1 + 0,5) : (1 · 2 · 3) = −3 : 6 < 0 — знак «−»; через простые корни знаки чередуются. Решение: −2 < t < −1, или −0,5 ≤ t < 0, или t ≥ 2.

шаг 6.Обратная замена

Возвращаемся к x. Логарифм по основанию 2 > 1 возрастает,Логарифм и знак неравенства
Функция y=loga⁡x монотонна при x>0. При a > 1 возрастает, при 0 < a < 1 убывает.
Снятие логарифма (обе части — логарифмы одного основания):
· при a > 1: loga⁡A≶loga⁡B⟺A≶B (знак сохраняется).
· при 0 < a < 1: знак переворачивается, loga⁡A≤loga⁡B⟺A≥B.
Число c превращаем в логарифм того же основания: c=loga⁡ac — тогда сравниваем аргументы (не забывая A>0).
поэтому неравенства для t переносятся на аргументы без смены знака.
1)−2<log2⁡x<−1
log2⁡2−2<log2⁡x<log2⁡2−1
0,25<x<0,5
2)−0,5≤log2⁡x<0
log2⁡2−0,5≤log2⁡x<log2⁡1
22≤x<1
3)log2⁡x≥2
log2⁡x≥log2⁡4
x≥4

Числа −2, −1, −0,5, 0 и 2 записали как логарифмы по основанию 2. Число 2 в степени −0,5 — это 1 : √2; умножив числитель и знаменатель на √2, получаем √2 : 2.

ответ

x∈(0,25;0,5)∪[22;1)∪[4;+∞)