Решите неравенство ${\log }_{3}((2-x)({x}^{2}+5))\ge {\log }_{3}({x}^{2}-5x+6)+{\log }_{3}(4-x)$.
Задание с развёрнутым ответом. Запишите решение и сравните его с разбором.
Ответ: $x\in[1;2)$.
Решение
Первый аргумент — произведение положительного $x^2+5$ и линейного множителя. Поэтому его положительность требует:
$$(2-x)(x^2+5)>0\ \Longleftrightarrow\ x<2.$$
Остальные аргументы на этой области тоже положительны. Квадратный аргумент раскладываем группировкой:
$$x^2-5x+6=x(x-2)-3(x-2)=(x-2)(x-3).$$
При $x<2$ оба множителя отрицательны: произведение положительно. Аргумент $4-x$ тоже положителен. Итак, ОДЗ: $x<2$.
На найденной области все аргументы положительны. Используем свойства логарифмов: сумма — логарифм произведения, разность — логарифм частного. Основание 3 больше 1, поэтому логарифм возрастает: при сравнении аргументов знак сохраняется. После перехода к аргументам переносим все слагаемые влево.
$$(2-x)(x^2+5)\ge(2-x)(3-x)(4-x).$$
На ОДЗ множитель $2-x$ строго положителен. Делим на него обе части без смены знака:
$$x^2+5\ge(3-x)(4-x).$$
Раскрываем произведение справа:
$$(3-x)(4-x)=12-3x-4x+x^2=x^2-7x+12.$$
Переносим правую часть влево; $x^2$ сокращаются:
$$x^2+5-(x^2-7x+12)=7x+-7\ge0.$$
Теперь все исходные преобразования свели задачу к одной рациональной дроби:
$$x^{2} - \left(3 - x\right) \left(4 - x\right) + 5\ge0.$$
Приведение к общему знаменателю даёт числитель и знаменатель:
$$N=7 x - 7,\qquad D=1.$$
Итак, для исследования знака получена дробь:
$$\frac{7 \left(x - 1\right)}{1}\ge0.$$
Применим метод интервалов. У линейного множителя $t-r$ знак минус слева от $r$ и плюс справа; положительный постоянный множитель знак не меняет. Чётная степень ненулевого множителя положительна по обе стороны от корня. Нули знаменателя всегда запрещены. Нули числителя включаем, поскольку неравенство нестрогое, если они не запрещены исходными ограничениями.
$$-\infty<x<1:\quad N\ -,\quad D\ +,\quad N/D\ -.$$
$$1<x<\infty:\quad N\ +,\quad D\ +,\quad N/D\ +.$$
Оставляем нужный знак, добавляем допустимые нули числителя и пересекаем с исходной областью. Именно исходной: сокращение множителя не разрешает прежний нулевой знаменатель. Получаем:
$$x\in \left[1, 2\right).$$
Ответ:
$$x\in \left[1, 2\right).$$