東京大学 1997年度
理系数学 第2問
- 試験区分
- 前期日程 第2次学力試験
- 対象
- 理科一類・理科二類・理科三類
- 分野
- 整数、方程式・不等式
- 解法
- 必要十分条件、範囲評価、場合分け
- 難易度
- 6 / 10 計算量 5 / 10 目安 18分
問題
nを正の整数,aを実数とする。すべての整数mに対して
m2−(a−1)m+2n+1n2a>0
が成り立つようなaの範囲をnを用いて表せ。
出典:東京大学 1997年度 前期日程 第2次学力試験 理系 第2問
方針
与式をm(m+1)+a(2n+1n2−m)と書き、aについて一次式として見る。m=0とm=nから必要条件0<a<2n+1が出る。十分性では整数mを、m≦0、0<m≦2n+1n2、m>2n+1n2に分け、最後の範囲ではa<2n+1を使って(m−n)2で下から評価する。
解答
与えられた式を m2−(a−1)m+2n+1n2a=m(m+1)+a(2n+1n2−m) と書く。
まず必要条件を求める。m=0を代入すると 2n+1n2a>0 である。nは正の整数なので a>0 が必要である。またm=nを代入すると n(n+1)+a(2n+1n2−n)>0 である。ここで 2n+1n2−n=−2n+1n(n+1) だから n(n+1)−a2n+1n(n+1)>0 である。したがって a<2n+1 が必要である。
次に、0<a<2n+1 ならばすべての整数mで与式が正になることを示す。 m≦0のとき、整数mについて m(m+1)≧0 であり、さらに 2n+1n2−m>0 である。a>0より与式は正である。 m>0かつ m≦2n+1n2 のとき、m(m+1)>0であり、第2項も0以上である。したがって与式は正である。
最後に m>2n+1n2 とする。このとき 2n+1n2−m<0 である。a<2n+1を負の数に掛けると不等号の向きが逆になるので
a(2n+1n2−m)>(2n+1)(2n+1n2−m)
である。したがって与式は m(m+1)+(2n+1)(2n+1n2−m) より大きい。この右辺は m2+m+n2−(2n+1)m=m2−2nm+n2=(m−n)2 である。よって与式は(m−n)2より大きく、特に正である。
以上より、求める範囲は 0<a<2n+1 である。
別解。各mごとのaの条件として見てもよい。c=2n+1n2とおくと、条件は m(m+1)+a(c−m)>0 である。m=0からa>0が出る。m>cでは a<m−cm(m+1) が必要であるが、m−cm(m+1)−(2n+1)=m−c(m−n)2≧0 である。したがって上限として最も厳しいのはm=nのa<2n+1であり、同じ結論を得る。