ラグランジュの平均値の定理は、区間 で連続， で微分可能な関数 に対して， を満たす が と の間に存在する。(i) が定数関数のとき、 任意のにたいしてが成立(ii) が定数関数でないとき、 で、区間における の最大値，最小値をそれぞれ とすると だから、な…