東大理系数学'97年前期[2]

東大理系数学'97年前期[2]

nを正の整数、aを実数とする。すべての整数mに対して、

が成り立つようなaの範囲をnを用いて表せ。

【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。

解答　状況設定が複雑な難問です。難問はすべてパスして構わない、と、強引なことをおっしゃる先生もいますが、どの問題も難問に見えてしまうときには、手をつけるしかありません。どうやって、アプローチして行くか考えてみましょう。
この問題がどうして難問になってしまうか、と言うと、nが正の整数というだけで具体的な値が与えられていないことと、mが「すべての実数」ではなく「すべての整数」になっていることにあります。
そこで、まず、この嫌な条件設定をやめ、もう少し簡単になるように、nに具体的な数を入れ、整数mではなく、実数xとして不等式を考えてみます。

とすると、

　･･･①

がすべての実数xに対して成り立つaの範囲を求めよ、という問題になります。
左辺をxの関数とみて平方完成するのであれば(2次関数を参照)、

∴

ということになります。
本問に戻って、同じように、

すべての実数xについて

となる条件は、右辺の第2項(

とおきます)が正となることです。

なので、

　･･･②

nは正整数なので、

より、

　･･･③

という条件が得られます。
ですが、求める条件は、「すべての実数xについて」

となることではなく、「すべての整数mについて」

となることです。
②の条件を考えたのは、

が

の最小値だからです。

が最小値をとるのは、

のときです。mを整数として

の最小値を考える場合には、

は整数とは限らないので、

を満たす整数kに対して、

と

のうちの小さい方を最小値としなければいけません。
ところで、

は②の条件下で、aが③の範囲の上限と下限の値に近づくときに次第に小さくなります。

の最小値を考えるので

が最小になるところ、③の範囲の上限と下限において

の最小を調べてみます。

・

のとき、

を最小とするxの値は、

(整数)であって、最小値

について、

とすれば、

　･･･④　という条件が出てきます。

・

のときは

は整数ではありません。

，

より、

を満たす整数kは

です。

と

の大小を比較すると、

，

より、

従って、最小値

について、

∴

　･･･⑤

④，⑤より、

となります。

試験会場で実戦的には中間点狙いの上記くらいで充分だと思いますが、牽強付会の感は免れないので、厳格を期すのであれば、以下のようにします。

①の不等式を考える上で、もう一つ有効な手段があります。定数の分離という技巧です。必ず成功するという保証はありませんが、本問では有効です。
①であれば、