Integral de $$$\frac{1}{2 - \cos{\left(2 x \right)}}$$$

Encontre $$$\int \frac{1}{2 - \cos{\left(2 x \right)}}\, dx$$$.

Seja $$$u=2 x$$$.

Então $$$du=\left(2 x\right)^{\prime }dx = 2 dx$$$ (veja os passos »), e obtemos $$$dx = \frac{du}{2}$$$.

Logo,

$${\color{red}{\int{\frac{1}{2 - \cos{\left(2 x \right)}} d x}}} = {\color{red}{\int{\left(- \frac{1}{2 \left(\cos{\left(u \right)} - 2\right)}\right)d u}}}$$

Aplique a regra do múltiplo constante $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ usando $$$c=- \frac{1}{2}$$$ e $$$f{\left(u \right)} = \frac{1}{\cos{\left(u \right)} - 2}$$$:

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

Reescreva o integrando usando a fórmula $$$\cos{\left( u \right)}=\frac{1 - \tan^{2}{\left(\frac{ u }{2} \right)}}{\tan^{2}{\left(\frac{ u }{2} \right)} + 1}$$$:

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

Seja $$$v=\tan{\left(\frac{u}{2} \right)}$$$.

Então $$$u=2 \operatorname{atan}{\left(v \right)}$$$ e $$$du=\left(2 \operatorname{atan}{\left(v \right)}\right)^{\prime }dv = \frac{2}{v^{2} + 1} dv$$$ (as etapas podem ser vistas »).

A integral torna-se

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

Simplificar:

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

Aplique a regra do múltiplo constante $$$\int c f{\left(v \right)}\, dv = c \int f{\left(v \right)}\, dv$$$ usando $$$c=-2$$$ e $$$f{\left(v \right)} = \frac{1}{3 v^{2} + 1}$$$:

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

Seja $$$w=\sqrt{3} v$$$.

Então $$$dw=\left(\sqrt{3} v\right)^{\prime }dv = \sqrt{3} dv$$$ (veja os passos »), e obtemos $$$dv = \frac{\sqrt{3} dw}{3}$$$.

Portanto,

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

Aplique a regra do múltiplo constante $$$\int c f{\left(w \right)}\, dw = c \int f{\left(w \right)}\, dw$$$ usando $$$c=\frac{\sqrt{3}}{3}$$$ e $$$f{\left(w \right)} = \frac{1}{w^{2} + 1}$$$:

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

A integral de $$$\frac{1}{w^{2} + 1}$$$ é $$$\int{\frac{1}{w^{2} + 1} d w} = \operatorname{atan}{\left(w \right)}$$$:

$$\frac{\sqrt{3} {\color{red}{\int{\frac{1}{w^{2} + 1} d w}}}}{3} = \frac{\sqrt{3} {\color{red}{\operatorname{atan}{\left(w \right)}}}}{3}$$

Recorde que $$$w=\sqrt{3} v$$$:

$$\frac{\sqrt{3} \operatorname{atan}{\left({\color{red}{w}} \right)}}{3} = \frac{\sqrt{3} \operatorname{atan}{\left({\color{red}{\sqrt{3} v}} \right)}}{3}$$

Recorde que $$$v=\tan{\left(\frac{u}{2} \right)}$$$:

$$\frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} {\color{red}{v}} \right)}}{3} = \frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} {\color{red}{\tan{\left(\frac{u}{2} \right)}}} \right)}}{3}$$

Recorde que $$$u=2 x$$$:

$$\frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} \tan{\left(\frac{{\color{red}{u}}}{2} \right)} \right)}}{3} = \frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} \tan{\left(\frac{{\color{red}{\left(2 x\right)}}}{2} \right)} \right)}}{3}$$

Portanto,

$$\int{\frac{1}{2 - \cos{\left(2 x \right)}} d x} = \frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} \tan{\left(x \right)} \right)}}{3}$$

Adicione a constante de integração:

$$\int{\frac{1}{2 - \cos{\left(2 x \right)}} d x} = \frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} \tan{\left(x \right)} \right)}}{3}+C$$

$$$\int \frac{1}{2 - \cos{\left(2 x \right)}}\, dx = \frac{\sqrt{3} \operatorname{atan}{\left(\sqrt{3} \tan{\left(x \right)} \right)}}{3} + C$$$A