Rolleの定理
始点と終点が同じ高さなら、途中で途切れていない限りどこかに必ず傾き0の地点が存在することを示している定理
境界以外で微分可能であることが条件
境界で微分可能な必要がないのは、$ x\mapsto\sqrt{1-x^2}のような、境界で接線が垂直になる関数にも定理を適用できるようにするため
直線の場合は任意の点がそうなる
直線でない場合はどこかに必ず折り返しが発生し、それが傾き0の地点となる
定理
$ \forall a\in\R\forall b\in\R_{> a}\forall f:[a,b]\to\R:
$ \begin{dcases}f\text{は連続}\\f\text{は}\rbrack a,b\lbrack\text{で微分可能}\\f(a)=f(b)\end{dcases}\implies\exist c\in\rbrack a,b\lbrack:f'(c)=0
証明
方針
あとはその点で傾きが0なることを示せればいい
road map
References