Я думаю, что все правильно. Более того, имхо, даже условие
![$t>0$ $t>0$](https://dxdy-03.korotkov.co.uk/f/e/c/2/ec2b6a3dd78e3d7ba87ab5db40c0943682.png)
писать не обязательно. Можно тупо
синтаксически заменить все вхождения
![$2^x$ $2^x$](https://dxdy-04.korotkov.co.uk/f/b/9/5/b9507ea95f6fa713288fccafa706ea2882.png)
(как
выражения) на
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
и затем решать неравенство с
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
. Даже если бы получилось что-нибудь типа
![$t \leqslant -4$ $t \leqslant -4$](https://dxdy-03.korotkov.co.uk/f/2/b/9/2b96754bb0c57b401f00191985c65f3a82.png)
, то далее мы все равно бы имели право написать "
![$2^x \leqslant -4$ $2^x \leqslant -4$](https://dxdy-04.korotkov.co.uk/f/7/0/9/709386ff7117786bb68df7da21328e3582.png)
, корней нет".
В школе хорошо учат контролировать ОДЗ, но есть и более важный навык - понимать, когда ОДЗ контролировать не надо.
-- 12.02.2024, 13:25 --Тут случайно так получилось, что пропажа условия не повлияла на ответ. Могло быть иначе (для задач такого типа).
Можно пример? Спрашиваю, потому что по-моему иначе быть не может. Я имею в виду следующее. Неравенство - это предикат, в данном случае от одной переменной
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и над
![$\mathbb R$ $\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/c/0/bc0baa1bd1772406881ea71a3524054d82.png)
. Любой такой предикат в общем виде можно записать как
![$P(x)$ $P(x)$](https://dxdy-02.korotkov.co.uk/f/5/2/b/52be0087c9da1f0683ccc50761e8bcab82.png)
. Он выделяет некоторое
![$M \subset \mathbb R$ $M \subset \mathbb R$](https://dxdy-01.korotkov.co.uk/f/4/0/c/40c4d8fc71400adc3d8c803fdefcd47182.png)
(тех и только тех чисел, которые удовлетворяют этому предикату). Если все вхождения переменной в предикат входят вместе с некоторой своей "окрестностью" (т.е. в составе другого подвыражения), то это подвыражение можно
чисто синтаксически заменить на новую букву (в данном случае
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
), и исследовать после этого предикат
![$Q(t)$ $Q(t)$](https://dxdy-02.korotkov.co.uk/f/d/6/9/d69121067a56fe24c776da84ee259fbe82.png)
(предикат, полученный заменой в предикате
![$P(x)$ $P(x)$](https://dxdy-02.korotkov.co.uk/f/5/2/b/52be0087c9da1f0683ccc50761e8bcab82.png)
всех вхождений подвыражений, содержащих
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
, на
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
).