Evolton

名古屋大学 1982年度 前期日程 第2次学力試験理系数学 第1問

ab>0 とする。自然数 n1 に対し、次の不等式を証明せよ。anbnn2(ab)(an1+bn1).

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

数と式論証・証明 不等式評価対称性の利用定積分評価

方針

b>0 で割って x=ab1 に正規化する。すると不等式は等比数列の和 1+x++xn1 の評価に変わる。各 k について xkxn1k を端から組にし、(xk1)(xn1k1)0 から和を 1+xn1 で押さえる。

解答

b>0 なので x=ab とおく。このとき x1 である。求める不等式の両辺を bn で割ると xn1n2(x1)(xn1+1) を示せばよいことになる。 x=1 のときは両辺とも0であり、等号で成り立つ。以下 x>1 とする。このとき xn1=(x1)(1+x++xn1) であるから、x1>0 で割って 1+x++xn1n2(1+xn1) を示せば十分である。

任意の k=0,1,,n1 について、x1 より (xk1)(xn1k1)0 である。これを展開すると xn1xkxn1k+10 だから xk+xn1k1+xn1. この不等式を k=0,1,,n1 についてすべて足す。左辺では各項 x0,x1,,xn1 が2回ずつ現れるので 2(1+x++xn1)n(1+xn1). したがって 1+x++xn1n2(1+xn1) である。

よって xn1n2(x1)(xn1+1) が成り立ち、元の変数に戻して anbnn2(ab)(an1+bn1) が証明された。

別解

解法2(凸関数の弦で評価する)

方針

n=1 を分け、n2 では f(t)=tn1 のグラフが下に凸であることを使う。区間 [b,a] でグラフを両端を結ぶ弦の下から評価して積分する。

解答

n=1 のときは両辺が ab で等しい。以下 n2 とする。f(t)=tn1(t>0)とおくとf(t)=(n1)(n2)tn30.したがって f のグラフは、区間 [b,a] で両端を結ぶ弦の下側にある。すなわち bta に対しtn1atabbn1+tbaban1.両辺を b から a まで積分するとbatn1dtab2(an1+bn1).左辺にnbatn1dt=anbnを用いればanbnn2(ab)(an1+bn1)を得る。

総評

難度5、計算量4、目安20分。等比数列の端の項を組にする代数的証明と、下に凸な関数のグラフを弦で上から押さえる積分証明を用意した。n=1 の扱いと、b>0 による正規化の正当性も明記した。

冊子PDFで見る名大の数と式の問題で問題集を作る

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