すべての実数で成り立つ条件(恒等式と絶対不等式)
文: KOSNiZ·最終更新: 2026年11月9日
「すべての実数 について成り立つ」という条件は、等式についての問題か不等式についての問題かで解き方が異なります。等式なら恒等式として係数を比較し、不等式なら関数の最小値や判別式で条件を立てます。どちらの問題も を変数、 などの文字を定数として扱う点は共通です。
等式なら恒等式: 係数を比較する
の多項式の等式がすべての で成り立つなら、両辺の同じ次数の係数はそれぞれ等しくなります。たとえば、 がすべての実数 で成り立つ条件は、 の係数と定数項がどちらも になることです。
これを解いて 、 です。
係数比較の代わりに、 に具体的な値を代入して条件を導く方法(数値代入法)もあります。 と を代入すると 、 となり、同じ解が得られます。ただし、数値代入で得られるのは必要条件です。求めた値を元の式に代入して、すべての で成り立つことを確認してから結論にしてください。 次以下の式なら、異なる 個の値で成り立てば恒等式になるので、代入した値の個数で十分性を説明することもできます。
恒等式は式と証明の恒等式と係数比較と、難関の数値代入による恒等式の係数決定で練習できます。
不等式なら絶対不等式: 判別式と2次の係数
2次不等式 がすべての実数 で成り立つ条件は、放物線 が常に 軸より上にあることです。下に凸()で、 軸と共有点をもたない(判別式 )ことが条件になります。
注意が必要なのは、2次の係数が文字を含む場合です。 がすべての実数 で成り立つような定数 の範囲を求めます。
のとき、不等式は となり、すべての では成り立ちません。 のとき、条件は かつ です。 と因数分解できるので、 は または となります。 との共通部分をとって、求める範囲は です。
最初の の確認を省くと、2次式でない場合を見落とします。2次の係数に文字があるときは、その係数が になる場合を先に確認してください。2次方程式・2次不等式の絶対不等式(すべての実数で成り立つ条件)と、標準・難関の同じ型の問題がこの練習になります。
範囲が限られているときは最小値で考える
「 のすべての で成り立つ」のように範囲が限られると、判別式は使用できません。放物線が範囲の外で 軸と交わっても、範囲内で正なら条件を満たすからです。この場合は、範囲内の最小値が正であることを条件にします。
が で常に成り立つ の範囲を考えます。軸は で、軸の位置によって最小値が異なります。
- のとき、最小値は で、常に正です。
- のとき、最小値は で、 から 、場合の条件との共通部分は です。
- のとき、最小値は で、 から となり、条件を満たす はありません。
3つの場合を総合して、求める範囲は です。軸の位置による場合分けは2次関数のグラフと最大・最小と同じ手順で、答案の形式は場合分けの考え方と答案の書き方に整理してあります。
2次式でないときは微分で最小値を求める
不等式が3次式や指数関数を含む場合も、考え方は同じです。 がすべての で成り立つことは、 の最小値が 以上であることと同値なので、微分して増減を確認し、最小値を求めます。最難関編のすべての実数で成り立つ不等式は、微分の考えでこの手順を用いる問題です。
文字定数を分離できるなら、定数分離で「 がすべての で成り立つ は の最小値以下」と言い換える方法も有効です。
「すべての 」と「ある 」の違い
「すべての で 」は最小値が正、「ある で 」(少なくとも1つの で成り立つ)は最大値が正であることが条件です。問題文の「常に」「任意の」は前者、「少なくとも1つ」「ある」「〜となる が存在する」は後者を表します。
2次不等式 がある で成り立つ条件は、 ならいつでも成り立ち、 なら です。「すべての 」の条件と混同すると判別式の不等号が反対になるので、最初に問題文がどちらの意味かを確認してください。
つまずきやすいところ
恒等式の問題では、数値代入法で値を求めたあと十分性の確認を省く誤りがよくあります。絶対不等式では、2次の係数が になる場合の確認漏れと、範囲つきの問題に判別式を用いる誤りが典型です。 と の違いで、 と のどちらになるかも区別してください。
関連する記事
2次関数の最大・最小と判別式の関係は2次方程式・2次不等式の解説に、数学Iの全体の構成は数学Iの勉強法と7単元の役割に整理してあります。