условие
шаг 1.Область допустимых значений
У внешнего логарифма основание — само выражение log₂x²: оно должно быть положительным и не равным единице. У внутреннего логарифма аргумент x² положителен.
Условие x² > 1 сильнее, чем x ≠ 0, поэтому первое ограничение поглощается. x² > 1 равносильно |x| > 1, а x² ≠ 2 — условию x ≠ ±√2.
шаг 2.Упрощаем левую часть
Сначала выписываем ОДЗ, потом преобразуем логарифмы. Каждое тождество ниже верно только на своей области — меняя её по ходу, легко потерять или добавить решения. Сам логарифм требует .
Тождество верно только при . При чётном показателе определено и для , поэтому обязателен модуль:
Обратный ход при чётном расширяет область: — слева , справа . Появляются посторонние корни ; держим исходное или сразу пишем модуль.
ОДЗ уже требует и — держим его, свёртка ничего лишнего не вносит.
определён при , — при (в том числе оба множителя отрицательны). Разбивая на , силой требуем и теряем эту ветку. Корректно — только с модулями:
и — область не меняется (нужно , для второй ).
, — удобно при потенцировании и записи числа как логарифма ().
Вносить множитель в аргумент здесь безопасно: аргумент 2 положителен, поэтому 2log_a 2 = log_a 2² = log_a 4. Остаётся неравенство с переменным основанием — разбираем два случая.
шаг 3.Случай 1: основание t > 1
· при a > 1: (знак сохраняется).
· при 0 < a < 1: знак переворачивается, .
Условие случая t > 1 выполнено автоматически: из t > 4 следует t > 1. Решение случая 1: t > 4.
шаг 4.Случай 2: основание 0 < t < 1
Здесь логарифм убывает, поэтому при снятии логарифмов знак неравенства переворачивается.
Неравенство t < 4 выполнено на всём интервале (0; 1), поэтому в ответ идёт весь этот интервал. Решение случая 2: 0 < t < 1.
шаг 5.Обратная замена
· при a > 1: (знак сохраняется).
· при 0 < a < 1: знак переворачивается, .
Границы получаются потенцированием: 2⁴ = 16, 2⁰ = 1, 2¹ = 2. Неравенство x² > a² при a > 0 равносильно |x| > a.
шаг 6.Возвращаемся к x
Раскрываем модули. Оба условия симметричны относительно нуля, поэтому каждое даёт по два интервала.
Все шесть границ выколоты: ±1 и ±√2 исключены ОДЗ, ±4 — строгостью исходного неравенства.