与えられた式は $\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) = \frac{\pi}{2} - \tan^{-1} x$ である。この等式が成り立つことを証明する。

解析学逆三角関数三角関数の証明等式の証明
2025/5/21

1. 問題の内容

与えられた式は cos1(x1+x2)=π2tan1x\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) = \frac{\pi}{2} - \tan^{-1} x である。この等式が成り立つことを証明する。

2. 解き方の手順

まず、tan1x\tan^{-1} xθ\theta とおくと、 x=tanθx = \tan \theta となる。
このとき、π2tan1x=π2θ\frac{\pi}{2} - \tan^{-1} x = \frac{\pi}{2} - \theta である。
cos1(x1+x2)\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) について考える。
x=tanθx = \tan \theta を代入すると、x1+x2=tanθ1+tan2θ\frac{x}{\sqrt{1+x^2}} = \frac{\tan \theta}{\sqrt{1+\tan^2 \theta}} となる。
ここで、1+tan2θ=cos2θ+sin2θcos2θ=1cos2θ1+\tan^2 \theta = \frac{\cos^2 \theta + \sin^2 \theta}{\cos^2 \theta} = \frac{1}{\cos^2 \theta} であるから、1+tan2θ=1cosθ\sqrt{1+\tan^2 \theta} = \frac{1}{|\cos \theta|} となる。
したがって、tanθ1+tan2θ=tanθ1cosθ=tanθcosθ=sinθcosθcosθ=sinθcosθcosθ\frac{\tan \theta}{\sqrt{1+\tan^2 \theta}} = \frac{\tan \theta}{\frac{1}{|\cos \theta|}} = \tan \theta \cdot |\cos \theta| = \frac{\sin \theta}{\cos \theta} |\cos \theta| = \sin \theta \cdot \frac{|\cos \theta|}{\cos \theta} となる。
π2<θ<π2-\frac{\pi}{2} < \theta < \frac{\pi}{2} の範囲では、cosθ>0\cos \theta > 0 であるから、cosθcosθ=1\frac{|\cos \theta|}{\cos \theta} = 1 となる。
よって、x1+x2=sinθ\frac{x}{\sqrt{1+x^2}} = \sin \theta となる。
したがって、cos1(x1+x2)=cos1(sinθ)\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) = \cos^{-1} (\sin \theta) となる。
ここで、sinθ=cos(π2θ)\sin \theta = \cos (\frac{\pi}{2} - \theta) であるから、cos1(sinθ)=cos1(cos(π2θ))=π2θ\cos^{-1} (\sin \theta) = \cos^{-1} (\cos (\frac{\pi}{2} - \theta)) = \frac{\pi}{2} - \theta となる。
θ=tan1x\theta = \tan^{-1} x であったので、π2θ=π2tan1x\frac{\pi}{2} - \theta = \frac{\pi}{2} - \tan^{-1} x となる。
したがって、cos1(x1+x2)=π2tan1x\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) = \frac{\pi}{2} - \tan^{-1} x が成り立つ。

3. 最終的な答え

cos1(x1+x2)=π2tan1x\cos^{-1} (\frac{x}{\sqrt{1+x^2}}) = \frac{\pi}{2} - \tan^{-1} x が成り立つ。

「解析学」の関連問題

曲線 $C: y = x^3 - 3x$ と点 $P(p, q)$ が与えられている(ただし、$p > 0$)。 (1) 曲線 $C$ 上の点 $(t, t^3 - 3t)$ における接線の方程式を ...

微分接線3次関数面積積分
2025/5/21

問題は、部分積分法を用いて以下の3つの不定積分を求めることです。 1. $\int 3xe^{2x} dx$

積分部分積分法不定積分
2025/5/21

次の3つの極限を求めます。 (1) $\lim_{n \to \infty} \frac{5^n - 2^n}{5^n + 2^n}$ (2) $\lim_{n \to \infty} \frac{4...

極限数列指数関数
2025/5/21

$\lim_{n \to \infty} (\sqrt{n^2 - n} - n)$ を求めよ。

極限数列有理化
2025/5/21

与えられた数列 $-1, \frac{1}{2}, -\frac{1}{3}, \dots, \frac{(-1)^n}{n}, \dots$ の極限を求める問題です。

数列極限収束極限の計算
2025/5/21

数列 $\frac{2}{1}, \frac{3}{2}, \frac{4}{3}, \dots, \frac{n+1}{n}, \dots$ の極限値を求めます。

数列極限収束
2025/5/21

数列 $\cos(\pi)$, $\cos(3\pi)$, $\cos(5\pi)$, $\dots$, $\cos((2n-1)\pi)$, $\dots$ の極限値を求める。

数列極限三角関数
2025/5/21

数列 $\{a_n\}$ が $|a_{n+2} - a_{n+1}| \le k |a_{n+1} - a_n|$ (ただし $0 < k < 1$, $n = 1, 2, \dots$) を満たす...

数列コーシー列不等式極限
2025/5/21

$0 < a < b$ とする。数列 $\{a_n\}$ と $\{b_n\}$ を次のように定める。 $a_1 = a$, $b_1 = b$ とし、 $a_{n+1} = \sqrt{a_n b_...

数列極限単調増加単調減少算術幾何平均
2025/5/21

$0 < a < b$ とする。数列 $\{a_n\}, \{b_n\}$ が以下のように定義される。 $a_1 = a, b_1 = b$ $a_{n+1} = \sqrt{a_n b_n}, \q...

数列収束単調増加単調減少相加相乗平均
2025/5/21