thumb|300 px|right|実数値関数 が閉区間 上で連続であり、開区間 上で微分可能であり、さらに区間の端点で のとき、 を満たす が開区間 に存在する。
ロルの定理（ロルのていり、）とは、解析学における定理である。直観的には、微分可能な実関数が相異なる2点で同じ値を取るとき、その2点間にグラフの傾きが0になるところがあるという定理である。
定理 有界閉区間 上で定義された連続関数 が開区間 で微分可能であり
を満たすとき、導関数 は、開区間 上に零点を持つ。
すなわち、
を満たす が存在する。
この定理は、 の位置を具体的に特定する定理ではなく、また、 は1つとは限らない。条件を満たす が1個以上存在するということを保証する存在定理である。
ロルの定理は後にラグランジュやコーシーによって示される微分法における平均値の定理の特殊な場合であり、また、平均値の定理などの証明にも使われる基本的な定理である。
歴史 12世紀にインドの天文学者バースカラ2世がロルの定理と同じ内容の定理を述べた。現在知られている形では、1690年にフランスの数学者ミシェル・ロルが著書の『代数学』(Traite d'algebre) で最初に定理を発表し、1691年に定理の証明を発表した。「ロルの定理」という名称は、1834年にドイツの数学者が最初に使用したものであり、1846年にイタリアの数学者も使用した。
証明 が によらない定数であれば、任意の に対して となる。
が定数でないとする。 となる が存在する。 は有界閉区間 上で連続なので 上で最大値および最小値を取る（最大値最小値定理）。
・ のとき
が 上で最大値をとるので、 となる点 が存在する。このとき、 であるから、 において が微分可能であることから、 において微分係数 が存在し
である。
が最大値であることから分子は 0 以下であるので、
となる。したがって である。
であるときも同様にして最小値を取る点 で となることが分かる。
いずれの場合でも となる が存在することになる。(Q.E.D)
脚注
参考文献
関連文献
関連項目
微分 最大値最小値定理 実数の連続性 平均値の定理 ボルツァーノ＝ワイエルシュトラスの定理
外部リンク