Integral/Potenzen von Sinus/Rekursion/Beispiel

Eine Stammfunktion der Sinusfunktion ${}\sin x$ ist ${}-\cos x$. Um Stammfunktionen zu ${}\sin ^{n}x$ zu finden, verwenden wir partielle Integration, um eine rekursive Beziehung zu Potenzen mit kleinerem Exponenten zu erhalten. Um dies präzise zu machen, arbeiten wir mit Intervallgrenzen, und zwar sollen die Stammfunktionen von ${}0$ ausgehen, also für ${}0$ den Wert ${}0$ besitzen. Für ${}n\geq 2$ ist mittels partieller Integration

${}{\begin{aligned}\int _{0}^{x}\sin ^{n}t\,dt&=\int _{0}^{x}\sin ^{n-2}t\cdot \sin ^{2}t\,dt\\&=\int _{0}^{x}\sin ^{n-2}t\cdot {\left(1-\cos ^{2}t\right)}\,dt\\&=\int _{0}^{x}\sin ^{n-2}t\,dt-\int _{0}^{x}{\left(\sin ^{n-2}t\cos t\right)}\cos t\,dt\\&=\int _{0}^{x}\sin ^{n-2}t\,dt-{\frac {\sin ^{n-1}t}{n-1}}\cos t|_{0}^{x}-{\frac {1}{n-1}}{\left(\int _{0}^{x}\sin ^{n}t\,dt\right)}.\end{aligned}}$

Durch Multiplikation mit ${}n-1$ und Umstellen erhält man

$n\int _{0}^{x}\sin ^{n}t\,dt=(n-1)\int _{0}^{x}\sin ^{n-2}t\,dt-\sin ^{n-1}x\cos x\,.$

Speziell ergibt sich für ${}n=2$

${}\int _{0}^{x}\sin ^{2}t\,dt={\frac {1}{2}}{\left(x-\sin x\cos x\right)}\,.$