ロルの定理

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

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

定理

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

${\displaystyle f(a)=f(b)}$

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

すなわち、

${\displaystyle f'(c)=0}$を満たす 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) が存在し

${\displaystyle f'(c)=\lim _{h\to 0}{f(c+h)-f(c) \over h}}$

である。

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

${\displaystyle f'(c)=\lim _{h\to +0}{f(c+h)-f(c) \over h}\leq 0}$

${\displaystyle f'(c)=\lim _{h\to -0}{f(c+h)-f(c) \over h}\geq 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-5。https://www.utp.or.jp/bd/978-4-13-062005-5.html。 
• 高木貞治『定本　解析概論』黒田成俊 補遺、岩波書店、2010年9月15日、51頁。ISBN 978-4-00-005209-2。http://www.iwanami.co.jp/.BOOKS/00/8/0052090.html。 

関連文献

• フロリアン・カジョリ『数学史』 上・中・下、石井省吾 訳註、津軽書房、1970-1975。 
• Gupta, R.C. (1997-07-31), Selin, Helaine, ed., Encyclopaedia of the History of Science, Technology, and Medicine in Non-Westen Cultures, Springer Science & Business Media, p. 156, ISBN 978-0-7923-4066-9, https://books.google.com/books?id=raKRY3KQspsC&pg=PA156  （英語）
• Rolle, Michel (1690) (PDF), Traité d'algèbre ou principes généraux pour résoudre les questions de mathématique, Paris: Chez Estienne Michallet, p. 125, http://www.e-rara.ch/doi/10.3931/e-rara-16898  （フランス語）
• Rolle, Michel (1691) (PDF), Démonstration d'une méthode, pour résoudre les égalitez de tous les degrez, Paris: J. Cusson, p. 20, http://gallica.bnf.fr/ark:/12148/bpt6k58202643/  （フランス語）

関連項目

外部リンク

• 世界大百科事典 第2版『ロルの定理』 - コトバンク
• Weisstein, Eric W. "Rolle's Theorem". mathworld.wolfram.com (英語).

ウィキメディア・コモンズには、ロルの定理に関連するカテゴリがあります。