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