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

Нужно определить, где дробь неотрицательна. Начнём со знаменателя: он является квадратом, но его нули нужно исключить. Введём временно $u=2^{x^2}>0$. Тогда: $$4^{x^2}-8\cdot2^{x^2}+16=u^2-8u+16=(u-4)^2.$$ Последнее равенство проверяется раскрытием квадрата $(u-4)^2=u^2-2\cdot4u+16$. Поэтому знаменатель нулевой только при: $$u=4\ \Longleftrightarrow 2^{x^2}=2^2\ \Longleftrightarrow x^2=2\ \Longleftrightarrow x=\pm\sqrt2.$$ На остальных $x$ знаменатель положителен. Значит, исходное неравенство равносильно неотрицательности числителя, с сохранением запретов: Теперь все исходные преобразования свели задачу к одной рациональной дроби: $$x^{3} + x^{2} - x - 1\ge0.$$ Приведение к общему знаменателю даёт числитель и знаменатель: $$N=x^{3} + x^{2} - x - 1,\qquad D=1.$$ Разберём числитель; факторизацию выведем, чтобы не угадывать её. По теореме о рациональном корне можно проверять дроби, у которых числитель делит свободный член, а знаменатель — старший коэффициент. Проверим $1$: $$P(1)=1\cdot\left(1\right)^{3}+1\cdot\left(1\right)^{2}+-1\cdot\left(1\right)^{1}+-1\cdot\left(1\right)^{0}=0.$$ Раз корень найден, делим многочлен на $x - 1$. На каждом шаге делим старшие члены, умножаем делитель и вычитаем: $$\frac{x^{3}}{x}=x^{2},$$ $$x^{2}\left(x - 1\right)=x^{3} - x^{2},$$ $$\left(x^{3} + x^{2} - x - 1\right)-\left(x^{3} - x^{2}\right)=2 x^{2} - x - 1.$$ $$\frac{2 x^{2}}{x}=2 x,$$ $$2 x\left(x - 1\right)=2 x^{2} - 2 x,$$ $$\left(2 x^{2} - x - 1\right)-\left(2 x^{2} - 2 x\right)=x - 1.$$ $$\frac{x}{x}=1,$$ $$1\left(x - 1\right)=x - 1,$$ $$\left(x - 1\right)-\left(x - 1\right)=0.$$ $$x^{3} + x^{2} - x - 1=\left(x - 1\right)\left(x^{2} + 2 x + 1\right).$$ Для оставшегося квадратного трёхчлена вычислим дискриминант: $$D=(2)^2-4\cdot(1)\cdot(1)=0.$$ $$x_{1,2}=\frac{-(2)\pm\sqrt{0}}{2\cdot(1)}.$$ $$x\in\left\{-1\right\}.$$ Итак, для исследования знака получена дробь: $$\frac{\left(x - 1\right) \left(x + 1\right)^{2}}{1}\ge0.$$ Применим метод интервалов. У линейного множителя $t-r$ знак минус слева от $r$ и плюс справа; положительный постоянный множитель знак не меняет. Чётная степень ненулевого множителя положительна по обе стороны от корня. Нули знаменателя всегда запрещены. Нули числителя включаем, поскольку неравенство нестрогое, если они не запрещены исходными ограничениями. $$-\infty<x<-1:\quad N\ -,\quad D\ +,\quad N/D\ -.$$ $$-1<x<1:\quad N\ -,\quad D\ +,\quad N/D\ -.$$ $$1<x<\infty:\quad N\ +,\quad D\ +,\quad N/D\ +.$$ Оставляем нужный знак, добавляем допустимые нули числителя и пересекаем с исходной областью. Именно исходной: сокращение множителя не разрешает прежний нулевой знаменатель. Получаем: $$x\in \left\{-1\right\} \cup \left[1, \sqrt{2}\right) \cup \left(\sqrt{2}, \infty\right).$$ Ответ: $$x\in \left\{-1\right\} \cup \left[1, \sqrt{2}\right) \cup \left(\sqrt{2}, \infty\right).$$