1. 前回, 平均値の定理について述べましたが, これとは別に, 「積分の平均値の定理」と呼ばれる定理もあります. こちらは積分の性質について述べた定理です.

2. 証明は中間値の定理を用いるだけです.
アイディアは次の図の通り:

厳密に述べます:
\( f \) の \( [a,b] \) における最小値と最大値をそれぞれ \( m \) と \( M \) とする. \( m = M \) であれば \( f \) は定数であり, 任意の \( c \in (a,b) \) に対して, \[ \int_a^b f(x) \, dx = f(c) (b-a) \] である.
\( m \ne M \) とする. このとき, \[ m \le f(x) \le M \quad (\forall x \in [a,b]) \] であるが, \( f \) は恒等的に \( m \) でもなければ \( M \) でもないので, \[ \int_a^b m \, dx < \int_a^b f(x) \, dx < \int_a^b M \, dx \] が成り立つ. したがって, \[ m < \rec{b-a} \int_a^b f(x) \, dx < M \] である.
\( f \) が最小値および最大値をとる点をそれぞれ \( \a \) および \( \b \) とする: \[ f(\a) = m, \quad f(\b) = M. \] \( \a < \b \) とすると, 中間値の定理により, ある \( c \in [\a, \b] \) が存在して \[ f(c) = \rec{b-a} \int_a^b f(x) \, dx \] となる. \( c \) は \( \a \) および \( \b \) ではありえないので \( c \in (\a, \b) \) であり, したがって, \( c \in (a,b) \) である.
\( \b < \a \) としても同様である. //