以下、特に断らない限りf,gは実数上の実数値関数とする。 Rolle's Theorem 関数fを[a,b]上で連続, (a,b)で微分可能で、とする。 このとき、a < c < b でを満たすcが存在する。 (proof) ならば自明。以下とする。 fは有界区間上の連続関数だから、最大値と最…