Известно, что неравенство
имеет хотя бы одно положительное решение . Какие значения может принимать ?
Выражаем параметр, а не переменную. Раз вопрос про , решаем неравенство относительно :
Теперь условие читается так: существует , для которого , где .
Переводим «существует» в условие на множество значений. Значение годится тогда и только тогда, когда не превосходит какое-нибудь значение при , то есть когда
Этот шаг и решает всю задачу; именно здесь нельзя путать «имеет решение» (квантор существования) с «выполняется при всех » (квантор всеобщности). Для второго варианта потребовалось бы .
Исследуем на положительной полуоси. Выделяя полный квадрат,
видим, что минимум равен и достигается при (эта точка лежит в области ), а при . Значит, множество значений при — это , сверху не ограниченное.
Применяем полученный критерий. Так как , условие выполнимо всегда: каким бы ни было , достаточно взять настолько большой , чтобы .
Предъявляем конкретный пример решения. Для любого возьмём . Тогда , а при ещё и , так что этот и есть положительное решение. Например, при подходит , ведь .
Сравниваем с версией «при всех x». Если бы в условии говорилось, что неравенство выполняется для каждого , ответом было бы — минимум, а не супремум. Правильное прочтение квантора и составляет всю трудность этой задачи.
Need to solve a different problem like this? Open the solver →