ロルの定理(ロルのていり、: Rolle's theorem)とは、解析学における定理である。直観的には、微分可能実関数が相異なる2点で同じ値を取るとき、その2点間にグラフの傾きが0になるところがあるという定理である。

実数値関数 ƒ閉区間 [a, b] 上で連続であり、開区間 (a, b) 上で微分可能であり、さらに区間の端点で ƒ(a) = ƒ(b) のとき、ƒ′(c) = 0 を満たす c が開区間 (a, b) に存在する。

定理

編集

有界閉区間 [a, b] 上で定義された連続関数 ƒ(x)開区間 (a, b)微分可能であり

 

を満たすとき、導関数 ƒ′(x) は、開区間 (a, b) 上に零点を持つ。

すなわち、

 を満たす c(a, b) が存在する。

この定理は、c の位置を具体的に特定する定理ではなく、また、c は1つとは限らない。条件を満たす c が1個以上存在するということを保証する存在定理である。

ロルの定理は後にラグランジュコーシーによって示される微分法における平均値の定理の特殊な場合であり、また、平均値の定理などの証明にも使われる基本的な定理である。

歴史

編集

12世紀インド天文学者バースカラ2世がロルの定理と同じ内容の定理を述べた[1]。現在知られている形では、1690年にフランス数学者ミシェル・ロルが著書の『代数学』(Traite d'algebre) で最初に定理を発表し[2]、1691年に定理の証明を発表した[3]。「ロルの定理」という名称は、1834年にドイツの数学者モーリッツ・ヴィルヘルム・ドロビッシュ英語版が最初に使用したものであり、1846年にイタリアの数学者ジュストロ・ベラヴィティス英語版も使用した[4]

証明

編集

ƒ(x)x によらない定数であれば、任意の x(a, b) に対して ƒ′(x) ≡ 0 となる。

ƒ(x) が定数でないとする。ƒ(d) ≠ ƒ(a) となる d[a, b] が存在する。ƒ(x) は有界閉区間 [a, b] 上で連続なので [a, b] 上で最大値および最小値を取る(最大値最小値定理)。

ƒ(d) > ƒ(a) のとき

f(x)[a, b] 上で最大値をとるので、f(c)=Maxf(x) となる点 c[a, b] が存在する。このとき、a < c < b であるから、(a, b) において ƒ(x) が微分可能であることから、x = c において微分係数 ƒ′(c) が存在し

 

である。

ƒ(c) が最大値であることから分子は 0 以下であるので、

 
 

となる。したがって ƒ′(c) = 0 である。

ƒ(d) < ƒ(a) であるときも同様にして最小値を取る点 c(a, b)ƒ′(c) = 0 となることが分かる。

いずれの場合でも ƒ′(c) = 0 となる c(a, b) が存在することになる。(Q.E.D)

脚注

編集

参考文献

編集
  • 杉浦光夫解析入門I』東京大学出版会〈基礎数学2〉、1980年4月。ISBN 978-4-13-062005-5https://www.utp.or.jp/bd/978-4-13-062005-5.html 
  • 高木貞治定本 解析概論黒田成俊 補遺、岩波書店、2010年9月15日、51頁。ISBN 978-4-00-005209-2http://www.iwanami.co.jp/.BOOKS/00/8/0052090.html 

関連文献

編集

関連項目

編集

外部リンク

編集