定積分の不等式の証明問題について教えてほしいです。グラフで証明したいのですが、正確性に欠ける気が…。

定積分の不等式の証明問題について教えてほしいです。

ㅤㅤㅤㅤㅤㅤ
∫[0,n]1/(x+1)dx＜１＋1/2＋・・・＋1/n＜１＋∫[1,n](1/x) dx を証明せよ

という問題なのですが、この問題って真ん中はn個の長方形の面積の和で

ｙ＝1/(x+1)とｙ＝1/xのグラフを書けば図から明らかになってしまいます。

しかし、グラフはイメージなので分かりやすい反面、限りがある範囲しか図示できておらず、正確性に欠ける気もします。


もっと良い証明方法はないでしょうか？分かる方おられましたら何卒ご教授いただければ幸いです。

No.2 ベストアンサー 回答者： majimelon37 回答日時： 2019/07/22 18:57

グラフのイメージを、そのまま式で表すのがよいでしょう。

∫[0,n]1/(x+1)dx＜１＋1/2＋・・・＋1/n＜１＋∫[1,n](1/x) dx＿①
の各辺は以下のように書き換えられます。
左辺=∫[0,n]1/(x+1)dx=Σ[k=0～n－1]∫[k,k+1]1/(x+1)dx＿②
中辺=１＋1/2＋・・・＋1/n=Σ[k=0～n－1]1/(k+1)＿③
=1+Σ[k=1～n－1]1/(k+1)＿④
右辺=1+∫[1,n](1/x)dx=1+Σ[k=1～n－1]∫[k,k+1]1/x)dx＿⑤
式①の左辺と中辺の比較は、②と③を比較する。
Σ[k=0～n－1]の記号は②と③で共通だから、その中身を比較する。項数が等しくnであること、和をとる最初の項と最後の項、および積分の下限と上限をよく確認する。
②の中身＝∫[k,k+1](1/x)dx＝∫[k,k+1]f(x)ｄx　f(x)＝1/x　x＝k～k+1
③の中身=1/(k+1)＝∫[k,k+1]g(x)dx　g(x)＝1/x　x＝k一定
この二つの積分の、積分される関数のf(x)とg(x)の関数形は1/xで同じだが
x＝k～k+1の範囲を動くf(x)は、x＝k一定のg(x)より小さいので
②<③が成立する。
式①の中辺と右辺の比較は、④と⑤を比較する。
初項1とΣ[k=1～n－1]の記号は④と⑤で共通だから、その中身を比較する。項数が等しくn－1であること、和をとる最初の項と最後の項、および積分の下限と上限を確認する。
④の中身＝1/(k+1)＝∫[k,k+1]f1(x)dx, f1(x)＝1/x　x＝k+1一定
⑤の中身=∫[k,k+1]1/xdx＝∫[k,k+1]g1(x)dx, g1(x)＝1/x　x＝k～k+1
この二つの積分の、積分される関数のf1(x)とg1(x)の関数形は1/xで同じだが
x＝k+1一定のf1(x)=1/(k+1)と、x＝k～k+1の範囲を動くg1(x)を比較すると、
f1の分母k+1はg1の分母より大きいので、f1はg1より小さい。よって
④<⑤が成立する。

この回答へのお礼

お礼をさせて頂きます。ご回答してくださった方ありがとうございました。感謝申し上げます。

お礼日時：2019/08/24 20:13

No.1 回答者： ありものがたり 回答日時： 2019/07/21 21:06

k<x<k+1 のとき 1/(k+1)<1/x<1/k より

1/(k+1) = ∫[k,k+1] 1/(k+1) dx < ∫[k,k+1] 1/x dx < ∫[k,k+1] 1/k dx = 1/k.