$$$\sqrt{\left(2 - x\right) \left(x - 1\right)}$$$の積分

$$$\int \sqrt{\left(2 - x\right) \left(x - 1\right)}\, dx$$$ を求めよ。

入力は次のように書き換えられます: $$$\int{\sqrt{\left(2 - x\right) \left(x - 1\right)} d x}=\int{\sqrt{- x^{2} + 3 x - 2} d x}$$$。

平方完成を行ってください（手順は»で確認できます）: $$$- x^{2} + 3 x - 2 = \frac{1}{4} - \left(x - \frac{3}{2}\right)^{2}$$$:

$${\color{red}{\int{\sqrt{- x^{2} + 3 x - 2} d x}}} = {\color{red}{\int{\sqrt{\frac{1}{4} - \left(x - \frac{3}{2}\right)^{2}} d x}}}$$

$$$u=x - \frac{3}{2}$$$ とする。

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

したがって、

$${\color{red}{\int{\sqrt{\frac{1}{4} - \left(x - \frac{3}{2}\right)^{2}} d x}}} = {\color{red}{\int{\sqrt{\frac{1}{4} - u^{2}} d u}}}$$

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

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

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

したがって、

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

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

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

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

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

したがって、

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

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

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

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

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

定数倍の法則 $$$\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$$$ に対して適用する:

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

項別に積分せよ:

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

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

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

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

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

この積分は次のように書き換えられる

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

定数倍の法則 $$$\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)}$$$ に対して適用する:

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

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

$$\frac{v}{8} + \frac{{\color{red}{\int{\cos{\left(w \right)} d w}}}}{16} = \frac{v}{8} + \frac{{\color{red}{\sin{\left(w \right)}}}}{16}$$

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

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

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

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

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

$$\frac{\sin{\left(2 \operatorname{asin}{\left(2 {\color{red}{u}} \right)} \right)}}{16} + \frac{\operatorname{asin}{\left(2 {\color{red}{u}} \right)}}{8} = \frac{\sin{\left(2 \operatorname{asin}{\left(2 {\color{red}{\left(x - \frac{3}{2}\right)}} \right)} \right)}}{16} + \frac{\operatorname{asin}{\left(2 {\color{red}{\left(x - \frac{3}{2}\right)}} \right)}}{8}$$

したがって、

$$\int{\sqrt{- x^{2} + 3 x - 2} d x} = \frac{\sin{\left(2 \operatorname{asin}{\left(2 x - 3 \right)} \right)}}{16} + \frac{\operatorname{asin}{\left(2 x - 3 \right)}}{8}$$

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

積分定数を加える:

$$\int{\sqrt{- x^{2} + 3 x - 2} d x} = \frac{\sqrt{1 - \left(2 x - 3\right)^{2}} \left(2 x - 3\right)}{8} + \frac{\operatorname{asin}{\left(2 x - 3 \right)}}{8}+C$$

$$$\int \sqrt{\left(2 - x\right) \left(x - 1\right)}\, dx = \left(\frac{\sqrt{1 - \left(2 x - 3\right)^{2}} \left(2 x - 3\right)}{8} + \frac{\operatorname{asin}{\left(2 x - 3 \right)}}{8}\right) + C$$$A