WIIS

1変数関数の微分

逆余弦関数(arccos関数)の微分

目次

Mailで保存
Xで共有

逆余弦関数の微分

逆余弦関数\(f:\mathbb{R} \supset \left[ -1,1\right] \rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x\right)
\end{equation*}を定めるということです。

定義域の内点\(a\in \left( -1,1\right) \)を任意に選んだとき、\(f\)は点\(a\)において微分可能であるとともに、そこでの微分係数は、\begin{equation*}f^{\prime }\left( a\right) =-\frac{1}{\sqrt{1-a^{2}}}
\end{equation*}となります。

命題(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset \left[ -1,1\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x\right)
\end{equation*}を定めるものとする。点\(a\in \left( -1,1\right) \)を任意に選んだとき、\(f\)は点\(a\)において微分可能であるとともに、\begin{equation*}f^{\prime }\left( a\right) =-\frac{1}{\sqrt{1-a^{2}}}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(逆余弦関数の導関数)
関数\(f:\mathbb{R} \supset \left[ -1,1\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x\right)
\end{equation*}を定めるものとします。先の命題より、\(f\)は\(\left( -1,1\right) \)上で微分可能であり、導関数\(f:\mathbb{R} \supset \left( -1,1\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -1,1\right) \)に対して、\begin{equation*}f^{\prime }\left( x\right) =-\frac{1}{\sqrt{1-x^{2}}}
\end{equation*}を定めます。

例(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x+1\right)
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ x\in \mathbb{R} \ |\ x+1\in \left[ -1,1\right] \right\} \\
&=&\left[ -2,0\right] \end{eqnarray*}です。関数\(f\)は多項式関数\(x+1\)と逆余弦関数\(\arccos \left( x\right) \)の合成関数であるため\(\left( -2,0\right) \)上で微分可能であり、導関数\(f^{\prime }:\mathbb{R} \supset \left( -2,0\right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -2,0\right) \)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left[ \arccos \left( x+1\right) \right] ^{\prime }\quad \because f\text{の定義} \\
&=&\left. \left[ \arccos \left( y\right) \right] ^{\prime }\right\vert
_{y=x+1}\cdot \left( x+1\right) ^{\prime }\quad \because \text{合成関数の微分} \\
&=&\left. -\frac{1}{\sqrt{1-y^{2}}}\right\vert _{y=x+1}\cdot 1\quad \because
\text{逆余弦関数・多項式関数の微分} \\
&=&-\frac{1}{\sqrt{1-\left( x+1\right) ^{2}}} \\
&=&-\frac{1}{\sqrt{-x^{2}-2x}}
\end{eqnarray*}を定めます。

 

逆余弦関数の片側微分

片側微分に関しても同様の命題が成り立ちます。

命題(逆余弦関数の片側微分)
関数\(f:\mathbb{R} \supset \left[ -1,1\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x\right)
\end{equation*}を定めるものとする。点\(a\in \left( -1,1\right) \)を任意に選んだとき、\(f\)は点\(a\)において右側微分可能であるとともに、\begin{equation*}f^{\prime }\left( a+0\right) =-\frac{1}{\sqrt{1-a^{2}}}
\end{equation*}が成り立つとともに、\(f\)は点\(a\)において左側微分可能であるとともに、\begin{equation*}f^{\prime }\left( a-0\right) =-\frac{1}{\sqrt{1-a^{2}}}
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

ちなみに、定義域の左側の端点\(-1\)においては、\begin{equation*}\lim_{h\rightarrow 0+}\frac{\arccos \left( -1+h\right) -\arccos \left(
-1\right) }{h}=-\infty
\end{equation*}となるため逆余弦関数は点\(-1\)において右側微分可能ではなく、定義域の右側の端点\(1\)においては、\begin{equation*}\lim_{h\rightarrow 0-}\frac{\arccos \left( 1+h\right) -\arccos \left(
1\right) }{h}=-\infty
\end{equation*}となるため逆余弦関数は点\(1\)において左側微分可能ではありません。

 

演習問題

問題(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( x-1\right)
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ x\in \mathbb{R} \ |\ x-1\in \left[ -1,1\right] \right\} \\
&=&\left[ 0,2\right] \end{eqnarray*}です。\(f\)の導関数を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( \frac{1-x^{2}}{1+x^{2}}\right)
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ x\in \mathbb{R} \ |\ \frac{1-x^{2}}{1+x^{2}}\in \left[ -1,1\right] \right\} \\
&=&\mathbb{R} \end{eqnarray*}です。\(f\)の導関数を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( \sqrt{1-x^{2}}\right)
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ x\in \mathbb{R} \ |\ \sqrt{1-x^{2}}\in \left[ -1,1\right] \wedge 1-x^{2}\geq 0\right\} \\
&=&\left[ -1,1\right] \end{eqnarray*}です。\(f\)の導関数を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(逆余弦関数の微分)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\arccos \left( \cos \left( x\right) \right)
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{eqnarray*}X &=&\left\{ x\in \mathbb{R} \ |\ \cos \left( x\right) \in \left[ -1,1\right] \right\} \\
&=&\mathbb{R} \end{eqnarray*}です。\(f\)の導関数を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録