условие

log13⁡(18−9x)<log13⁡(x2−6x+5)+log13⁡(x+2)

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

Все три аргумента логарифмов положительны. Каждое условие решаем на своей оси и пересекаем.

ОДЗ
{18−9x>0x2−6x+5>0x+2>0⟺{x<2(x−1)(x−5)>0x>−2
I условие2
−∞
+∞
x
+−+II условие15
−∞
+∞
x
III условие2−
−∞
+∞
x
ОДЗ2−1
−∞
+∞
x

По теореме Виета для x² − 6x + 5 = 0: сумма корней должна равняться 6, произведение — 5. Подбираем 1 и 5, отсюда x² − 6x + 5 = (x − 1)(x − 5). Пробная точка x = 0: (0 − 1)(0 − 5) = 5 > 0 — знак «+» левее 1, чередование «+, −, +». Ветка x > 5 несовместна с x < 2, остаётся −2 < x < 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).
. Основание 1/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).
, поэтому при снятии логарифма знак неравенства переворачивается.
log13⁡(18−9x)<log13⁡((x2−6x+5)(x+2))
18−9x>(x2−6x+5)(x+2)
18−9x>x3−4x2−7x+10
0>x3−4x2+2x−8

(x² − 6x + 5)(x + 2) = x³ − 4x² − 7x + 10; переносим 18 − 9x вправо и получаем x³ − 4x² + 2x − 8.

шаг 3.Раскладываем кубический многочлен

Группируем по парам: из первой пары выносим x², из второй — 2, появляется общий множитель x − 4. Второй множитель x² + 2 положителен при любом x, поэтому знак произведения задаёт только x − 4.

x3−4x2+2x−8<0
x2(x−4)+2(x−4)<0
(x−4)(x2+2)⏟>0<0
x−4<0⟺x<4

x² + 2 ≥ 2 > 0 при любом x — на знак произведения этот множитель не влияет, корней не даёт.

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

Решение неравенства x < 4 пересекаем с ОДЗ −2 < x < 1: ОДЗ целиком лежит левее 4, поэтому ограничение x < 4 ничего не отсекает.

неравенство4
−∞
+∞
x
ОДЗ2−1
−∞
+∞
x
пересечение2−1
−∞
+∞
x

Обе границы ответа выколоты: −2 и 1 — края ОДЗ (в них аргументы логарифмов обращаются в ноль).

ответ

x∈(−2;1)