ФИПИ 9D2941 — Показательные неравенства

Нужно найти все решения неравенства. Повторяющиеся степени сведём к одной переменной: $$t=2^x>0.$$ Основание больше 1, поэтому каждому положительному $t$ соответствует ровно один $x$. До действий с дробями сохраним все запреты на нулевые знаменатели. По правилам степеней: $$4^x=(2^x)^2=t^2,\qquad3\cdot2^{x+1}=3\cdot2\cdot2^x=6t.$$ Знаменатели запрещают $t=5,8$. После переноса $t+5$ влево общий числитель: $$N=(t^2-6t+4)(t-8)+(6t-46)(t-5)-(t+5)(t-5)(t-8).$$ Раскрываем каждую группу: $$(t^2-6t+4)(t-8)=t^3-14t^2+52t-32,$$ $$(6t-46)(t-5)=6t^2-76t+230,$$ $$-(t+5)(t-5)(t-8)=-(t^2-25)(t-8)=-t^3+8t^2+25t-200.$$ Складываем: $$N=(1-1)t^3+(-14+6+8)t^2+(52-76+25)t+(-32+230-200)=t-2.$$ Теперь все исходные преобразования свели задачу к одной рациональной дроби: $$- t - 5 + \frac{t^{2} - 6 t + 4}{t - 5} + \frac{6 t - 46}{t - 8}\le0.$$ Приведение к общему знаменателю даёт числитель и знаменатель: $$N=t - 2,\qquad D=t^{2} - 13 t + 40.$$ Разберём знаменатель; факторизацию выведем, чтобы не угадывать её. Сравним квадратный трёхчлен с общей формой $At^2+Bt+C$. Его коэффициенты: $$A=1,\qquad B=-13,\qquad C=40.$$ Для корней нужен дискриминант $\Delta=B^2-4AC$. Вычислим квадрат и произведение отдельно: $$B^2=\left(-13\right)^2=169,$$ $$4AC=4\cdot\left(1\right)\cdot\left(40\right)=160.$$ Вычитаем найденные числа: $$\Delta=169-\left(160\right)=9.$$ $$\sqrt\Delta=\sqrt{9}=3.$$ Подставим числа в формулу каждого корня $t=(-B\pm\sqrt\Delta)/(2A)$. Здесь $-B=13$, $2A=2$: $$t_1=\frac{13+3}{2}=\frac{16}{2}=8,$$ $$t_2=\frac{13-3}{2}=\frac{10}{2}=5.$$ Итак, нули рассматриваемого трёхчлена: $$t\in\left\{5,8\right\}.$$ Итак, для исследования знака получена дробь: $$\frac{t - 2}{\left(t - 8\right) \left(t - 5\right)}\le0.$$ Применим метод интервалов. У линейного множителя $t-r$ знак минус слева от $r$ и плюс справа; положительный постоянный множитель знак не меняет. Чётная степень ненулевого множителя положительна по обе стороны от корня. Нули знаменателя всегда запрещены. Нули числителя включаем, поскольку неравенство нестрогое, если они не запрещены исходными ограничениями. $$-\infty<t<2:\quad N\ -,\quad D\ +,\quad N/D\ -.$$ $$2<t<5:\quad N\ +,\quad D\ +,\quad N/D\ +.$$ $$5<t<8:\quad N\ +,\quad D\ -,\quad N/D\ -.$$ $$8<t<\infty:\quad N\ +,\quad D\ +,\quad N/D\ +.$$ Оставляем нужный знак, добавляем допустимые нули числителя и пересекаем с исходной областью. Именно исходной: сокращение множителя не разрешает прежний нулевой знаменатель. Получаем: $$t\in \left(0, 2\right] \cup \left(5, 8\right).$$ Возвращаемся к показателю $x$: $$t=2^x\ \Longleftrightarrow\ x=\log_{2}t.$$ Основание больше 1: логарифм возрастает и сохраняет порядок концов интервалов. Выпишем преобразование каждого конца: $$t=2\ \Longrightarrow\ x=1.$$ $$t=5\ \Longrightarrow\ x=\frac{\log{\left(5 \right)}}{\log{\left(2 \right)}}.$$ $$t=8\ \Longrightarrow\ x=3.$$ Открытые и закрытые концы сохраняем: равенство допустимо только там, где оно было разрешено в исходном неравенстве. Ответ: $$x\in \left(-\infty, 1\right] \cup \left(\frac{\log{\left(5 \right)}}{\log{\left(2 \right)}}, 3\right).$$