ロルの定理

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• 基本定理

• 関数の極限
• 連続性

• 平均値の定理
• ロルの定理

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

積分一覧
定義
不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分
Integration by
部分積分 Discs Cylindrical shells Substitution (trigonometric) 部分分数 順序 Reduction formulae

| list4name = series | list4title = テンプレート:Bigger | list4 =

幾何 (算術幾何) 調和 交代 冪 二項 テイラー
収束判定法
項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 Cauchy condensation ディリクレ アーベル

| list5name = vector | list5title = テンプレート:Bigger | list5 =

勾配 発散 回転 ラプラシアン 方向微分 公式
定理
発散 勾配 グリーン ケルビン・ストークス

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

Formalisms
行列 テンソル 外 幾何学的
定義
偏微分 多重積分 線積分 面積分 体積積分 ヤコビアン ヘッセ行列

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

• 分数階
• マリアヴァン
• 確率
• 変分

}}

ファイル:RTCalc.svg

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

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

定理

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

[math]f(a) = f(b)[/math]

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

[math]f'(c) = 0[/math]

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

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

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

歴史

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

証明

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

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

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

[math]f'(c) = \lim_{h \to 0} {f(c+h)-f(c) \over h}[/math]

である。

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

[math]f'(c) = \lim_{h \to +0} {f(c+h)-f(c) \over h} \le 0[/math]

[math]f'(c) = \lim_{h \to -0} {f(c+h)-f(c) \over h} \ge 0[/math]

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

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

いずれの場合でも f′(c) = 0 となる c ∈ (a,b) が存在することになる。

参考文献

• 杉浦光夫 『解析入門I』 東京大学出版会〈基礎数学2〉、1980年4月。ISBN 978-4-13-062005-5。
• 高木貞治 『定本　解析概論』 黒田成俊 補遺、岩波書店、2010-09-15。ISBN 978-4-00-005209-2。

関連文献

• フロリアン・カジョリ 『数学史』上・中・下、石井省吾 訳註、津軽書房、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/  （フランス語）

関連項目

• 最大値最小値定理
• 実数の連続性
• 平均値の定理
• ボルツァーノ＝ワイエルシュトラスの定理

外部リンク

• Weisstein, Eric W. “Rolle's Theorem”. MathWorld（英語）.