| Jeder lineare Anteil | |
|---|---|
| Jeder quadratische Anteil | |
| Dessen Koeffizient bei einer einfachen Nullstelle a |
Lektion
Die Theorie — Partialbruchzerlegung
Eine Partialbruchzerlegung schreibt eine rationale Funktion P(x)/Q(x), bei der P einen kleineren Grad als Q aufweist, als Summe einfacher Brüche. Für jeden Faktor von Q über den reellen Zahlen gibt es eine Gruppe: A/(x − a)k für jede Potenz eines linearen Faktors bis zu seiner Vielfachheit, und (Bx + C)/(x² + px + q)k für jede Potenz eines quadratischen Faktors ohne reelle Nullstelle. Ist der Grad von P nicht kleiner, dividiere zuerst. Jeder Bruch integriert sich zu einer rationalen Funktion, einem Logarithmus oder einem Arkustangens.
Was die einzelnen Symbole bedeuten
P/Q- der Integrand, Zähler über Nenner; die reellen Nullstellen von Q sind die Polstellen von f
C- eine Integrationskonstante, die auf jedem Intervall zwischen den Polstellen anders sein kann
Woher die Formel kommt
- Ein einfacher Faktor: Halte ihn zu. Multipliziere die Identität mit x − a und setze x = a ein. Alle anderen Brüche verschwinden. A ist dann P(a), geteilt durch den verbleibenden Nenner an der Stelle a.
- Ein mehrfacher Faktor braucht einen Bruch pro Potenz. Für (x − a)² schreibst du A/(x − a) + B/(x − a)². Die Zuhaltemethode liefert B. Für A vergleichst du die Koeffizienten einer Potenz von x oder setzt einen beliebigen anderen Wert für x ein.
- Ein quadratischer Faktor ohne reelle Nullstellen. Zerlege den Zähler in ein Vielfaches der Ableitung des quadratischen Terms und eine Konstante. Der erste Teil führt beim Integrieren auf einen Logarithmus, der zweite nach quadratischer Ergänzung auf einen Arkustangens.
- Versagt, wenn
- Die Zerlegung erfordert die Nullstellen von Q. Ab Grad fünf gibt es für sie möglicherweise keine Formel mit Wurzeln. Die Koeffizienten bleiben zwar exakte Zahlen, doch sie können sich Wurzelausdrücken ebenfalls entziehen. Bei der Aufgabe x⁵ − x − 1 lautet der erste Koeffizient exakt 1/(5r⁴ − 1), wobei r die reelle Nullstelle ist. Genau wie r besitzt er keine Formel mit Wurzeln. Die Seite arbeitet stattdessen mit numerischen Näherungen. Der rationale Teil der Lösung benötigt die Nullstellen ohnehin nie: Charles Hermite zeigte, dass er sich allein durch Polynomarithmetik finden lässt, und Hardys §4 beschreibt diese Methode.
Aufgaben vollständig gelöst
-
Zwei Linearfaktoren: die Zuhaltemethode 3 Schritte
Bestimme ∫(x + 7)/((x − 1)(x + 3)) dx.
-
Ein Bruch für jeden Linearfaktor:
-
Halte nacheinander jeden Faktor zu und setze seine Nullstelle ein:
-
Jeder Bruch liefert integriert einen Logarithmus:
Antwort
2 ln|x − 1| − ln|x + 3| + C. Zwei Zeilen Rechnung, ganz ohne Gleichungssystem. Die Zuhaltemethode funktioniert, weil das Multiplizieren mit x − 1 und Einsetzen von x = 1 alle anderen Brüche zu null macht.
-
-
Ein mehrfacher Faktor 3 Schritte
Bestimme ∫dx/(x²(x + 1)).
Lösung anzeigen
-
Weil x² ein mehrfacher Faktor ist, brauchst du zwei Brüche: einen für x und einen für x²:
-
Durch Zuhalten erhältst du B und C; der Koeffizient von x² liefert A:
-
Integriere jeden Teil einzeln. B/x² ist eine Potenz, kein Logarithmus:
Antwort
ln|(x + 1)/x| − 1/x + C. Nur B/x² und C/(x + 1) anzusetzen, ist die klassische Falle: Zwei Brüche können in der Summe diesen Term nicht ergeben, und der Koeffizientenvergleich hätte keine Lösung.
-
-
Ein quadratischer Faktor ohne reelle Nullstellen 2 Schritte
Bestimme ∫(3x + 1)/(x² + 1) dx.
Lösung anzeigen
-
x² + 1 lässt sich nicht weiter zerlegen. Spalte den Zähler daher in ein Vielfaches seiner Ableitung 2x und eine Konstante auf:
-
Der erste Teil ist f′/f, der zweite der Arkustangens:
Antwort
(3/2) ln(x² + 1) + arctan x + C. Keine Betragsstriche beim Logarithmus, da x² + 1 nie negativ wird.
-
-
Ein Linearfaktor mal ein quadratischer Faktor 3 Schritte
Bestimme ∫dx/(x(x² + 1)).
Lösung anzeigen
-
Der quadratische Faktor bekommt einen linearen Zähler, Bx + C:
-
Durch Zuhalten erhältst du A; der Koeffizientenvergleich für den Rest liefert B und C:
-
Ein Logarithmus, dazu der Logarithmus des quadratischen Terms:
Antwort
ln|x| − ½ ln(x² + 1) + C. Eine Konstante über x² + 1 reicht nicht aus: Über einem quadratischen Faktor darf der Zähler immer linear sein.
-
-
Unechter Bruch: Zuerst dividieren 3 Schritte
Bestimme ∫(x³ + x)/(x − 1) dx.
Lösung anzeigen
-
Der Zähler hat den höheren Grad, dividiere also zuerst:
-
Ein Polynom plus ein echter Bruch:
-
Integriere Term für Term:
Antwort
x³/3 + x²/2 + 2x + 2 ln|x − 1| + C. Mit der Partialbruchzerlegung beginnst du erst, wenn der Zählergrad kleiner als der Nennergrad ist.
-
-
Quadratische Ergänzung 2 Schritte
Bestimme ∫dx/(x² + 4x + 13).
Lösung anzeigen
-
Die Diskriminante ist 16 − 52 < 0, es gibt also keine reelle Nullstelle. Ergänze quadratisch:
-
Das entspricht der Arkustangens-Form mit h = −2 und k = 3:
Antwort
(1/3) arctan((x + 2)/3) + C. Der typische Stolperstein ist das 1/3 davor: Leitest du arctan((x + 2)/3) ab, erhältst du 3/(x² + 4x + 13), also das Dreifache des Integranden.
-
-
Ein bestimmtes Integral zwischen den Polstellen 2 Schritte
Berechne ∫01 dx/(x² − 4).
Lösung anzeigen
-
x² − 4 = (x − 2)(x + 2), und mit der Zuhaltemethode erhältst du ±1/4:
-
Beide Polstellen bei ±2 liegen außerhalb von [0, 1], du kannst die Formel also zwischen den Grenzen anwenden:
Antwort
−(ln 3)/4 ≈ −0,2747. Negativ, weil 1/(x² − 4) auf [0, 1] kleiner als null ist. Läge eine Polstelle im Intervall, würde dieselbe Subtraktion eine Zahl für ein Integral liefern, das gar nicht existiert. Genau davor warnt dich der Vertiefungsblock zu den Integrationskonstanten.
-
-
∫ dx/(x⁴ + 1): keine reellen Nullstellen, zwei reelle quadratische Terme 5 Schritte
Finde ∫₀^∞ dx/(x⁴ + 1). Der Nenner besitzt keine reelle Nullstelle, folglich gibt es keine Polstelle und keinen linearen Faktor. Keine der Aufgaben der Seite sieht so aus. Klick auf Ein Arkustangens für den Baustein.
Lösung anzeigen
-
x⁴ + 1 hat keine reelle Nullstelle, ist aber nach Addition und Subtraktion von 2x² eine Differenz zweier Quadrate. Es zerfällt also in zwei reelle quadratische Terme:
-
Keiner dieser quadratischen Terme hat eine reelle Nullstelle (beide Diskriminanten sind 2 − 4 = −2), also erhält jeder einen linearen Zähler. Ein Koeffizientenvergleich liefert:
-
Jeder quadratische Teil zerfällt in ein Vielfaches der Nennerableitung, was einen Logarithmus ergibt, und in eine Konstante über einem vollständigen Quadrat, die zu einem Arkustangens wird:
-
Die auf der gesamten Zahlenachse gültige Stammfunktion lautet daher:
-
Bei x = 0 ist der Logarithmus ln 1 = 0, und die Arkustangens-Terme heben sich auf. Wenn x wächst, strebt der Logarithmus wieder gegen ln 1 = 0 und jeder Arkustangens gegen π/2:
Antwort
π/(2√2) ≈ 1,1107. Der Entdecker auf der Seite endet bei x² + c. Eine Funktion vierten Grades ohne reelle Nullstellen verlangt dieselben zwei Schritte, einen Logarithmus und einen Arkustangens. Du führst sie zweimal aus, mit √2 in jedem Koeffizienten.
-
Lernpfad
Integrationstechniken
Quellen (3)
- The integral of a rational function as a rational part plus Σ A log(x − a), with the coefficient over a simple root a given by P(a)/Q′(a) (§1, pp. 12–13), and the page's third claim in his words: “The roots of Q(x) = 0 are not in general explicit algebraical functions of the coefficients, and cannot as a rule be determined in any explicit form. The method of partial fractions is therefore subject to serious limitations” (§3, p. 15). §4 credits Hermite with finding the rational part without the roots: G. H. Hardy, The Integration of Functions of a Single Variable, 2nd ed., Cambridge Tracts in Mathematics and Mathematical Physics no. 2, Cambridge University Press (1916), Chapter IV, §§1–4.
- The arctangent as a logarithm: Example 2.1 (p. 4) checks by differentiation that 2i tan⁻¹(x), plus a constant, is a logarithm of the non-vanishing function (x − i)/(x + i), and why that matters: allowing only real exponentials and logarithms, 1/(1 + x²) would not be elementarily integrable at all (p. 7): B. Conrad, “Impossibility theorems for elementary integration”, Clay Mathematics Institute Academy Colloquium lecture notes (2005), §2, Example 2.1, and §3, p. 7.
- Why x⁵ − x − 1 has Galois group S₅: Dedekind's theorem turns a factorisation mod p into distinct irreducibles of degrees d₁, …, dₘ into a permutation of cycle type (d₁, …, dₘ) in the Galois group, and Theorem 2.1 says “a transitive subgroup of Sₙ that contains a transposition and a p-cycle for some prime p > n/2 is Sₙ”. The page supplies the factorisations (irreducible mod 5; (x² + x + 1)(x³ + x² + 1) mod 2) and its check verifies them: K. Conrad, “Recognizing Galois groups Sₙ and Aₙ”, expository note, University of Connecticut, §1 and Theorem 2.1.