主張 関数 f が閉区間 [a,b] で連続、開区間 (a,b) で微分可能であり、以下を満たすとする。 f(a)=f(b) このとき、ある点 c∈(a,b) が存在して、以下が成り立つ。 f′(c)=0 証明