условие

log22⁡|x|−log2⁡x22≥(12log2⁡4+log4⁡|x|)2

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

Переменная входит только через |x| и x², аргументы логарифмов |x| и x²/2 положительны при x ≠ 0.

ОДЗ
x≠0

шаг 2.Упрощаем обе части

Слева выражаем log₂(x²/2) через |x|, справа считаем ½·log₂4 = 1 и переводим log₄|x| в основание 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).
. Обозначаем t = log₂|x|.
t=log2⁡|x|
log22⁡|x|−log2⁡x22=t2−(2t−1)=(t−1)2
(12log2⁡4+log4⁡|x|)2=(1+t2)2

шаг 3.Сводим к квадратному неравенству

Получаем (t − 1)² ≥ (1 + t/2)². Правую часть записываем как (t + 2)²/4, умножаем неравенство на 4 и переносим всё влево.

(t−1)2≥(t+2)24
4(t−1)2≥(t+2)2
4t2−8t+4≥t2+4t+4
3t2−12t≥0
3t(t−4)≥0

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

Корни t = 0 и t = 4 — закрашены (нестрогое ≥). Парабола ветвями вверх неотрицательна вне корней.

+−+04
−∞
+∞
t

Пробная точка t = 1: 3·(1 − 4) = −9 < 0 → знак «−». Решение: t ≤ 0 или t ≥ 4.

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

Подставляем t = log₂|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).
— снимаем его. 0 = log₂1, 4 = log₂16.
1)log2⁡|x|≤0
|x|≤1
−1≤x≤1,x≠0
2)log2⁡|x|≥4
|x|≥16
x≤−16илиx≥16
ответ16−1−0116
−∞
+∞
x

Точка x = 0 выколота по ОДЗ. Ответ симметричен относительно нуля — выражение чётное (x входит только как |x| и x²).

ответ

x∈(−∞;−16]∪[−1;0)∪(0;1]∪[16;+∞)