$$$\sqrt{9 - x^{2}}$$$の積分
入力内容
$$$\int \sqrt{9 - x^{2}}\, dx$$$ を求めよ。
解答
$$$x=3 \sin{\left(u \right)}$$$ とする。
すると $$$dx=\left(3 \sin{\left(u \right)}\right)^{\prime }du = 3 \cos{\left(u \right)} du$$$ (手順は»で確認できます)。
また、$$$u=\operatorname{asin}{\left(\frac{x}{3} \right)}$$$が成り立つ。
したがって、
$$$\sqrt{9 - x^{2}} = \sqrt{9 - 9 \sin^{2}{\left( u \right)}}$$$
恒等式 $$$1 - \sin^{2}{\left( u \right)} = \cos^{2}{\left( u \right)}$$$ を用いよ:
$$$\sqrt{9 - 9 \sin^{2}{\left( u \right)}}=3 \sqrt{1 - \sin^{2}{\left( u \right)}}=3 \sqrt{\cos^{2}{\left( u \right)}}$$$
$$$\cos{\left( u \right)} \ge 0$$$ を仮定すると、以下が得られる:
$$$3 \sqrt{\cos^{2}{\left( u \right)}} = 3 \cos{\left( u \right)}$$$
したがって、
$${\color{red}{\int{\sqrt{9 - x^{2}} d x}}} = {\color{red}{\int{9 \cos^{2}{\left(u \right)} d u}}}$$
定数倍の法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ を、$$$c=9$$$ と $$$f{\left(u \right)} = \cos^{2}{\left(u \right)}$$$ に対して適用する:
$${\color{red}{\int{9 \cos^{2}{\left(u \right)} d u}}} = {\color{red}{\left(9 \int{\cos^{2}{\left(u \right)} d u}\right)}}$$
冪低減公式 $$$\cos^{2}{\left(\alpha \right)} = \frac{\cos{\left(2 \alpha \right)}}{2} + \frac{1}{2}$$$ を $$$\alpha= u $$$ に適用する:
$$9 {\color{red}{\int{\cos^{2}{\left(u \right)} d u}}} = 9 {\color{red}{\int{\left(\frac{\cos{\left(2 u \right)}}{2} + \frac{1}{2}\right)d u}}}$$
定数倍の法則 $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(u \right)} = \cos{\left(2 u \right)} + 1$$$ に対して適用する:
$$9 {\color{red}{\int{\left(\frac{\cos{\left(2 u \right)}}{2} + \frac{1}{2}\right)d u}}} = 9 {\color{red}{\left(\frac{\int{\left(\cos{\left(2 u \right)} + 1\right)d u}}{2}\right)}}$$
項別に積分せよ:
$$\frac{9 {\color{red}{\int{\left(\cos{\left(2 u \right)} + 1\right)d u}}}}{2} = \frac{9 {\color{red}{\left(\int{1 d u} + \int{\cos{\left(2 u \right)} d u}\right)}}}{2}$$
$$$c=1$$$ に対して定数則 $$$\int c\, du = c u$$$ を適用する:
$$\frac{9 \int{\cos{\left(2 u \right)} d u}}{2} + \frac{9 {\color{red}{\int{1 d u}}}}{2} = \frac{9 \int{\cos{\left(2 u \right)} d u}}{2} + \frac{9 {\color{red}{u}}}{2}$$
$$$v=2 u$$$ とする。
すると $$$dv=\left(2 u\right)^{\prime }du = 2 du$$$(手順は»で確認できます)、$$$du = \frac{dv}{2}$$$ となります。
したがって、
$$\frac{9 u}{2} + \frac{9 {\color{red}{\int{\cos{\left(2 u \right)} d u}}}}{2} = \frac{9 u}{2} + \frac{9 {\color{red}{\int{\frac{\cos{\left(v \right)}}{2} d v}}}}{2}$$
定数倍の法則 $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ を、$$$c=\frac{1}{2}$$$ と $$$f{\left(v \right)} = \cos{\left(v \right)}$$$ に対して適用する:
$$\frac{9 u}{2} + \frac{9 {\color{red}{\int{\frac{\cos{\left(v \right)}}{2} d v}}}}{2} = \frac{9 u}{2} + \frac{9 {\color{red}{\left(\frac{\int{\cos{\left(v \right)} d v}}{2}\right)}}}{2}$$
余弦の積分は$$$\int{\cos{\left(v \right)} d v} = \sin{\left(v \right)}$$$:
$$\frac{9 u}{2} + \frac{9 {\color{red}{\int{\cos{\left(v \right)} d v}}}}{4} = \frac{9 u}{2} + \frac{9 {\color{red}{\sin{\left(v \right)}}}}{4}$$
次のことを思い出してください $$$v=2 u$$$:
$$\frac{9 u}{2} + \frac{9 \sin{\left({\color{red}{v}} \right)}}{4} = \frac{9 u}{2} + \frac{9 \sin{\left({\color{red}{\left(2 u\right)}} \right)}}{4}$$
次のことを思い出してください $$$u=\operatorname{asin}{\left(\frac{x}{3} \right)}$$$:
$$\frac{9 \sin{\left(2 {\color{red}{u}} \right)}}{4} + \frac{9 {\color{red}{u}}}{2} = \frac{9 \sin{\left(2 {\color{red}{\operatorname{asin}{\left(\frac{x}{3} \right)}}} \right)}}{4} + \frac{9 {\color{red}{\operatorname{asin}{\left(\frac{x}{3} \right)}}}}{2}$$
したがって、
$$\int{\sqrt{9 - x^{2}} d x} = \frac{9 \sin{\left(2 \operatorname{asin}{\left(\frac{x}{3} \right)} \right)}}{4} + \frac{9 \operatorname{asin}{\left(\frac{x}{3} \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{9 - x^{2}} d x} = \frac{3 x \sqrt{1 - \frac{x^{2}}{9}}}{2} + \frac{9 \operatorname{asin}{\left(\frac{x}{3} \right)}}{2}$$
さらに簡単化:
$$\int{\sqrt{9 - x^{2}} d x} = \frac{x \sqrt{9 - x^{2}}}{2} + \frac{9 \operatorname{asin}{\left(\frac{x}{3} \right)}}{2}$$
積分定数を加える:
$$\int{\sqrt{9 - x^{2}} d x} = \frac{x \sqrt{9 - x^{2}}}{2} + \frac{9 \operatorname{asin}{\left(\frac{x}{3} \right)}}{2}+C$$
解答
$$$\int \sqrt{9 - x^{2}}\, dx = \left(\frac{x \sqrt{9 - x^{2}}}{2} + \frac{9 \operatorname{asin}{\left(\frac{x}{3} \right)}}{2}\right) + C$$$A