中間値の定理
fは閉区間[a,b]で連続とする。
yをf(a)とf(b)の間の任意の実数とすると、y=f(c)となるc∈[a,b]が存在する。