условие

log5⁡(8log8⁡(8−x)+17log17⁡(x+17))+1≥log3⁡(x2−6x)

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

Положительны аргументы всех логарифмов: у внутренних 8 − x и x + 17, у правого x² − 6x.

ОДЗ
{8−x>0x+17>0x2−6x>0⟺{x<8x>−17x(x−6)>0
I условие8
−∞
+∞
x
II условие17−
−∞
+∞
x
+−+III условие06
−∞
+∞
x
ОДЗ17−068
−∞
+∞
x

Пробная точка x = −1 для третьего условия: (−1)·(−1 − 6) = 7 > 0 — знак «+» левее нуля, чередование «+, −, +». Аргумент внешнего логарифма отдельного условия не даёт: он равен (8 − x) + (x + 17) = 25 > 0 при любом x из первых двух условий. Пересечение трёх условий — (−17; 0) ∪ (6; 8).

шаг 2.Сворачиваем левую часть

По основному логарифмическому тождеству a^{log_a b} = b Преобразования логарифмов и ОДЗ
Главное правило
Сначала выписываем ОДЗ, потом преобразуем логарифмы. Каждое тождество ниже верно только на своей области — меняя её по ходу, легко потерять или добавить решения. Сам логарифм 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).
обе степени превращаются в свои аргументы, а их сумма оказывается постоянной.
8log8⁡(8−x)=8−x,17log17⁡(x+17)=x+17
(8−x)+(x+17)=25
log5⁡25+1=2+1=3

log₅25 = 2, потому что 5² = 25. Переменная слева сокращается полностью — вся левая часть равна числу 3.

шаг 3.Снимаем логарифм справа

Остаётся 3 ≥ log₃(x² − 6x). Записываем 3 = log₃27; основание 3 больше единицы — логарифм возрастаетЛогарифм и знак неравенства
Функция y=loga⁡x монотонна при x>0. При a > 1 возрастает, при 0 < a < 1 убывает.
Снятие логарифма (обе части — логарифмы одного основания):
· при a > 1: loga⁡A≶loga⁡B⟺A≶B (знак сохраняется).
· при 0 < a < 1: знак переворачивается, loga⁡A≤loga⁡B⟺A≥B.
Число c превращаем в логарифм того же основания: c=loga⁡ac — тогда сравниваем аргументы (не забывая A>0).
, поэтому при снятии логарифма знак неравенства сохраняется.
log3⁡(x2−6x)≤3
log3⁡(x2−6x)≤log3⁡27
x2−6x≤27
x2−6x−27≤0
(x+3)(x−9)≤0
+−+3−9
−∞
+∞
x

Знак «≥» сменился на «≤» не из-за умножения на −1, а потому что мы поменяли стороны местами: 3 ≥ log₃A ⟺ log₃A ≤ 3. По теореме Виета для x² − 6x − 27 = 0: сумма корней должна равняться 6, произведение — −27. Подбираем −3 и 9, отсюда x² − 6x − 27 = (x + 3)(x − 9). Пробная точка x = 0: (0 + 3)(0 − 9) = −27 < 0 — знак «−» между корнями, чередование «+, −, +». Оба корня закрашены (нестрогое ≤).

шаг 4.Пересечение с ОДЗ

Решение неравенства −3 ≤ x ≤ 9 пересекаем с ОДЗ (−17; 0) ∪ (6; 8).

неравенство3−9
−∞
+∞
x
ОДЗ17−068
−∞
+∞
x
пересечение3−068
−∞
+∞
x

Левый край −17 и правый край 9 отсекаются: ОДЗ обрывается в нуле, а решение неравенства — в девятке. Граница x = −3 закрашена (нестрогое ≤) и лежит внутри ОДЗ; точки 0, 6, 8 выколоты по ОДЗ.

ответ

x∈[−3;0)∪(6;8)