平均値の定理   関連問題
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
ロール(Rolle)の定理:関数 が、閉区間
が、閉区間 において連続かつ、開区間
において連続かつ、開区間 において微分可能なとき、
において微分可能なとき、 が成り立つならば、
が成り立つならば、 ,
, を満たすcが存在する。
を満たすcが存在する。
[証明]  は
は において連続だから、最大値・最小値の定理により、この範囲に最大値、最小値をもちます。
において連続だから、最大値・最小値の定理により、この範囲に最大値、最小値をもちます。 ,
, として、
として、 が最大値、
が最大値、 が最小値だとします。
が最小値だとします。
・ のとき、最小値は最大値以下なので
のとき、最小値は最大値以下なので です。
です。  なら、
なら、 は
は においてつねに
においてつねに (
 ( は定数関数)ということなので、
は定数関数)ということなので、 ,つまり、
,つまり、 であり、
であり、 を満たす任意のcについて、
を満たす任意のcについて、 です。
です。
・ だとします。
だとします。 です。
です。  ,
, のとき、
のとき、 が最小値なので、
が最小値なので、 であって、
であって、
∴  ・・・@
 ・・・@
 ,
, のとき、
のとき、 が最小値なので、
が最小値なので、 であって、
であって、 (
 ( に注意)∴
に注意)∴  ・・・A
 ・・・A
 は微分可能なので、@,Aより、
は微分可能なので、@,Aより、 において、
において、
∴  よって、
よって、 とすれば、
とすれば、 ,
, を満たすcが存在します。
を満たすcが存在します。
・ のとき、
のとき、 です。
です。  ,
, のとき、
のとき、 が最大値なので、
が最大値なので、 であって、
であって、
∴  ・・・@
 ・・・@
 ,
, のとき、
のとき、 が最大値なので、
が最大値なので、 であって、
であって、 (
 ( に注意)∴
に注意)∴  ・・・A
 ・・・A
 は微分可能なので、
は微分可能なので、 において、
において、 (∵ @,A)∴
 (∵ @,A)∴  よって、
よって、 とすれば、
とすれば、 ,
, を満たすcが存在します。
を満たすcが存在します。
以上より、 ,
, を満たすcが存在します。 (証明終)
を満たすcが存在します。 (証明終)
ラグランジュ(Lagrange)の平均値の定理:関数 が、閉区間
が、閉区間 において連続かつ、開区間
において連続かつ、開区間 において微分可能なとき、
において微分可能なとき、
 ,
,
注.この定理が、高校の教科書・参考書に「平均値の定理」として載っている定理です。
[証明] 関数: は、閉区間
は、閉区間 において連続かつ、開区間
において連続かつ、開区間 において微分可能な関数であり、
において微分可能な関数であり、
 ,
, より、
より、
よって、 はロールの定理の要件を満たすので、ロールの定理より、
はロールの定理の要件を満たすので、ロールの定理より、 ,
, を満たすcが存在します。
を満たすcが存在します。
 より、
より、 のとき、
のとき、
よって、 ,
, を満たすcが存在します。 (証明終)
を満たすcが存在します。 (証明終)
 平均値の定理の左辺は、
平均値の定理の左辺は、 のグラフ上の2点A
のグラフ上の2点A ,B
,B を結ぶ直線の傾きで、平均変化率です。
を結ぶ直線の傾きで、平均変化率です。
 という範囲の中で両端を結ぶ直線ABと平行な接線をこの範囲の中のどこかで引くことができる、というのが、平均値の定理の視覚的意味です。覚えるときは、文字情報で覚えないで、視覚的意味の方を覚えましょう。
という範囲の中で両端を結ぶ直線ABと平行な接線をこの範囲の中のどこかで引くことができる、というのが、平均値の定理の視覚的意味です。覚えるときは、文字情報で覚えないで、視覚的意味の方を覚えましょう。
例.不等式: を示す。
を示す。
 は
は において微分可能な関数。
において微分可能な関数。

平均値の定理より、 として、
として、 ,
, を満たすcが存在する。
を満たすcが存在する。
 より、
より、
∴ 
コーシー(Cauchy)の平均値の定理:関数 ,
, が、閉区間
が、閉区間 において連続かつ、開区間
において連続かつ、開区間 において微分可能で、
において微分可能で、 ,
, であるとき、
であるとき、
 ,
,
を満たすcが存在する。
[証明] 関数: は、閉区間
は、閉区間 において連続かつ、開区間
において連続かつ、開区間 において微分可能な関数であり、
において微分可能な関数であり、
 ,
, より、
より、
よって、 はロールの定理の要件を満たすので、ロールの定理より、
はロールの定理の要件を満たすので、ロールの定理より、 ,
, を満たすcが存在します。
を満たすcが存在します。
 より、
より、 のとき、
のとき、
よって、 ,
, を満たすcが存在します。 (証明終)
を満たすcが存在します。 (証明終)
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
  数学基礎事項TOP  数学TOP  TOPページに戻る
【広告】ここから広告です。ご覧の皆さまのご支援ご理解を賜りたく、よろしくお願いいたします。
【広告】広告はここまでです。
 
各問題の著作権は
出題大学に属します。©2005-2024(有)りるらる 苦学楽学塾 随時入会受付中!理系大学受験ネット塾苦学楽学塾(ご案内はこちら)ご入会は、
まず、こちらまでメールを
お送りください。