условие

logx−3⁡(9−x)+log9−x⁡(3−x)4≤4

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

Оба основания положительны и не равны единице, аргументы положительны.

ОДЗ
{x−3>0,x−3≠19−x>0,9−x≠1(3−x)4>0⟺{3<x<9x≠4x≠8

Основание x − 3 обращается в единицу при x = 4, основание 9 − x — при x = 8. Четвёртая степень положительна при всех x ≠ 3, а тройка и так не входит в интервал.

шаг 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).
, а на ОДЗ |3 − x| = x − 3. Оба логарифма становятся взаимно обратными.
log9−x⁡(3−x)4=4log9−x⁡|3−x|=4log9−x⁡(x−3)
logx−3⁡(9−x)+4log9−x⁡(x−3)≤4

Степень выносим с модулем: log_a b⁴ = 4 log_a |b|. Знак модуля важен: сама скобка 3 − x на ОДЗ отрицательна.

шаг 3.Замена переменной

Обозначим t = log_{x−3}(9 − x). Второй логарифм — обратная величина, поэтому неравенство становится дробно-рациональным.

t=logx−3⁡(9−x),log9−x⁡(x−3)=1t
t+4t≤4
t2−4t+4t≤0
(t−2)2t≤0
−++02
−∞
+∞
t
Полный квадрат: t² − 4t + 4 = (t − 2)². Корень t = 2 чётной кратности → петелька, знак через точку не меняется; он закрашен и войдёт в решение изолированно. Петелька при чётной кратности
Возникает, когда корень выражения повторяется чётное количество раз.
Внутри петельки знак НЕ ставится.
Петелька показывает 0 функции и может быть только закрашенной или выколотой. Знака внутри петли быть не может, т.к. у нуля знака нет.
> 0
+ +
(−∞;a)∪(a;+∞)
≥ 0
+ +
(−∞;+∞)
< 0
+ +
⌀
≤ 0
+ +
{a}
Флаг или петелька означают «через эту точку знак выражения не меняется» — слева и справа от петли знаки одинаковые.
При знаках ≤/≥ значение петельки может быть выколото по ОДЗ.
Пробная точка t = −1: (−1 − 2)²/(−1) = 9/(−1) = −9 < 0 — знак «−». Решение: t < 0 или t = 2.

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

Первый случай — отрицательный логарифм: его знак находим методом рационализацииМетод рационализации
Если нужен только ЗНАК выражения (например, для метода интервалов), не решаем его напрямую — определяем знак по таблице: знак слева совпадает со знаком справа (на ОДЗ), а правое выражение проще. Третий столбец — ОДЗ.
loga⁡f−loga⁡g(a−1)(f−g)a>0,a≠1,f,g>0af−ag(a−1)(f−g)a>0,a≠1|f|−|g|(f−g)(f+g)любыеf−gf−gf,g≥0
Множитель (a−1) задаёт направление: при a>1 он положителен (знак как у f−g), при 0<a<1 — отрицателен, знак переворачивается.
. Второй случай — уравнение: логарифм равен двум, значит аргумент равен квадрату основания.
1)logx−3⁡(9−x)<0
((x−3)−1)((9−x)−1)<0
(x−4)(8−x)<0
(x−4)(x−8)>0
2)logx−3⁡(9−x)=2
9−x=(x−3)2
x2−5x=0
x=0илиx=5
+−+случай 148
−∞
+∞
x
случай 25
−∞
+∞
x
ОДЗ3489
−∞
+∞
x
пересечение34589
−∞
+∞
x

Корень 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 ✓.

ответ

x∈(3;4)∪{5}∪(8;9)