$$$\sqrt{- a^{2} + u^{2}}$$$ の $$$u$$$ に関する積分

$$$\int \sqrt{- a^{2} + u^{2}}\, du$$$ を求めよ。

$$$u=\cosh{\left(v \right)} \left|{a}\right|$$$ とする。

すると $$$du=\left(\cosh{\left(v \right)} \left|{a}\right|\right)^{\prime }dv = \sinh{\left(v \right)} \left|{a}\right| dv$$$ (手順は»で確認できます)。

また、$$$v=\operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}$$$が成り立つ。

被積分関数は次のようになる

$$$\sqrt{- a^{2} + u^{2}} = \sqrt{a^{2} \cosh^{2}{\left( v \right)} - a^{2}}$$$

恒等式 $$$\cosh^{2}{\left( v \right)} - 1 = \sinh^{2}{\left( v \right)}$$$ を用いよ:

$$$\sqrt{a^{2} \cosh^{2}{\left( v \right)} - a^{2}}=\sqrt{\cosh^{2}{\left( v \right)} - 1} \left|{a}\right|=\sqrt{\sinh^{2}{\left( v \right)}} \left|{a}\right|$$$

$$$\sinh{\left( v \right)} \ge 0$$$ を仮定すると、以下が得られる:

$$$\sqrt{\sinh^{2}{\left( v \right)}} \left|{a}\right| = \sinh{\left( v \right)} \left|{a}\right|$$$

積分は以下のように書き換えられる

$${\color{red}{\int{\sqrt{- a^{2} + u^{2}} d u}}} = {\color{red}{\int{a^{2} \sinh^{2}{\left(v \right)} d v}}}$$

冪低減公式 $$$\sinh^{2}{\left(\alpha \right)} = \frac{\cosh{\left(2 \alpha \right)}}{2} - \frac{1}{2}$$$ を $$$\alpha= v $$$ に適用する:

$${\color{red}{\int{a^{2} \sinh^{2}{\left(v \right)} d v}}} = {\color{red}{\int{\frac{a^{2} \left(\cosh{\left(2 v \right)} - 1\right)}{2} d v}}}$$

定数倍の法則 $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(v \right)} = a^{2} \left(\cosh{\left(2 v \right)} - 1\right)$$$ に対して適用する:

$${\color{red}{\int{\frac{a^{2} \left(\cosh{\left(2 v \right)} - 1\right)}{2} d v}}} = {\color{red}{\left(\frac{\int{a^{2} \left(\cosh{\left(2 v \right)} - 1\right) d v}}{2}\right)}}$$

Expand the expression:

$$\frac{{\color{red}{\int{a^{2} \left(\cosh{\left(2 v \right)} - 1\right) d v}}}}{2} = \frac{{\color{red}{\int{\left(a^{2} \cosh{\left(2 v \right)} - a^{2}\right)d v}}}}{2}$$

項別に積分せよ:

$$\frac{{\color{red}{\int{\left(a^{2} \cosh{\left(2 v \right)} - a^{2}\right)d v}}}}{2} = \frac{{\color{red}{\left(- \int{a^{2} d v} + \int{a^{2} \cosh{\left(2 v \right)} d v}\right)}}}{2}$$

$$$c=a^{2}$$$ に対して定数則 $$$\int c\, dv = c v$$$ を適用する:

$$\frac{\int{a^{2} \cosh{\left(2 v \right)} d v}}{2} - \frac{{\color{red}{\int{a^{2} d v}}}}{2} = \frac{\int{a^{2} \cosh{\left(2 v \right)} d v}}{2} - \frac{{\color{red}{a^{2} v}}}{2}$$

定数倍の法則 $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ を、$$$c=a^{2}$$$ と $$$f{\left(v \right)} = \cosh{\left(2 v \right)}$$$ に対して適用する:

$$- \frac{a^{2} v}{2} + \frac{{\color{red}{\int{a^{2} \cosh{\left(2 v \right)} d v}}}}{2} = - \frac{a^{2} v}{2} + \frac{{\color{red}{a^{2} \int{\cosh{\left(2 v \right)} d v}}}}{2}$$

$$$w=2 v$$$ とする。

すると $$$dw=\left(2 v\right)^{\prime }dv = 2 dv$$$（手順は»で確認できます）、$$$dv = \frac{dw}{2}$$$ となります。

したがって、

$$- \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\int{\cosh{\left(2 v \right)} d v}}}}{2} = - \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\int{\frac{\cosh{\left(w \right)}}{2} d w}}}}{2}$$

定数倍の法則 $$$\int c f{\left(w \right)}\, dw = c \int f{\left(w \right)}\, dw$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(w \right)} = \cosh{\left(w \right)}$$$ に対して適用する:

$$- \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\int{\frac{\cosh{\left(w \right)}}{2} d w}}}}{2} = - \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\left(\frac{\int{\cosh{\left(w \right)} d w}}{2}\right)}}}{2}$$

双曲線余弦関数の積分は $$$\int{\cosh{\left(w \right)} d w} = \sinh{\left(w \right)}$$$ です:

$$- \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\int{\cosh{\left(w \right)} d w}}}}{4} = - \frac{a^{2} v}{2} + \frac{a^{2} {\color{red}{\sinh{\left(w \right)}}}}{4}$$

次のことを思い出してください $$$w=2 v$$$:

$$- \frac{a^{2} v}{2} + \frac{a^{2} \sinh{\left({\color{red}{w}} \right)}}{4} = - \frac{a^{2} v}{2} + \frac{a^{2} \sinh{\left({\color{red}{\left(2 v\right)}} \right)}}{4}$$

次のことを思い出してください $$$v=\operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}$$$:

$$\frac{a^{2} \sinh{\left(2 {\color{red}{v}} \right)}}{4} - \frac{a^{2} {\color{red}{v}}}{2} = \frac{a^{2} \sinh{\left(2 {\color{red}{\operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}} \right)}}{4} - \frac{a^{2} {\color{red}{\operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}}}{2}$$

したがって、

$$\int{\sqrt{- a^{2} + u^{2}} d u} = \frac{a^{2} \sinh{\left(2 \operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)} \right)}}{4} - \frac{a^{2} \operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}{2}$$

公式 $$$\sin{\left(2 \operatorname{asin}{\left(\alpha \right)} \right)} = 2 \alpha \sqrt{1 - \alpha^{2}}$$$, $$$\sin{\left(2 \operatorname{acos}{\left(\alpha \right)} \right)} = 2 \alpha \sqrt{1 - \alpha^{2}}$$$, $$$\cos{\left(2 \operatorname{asin}{\left(\alpha \right)} \right)} = 1 - 2 \alpha^{2}$$$, $$$\cos{\left(2 \operatorname{acos}{\left(\alpha \right)} \right)} = 2 \alpha^{2} - 1$$$, $$$\sinh{\left(2 \operatorname{asinh}{\left(\alpha \right)} \right)} = 2 \alpha \sqrt{\alpha^{2} + 1}$$$, $$$\sinh{\left(2 \operatorname{acosh}{\left(\alpha \right)} \right)} = 2 \alpha \sqrt{\alpha - 1} \sqrt{\alpha + 1}$$$, $$$\cosh{\left(2 \operatorname{asinh}{\left(\alpha \right)} \right)} = 2 \alpha^{2} + 1$$$, $$$\cosh{\left(2 \operatorname{acosh}{\left(\alpha \right)} \right)} = 2 \alpha^{2} - 1$$$ を用いて、式を簡単化しなさい:

$$\int{\sqrt{- a^{2} + u^{2}} d u} = \frac{a^{2} u \sqrt{\frac{u}{\left|{a}\right|} - 1} \sqrt{\frac{u}{\left|{a}\right|} + 1}}{2 \left|{a}\right|} - \frac{a^{2} \operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}{2}$$

積分定数を加える:

$$\int{\sqrt{- a^{2} + u^{2}} d u} = \frac{a^{2} u \sqrt{\frac{u}{\left|{a}\right|} - 1} \sqrt{\frac{u}{\left|{a}\right|} + 1}}{2 \left|{a}\right|} - \frac{a^{2} \operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}{2}+C$$

$$$\int \sqrt{- a^{2} + u^{2}}\, du = \left(\frac{a^{2} u \sqrt{\frac{u}{\left|{a}\right|} - 1} \sqrt{\frac{u}{\left|{a}\right|} + 1}}{2 \left|{a}\right|} - \frac{a^{2} \operatorname{acosh}{\left(\frac{u}{\left|{a}\right|} \right)}}{2}\right) + C$$$A