условие

log52⁡(x−8)−6log5⁡(x−8)≥4−25⋅(x−8)⋅(log5⁡(x−8)−4)

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

Аргумент каждого логарифма положителен. Под вторым логарифмом стоит корень из того же выражения, поэтому новых ограничений он не добавляет.

ОДЗ
{x−8>0x−8>0⟺x−8>0⟺x>8

Корень √(x − 8) положителен ровно тогда, когда x − 8 > 0, — то же самое условие, что и у первого логарифма.

шаг 2.Убираем корень из-под логарифма

Корень — это степень с показателем 1/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).
. Дальше обозначим t = log₅(x − 8) и соберём всё в левой части.
x−8=(x−8)12
log5⁡x−8=12log5⁡(x−8)
6log5⁡x−8=3log5⁡(x−8)
t=log5⁡(x−8)
t2−3t≥4−25(x−8)(t−4)
t2−3t−4+25(x−8)(t−4)≥0

Показатель 1/2 выносится без модуля: по ОДЗ x − 8 > 0. Множитель 25(x − 8) в новую переменную не переводим — он остаётся как есть, в t уходит только логарифм.

шаг 3.Раскладываем на множители

Трёхчлен t² − 3t − 4 раскладывается на множители, и один из них — (t − 4) — уже стоит во втором слагаемом. Выносим его за скобку и возвращаемся к записи через x.

t2−3t−4=(t−4)(t+1)
(t−4)(t+1)+25(x−8)(t−4)≥0
(t−4)(t+1+25(x−8))≥0
(log5⁡(x−8)−4)(log5⁡(x−8)+25(x−8)+1)≥0

По теореме Виета для t² − 3t − 4 = 0: сумма корней должна равняться 3, произведение — −4. Подбираем 4 и −1, отсюда t² − 3t − 4 = (t − 4)(t + 1).

шаг 4.Нули множителей

Оба множителя строго возрастают на ОДЗ: log₅(x − 8) возрастает, 25(x − 8) тоже возрастает, а сумма возрастающих функций возрастает. Значит, каждый множитель обращается в ноль ровно один раз, и знак меняет только в этой точке. Корень второго множителя подбираем среди степеней пятёрки.

log5⁡(x−8)−4=0
log5⁡(x−8)=4
x−8=54=625
x=633
log5⁡(x−8)+25(x−8)+1=0
log5⁡125+25⋅125+1=−2+1+1=0
x−8=125
x=8+125=8,04

Пробуем x − 8 = 5⁻² = 1/25: логарифм равен −2, а 25(x − 8) = 1, и сумма −2 + 1 + 1 обращается в ноль. Других нулей нет — множитель строго возрастает.

шаг 5.Метод интервалов

Корни множителей: 8,04 и 633 — закрашены (нестрогое ≥). Точка x = 8 выколота по ОДЗ, левее неё выражение не определено.

+−+88,04633
−∞
+∞
x

Пробная точка x = 9: log₅1 − 4 = −4 и log₅1 + 25·1 + 1 = 26, произведение −4 · 26 = −104 < 0 — знак «−» на интервале (8,04; 633). Левее 8,04 отрицательны оба множителя, поэтому произведение положительно; правее 633 оба положительны.

ответ

x∈(8;8,04]∪[633;+∞)