$$$\frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}}$$$の積分

$$$\int \frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}}\, dx$$$ を求めよ。

入力は次のように書き換えられます: $$$\int{\frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}} d x}=\int{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x}$$$。

被積分関数を簡単化する:

$${\color{red}{\int{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x}}} = {\color{red}{\int{\frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}} d x}}}$$

定数倍の法則 $$$\int c f{\left(x \right)}\, dx = c \int f{\left(x \right)}\, dx$$$ を、$$$c=\frac{\sqrt{7}}{7}$$$ と $$$f{\left(x \right)} = \frac{\sqrt{7 - x}}{\sqrt{x}}$$$ に対して適用する:

$${\color{red}{\int{\frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}} d x}}} = {\color{red}{\left(\frac{\sqrt{7} \int{\frac{\sqrt{7 - x}}{\sqrt{x}} d x}}{7}\right)}}$$

$$$u=\sqrt{x}$$$ とする。

すると $$$du=\left(\sqrt{x}\right)^{\prime }dx = \frac{1}{2 \sqrt{x}} dx$$$（手順は»で確認できます）、$$$\frac{dx}{\sqrt{x}} = 2 du$$$ となります。

したがって、

$$\frac{\sqrt{7} {\color{red}{\int{\frac{\sqrt{7 - x}}{\sqrt{x}} d x}}}}{7} = \frac{\sqrt{7} {\color{red}{\int{2 \sqrt{7 - u^{2}} d u}}}}{7}$$

定数倍の法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ を、$$$c=2$$$ と $$$f{\left(u \right)} = \sqrt{7 - u^{2}}$$$ に対して適用する:

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

$$$u=\sqrt{7} \sin{\left(v \right)}$$$ とする。

すると $$$du=\left(\sqrt{7} \sin{\left(v \right)}\right)^{\prime }dv = \sqrt{7} \cos{\left(v \right)} dv$$$ (手順は»で確認できます)。

また、$$$v=\operatorname{asin}{\left(\frac{\sqrt{7} u}{7} \right)}$$$が成り立つ。

したがって、

$$$\sqrt{7 - u ^{2}} = \sqrt{7 - 7 \sin^{2}{\left( v \right)}}$$$

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

$$$\sqrt{7 - 7 \sin^{2}{\left( v \right)}}=\sqrt{7} \sqrt{1 - \sin^{2}{\left( v \right)}}=\sqrt{7} \sqrt{\cos^{2}{\left( v \right)}}$$$

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

$$$\sqrt{7} \sqrt{\cos^{2}{\left( v \right)}} = \sqrt{7} \cos{\left( v \right)}$$$

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

$$\frac{2 \sqrt{7} {\color{red}{\int{\sqrt{7 - u^{2}} d u}}}}{7} = \frac{2 \sqrt{7} {\color{red}{\int{7 \cos^{2}{\left(v \right)} d v}}}}{7}$$

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

$$\frac{2 \sqrt{7} {\color{red}{\int{7 \cos^{2}{\left(v \right)} d v}}}}{7} = \frac{2 \sqrt{7} {\color{red}{\left(7 \int{\cos^{2}{\left(v \right)} d v}\right)}}}{7}$$

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

$$2 \sqrt{7} {\color{red}{\int{\cos^{2}{\left(v \right)} d v}}} = 2 \sqrt{7} {\color{red}{\int{\left(\frac{\cos{\left(2 v \right)}}{2} + \frac{1}{2}\right)d v}}}$$

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

$$2 \sqrt{7} {\color{red}{\int{\left(\frac{\cos{\left(2 v \right)}}{2} + \frac{1}{2}\right)d v}}} = 2 \sqrt{7} {\color{red}{\left(\frac{\int{\left(\cos{\left(2 v \right)} + 1\right)d v}}{2}\right)}}$$

項別に積分せよ:

$$\sqrt{7} {\color{red}{\int{\left(\cos{\left(2 v \right)} + 1\right)d v}}} = \sqrt{7} {\color{red}{\left(\int{1 d v} + \int{\cos{\left(2 v \right)} d v}\right)}}$$

$$$c=1$$$ に対して定数則 $$$\int c\, dv = c v$$$ を適用する:

$$\sqrt{7} \left(\int{\cos{\left(2 v \right)} d v} + {\color{red}{\int{1 d v}}}\right) = \sqrt{7} \left(\int{\cos{\left(2 v \right)} d v} + {\color{red}{v}}\right)$$

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

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

したがって、

$$\sqrt{7} \left(v + {\color{red}{\int{\cos{\left(2 v \right)} d v}}}\right) = \sqrt{7} \left(v + {\color{red}{\int{\frac{\cos{\left(w \right)}}{2} d w}}}\right)$$

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

$$\sqrt{7} \left(v + {\color{red}{\int{\frac{\cos{\left(w \right)}}{2} d w}}}\right) = \sqrt{7} \left(v + {\color{red}{\left(\frac{\int{\cos{\left(w \right)} d w}}{2}\right)}}\right)$$

余弦の積分は$$$\int{\cos{\left(w \right)} d w} = \sin{\left(w \right)}$$$:

$$\sqrt{7} \left(v + \frac{{\color{red}{\int{\cos{\left(w \right)} d w}}}}{2}\right) = \sqrt{7} \left(v + \frac{{\color{red}{\sin{\left(w \right)}}}}{2}\right)$$

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

$$\sqrt{7} \left(v + \frac{\sin{\left({\color{red}{w}} \right)}}{2}\right) = \sqrt{7} \left(v + \frac{\sin{\left({\color{red}{\left(2 v\right)}} \right)}}{2}\right)$$

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

$$\sqrt{7} \left(\frac{\sin{\left(2 {\color{red}{v}} \right)}}{2} + {\color{red}{v}}\right) = \sqrt{7} \left(\frac{\sin{\left(2 {\color{red}{\operatorname{asin}{\left(\frac{\sqrt{7} u}{7} \right)}}} \right)}}{2} + {\color{red}{\operatorname{asin}{\left(\frac{\sqrt{7} u}{7} \right)}}}\right)$$

次のことを思い出してください $$$u=\sqrt{x}$$$:

$$\sqrt{7} \left(\frac{\sin{\left(2 \operatorname{asin}{\left(\frac{\sqrt{7} {\color{red}{u}}}{7} \right)} \right)}}{2} + \operatorname{asin}{\left(\frac{\sqrt{7} {\color{red}{u}}}{7} \right)}\right) = \sqrt{7} \left(\frac{\sin{\left(2 \operatorname{asin}{\left(\frac{\sqrt{7} {\color{red}{\sqrt{x}}}}{7} \right)} \right)}}{2} + \operatorname{asin}{\left(\frac{\sqrt{7} {\color{red}{\sqrt{x}}}}{7} \right)}\right)$$

したがって、

$$\int{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x} = \sqrt{7} \left(\frac{\sin{\left(2 \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)} \right)}}{2} + \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)}\right)$$

公式 $$$\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{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x} = \sqrt{7} \left(\frac{\sqrt{7} \sqrt{x} \sqrt{1 - \frac{x}{7}}}{7} + \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)}\right)$$

さらに簡単化:

$$\int{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x} = \sqrt{7} \left(\frac{\sqrt{x} \sqrt{7 - x}}{7} + \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)}\right)$$

積分定数を加える:

$$\int{\frac{\sqrt{49 - 7 x}}{7 \sqrt{x}} d x} = \sqrt{7} \left(\frac{\sqrt{x} \sqrt{7 - x}}{7} + \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)}\right)+C$$

$$$\int \frac{\sqrt{7} \sqrt{7 - x}}{7 \sqrt{x}}\, dx = \sqrt{7} \left(\frac{\sqrt{x} \sqrt{7 - x}}{7} + \operatorname{asin}{\left(\frac{\sqrt{7} \sqrt{x}}{7} \right)}\right) + C$$$A