Stammfunktion/Rationale Funktion in trigonometrische Funktionen/Fakt

Es sei eine rationale Funktion in den trigonometrischen Funktionen und gegeben, d.h. es gebe zwei Polynome und in zwei Variablen mit derart, dass

gilt.

Dann führt die Substitution

das Integral

auf das Integral einer rationalen Funktion zurück.