Stammfunktion/Rationale Funktion in x und beliebiger Wurzel aus Quotient aus linearen Polynomen/Reduktion/Fakt/Beweis

Aus Wikiversity
Beweis

Wir können annehmen, da sonst Zähler und Nenner im Wurzelausdruck linear abhängig sind und man teilen könnte. Bei der angegebenen Substitution ist

Da die Ableitung der rationalen Funktion nach wieder eine rationale Funktion in ist, ist das Gesamtergebnis nach dieser Substitution eine rationale Funktion in .