問題
関数を考える.
(1) 関数がつねに増加するための,の条件を求め,その範囲を平面上に図示せよ.
(2) のとき,関数がにおいてつねに増加するためのの条件を求めよ.
(3) 関数がにおいてつねに増加するための,の条件を求め,その範囲を平面上に図示せよ.
方針
増加条件は導関数 が対象区間で常に非負であることに直す。(1)では が2次式なので、全実数で非負となる条件を、上に開くことと判別式が0以下であることから求める。ただし の退化も確認する。(2)は の1次式を で調べる。(3)では と置いて半直線上の2次式 の最小値を調べ、、、 で頂点が範囲内に入るかを分ける。
解答
(1)
である。 がすべての実数でつねに増加するための必要十分条件は、すべての実数 について となることである。
まず のとき、 である。これが全実数で非負となるには傾きが0でなければならないので である。このとき で条件を満たす。
次に のとき、2次式が全実数で非負となるには判別式が0以下であればよい。判別式を4で割ったものは である。よって条件は すなわち である。この条件は の場合には だけを含む。したがって求める範囲は であり、 平面では中心 、半径1の円の内部および周である。
(2)
のとき である。 とおくと、 は であり、 となる。
もし なら、 で は負になるので不可である。 のとき、この式は について増加または一定であり、 での値は に近づく。したがって全ての で非負となる条件は である。よって である。
(3)
とおくと であり、 となる。この2次式を とおく。 なら、 で となるため条件を満たさない。 のときは(2)より である。
以下 とする。 の頂点の 座標は である。まず のとき、頂点は 側にあるので、 での最小は の近くで決まる。したがって必要十分条件は であり、 を得る。
次に のとき、頂点は にあるので、頂点での値が非負であることが必要十分である。すなわち である。 だから整理して すなわち である。
以上より、求める条件は または に、 を合わせたものである。まとめて書けば、 平面で、線分 、三角形部分 、および円 のうち の部分を合わせた範囲である。