Integral of $$$\sqrt{- a^{2} + x^{2}}$$$ with respect to $$$x$$$

Find $$$\int \sqrt{- a^{2} + x^{2}}\, dx$$$.

Let $$$x=\cosh{\left(u \right)} \left|{a}\right|$$$.

Then $$$dx=\left(\cosh{\left(u \right)} \left|{a}\right|\right)^{\prime }du = \sinh{\left(u \right)} \left|{a}\right| du$$$ (steps can be seen »).

Also, it follows that $$$u=\operatorname{acosh}{\left(\frac{x}{\left|{a}\right|} \right)}$$$.

So,

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

Use the identity $$$\cosh^{2}{\left( u \right)} - 1 = \sinh^{2}{\left( u \right)}$$$:

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

Assuming that $$$\sinh{\left( u \right)} \ge 0$$$, we obtain the following:

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

Thus,

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

Apply the power reducing formula $$$\sinh^{2}{\left(\alpha \right)} = \frac{\cosh{\left(2 \alpha \right)}}{2} - \frac{1}{2}$$$ with $$$\alpha= u $$$:

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

Apply the constant multiple rule $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ with $$$c=\frac{1}{2}$$$ and $$$f{\left(u \right)} = a^{2} \left(\cosh{\left(2 u \right)} - 1\right)$$$:

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

Expand the expression:

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

Integrate term by term:

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

Apply the constant rule $$$\int c\, du = c u$$$ with $$$c=a^{2}$$$:

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

Apply the constant multiple rule $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ with $$$c=a^{2}$$$ and $$$f{\left(u \right)} = \cosh{\left(2 u \right)}$$$:

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

Let $$$v=2 u$$$.

Then $$$dv=\left(2 u\right)^{\prime }du = 2 du$$$ (steps can be seen »), and we have that $$$du = \frac{dv}{2}$$$.

Thus,

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

Apply the constant multiple rule $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ with $$$c=\frac{1}{2}$$$ and $$$f{\left(v \right)} = \cosh{\left(v \right)}$$$:

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

The integral of the hyperbolic cosine is $$$\int{\cosh{\left(v \right)} d v} = \sinh{\left(v \right)}$$$:

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

Recall that $$$v=2 u$$$:

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

Recall that $$$u=\operatorname{acosh}{\left(\frac{x}{\left|{a}\right|} \right)}$$$:

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

Therefore,

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

Using the formulas $$$\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$$$, simplify the expression:

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

Add the constant of integration:

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

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