Evolton

東京大学 2009年度 前期日程 第2次学力試験理系数学 第5問

(1) 実数x1<x<1x0をみたすとき,次の不等式を示せ。(1x)11x<(1+x)1x(2) 次の不等式を示せ。0.9999101<0.99<0.9999100

難易度6/ 10計算量5/ 10目安20

指数・対数方程式・不等式 不等式評価、同値変形、二項定理、誘導利用

方針

(1) は両辺が正なので対数を取り、x>0x<0 を分ける。対数を含む補助関数の導関数を積分表示で評価する。(2)は(1)へ x=1/100x=1/100 を代入する。積 0.991.01=0.9999 が現れ、左右の不等式がそのまま得られる。

解答

(1)
両辺は正なので対数を取って比較できる。

まず 0<x<1 とする。示すべき不等式はlog(1+x)+(1x)log(1x)>0と同値である。そこでF(x)=log(1+x)+(1x)log(1x)とおく。F(0)=0 であり、F(x)=11+xlog(1x)1=x1+xlog(1x).0<x<1 ではlog(1x)=0x11udu>x>x1+xだから F(x)>0 である。よって F(x)>F(0)=0 となる。

次に 1<x<0 とし、y=x とおく。
このとき 0<y<1 であり、示すべき不等式はlog(1y)+(1+y)log(1+y)<0と同値である。そこでG(y)=log(1y)+(1+y)log(1+y)とおく。G(0)=0 であり、G(y)=11y+log(1+y)+1=log(1+y)y1y.0<y<1 ではlog(1+y)=0y11+udu<y<y1yだから G(y)<0 である。よって G(y)<G(0)=0 となる。

以上から、1<x<1x0(1x)11x<(1+x)1xが成り立つ。

(2)
(1)へ x=1/100 を代入すると(99100)99<(101100)100.両辺へ (99/100)100 を掛けて99100<(99100101100)100=0.9999100.したがって0.99<0.9999100.次に (1)へ x=1/100 を代入すると(101100)101<(99100)100.両辺へ (99/100)101 を掛けて(99100101100)101<99100.したがって0.9999101<0.99.以上より0.9999101<0.99<0.9999100.

別解

解法2(単一の補助関数と二項評価)

方針

(1) は対数差を F(x)/x とまとめ、F の符号からF が全区間で狭義増加することを示す。(2)は(1)に頼らず、右側をベルヌーイ型評価、左側を二項展開の交代項で挟む。

解答

(1)
対数を取った右辺と左辺の差は1xlog(1+x)(11x)log(1x)=log(1+x)+(1x)log(1x)x.そこでF(x)=log(1+x)+(1x)log(1x)とおく。F(0)=0 であり、F(x)=x1+xlog(1x),F(x)=1(1+x)2+11x=x(x+3)(1x)(1+x)2.したがって F(x)<0 (1<x<0)
F(x)>0 (0<x<1) であり、F(0)=0 だからF(x)>0(1<x<1, x0).よって F は狭義増加し、x<0F(x)<0,x>0F(x)>0.いずれの場合も F(x)/x>0 である。したがって対数を取った右辺が
左辺より大きく、(1x)11x<(1+x)1xが示された。

(2)
y=104 とおく。まずH(y)=(1y)100(1100y)とおけば H(0)=0 で、H(y)=100{1(1y)99}>0(0<y<1).したがって0.9999100=(1y)100>1100y=0.99.一方、二項展開により(1y)101=1101y+101C2y2101C3y3+y101.j 項と第 j+1 項の絶対値の比は101Cj+1yj+1101Cjyj=101jj+1y50104<1(j1).したがって第3次項以降は、負から始まり絶対値が減少する交代和である。
よって(1y)101<1101y+101C2y2=110110000+5050108=0.9899505<0.99.以上より0.9999101<0.99<0.9999100.

総評

難度は10段階中6、計算量は10段階中5。目安時間は20分程度で、(1)では正の両辺へ対数を取り、x の符号を安全に処理する。符号別の補助関数でも、対数差を F(x)/x とまとめる方法でも証明できる。(2)の出題意図は (1) に x=±1/100 を代入し、0.991.01=0.9999 を作ることである。この誘導解法を主解とし、近似に頼らない独立確認としてベルヌーイ型評価と二項展開も収録した。小数の丸めだけで大小を主張してはならない。

冊子PDFで見る東大の指数・対数の問題で問題集を作る

出典: 東京大学 2009年度 前期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。