平均値の定理を用いて、$a < b$ のとき、$e^a < \frac{e^b - e^a}{b - a} < e^b$ を証明する。解析学平均値の定理指数関数微分単調増加2025/6/301. 問題の内容平均値の定理を用いて、a<ba < ba<b のとき、ea<eb−eab−a<ebe^a < \frac{e^b - e^a}{b - a} < e^bea<b−aeb−ea<eb を証明する。2. 解き方の手順関数 f(x)=exf(x) = e^xf(x)=ex を考える。f(x)f(x)f(x) はすべての実数 xxx で微分可能であり、導関数は f′(x)=exf'(x) = e^xf′(x)=ex である。区間 [a,b][a, b][a,b] で平均値の定理を適用すると、f(b)−f(a)b−a=f′(c) \frac{f(b) - f(a)}{b - a} = f'(c) b−af(b)−f(a)=f′(c)を満たす ccc が a<c<ba < c < ba<c<b の範囲に存在する。この場合、f(x)=exf(x) = e^xf(x)=ex なので、eb−eab−a=ec \frac{e^b - e^a}{b - a} = e^c b−aeb−ea=ecとなる。ここで、a<c<ba < c < ba<c<b であるから、exe^xex が単調増加関数であることを用いると、ea<ec<eb e^a < e^c < e^b ea<ec<ebが成り立つ。したがって、ea<eb−eab−a<eb e^a < \frac{e^b - e^a}{b - a} < e^b ea<b−aeb−ea<ebが証明された。3. 最終的な答えa<ba < ba<b のとき、ea<eb−eab−a<ebe^a < \frac{e^b - e^a}{b - a} < e^bea<b−aeb−ea<eb が成り立つ。