上野竜生です。逆関数の積分の計算方法を紹介します。
例題１ tanの逆関数
\(y=\tan{x} (-\frac{\pi}{2}<x<\frac{\pi}{2}) \)の逆関数を\(y=\arctan{x} \)とおく。
(1) f(x)=arctanxをxで微分すると\(\displaystyle \frac{1}{1+x^2} \)になることを示せ。
(2)不定積分\(\displaystyle \int \arctan{x} dx \)を求めよ。答えにarctanxが含まれていてもよい。
(3)定積分\(\displaystyle \int_0^1 \arctan{x} dx \)を求めよ。
(1) f(x)=arctanxをxで微分すると\(\displaystyle \frac{1}{1+x^2} \)になることを示せ。
(2)不定積分\(\displaystyle \int \arctan{x} dx \)を求めよ。答えにarctanxが含まれていてもよい。
(3)定積分\(\displaystyle \int_0^1 \arctan{x} dx \)を求めよ。
大学の知識として先に教えておくとy=tanxの逆関数はy=arctanxと書きアークタンジェントと読みます。この関数は微分したものがきれいなので微分して部分積分が使えます（もちろんこのあとの例題２の解法も可能）
答え(1) y=arctanx ⇔ x=tany である。両辺をyで微分すると
\(\displaystyle \frac{dx}{dy}=\frac{1}{\cos^2{y}} \)
\(\displaystyle \frac{dx}{dy}=\frac{1}{\cos^2{y}} \)
\(\displaystyle \frac{dy}{dx}=\frac{1}{\frac{dx}{dy}}=\cos^2{y}=\frac{1}{1+\tan^2{y}}=\frac{1}{1+x^2} \)
(2) 部分積分より
\(\displaystyle \int \arctan{x} dx = x\arctan{x}-\int x \cdot \frac{1}{1+x^2} dx =x\arctan{x}-\frac{1}{2}\log{(x^2+1)}+C \)
(3)arctan0=0 ,arctan1=\(\frac{\pi}{4} \)に注意すると
\(\displaystyle \int_0^1 \arctan{x} dx =\left[x\arctan{x}-\frac{1}{2}\log{(x^2+1)} \right]_0^1 = \frac{\pi}{4}-\frac{1}{2}\log{2}\)
arctanxは有名ですし性質が知られているので知っている人もいるかもしれませんが今度はもう少し複雑な関数の積分をしてみます。
例題２ 具体的に与えられた関数の逆関数
\(y=xe^x (x\geq 0)\)の逆関数を\(y=f(x) \)とおく。
定積分\(\displaystyle \int_0^e f(x)dx \)を求めよ。
定積分\(\displaystyle \int_0^e f(x)dx \)を求めよ。
y=xexの逆関数に関する問題はx=yeyと置換積分すればOKです。
答え\(x=ye^y \)より両辺をyで微分すると
\(\displaystyle \frac{dx}{dy}=e^y+ye^y=(y+1)e^y \)
逆関数の定義からf(0)=0, f(e)=1 , f(yey)=yであることに注意すると求める積分は
\(\displaystyle \int_0^1 y (y+1)e^y dy\)
よって
\(\displaystyle \int_0^1 (y^2+y)e^y dy \\ = \displaystyle [(y^2+y)e^y]_0^1 - \int_0^1 (2y+1)e^y dy \\ \displaystyle = 2e - [(2y+1)e^y]_0^1 +\int_0^1 2e^y dy \\ =\displaystyle 2e-3e+1 +[2e^y]_0^1 \\ = -e+1 + 2e-2 \\ = e-1 \)
\(\displaystyle \frac{dx}{dy}=e^y+ye^y=(y+1)e^y \)
逆関数の定義からf(0)=0, f(e)=1 , f(yey)=yであることに注意すると求める積分は
\(\displaystyle \int_0^1 y (y+1)e^y dy\)
よって
\(\displaystyle \int_0^1 (y^2+y)e^y dy \\ = \displaystyle [(y^2+y)e^y]_0^1 - \int_0^1 (2y+1)e^y dy \\ \displaystyle = 2e - [(2y+1)e^y]_0^1 +\int_0^1 2e^y dy \\ =\displaystyle 2e-3e+1 +[2e^y]_0^1 \\ = -e+1 + 2e-2 \\ = e-1 \)
例題３ 一般的な性質
\( y=f(x)\)の逆関数を\(y=f^{-1}(x)\)とおく。このとき次の式が成り立つことを示せ。
\(\displaystyle \int_a^b f(x)dx + \int_{f(a)}^{f(b)} f^{-1}(x)dx = bf(b)-af(a) \)
例題２をより一般にしたものですがやることは同じです。
答えx=f(y)と置換する。
\(y=f^{-1}(x)\) ⇔ \(x=f(y) \)なので\(dx=f'(y)dy \)
\(y=f^{-1}(x)\) ⇔ \(x=f(y) \)なので\(dx=f'(y)dy \)
\(\displaystyle \int_{f(a)}^{f(b)} f^{-1}(x)dx = \int_a^b f^{-1}(f(y))\cdot f'(y)dy \int_a^b yf'(y)dy \\ = \displaystyle \left[yf(y) \right]_a^b - \int_a^b f(y) dy \\ = \displaystyle bf(b)-af(a)-\int_a^b f(x)dx \)
整理すると問題の式を得る。
これを踏まえて例題１(3),例題２を解いてみましょう。
例題１(3)では\(f(x)=\tan{x} ,a=0 , b=\frac{\pi}{4} \)なので
\(\displaystyle \int_0^{\frac{\pi}{4}} \tan{x}dx + \int_0^1 \arctan{x}dx = \frac{\pi}{4}\tan{\frac{\pi}{4}}-0\tan{0} \)
\(\displaystyle \int_0^{\frac{\pi}{4}} \tan{x}dx = \left[-\log{|\cos{x}|} \right]_0^{\frac{\pi}{4}}=-\log{\frac{1}{\sqrt{2}}}=\frac{1}{2}\log{2} \)
より
\(\displaystyle \int_0^1 \arctan{x} dx =-\frac{1}{2}\log{2}+\frac{\pi}{4}\)
例題２では\(f(x)=xe^x , a=0 , b=1\)なので
\( \displaystyle \int_0^1 xe^x dx + \int_0^e f^{-1}(x)dx = 1\cdot f(1)-0\cdot f(0)=e \)
\( \displaystyle \int_0^1 xe^x dx = \left[xe^x \right]_0^1 -\int_0^1 e^x dx =e-(e-1)=1 \)
より
\( \displaystyle \int_0^e f^{-1}(x)dx=e-1\)となります。
解説を読んで数学がわかった「つもり」になりましたか？数学は読んでいるうちはわかったつもりになりますが演習をこなさないと実力になりません。そのためには問題集で問題を解く練習も必要です。オススメの参考書を厳選しました
<高校数学>上野竜生です。数学のオススメ参考書などをよく聞かれますのでここにまとめておきます。基本的にはたくさん買うよりも…
上野竜生です。大学数学の参考書をまとめてみました。フーリエ解析以外は自分が使ったことある本から選びました。 大…
上野竜生です。当サイトでも少し前まで各ページで学習サイトをオススメしていましたが他にもオススメできるサイトはた…
