問題は以下の2つの部分から構成されています。 (1) $y = \sinh x$ が $(-\infty, \infty)$ で逆関数を持つことを示す。 (2) $x = \sinh^{-1} y$ と表される $y = \sinh x$ の逆関数 $\sinh^{-1} x$ の導関数、つまり $\frac{d}{dx} \sinh^{-1} x$ を求める。

解析学双曲線関数逆関数導関数微分
2025/5/29

1. 問題の内容

問題は以下の2つの部分から構成されています。
(1) y=sinhxy = \sinh x(,)(-\infty, \infty) で逆関数を持つことを示す。
(2) x=sinh1yx = \sinh^{-1} y と表される y=sinhxy = \sinh x の逆関数 sinh1x\sinh^{-1} x の導関数、つまり ddxsinh1x\frac{d}{dx} \sinh^{-1} x を求める。

2. 解き方の手順

(1) y=sinhxy = \sinh x(,)(-\infty, \infty) で逆関数を持つことを示す。
sinhx\sinh x の定義は、
sinhx=exex2\sinh x = \frac{e^x - e^{-x}}{2}
です。
sinhx\sinh x の導関数を求めると、
ddxsinhx=ddx(exex2)=ex+ex2=coshx\frac{d}{dx} \sinh x = \frac{d}{dx} (\frac{e^x - e^{-x}}{2}) = \frac{e^x + e^{-x}}{2} = \cosh x
となります。
coshx\cosh x は常に正の値を取ります。なぜなら、
coshx=ex+ex2=ex+1ex2=e2x+12ex\cosh x = \frac{e^x + e^{-x}}{2} = \frac{e^x + \frac{1}{e^x}}{2} = \frac{e^{2x} + 1}{2e^x}
であり、e2x>0e^{2x} > 0 かつ ex>0e^x > 0 なので、coshx>0\cosh x > 0 です。
ddxsinhx=coshx>0\frac{d}{dx} \sinh x = \cosh x > 0 であることから、sinhx\sinh x は単調増加関数であり、(,)(-\infty, \infty) で逆関数を持つことがわかります。
(2) ddxsinh1x\frac{d}{dx} \sinh^{-1} x を求める。
y=sinh1xy = \sinh^{-1} x とします。
すると、x=sinhyx = \sinh y となります。
両辺を xx で微分すると、
1=ddxsinhy=coshydydx1 = \frac{d}{dx} \sinh y = \cosh y \cdot \frac{dy}{dx}
となります。
したがって、
dydx=1coshy\frac{dy}{dx} = \frac{1}{\cosh y}
となります。
cosh2ysinh2y=1\cosh^2 y - \sinh^2 y = 1 より、cosh2y=1+sinh2y\cosh^2 y = 1 + \sinh^2 y なので、
coshy=1+sinh2y\cosh y = \sqrt{1 + \sinh^2 y}
となります。(coshy\cosh y は常に正なので、正の平方根をとります。)
したがって、
dydx=11+sinh2y\frac{dy}{dx} = \frac{1}{\sqrt{1 + \sinh^2 y}}
となります。
ここで、x=sinhyx = \sinh y なので、
dydx=11+x2\frac{dy}{dx} = \frac{1}{\sqrt{1 + x^2}}
となります。
よって、
ddxsinh1x=11+x2\frac{d}{dx} \sinh^{-1} x = \frac{1}{\sqrt{1 + x^2}}

3. 最終的な答え

ddxsinh1x=11+x2\frac{d}{dx} \sinh^{-1} x = \frac{1}{\sqrt{1 + x^2}}

「解析学」の関連問題

(1) $4 \arctan{\frac{1}{5}} - \arctan{\frac{1}{239}} = \frac{\pi}{4}$ を示す。 (2) $S = \arcsin{x} + \ar...

逆三角関数加法定理arctanarcsin
2025/5/30

与えられた極限 $\lim_{a \to 0} \frac{e^a - 1 - a}{a^2} = \frac{1}{2}$ を用いて、極限 $\lim_{x \to 0} (\frac{1}{\lo...

極限マクローリン展開ロピタルの定理
2025/5/30

問題は、$\lim_{x \to +0} (\frac{1}{\log(1+x)} - \frac{1}{x})$ を求める問題です。ただし、$\lim_{a \to +0} \frac{e^a - ...

極限テイラー展開ロピタルの定理
2025/5/30

問題は、関数 $y = \sqrt{x}$ の $n$ 次導関数を求めることです。

導関数微分累次微分関数べき乗
2025/5/30

放物線 $y = x^2$ 上の点 $A(-2, 4)$ における接線を $l$、点 $B(3, 9)$ における接線を $m$ とする。 - 直線 $l$ の方程式を求め、直線 $m$ の方程式を求...

微分接線放物線導関数方程式
2025/5/30

ベクトル関数 $\mathbf{r} = \mathbf{r}(t)$ が与えられたとき、次の等式が成り立つことを証明します。 $(\mathbf{r} \times \mathbf{r}')' = ...

ベクトル解析外積積の微分法則ベクトル関数
2025/5/30

ベクトル関数 $\mathbf{r} = \mathbf{r}(t)$ に対して、以下の等式を証明します。 $(\mathbf{r} \times \mathbf{r}')' = \mathbf{r}...

ベクトルベクトル関数外積微分
2025/5/30

10. ベクトル関数 $\mathbf{a}(t) = (3t, t^2 - 1, 1)$ と $\mathbf{b}(t) = (1, t+2, -t^2)$ が与えられたとき、以下のものを求めます...

ベクトル関数微分外積内積
2025/5/30

はい、承知いたしました。画像にある数学の問題を解いていきます。

ベクトル微分外積内積積の微分法則
2025/5/30

$f(x) = kx^2$ (ただし、$0 < a < 1$, $k > 0$) について、以下の積分 $A, B, C, D, E, F$ の大小関係に関する記述のうち、正しいものを選ぶ問題です。 ...

積分定積分大小比較関数
2025/5/30