Intégrale de $$$\frac{1}{34 \cosh{\left(x \right)}}$$$

Déterminez $$$\int \frac{1}{34 \cosh{\left(x \right)}}\, dx$$$.

Réécrire la fonction hyperbolique en fonction de l’exponentielle:

$${\color{red}{\int{\frac{1}{34 \cosh{\left(x \right)}} d x}}} = {\color{red}{\int{\frac{1}{34 \left(\frac{e^{x}}{2} + \frac{e^{- x}}{2}\right)} d x}}}$$

Simplifier l’intégrande:

$${\color{red}{\int{\frac{1}{34 \left(\frac{e^{x}}{2} + \frac{e^{- x}}{2}\right)} d x}}} = {\color{red}{\int{\frac{1}{17 \left(e^{x} + e^{- x}\right)} d x}}}$$

Appliquez la règle du facteur constant $$$\int c f{\left(x \right)}\, dx = c \int f{\left(x \right)}\, dx$$$ avec $$$c=\frac{1}{17}$$$ et $$$f{\left(x \right)} = \frac{1}{e^{x} + e^{- x}}$$$ :

$${\color{red}{\int{\frac{1}{17 \left(e^{x} + e^{- x}\right)} d x}}} = {\color{red}{\left(\frac{\int{\frac{1}{e^{x} + e^{- x}} d x}}{17}\right)}}$$

Simplify:

$$\frac{{\color{red}{\int{\frac{1}{e^{x} + e^{- x}} d x}}}}{17} = \frac{{\color{red}{\int{\frac{e^{x}}{e^{2 x} + 1} d x}}}}{17}$$

Soit $$$u=e^{x}$$$.

Alors $$$du=\left(e^{x}\right)^{\prime }dx = e^{x} dx$$$ (les étapes peuvent être vues »), et nous obtenons $$$e^{x} dx = du$$$.

L’intégrale peut être réécrite sous la forme

$$\frac{{\color{red}{\int{\frac{e^{x}}{e^{2 x} + 1} d x}}}}{17} = \frac{{\color{red}{\int{\frac{1}{u^{2} + 1} d u}}}}{17}$$

L’intégrale de $$$\frac{1}{u^{2} + 1}$$$ est $$$\int{\frac{1}{u^{2} + 1} d u} = \operatorname{atan}{\left(u \right)}$$$ :

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

Rappelons que $$$u=e^{x}$$$ :

$$\frac{\operatorname{atan}{\left({\color{red}{u}} \right)}}{17} = \frac{\operatorname{atan}{\left({\color{red}{e^{x}}} \right)}}{17}$$

Par conséquent,

$$\int{\frac{1}{34 \cosh{\left(x \right)}} d x} = \frac{\operatorname{atan}{\left(e^{x} \right)}}{17}$$

Ajouter la constante d'intégration :

$$\int{\frac{1}{34 \cosh{\left(x \right)}} d x} = \frac{\operatorname{atan}{\left(e^{x} \right)}}{17}+C$$

$$$\int \frac{1}{34 \cosh{\left(x \right)}}\, dx = \frac{\operatorname{atan}{\left(e^{x} \right)}}{17} + C$$$A