ロルの定理

3行要約

1. 関数が2点で同じ値をとる時、その間で微分係数が0になる点が少なくとも1つある。
2. 微分可能な関数において、極値の存在を保証する解析学の基本的な性質である。
3. 平均値の定理を証明するための特殊なケースとして、数学教育で必ず扱われる。