問題.
(1) ならば であることを示せ. また を求めよ.
(2) 関数 の逆関数を とおく.
\begin{align*}
\int_1^{\frac{3\sqrt{3}}{2}} g(x)\,dx
\end{align*}
を求めよ.
(1) は関数の単調増加性を示すだけなので, 微分すればOKです.
(2) は逆関数の定積分ですが, グラフを考えるとわかりやすいかもしれません.
解答例.
(1) を で微分して,\begin{align*}
f^\prime(x) &= \dfrac{6e^{3x}(e^{2x}+1)-2e^{3x}\cdot 2e^{2x}}{(e^{2x}+1)^2}\\
&= \dfrac{2e^{3x}(e^{2x}+3)}{(e^{2x}+1)^2}\\
&> 0
\end{align*}
より, は単調増加なので, のとき となります.
また,
\begin{align*}
f\left(\log{\sqrt{3}}\right) &= \dfrac{2(\sqrt{3})^3}{(\sqrt{3})^2+1}\\
&= \dfrac{3\sqrt{3}}{2}.
\end{align*}
(2) (1) より, は単調増加なので逆関数 が存在します.
部分積分を用いると,
第 1 項について, (1) で計算した と, から,
なので,
第 2 項について, , つまり で置換すると,
なので,
と計算でき, この右辺の第1項は
第2項は, と置換すると, なので,
以上をまとめると,
逆関数の定積分について
(2) の計算において,部分積分をすることできれいな計算できる形に変形していますが, 一般に
関数 が区間 , で単調増加であるとき, において逆関数 が存在して,
が成り立ちます. このことは上のように部分積分と簡単な置換を行えば示すことができますが,
定積分がグラフにおける面積と対応していることを考えると直感的にわかりやすいと思います.
を曲線と 軸, 直線 に囲まれた面積,
を曲線と 軸, 直線 に囲まれた面積とすると,
\begin{align*}
A &= \int_{f(a)}^{f(b)} f^{-1}(x)\,dx\\
B &= \int_a^b f(x)\,dx
\end{align*}
となりますが, を考えると2つの長方形の面積の差, つまり
\begin{align*}
A+B = bf(b)-af(a)
\end{align*}
になっています.