逆正弦関数の原始関数
区間上に定義された逆正弦関数\(f:\mathbb{R} \supset \left( -1,1\right) \supset I\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるということです。逆正弦関数の定義域は\(\left[ -1,1\right] \)ですが、問題としている区間\(I\)は\(\left( -1,1\right) \)の部分集合であることに注意してください。理由は後述します。
逆正弦関数は連続であるため原始関数が存在します。具体的には以下の通りです。
命題（逆正弦関数の原始関数）
区間上に定義された関数\(f:\mathbb{R} \supset \left( -1,1\right) \supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるものとする。定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in I\)に対して、\begin{equation*}F\left( x\right) =x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}を定める関数\(F:\mathbb{R} \supset I\rightarrow \mathbb{R} \)を定義する。\(F\)は\(f\)の原始関数である。すなわち、\begin{equation*}\forall x\in I:F^{\prime }\left( x\right) =f\left( x\right)
\end{equation*}が成り立つ。
\end{equation*}を定めるものとする。定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in I\)に対して、\begin{equation*}F\left( x\right) =x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}を定める関数\(F:\mathbb{R} \supset I\rightarrow \mathbb{R} \)を定義する。\(F\)は\(f\)の原始関数である。すなわち、\begin{equation*}\forall x\in I:F^{\prime }\left( x\right) =f\left( x\right)
\end{equation*}が成り立つ。
逆正弦関数\(\arcsin \left( x\right) \)の本来の定義域は\(\left[ -1,1\right] \)ですが、先の命題において、端点\(1,-1\)が区間\(I\)に含まれないことが想定されています。なぜなら、逆正弦関数の原始関数は、\begin{equation*}F\left( x\right) =x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}ですが、ここに含まれる\(\arcsin \left( x\right) \)は点\(1,-1\)において微分可能ではなく、ゆえに\(F\)もまた点\(1,-1\)において微分可能ではないからです。
逆正弦関数の不定積分
連続関数には原始関数と不定積分が存在することが保証されるとともに両者は一致するため、先の命題を踏まえると、連続関数である逆正弦関数について以下が成り立ちます。
命題（逆正弦関数の不定積分）
区間上に定義された関数\(f:\mathbb{R} \supset \left( -1,1\right) \supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるものとする。\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}である。ただし、\(C\)は積分定数である。
\end{equation*}を定めるものとする。\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}である。ただし、\(C\)は積分定数である。
例（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるものとします。\(f\)は区間上に定義された逆正弦関数であるため、先の命題より、\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間上に定義された逆正弦関数であるため、先の命題より、\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}となります。ただし、\(C\)は積分定数です。
例（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -3,-2\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -3,-2\right) \)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( 2x+5\right)
\end{equation*}を定めるものとします。この関数\(f\)は連続であるため不定積分が存在します。そこで、\begin{equation}u=g\left( x\right) =2x+5 \quad \cdots (1)
\end{equation}とおくと、その逆関数が、\begin{equation}
x=g^{-1}\left( u\right) =\frac{u-5}{2} \quad \cdots (2)
\end{equation}として得られます。\(g^{-1}\)は\(C^{1}\)級であるため逆置換を利用できます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \arcsin \left( 2x+5\right) dx \\
&=&\int \arcsin \left( u\right) \frac{d}{du}g^{-1}\left( u\right) du\quad
\because \left( 1\right) \text{および置換積分} \\
&=&\int \arcsin \left( u\right) \frac{1}{2}du\quad \because \left( 2\right)
\\
&=&\frac{1}{2}\int \arcsin \left( u\right) du \\
&=&\frac{1}{2}\left[ u\arcsin \left( u\right) +\sqrt{1-u^{2}}\right] +C \\
&=&\frac{1}{2}\left[ \left( 2x+5\right) \arcsin \left( 2x+5\right) +\sqrt{1-\left( 2x+5\right) ^{2}}\right] +C\quad \because \left( 1\right) \\
&&\frac{\left( 2x+5\right) \arcsin \left( 2x+5\right) +\sqrt{1-\left(
2x+5\right) ^{2}}}{2}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。この関数\(f\)は連続であるため不定積分が存在します。そこで、\begin{equation}u=g\left( x\right) =2x+5 \quad \cdots (1)
\end{equation}とおくと、その逆関数が、\begin{equation}
x=g^{-1}\left( u\right) =\frac{u-5}{2} \quad \cdots (2)
\end{equation}として得られます。\(g^{-1}\)は\(C^{1}\)級であるため逆置換を利用できます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \arcsin \left( 2x+5\right) dx \\
&=&\int \arcsin \left( u\right) \frac{d}{du}g^{-1}\left( u\right) du\quad
\because \left( 1\right) \text{および置換積分} \\
&=&\int \arcsin \left( u\right) \frac{1}{2}du\quad \because \left( 2\right)
\\
&=&\frac{1}{2}\int \arcsin \left( u\right) du \\
&=&\frac{1}{2}\left[ u\arcsin \left( u\right) +\sqrt{1-u^{2}}\right] +C \\
&=&\frac{1}{2}\left[ \left( 2x+5\right) \arcsin \left( 2x+5\right) +\sqrt{1-\left( 2x+5\right) ^{2}}\right] +C\quad \because \left( 1\right) \\
&&\frac{\left( 2x+5\right) \arcsin \left( 2x+5\right) +\sqrt{1-\left(
2x+5\right) ^{2}}}{2}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{\arcsin \left( x\right) }{\sqrt{1-x^{2}}}
\end{equation*}を定めるものとします。この関数\(f\)は連続であるため不定積分が存在します。そこで、変数\(x\in \left( -1,1\right) \)に関する関数\(g\)を、\begin{equation}u=g\left( x\right) =\arcsin \left( x\right) \quad \cdots (1)
\end{equation}とおくと、変数\(u\in \left( -\frac{\pi }{2},\frac{\pi }{2}\right) \)に関する逆関数が、\begin{equation}x=g^{-1}\left( u\right) =\sin \left( u\right) \quad \cdots (2)
\end{equation}として得られます。\(g^{-1}\)は\(C^{1}\)級であるため逆置換を利用できます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \frac{\arcsin \left( x\right) }{\sqrt{1-x^{2}}}dx \\
&=&\int \frac{u}{\sqrt{1-\sin ^{2}\left( u\right) }}\frac{d}{du}g^{-1}\left(
u\right) du\quad \because \left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \frac{u}{\sqrt{\cos ^{2}\left( u\right) }}\cos \left( u\right)
du\quad \because \left( 2\right) \\
&=&\int \frac{u}{\cos \left( u\right) }\cos \left( u\right) du\quad \because
u\in \left( -\frac{\pi }{2},\frac{\pi }{2}\right) \\
&=&\int udu \\
&=&\frac{1}{2}u^{2}+C \\
&=&\frac{\left[ \arcsin \left( x\right) \right] ^{2}}{2}+C\quad \because
\left( 1\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。この関数\(f\)は連続であるため不定積分が存在します。そこで、変数\(x\in \left( -1,1\right) \)に関する関数\(g\)を、\begin{equation}u=g\left( x\right) =\arcsin \left( x\right) \quad \cdots (1)
\end{equation}とおくと、変数\(u\in \left( -\frac{\pi }{2},\frac{\pi }{2}\right) \)に関する逆関数が、\begin{equation}x=g^{-1}\left( u\right) =\sin \left( u\right) \quad \cdots (2)
\end{equation}として得られます。\(g^{-1}\)は\(C^{1}\)級であるため逆置換を利用できます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \frac{\arcsin \left( x\right) }{\sqrt{1-x^{2}}}dx \\
&=&\int \frac{u}{\sqrt{1-\sin ^{2}\left( u\right) }}\frac{d}{du}g^{-1}\left(
u\right) du\quad \because \left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \frac{u}{\sqrt{\cos ^{2}\left( u\right) }}\cos \left( u\right)
du\quad \because \left( 2\right) \\
&=&\int \frac{u}{\cos \left( u\right) }\cos \left( u\right) du\quad \because
u\in \left( -\frac{\pi }{2},\frac{\pi }{2}\right) \\
&=&\int udu \\
&=&\frac{1}{2}u^{2}+C \\
&=&\frac{\left[ \arcsin \left( x\right) \right] ^{2}}{2}+C\quad \because
\left( 1\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
逆正弦関数の定積分
逆正弦関数の原始関数が明らかになったため、微分積分学の第2基本定理を用いることにより、逆正弦関数の定積分を特定できます。具体的には以下の通りです。
命題（逆正弦関数の定積分）
区間上に定義された関数\(f:\mathbb{R} \supset \left( -1,1\right) \supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるものとする。\(a<b\)を満たす点\(a,b\in I\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\left[ x\arcsin \left( x\right) +\sqrt{1-x^{2}}\right] _{a}^{b} \\
&=&\left[ b\arcsin \left( b\right) +\sqrt{1-b^{2}}\right] -\left[ a\arcsin
\left( a\right) +\sqrt{1-a^{2}}\right] \end{eqnarray*}となる。
\end{equation*}を定めるものとする。\(a<b\)を満たす点\(a,b\in I\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\left[ x\arcsin \left( x\right) +\sqrt{1-x^{2}}\right] _{a}^{b} \\
&=&\left[ b\arcsin \left( b\right) +\sqrt{1-b^{2}}\right] -\left[ a\arcsin
\left( a\right) +\sqrt{1-a^{2}}\right] \end{eqnarray*}となる。
例（逆正弦関数の定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\arcsin \left( x\right)
\end{equation*}を定めるものとします。先に示したように、\begin{equation*}
\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}であるため、例えば、\begin{eqnarray*}
\int_{0}^{\frac{1}{2}}f\left( x\right) dx &=&\left[ x\arcsin \left( x\right)
+\sqrt{1-x^{2}}\right] _{0}^{\frac{1}{2}} \\
&=&\left[ \frac{1}{2}\arcsin \left( \frac{1}{2}\right) +\sqrt{\frac{3}{4}}\right] -\left( 0+1\right) \\
&=&\frac{\pi }{12}+\sqrt{\frac{3}{4}}-1
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。先に示したように、\begin{equation*}
\int f\left( x\right) dx=x\arcsin \left( x\right) +\sqrt{1-x^{2}}+C
\end{equation*}であるため、例えば、\begin{eqnarray*}
\int_{0}^{\frac{1}{2}}f\left( x\right) dx &=&\left[ x\arcsin \left( x\right)
+\sqrt{1-x^{2}}\right] _{0}^{\frac{1}{2}} \\
&=&\left[ \frac{1}{2}\arcsin \left( \frac{1}{2}\right) +\sqrt{\frac{3}{4}}\right] -\left( 0+1\right) \\
&=&\frac{\pi }{12}+\sqrt{\frac{3}{4}}-1
\end{eqnarray*}となります。
逆正弦関数と純変化量定理
純変化量定理を再掲します。これは微分積分学の第2基本定理から導かれます。
命題（純変化量定理）
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が\(\left[ a,b\right] \)上で連続かつ\(\left( a,b\right) \)上で微分可能であるものとする。さらに、関数\(\frac{df}{dx}:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)は\(\left[ a,b\right] \)上でリーマン積分可能であるものとする。この場合には、以下の関係\begin{equation*}f\left( b\right) -f\left( a\right) =\int_{a}^{b}\frac{df\left( x\right) }{dx}dx
\end{equation*}が成立する。
\end{equation*}が成立する。
導関数\(\frac{df}{dx}\)がそれぞれの点\(x\in \left( a,b\right) \)に対して定める値、すなわち点\(x\)における\(f\)の微分係数\begin{equation*}\frac{df\left( x\right) }{dx}=\lim_{h\rightarrow 0}\frac{f\left( x+h\right)
-f\left( x\right) }{h}
\end{equation*}とは、点\(x\)における\(f\left(x\right) \)の瞬間変化率に相当する概念です。純変化量定理によると、この瞬間変化率\(\frac{df\left( x\right) }{dx}\)を区間\(\left[ a,b\right] \)上で積分することにより、変数\(x\)が点\(a\)から点\(b\)へ変化する場合の前後における\(f\left( x\right) \)の変化量\begin{equation*}f\left( b\right) -f\left( a\right)
\end{equation*}が得られます。
例（逆正弦関数と純変化量定理）
ある観測地点において、時点\(t\in \left[ 0,1\right] \)までに蓄積された総日照量を、\begin{equation*}E\left( t\right)
\end{equation*}で表記します。時点\(t\in \left[ 0,1\right] \)における日照強度が、\begin{equation*}I\left( x\right) =\arcsin \left( x\right)
\end{equation*}である場合、以下の関係\begin{equation*}
E^{\prime }\left( t\right) =I\left( x\right)
\end{equation*}が成り立ちます。時点\(0\)から時点\(1\)までの総日照量は、\begin{eqnarray*}E\left( 1\right) -E\left( 0\right) &=&\int_{0}^{1}E^{\prime }\left(
t\right) dt\quad \because \text{純変化量定理} \\
&=&\int_{0}^{1}I\left( x\right) dt \\
&=&\int_{0}^{1}\arcsin \left( x\right) dt \\
&=&\left[ x\arcsin \left( x\right) +\sqrt{1-x^{2}}\right] _{0}^{1} \\
&=&\arcsin \left( 1\right) -1 \\
&=&\frac{\pi }{2}-1
\end{eqnarray*}です。
\end{equation*}で表記します。時点\(t\in \left[ 0,1\right] \)における日照強度が、\begin{equation*}I\left( x\right) =\arcsin \left( x\right)
\end{equation*}である場合、以下の関係\begin{equation*}
E^{\prime }\left( t\right) =I\left( x\right)
\end{equation*}が成り立ちます。時点\(0\)から時点\(1\)までの総日照量は、\begin{eqnarray*}E\left( 1\right) -E\left( 0\right) &=&\int_{0}^{1}E^{\prime }\left(
t\right) dt\quad \because \text{純変化量定理} \\
&=&\int_{0}^{1}I\left( x\right) dt \\
&=&\int_{0}^{1}\arcsin \left( x\right) dt \\
&=&\left[ x\arcsin \left( x\right) +\sqrt{1-x^{2}}\right] _{0}^{1} \\
&=&\arcsin \left( 1\right) -1 \\
&=&\frac{\pi }{2}-1
\end{eqnarray*}です。
演習問題
問題（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{\left[ \arcsin \left( x\right) \right] ^{3}}{\sqrt{1-x^{2}}}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
問題（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{1+\arcsin \left( x\right) }{\sqrt{1-x^{2}}}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
問題（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =\frac{e^{\arcsin \left( x\right) }}{\sqrt{1-x^{2}}}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
問題（逆正弦関数の不定積分）
関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f\left( x\right) =x\arcsin \left( x\right)
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
会員専用コンテンツです
【ログイン】【会員登録】