условие
шаг 1.Область допустимых значений
Оба основания положительны и не равны единице, аргументы положительны.
Основание x − 3 обращается в единицу при x = 4, основание 9 − x — при x = 8. Четвёртая степень положительна при всех x ≠ 3, а тройка и так не входит в интервал.
шаг 2.Упрощаем второй логарифм
Сначала выписываем ОДЗ, потом преобразуем логарифмы. Каждое тождество ниже верно только на своей области — меняя её по ходу, легко потерять или добавить решения. Сам логарифм требует .
Тождество верно только при . При чётном показателе определено и для , поэтому обязателен модуль:
Обратный ход при чётном расширяет область: — слева , справа . Появляются посторонние корни ; держим исходное или сразу пишем модуль.
ОДЗ уже требует и — держим его, свёртка ничего лишнего не вносит.
определён при , — при (в том числе оба множителя отрицательны). Разбивая на , силой требуем и теряем эту ветку. Корректно — только с модулями:
и — область не меняется (нужно , для второй ).
, — удобно при потенцировании и записи числа как логарифма ().
Степень выносим с модулем: log_a b⁴ = 4 log_a |b|. Знак модуля важен: сама скобка 3 − x на ОДЗ отрицательна.
шаг 3.Замена переменной
Обозначим t = log_{x−3}(9 − x). Второй логарифм — обратная величина, поэтому неравенство становится дробно-рациональным.
шаг 4.Обратная замена
Корень x = 0 второго случая не входит в ОДЗ, остаётся только x = 5. Пробная точка x = 6 на интервале (4; 8): (6 − 4)(6 − 8) = 2 · (−2) = −4 < 0 — знак «−»; корни нечётной кратности, знаки чередуются. Проверка: x = 5 ⇒ log₂ 4 + 4 · log₄ 2 = 2 + 2 = 4, нестрогое ≤ выполняется ✓. Проверка: x = 3,5 ⇒ log₀,₅ 5,5 ≈ −2,46 и 4 · log₅,₅ 0,5 ≈ −1,63, сумма ≈ −4,09 ≤ 4 ✓.