関数 $f$ が閉区間 $[a, b]$ で連続であり、開区間 $(a, b)$ で微分可能である。また、開区間 $(a, b)$ で $f'(x) > 0$ とする。このとき、$f(b) > f(a)$ となることを示す。
2025/7/23
1. 問題の内容
関数 が閉区間 で連続であり、開区間 で微分可能である。また、開区間 で とする。このとき、 となることを示す。
2. 解き方の手順
平均値の定理を用いる。
平均値の定理より、ある が存在して、
f'(c) = \frac{f(b) - f(a)}{b - a}
が成り立つ。
ここで、 (仮定より)であり、 (定義より、)であるから、
f(b) - f(a) = f'(c)(b - a) > 0
したがって、、つまり が成り立つ。