アークコサインの微分公式は？導出方法と計算手順も！（微分の公式・計算方法・逆三角関数の微分・数学Ⅲなど）

数学Ⅲの学習において、逆三角関数の微分はつまずきやすいポイントの一つです。

中でもアークコサイン（arccos）の微分公式は、サインの微分と混同しやすく、導出の手順を正しく理解しておくことが重要です。

アークコサインとはコサイン関数の逆関数であり、「cosθ = xとなるθを求める関数」として定義されます。

この逆三角関数の微分を理解するためには、逆関数の微分公式・三角関数の微分・そして合成関数の微分（チェーンルール）の知識が必要です。

本記事では、arccos xの微分公式の導出方法を段階的に詳しく解説し、具体的な計算手順や応用例も紹介します。

数学Ⅲで逆三角関数を学んでいる方、微分の公式を整理したい方にとって、体系的に理解できる内容を目指しています。

アークコサインの微分公式の結論｜まず公式を確認しよう

それではまず、アークコサインの微分公式の結論から解説していきます。

アークコサインの微分公式

d/dx [arccos x] = -1/√(1-x²)　（-1 < x < 1）

この公式の特徴は、アークサイン（arcsin x）の微分公式との符号の違いです。

アークサインの微分が +1/√(1-x²) であるのに対し、アークコサインの微分は -1/√(1-x²) と符号がマイナスになります。

また、定義域は -1 < x < 1 であることも重要なポイントです。

この符号の違いを混同してしまうと計算ミスの原因となるため、しっかり意識しておきましょう。

アークコサインとは何か｜定義の確認

アークコサイン（arccos）は、コサイン関数の逆関数です。

コサイン関数 cos θ は「角度 θ を入力すると比の値を出力する」関数ですが、アークコサインはその逆で「比の値 x を入力すると角度 θ を出力する」関数です。

y = arccos x　⟺　cos y = x　かつ　0 ≤ y ≤ π

定義域：-1 ≤ x ≤ 1

値域：0 ≤ y ≤ π（0〜180°）

arccos は「cos⁻¹」とも表記されますが、これは 1/cos を意味するものではなく、あくまで逆関数を表す記号です。

値域が 0 〜 π に制限されているのは、コサイン関数が単調減少となる区間に限定することで逆関数を一意に定めるためです。

逆関数の微分公式の復習

アークコサインの微分を導出するために、まず逆関数の微分公式を確認しておきます。

逆関数の微分公式

y = f⁻¹(x) のとき

dy/dx = 1 / (dx/dy) = 1 / f'(y)

この公式は「逆関数の微分は、元の関数の微分の逆数」であることを示しています。

アークコサインの微分公式の導出でも、この逆関数の微分公式を中心に使います。

また、コサインの微分は d/dx [cos x] = -sin x であることも確認しておきましょう。

アークコサインの微分公式の導出方法

続いては、アークコサインの微分公式の導出方法を段階的に確認していきます。

一つ一つのステップを丁寧に追うことで、公式の意味を深く理解できるはずです。

導出の全体的な流れ

arccos x の微分公式の導出は、大きく分けて次のような流れで進めます。

ステップ	内容
Step 1	y = arccos x とおく
Step 2	逆関数の定義から cos y = x に変換
Step 3	両辺を x で微分（陰関数微分）
Step 4	sin²y + cos²y = 1 を利用して sin y を x で表す
Step 5	dy/dx を求めて公式を完成させる

導出の詳細なステップ

【Step 1】　y = arccos x とおく

【Step 2】　定義より　cos y = x　（ただし 0 ≤ y ≤ π）

【Step 3】　両辺を x で微分する

　　d/dx [cos y] = d/dx [x]

　　左辺は合成関数の微分（チェーンルール）を使って

　　-sin y · (dy/dx) = 1

【Step 4】　dy/dx について解く

　　dy/dx = -1 / sin y

　　ここで sin²y + cos²y = 1 より

　　sin²y = 1 – cos²y = 1 – x²

　　0 ≤ y ≤ π の範囲では sin y ≥ 0 なので

　　sin y = √(1 – x²)

【Step 5】　代入してまとめる

　　dy/dx = -1 / √(1 – x²)

　　すなわち　d/dx [arccos x] = -1/√(1-x²)　（-1 < x < 1）

Step 4で「sin y ≥ 0」とした根拠は、y の範囲が 0 ≤ y ≤ π であることです。

この区間ではサインの値は常に0以上なので、平方根は正の値のみを取ります。

この点を見落とすと符号ミスの原因となるため、注意が必要です。

アークサインの微分との比較

アークコサインの微分を理解するうえで、アークサインの微分との比較は非常に重要です。

d/dx [arcsin x] = +1/√(1-x²)　（-1 < x < 1）

d/dx [arccos x] = -1/√(1-x²)　（-1 < x < 1）

合計：d/dx [arcsin x] + d/dx [arccos x] = 0

arcsin x + arccos x = π/2 という恒等式が成り立つため、両者を微分すると合計がゼロになります。

この関係を知っておくと、片方の公式を覚えれば自動的にもう一方が導けるため、便利な知識です。

また、グラフで見るとアークサインは単調増加・アークコサインは単調減少の関数であり、この性質が微分の符号に反映されています。

アークコサインの微分の計算手順と例題

続いては、arccos x の微分公式を用いた具体的な計算手順と例題を確認していきます。

実際に手を動かして問題を解くことで、公式の使い方が身につきます。

基本的な計算手順

arccos x を含む関数の微分では、多くの場合に合成関数の微分（チェーンルール）を組み合わせる必要があります。

一般的な合成関数の形 arccos f(x) の微分は次のようになります。

d/dx [arccos f(x)] = -1/√(1-(f(x))²) · f'(x)

（ただし -1 < f(x) < 1）

つまり、チェーンルールにより「arccos の微分 × 内側の関数の微分」という形になります。

計算例題その1｜arccos(2x) の微分

【問題】　y = arccos(2x) を微分せよ。

【解答】

f(x) = 2x とおくと f'(x) = 2

チェーンルールを適用すると

dy/dx = -1/√(1-(2x)²) · 2

　　　= -2/√(1-4x²)

（ただし -1/2 < x < 1/2）

計算例題その2｜x·arccos x の微分（積の微分）

【問題】　y = x · arccos x を微分せよ。

【解答】

積の微分公式　(uv)’ = u’v + uv’ を使う

u = x　　→　u’ = 1

v = arccos x　→　v’ = -1/√(1-x²)

dy/dx = 1 · arccos x + x · (-1/√(1-x²))

　　　= arccos x – x/√(1-x²)

このように、arccos を含む関数の微分は積の微分やチェーンルールを適宜組み合わせながら計算していきます。

各ステップを確認しながら丁寧に計算することが、ミスを防ぐコツです。

アークコサインの微分に関するよくある間違いと注意点

続いては、arccos の微分で特に間違いやすいポイントと注意点を確認していきます。

よくあるミスを事前に把握しておくことで、計算の精度を上げることができます。

符号ミスに注意

最もよくある間違いは符号のミスです。

arcsin の微分が +1/√(1-x²) であるのに対し、arccos の微分は -1/√(1-x²) と符号が逆になります。

試験本番で焦ってしまうと、この符号を取り違えることが多いため、「arccos は減少関数だからマイナス」と覚えておくのが効果的です。

定義域の確認を忘れない

arccos x の微分公式は -1 < x < 1 の範囲でしか成立しません。

x = ±1 では √(1-x²) = 0 となり分母がゼロになるため、微分は定義されません。

問題によっては定義域の条件も求められることがあり、その際は x の範囲を明示する必要があります。

よくある間違い	正しい対処法
arccos と arcsin の符号を混同	「arccos は減少→マイナス」で記憶
定義域 -1 < x < 1 を忘れる	公式を使うたびに定義域を確認する
チェーンルールを忘れる	内側の関数の微分を必ず掛けるよう意識
sin y ≥ 0 の根拠を曖昧にする	値域 0 ≤ y ≤ π を確認してから正の値を取る