условие
шаг 1.Область допустимых значений
Выражение 3x − 1 стоит и аргументом, и основанием логарифма: оно должно быть положительным и не равным единице. Аргументы 2 и 4 положительны сами по себе.
Аргумент (3x − 1)² положителен при всех x ≠ 1/3, и это условие уже входит в x > 1/3.
шаг 2.Приводим все логарифмы к одному
Сначала выписываем ОДЗ, потом преобразуем логарифмы. Каждое тождество ниже верно только на своей области — меняя её по ходу, легко потерять или добавить решения. Сам логарифм требует .
Тождество верно только при . При чётном показателе определено и для , поэтому обязателен модуль:
Обратный ход при чётном расширяет область: — слева , справа . Появляются посторонние корни ; держим исходное или сразу пишем модуль.
ОДЗ уже требует и — держим его, свёртка ничего лишнего не вносит.
определён при , — при (в том числе оба множителя отрицательны). Разбивая на , силой требуем и теряем эту ветку. Корректно — только с модулями:
и — область не меняется (нужно , для второй ).
, — удобно при потенцировании и записи числа как логарифма ().
На ОДЗ 3x − 1 > 0, поэтому квадрат выносится из-под логарифма без модуля. Переход к обратной величине — формула log_a b = 1 : log_b a, она верна при a, b > 0, a ≠ 1, b ≠ 1.
шаг 3.Делаем замену
Обозначим t = log₂(3x − 1). По ОДЗ 3x − 1 ≠ 1, поэтому t ≠ 0. Каждое слагаемое переписываем через t.
Квадрат логарифма даёт t², квадрат обратной величины — 1 : t², слагаемое log₂(3x − 1)² — это 2t, а log_{3x−1}4 — это 2 : t.
шаг 4.Сводим к одной дроби
Общий знаменатель — t². Числитель получается многочленом четвёртой степени; группируем его в произведение, выделив полный квадрат.
Группировка: t⁴ + 2t² + 1 = (t² + 1)² — полный квадрат, а 2t³ + 2t = 2t(t² + 1); общий множитель (t² + 1) выносим. Знаменатель t² не убираем — идём в метод интервалов с дробью как есть.
шаг 5.Метод интервалов в t
Корень числителя: t = 1 — чётной кратности 2, поэтому петелька: знак через точку не меняется; закрашен (нестрогое ≤). Точка разрыва t = 0 — тоже чётной кратности, выколота по ОДЗ, петелька. Множитель t² + 1 нулей не имеет и всегда положителен.
шаг 6.Обратная замена
· при a > 1: (знак сохраняется).
· при 0 < a < 1: знак переворачивается, .
Единицу записали как log₂2 — логарифм того же основания. Проверка по ОДЗ: 3·1 − 1 = 2 > 0 и 2 ≠ 1, значение подходит.