上野竜生です。逆関数の積分の計算方法を紹介します。
例題１ tanの逆関数
(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と書きアークタンジェントと読みます。この関数は微分したものがきれいなので微分して部分積分が使えます（もちろんこのあとの例題２の解法も可能）
\(\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は有名ですし性質が知られているので知っている人もいるかもしれませんが今度はもう少し複雑な関数の積分をしてみます。
例題２ 具体的に与えられた関数の逆関数
定積分\(\displaystyle \int_0^e f(x)dx \)を求めよ。
y=xexの逆関数に関する問題はx=yeyと置換積分すればOKです。
\(\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 \int_a^b f(x)dx + \int_{f(a)}^{f(b)} f^{-1}(x)dx = bf(b)-af(a) \)
例題２をより一般にしたものですがやることは同じです。
\(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\)となります。
数学はもちろん他の科目も勉強できる「スタディサプリ」なら人気講師の授業動画で、塾にいかなくてもまるで塾にいったかのような勉強ができます。塾と比較すると格安で、しかも無料おためしもできます。当サイトオススメのサイトです。
スタディサプリについて解説したページはこちら