Nachlesen
Kotangens (Integrationsregel)
Herleitung der Stammfunktion von $\cot(x)$
Unter Zuhilfenahme der Definition des Kotangens kann $\displaystyle\int{\cot(x)\ dx}$ wie folgt umgeschrieben werden:
\[ \int{\cot(x)\ dx} = \int{\frac{\cos(x)}{\sin(x)}\ dx}. \]
Anschließend wird mit $t = \sin(x)$ substituiert. Aus $t = \sin(x)$ folgt $dt = \cos(x)\ dt$.
\begin{align*} \int{\tan(x)\ dx} &= \int{\frac{1}{t}\ dt} \\[0.75em] &= \ln \bigl| t \bigr| \end{align*}
Die abschließende Resubstitution liefert das gesuchte Ergebnis:
\[ \int{\cot(x)\ dx} = \ln \Bigl| \sin(x) \Bigr| \]
Herleitung der Stammfunktion von $\cot^{-1}(x) = \frac{1}{\cot(x)}$
Unter Zuhilfenahme der Definition des Kotangens kann $\displaystyle\int{\frac{1}{\cot(x)}\ dx}$ wie folgt umgeschrieben werden:
\begin{align*} \int{\frac{1}{\cot(x)}\ dx} &= \int{\frac{1}{\frac{\cos(x)}{\sin(x)}}\ dx} \\[0.75em] &= \int{\frac{\sin{x}}{\cos{x}} \ dx} \\[0.75em] &= -\int{\frac{-\sin{x}}{\cos{x}} \ dx} \end{align*}
Anschließend wird mit $t = \cos(x)$ substituiert. Aus $t = \cos(x)$ folgt $dt = -\sin(x)\ dt$.
\begin{align*} \int{\frac{1}{\tan(x)}\ dx} &= -\int{\frac{1}{t}\ dt} \\[0.75em] &= -\ln |t| \end{align*}
Die abschließende Resubstitution liefert das gesuchte Ergebnis:
\[ \int{\frac{1}{\cot(x)}\ dx} = - \ln \Bigl| \cos(x) \Bigr| \]
Herleitung der Stammfunktion von $\cot^n(x)$ (für $n > 1$)
Zum Bestimmen einer Rekursionsformel für $\displaystyle\int{\cot^n(x)\ dx}$ wird dieses zunächst umgeschrieben. Es gilt:
\[ \int{\cot^n(x)\ dx} = \int{\cot^2(x) \cdot \cot^{n-2}(x) \ dx}. \]
Aufgrund der Definition $\cot(x) = \frac{\cos(x)}{\sin(x)}$ und der Identität
$\sin^2(x) + \cos^2(x) = 1$ gilt die folgende Gleichheit: \[ \cot^2(x) = {\left( \frac{\cos(x)}{\sin(x)} \right)}^2 = \frac{\cos^2(x)}{\sin^2(x)} = \frac{1 - \sin^2(x)}{\sin^2(x)} = \frac{1}{\sin^2(x)} - 1 \]
Einsetzen in das umgeformte Integral und Aufteilen auf zwei Integrale ergibt:
\begin{align*} \int{\cot^n(x)\ dx} &= \int{\left( \frac{1}{\sin^2(x)} - 1 \right) \cdot \cot^{n-2}(x)\ dx} \\[0.75em] &= \int{\frac{\cot^{n-2}(x)}{\sin^2(x)}\ dx} - \int{\cot^{n-2}(x)\ dx}. \end{align*}
Nun wird im ersten Integral auf der rechten Seite mit $t = \cot(x)$ substituiert. Aus $t = \cot(x)$ folgt $dx = -\sin^2(x)\ dt$.
\begin{align*} \int{\cot^n(x)\ dx} &= \int{\frac{t^{n-2} \cdot {\left( -{\color{fuchsia}\sin^2(x)} \right)}}{{\color{fuchsia} \sin^2(x)}}\ dt} - \int{\cot^{n-2}(x)\ dx} \\[0.75em] &= -\int{t^{n-2}\ dt} - \int{\cot^{n-2}(x)\ dx} \\[0.75em] &= -\frac{1}{n-1} \cdot t^{n-1} - \int{\cot^{n-2}(x)\ dx}. \end{align*}
Die abschließende Resubstitution liefert die gesuchte Rekursionsformel:
\[ \int{\cot^n(x)\ dx} = -\frac{1}{n-1} \cdot \cot^{n-1}(x) - \int{\cot^{n-2}(x)\ dx}. \]
Herleitung der Stammfunktion von $\cot^n(x)$ (für $n < -1$)
Die Stammfunktion für $\cot^n(x)$ (mit $n < -1$) kann durch Umstellen der Formel für $n > 1$ hergeleitet werden.
\[ \int{\cot^n(x)\ dx} = -\frac{1}{n-1} \cdot \cot^{n-1}(x) - \int{\cot^{n-2}(x)\ dx} \]
Umstellen nach $\int{\cot^{n-2}(x)\ dx}$:
\[ \int{\cot^{n-2}(x)\ dx} = -\frac{1}{n-1} \cdot \cot^{n-1}(x) - \int{\cot^n(x)\ dx} \]
Substitution $m=n-2$:
\[ \int{\cot^{m}(x)\ dx} = -\frac{1}{m+1} \cdot \cot^{m+1}(x) - \int{\cot^{m+2}(x)\ dx} \]
