Застряли на этом? Решите с помощью ИИ
Algebra · real student question

Неравенство m − x² ≤ 1 − x имеет положительное решение. Какие значения может принимать m?

Question

Известно, что неравенство

m−x2≤1−xm-x^{2}\le 1-x

имеет хотя бы одно положительное решение xx. Какие значения может принимать mm?

Step-by-step solution

  1. Выражаем параметр, а не переменную. Раз вопрос про mm, решаем неравенство относительно mm:

    m−x2≤1−x ⟺ m≤x2−x+1m-x^{2}\le 1-x\ \Longleftrightarrow\ m\le x^{2}-x+1

    Теперь условие читается так: существует x>0x>0, для которого m≤f(x)m\le f(x), где f(x)=x2−x+1f(x)=x^{2}-x+1.

  2. Переводим «существует» в условие на множество значений. Значение mm годится тогда и только тогда, когда mm не превосходит какое-нибудь значение ff при x>0x>0, то есть когда

    m≤sup⁡x>0f(x)m\le \sup_{x>0}f(x)

    Этот шаг и решает всю задачу; именно здесь нельзя путать «имеет решение» (квантор существования) с «выполняется при всех x>0x>0» (квантор всеобщности). Для второго варианта потребовалось бы m≤min⁡x>0f(x)m\le\min_{x>0}f(x).

  3. Исследуем ff на положительной полуоси. Выделяя полный квадрат,

    f(x)=x2−x+1=(x−12)2+34f(x)=x^{2}-x+1=\left(x-\frac12\right)^{2}+\frac34

    видим, что минимум ff равен 34\tfrac34 и достигается при x=12x=\tfrac12 (эта точка лежит в области x>0x>0), а f(x)→+∞f(x)\to+\infty при x→+∞x\to+\infty. Значит, множество значений ff при x>0x>0 — это [34,+∞)\left[\tfrac34,+\infty\right), сверху не ограниченное.

  4. Применяем полученный критерий. Так как sup⁡x>0f(x)=+∞\sup_{x>0}f(x)=+\infty, условие m≤f(x)m\le f(x) выполнимо всегда: каким бы ни было mm, достаточно взять настолько большой xx, чтобы x2−x+1≥mx^{2}-x+1\ge m.

    m∈Rm\in\mathbb{R}

  5. Предъявляем конкретный пример решения. Для любого mm возьмём x=max⁡(1,m)x=\max(1,m). Тогда f(x)=x2−x+1=x(x−1)+1≥1f(x)=x^{2}-x+1=x(x-1)+1\ge 1, а при x≥1x\ge 1 ещё и f(x)≥x≥mf(x)\ge x\ge m, так что этот xx и есть положительное решение. Например, при m=100m=100 подходит x=100x=100, ведь 1002−100+1=9901≥100100^{2}-100+1=9901\ge 100.

  6. Сравниваем с версией «при всех x». Если бы в условии говорилось, что неравенство выполняется для каждого x>0x>0, ответом было бы m≤34m\le\tfrac34 — минимум, а не супремум. Правильное прочтение квантора и составляет всю трудность этой задачи.

Answer

m∈R (подходит любое действительное m)m\in\mathbb{R}\ \text{(подходит любое действительное } m \text{)}

Need to solve a different problem like this? Open the solver →