Integral de $$$\frac{\tan{\left(y \right)}}{\ln\left(\cos{\left(y \right)}\right)}$$$

Encontre $$$\int \frac{\tan{\left(y \right)}}{\ln\left(\cos{\left(y \right)}\right)}\, dy$$$.

Seja $$$u=\cos{\left(y \right)}$$$.

Então $$$du=\left(\cos{\left(y \right)}\right)^{\prime }dy = - \sin{\left(y \right)} dy$$$ (veja os passos »), e obtemos $$$\sin{\left(y \right)} dy = - du$$$.

Logo,

$${\color{red}{\int{\frac{\tan{\left(y \right)}}{\ln{\left(\cos{\left(y \right)} \right)}} d y}}} = {\color{red}{\int{\left(- \frac{1}{u \ln{\left(u \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=-1$$$ e $$$f{\left(u \right)} = \frac{1}{u \ln{\left(u \right)}}$$$:

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

Seja $$$v=\ln{\left(u \right)}$$$.

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

A integral torna-se

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

A integral de $$$\frac{1}{v}$$$ é $$$\int{\frac{1}{v} d v} = \ln{\left(\left|{v}\right| \right)}$$$:

$$- {\color{red}{\int{\frac{1}{v} d v}}} = - {\color{red}{\ln{\left(\left|{v}\right| \right)}}}$$

Recorde que $$$v=\ln{\left(u \right)}$$$:

$$- \ln{\left(\left|{{\color{red}{v}}}\right| \right)} = - \ln{\left(\left|{{\color{red}{\ln{\left(u \right)}}}}\right| \right)}$$

Recorde que $$$u=\cos{\left(y \right)}$$$:

$$- \ln{\left(\left|{\ln{\left({\color{red}{u}} \right)}}\right| \right)} = - \ln{\left(\left|{\ln{\left({\color{red}{\cos{\left(y \right)}}} \right)}}\right| \right)}$$

Portanto,

$$\int{\frac{\tan{\left(y \right)}}{\ln{\left(\cos{\left(y \right)} \right)}} d y} = - \ln{\left(\left|{\ln{\left(\cos{\left(y \right)} \right)}}\right| \right)}$$

Adicione a constante de integração:

$$\int{\frac{\tan{\left(y \right)}}{\ln{\left(\cos{\left(y \right)} \right)}} d y} = - \ln{\left(\left|{\ln{\left(\cos{\left(y \right)} \right)}}\right| \right)}+C$$

$$$\int \frac{\tan{\left(y \right)}}{\ln\left(\cos{\left(y \right)}\right)}\, dy = - \ln\left(\left|{\ln\left(\cos{\left(y \right)}\right)}\right|\right) + C$$$A