Extremwertproblem

Unter Kurvendiskussion versteht man in der Mathematik die Untersuchung des Graphen einer Funktion auf dessen Eigenschaften, wie zum Beispiel Nullstellen, Hoch- und Tiefpunkte, Wendepunkte, Polstellen, Verhalten im Unendlichen usw. Die Ergebnisse einer solchen Kurvendiskussion erleichtern die Anfertigung einer Skizze des Graphen.

Definitionsbereich

Bei einer Kurvendiskussion wird fast immer die Menge $\R$ aller reellen Zahlen als Grundmenge vorausgesetzt. Der maximale Definitionsbereich einer Funktion f ist also die Menge aller reellen Zahlen x, für die der Funktionswert f(x) definiert ist. Für ganzrationale Funktionen (Polynomfunktionen) ist der maximale Definitionsbereich gleich $\R$. Bei gebrochenrationalen Funktionen gehören alle reellen Zahlen mit Ausnahme derer, für die der Nenner Nullstellen aufweist, zum maximalen Definitionsbereich.

Beispiele:

• $f(x) = \frac{1}{x(x-3)}; \quad D = \R \setminus \{0;3\}$

Der Nenner des Bruchs darf nicht gleich 0 sein. Daher sind die x-Werte 0 und 3 ausgeschlossen.

• $f(x) = \sqrt{25-x^2}; \quad D = \{ x \in \R | -5 \le x \le 5 \} = [-5;5]$

Der Radikand, also der Rechenausdruck unter der Quadratwurzel, muss größer oder gleich 0 sein. Diese Bedingung ist genau für die Zahlen erfüllt, deren Betrag kleiner oder gleich 5 ist.

• $f(x) = \ln(x+4); \quad D = \{ x \in \R | x > -4 \} = ]-4;\infty[$

Die natürliche Logarithmusfunktion ln ist nur für positive Argumente definiert. Also muss x > − 4 gelten.

Schnittpunkte mit den Koordinatenachsen

Um die Nullstellen einer Funktion f und damit die Schnittpunkte des Funktionsgraphen mit der x-Achse zu finden, wird die Lösungsmenge der Gleichung f(x) = 0 berechnet. Die genaue Vorgehensweise hängt davon ab, welche Funktion untersucht wird. Ist die Funktion f beispielsweise durch einen Bruchterm gegeben, so wird der Zähler gleich 0 gesetzt, um die Nullstellen zu erhalten.

Um den Schnittpunkt des Funktionsgraphen mit der y-Achse zu bestimmen, wird für x der Wert 0 eingesetzt. Der Y-Achsenabschnitt liegt dann folglich bei (0 | f(0)).

Symmetrieeigenschaften

Bei der Beantwortung der Frage, ob der Graph der gegebenen Funktion in irgendeiner Weise symmetrisch ist, müssen mehrere Fälle berücksichtigt werden.

Achsensymmetrie bezüglich der y-Achse

• Der Graph einer Funktion f ist genau dann achsensymmetrisch bezüglich der y-Achse, wenn für beliebige x-Werte des Definitionsbereiches gilt:

f( − x) = f(x)

Bei ganzrationalen Funktionen bedeutet diese Bedingung, dass nur gerade Exponenten auftreten.

Punktsymmetrie bezüglich des Ursprungs

• Der Graph einer Funktion f ist genau dann punktsymmetrisch bezüglich des Ursprungs, wenn für beliebige x-Werte des Definitionsbereiches gilt:

f( − x) = − f(x)

Der Graph einer ganzrationalen Funktion ist genau dann punktsymmetrisch bezüglich des Ursprungs, wenn nur ungerade Exponenten vorkommen.

Achsensymmetrie bezüglich einer beliebigen Achse

• Achsensymmetrie in Bezug auf die Gerade mit der Gleichung x = x₀ (parallel zur y-Achse) lässt sich überprüfen mithilfe der Bedingung

f(x₀ − h) = f(x₀ + h).

Achsensymmetrisch sind unter anderem die Graphen der quadratischen Funktionen. Die Symmetrieachse ergibt sich in diesem Fall aus der x-Koordinate des (Parabel-)Scheitels.

Punktsymmetrie bezüglich eines beliebigen Zentrums

• Die Bedingung für Punktsymmetrie bezüglich des Punktes (x₀ | y₀) lautet

f(x₀ − h) + f(x₀ + h) = 2y₀

oder (äquivalent)

f(x₀ + h) − y₀ = y₀ − f(x₀ − h).

Die Graphen aller kubischen Funktionen sind punktsymmetrisch. Symmetriezentrum ist jeweils der (einzige) Wendepunkt (siehe unten).

Extrempunkte

Um die Extrempunkte - das heißt Hoch- und Tiefpunkte - einer stetig differenzierbaren Funktion f zu bestimmen, wird die erste Ableitung von f gleich 0 gesetzt, das heißt, die Lösungsmenge der Gleichung $f'\,(x) = 0$ wird berechnet. Alle Lösungen dieser Gleichung sind mögliche Extremstellen.

Die Bedingung $f'\,(x) = 0$ ist allerdings nur eine notwendige Bedingung für Extremstellen. Eine Stelle mit der Steigung 0 könnte auch ein Sattelpunkt sein. Das Standardbeispiel ist f(x) = x³ an der Stelle 0. Obwohl $f'\,(0) = 0$ gilt, ist der Punkt (0 | 0) kein Extrempunkt, sondern ein Sattelpunkt.

Zum Nachweis der Extrempunkteigenschaft benötigt man daher eine der weiter unten genannten hinreichenden Bedingungen.

Notwendige Bedingung

Es leuchtet anschaulich ein, dass die Tangente an einen Funktionsgraphen in einem Extrempunkt waagrecht verlaufen muss. Die Steigung einer solchen Tangente muss also den Wert 0 haben. Präziser gilt:

• f sei eine reelle Funktion, die auf einem offenen Intervall I definiert und an der Stelle x₀ (mit $x_0 \in I$) differenzierbar ist. Nimmt f an der Stelle x₀ ein relatives Extremum (also ein relatives Maximum oder Minimum) an, so gilt $f'\,(x_0) = 0$.

Am Rand des Definitionsbereichs und an Stellen, an denen die gegebene Funktion nicht differenzierbar ist, sind die Voraussetzungen dieser Bedingung nicht erfüllt. Relative Extrema an solchen Stellen lassen sich also im Allgemeinen nicht durch Nullsetzen der Ableitung bestimmen.

Hinreichende Bedingung: Wert der zweiten Ableitung

Die folgende hinreichende Bedingung bietet oft eine bequeme Möglichkeit, den Nachweis für ein relatives Extremum zu führen und zugleich die Art (Maximum oder Minimum) zu bestimmen. Da auch die zweite Ableitung benötigt wird, spricht man gelegentlich vom $f''~$-Test.

• f sei eine reelle Funktion, die in einem offenen Intervall I definiert und zweimal differenzierbar ist.

Gilt an einer Stelle $x_0 \in I$ zugleich

1. $f '~(x_0) = 0$ und
2. $f ''~(x_0) > 0$,

so hat f an dieser Stelle ein relatives Minimum.

Gilt dagegen zugleich

1. $f '~(x_0) = 0$ und
2. $f ''~(x_0) < 0$,

so hat f an dieser Stelle ein relatives Maximum.

Beispiel:

$\begin{align} f(x) & = -x^2 + 8x\\ f'(x) & = -2x + 8\\ f''(x) & = -2 \end{align}$

Durch Nullsetzen der ersten Ableitung ( − 2x + 8 = 0) erhält man x = 4. Einsetzen in die zweite Ableitung ergibt $f''~(4) = -2 < 0$ (Bedingung für ein relatives Maximum). Der Graph von f hat also genau einen Extrempunkt, nämlich einen Hochpunkt mit der x-Koordinate 4.

Gelegentlich gilt sowohl $f'~(x_0) = 0$ als auch $f''~(x_0) = 0$. In diesem Fall sind weitere Untersuchungen nötig, um zu entscheiden, ob eine Extremstelle vorliegt oder nicht. Das bedeutet konkret, dass solange abgeleitet werden muss, bis eine Ableitung gerader Ordnung - vierter, sechster,... Ordnung - vorliegt, die an dieser Stelle ungleich 0 ist.

Das einfachste Beispiel ist f(x) = x⁴. Die ersten drei Ableitungen an der Stelle x₀ = 0, also $f'~(0)$, $f''~(0)$ und $f'''~(0)$ haben jeweils den Wert 0. Erst die vierte Ableitung f⁽⁴⁾(x) = 24 ermöglicht wegen $f^{(4)}(0) = 24 \ne 0$ den Nachweis des Extremums. Das positive Vorzeichen lässt erkennen, dass sich an der Stelle x₀ = 0 ein relatives Minimum befindet.

In seltenen Fällen versagt auch dieses allgemeinere Kriterium, nämlich dann, wenn alle Ableitungen an der Stelle x₀ gleich 0 sind.

Hinreichende Bedingung: Vorzeichen der ersten Ableitung

Ein weiteres Verfahren zum Nachweis der Extrempunkteigenschaft kommt ohne die Berechnung der zweiten Ableitung aus. Es wird untersucht, ob die erste Ableitung $f'~(x)$ an der betrachteten Stelle x₀ ihr Vorzeichen wechselt. Diese Methode, gelegentlich als VZW-Verfahren bezeichnet, lässt sich folgendermaßen anschaulich deuten:

Durchläuft man den Funktionsgraphen in der Umgebung eines Hochpunkts von links nach rechts, so lässt sich das Aussehen dieser Kurve wie folgt beschreiben:

1. Links vom Hochpunkt steigt der Funktionsgraph an. Die Steigung ist positiv.
2. Im Hochpunkt selbst verläuft die Tangente waagerecht. Die Steigung ist 0.
3. Rechts vom Hochpunkt fällt der Funktionsgraph. Die Steigung ist negativ.

Entsprechendes, nur umgekehrt, gilt für Tiefpunkte.

• f sei eine reelle Funktion, die in einem offenen Intervall I definiert und differenzierbar ist.

Gilt an einer Stelle $x_0 \in I$ zugleich

1. $f'~(x_0) = 0$,
2. $f'~(x) < 0$ für $x < x_0, \, x \in I$ und
3. $f'~(x) > 0$ für $x > x_0, \, x \in I$,

so hat f an dieser Stelle ein relatives Minimum.

Gilt an einer Stelle $x_0 \in I$ zugleich

1. $f'~(x_0) = 0$,
2. $f'~(x) > 0$ für $x < x_0, \, x \in I$ und
3. $f'~(x) < 0$ für $x > x_0, \, x \in I$,

so hat f an dieser Stelle ein relatives Maximum.

Beispiel:

$f~(x) = x^4$

$f'~(x) = 4x^3$

Nullsetzen der Ableitung (4x³ = 0) liefert als Stelle mit waagerechter Tangente und damit als Kandidaten für eine Extremstelle x = 0. Beim VZW-Test betrachtet man x-Werte, die kleiner bzw. größer als 0 sind.

$f'~(x) = 4x^3 &amp;amp;lt; 0$ für x < 0

$f'~(x) = 4x^3 &amp;amp;gt; 0$ für x > 0

zeigt, dass ein Tiefpunkt vorliegt.

Ein Problem des VZW-Tests besteht darin, dass das Vorzeichen der Ableitung nicht nur für eine einzige Stelle ermittelt werden muss, sondern für ein ganzes Intervall. In der Schulmathematik bestimmt man daher oft nur für eine einzelne Stelle des Intervalls das Vorzeichen und schließt daraus, dass dieses Vorzeichen im ganzen Intervall gilt. Diese Vorgehensweise ist erlaubt, wenn die Funktion im Intervall I stetig differenzierbar ist.

Historische Randbemerkung: Die Bestimmung der Extrema aus der Tangentensteigung wurde erstmals von Fermat in einem Brief an Descartes vorgeschlagen - bevor es den Ableitungsbegriff gab.

Wendepunkte

Als Wendepunkte bezeichnet man diejenigen Punkte, in denen der gegebene Funktionsgraph zwischen Links- und Rechtskrümmung wechselt. Die Art der Krümmung lässt sich - unter gewissen Voraussetzungen - am Vorzeichen der zweiten Ableitung f ''(x) erkennen. Positives Vorzeichen lässt auf Linkskrümmung schließen, negatives Vorzeichen auf Rechtskrümmung. Beim Standardverfahren zur Bestimmung der Wendepunkte setzt man daher die zweite Ableitung gleich 0. Die Lösungen der Gleichung f ''(x) = 0 (siehe notwendige Bedingung) kommen als Wendestellen in Frage. Mit einer der unten aufgeführten hinreichenden Bedingungen weist man anschließend nach, dass tatsächlich ein Wendepunkt vorliegt.

Notwendige Bedingung

• f sei eine reelle Funktion, die in einem offenen Intervall I definiert und zweimal stetig differenzierbar ist. Hat der Graph von f an der Stelle $x_0 \in I$ einen Wendepunkt, so gilt

$f''~(x_0) = 0$.

Hinreichende Bedingung: Wert der dritten Ableitung

Die zuletzt genannte Bedingung ist nicht hinreichend, sodass weitere Untersuchungen durchzuführen sind. Eine häufig zum Nachweis von Wendepunkten verwendete hinreichende Bedingung beruht auf der dritten Ableitung:

• f sei eine reelle Funktion, die in einem offenen Intervall I definiert und dreimal differenzierbar ist. Gilt an einer Stelle $x_0 \in I$ zugleich

1. $f''~(x_0) = 0$ und
2. $f'''~(x_0) \ne 0$,

so hat der Graph von f an der Stelle x₀ eine Wendestelle.

Ist der Wert der dritten Ableitung an dieser Stelle größer als 0, so handelt es sich um eine Wendestelle mit Übergang in eine „Linkskrümmung“, ist er kleiner als 0, so handelt es sich um eine Wendestelle mit Übergang in eine „Rechtskrümmung“.

Hinreichende Bedingung: Vorzeichen der zweiten Ableitung

Ist an der Stelle x₀ neben der zweiten Ableitung auch die dritte Ableitung gleich 0, so versagt das zuletzt genannte Kriterium. In diesem Fall untersucht man, ob die zweite Ableitung bei x₀ das Vorzeichen wechselt.

• f sei eine reelle Funktion, die im offenen Intervall I definiert und zweimal differenzierbar ist. Gilt an der Stelle $x_0 \in I$ zugleich

1. $f''~(x_0) = 0$,
2. $f''~(x) &amp;amp;lt; 0$ für x < x₀, $x \in I$ und
3. $f''~(x) &amp;amp;gt; 0$ für x > x₀, $x \in I$

oder zugleich

1. $f''~(x_0) = 0$,
2. $f''~(x) &amp;amp;gt; 0$ für x < x₀, $x \in I$ und
3. $f''~(x) &amp;amp;lt; 0$ für x > x₀, $x \in I$,

so hat der Graph von f an der Stelle x₀ eine Wendestelle.

Spezialfall: Sattelpunkte

Einen Wendepunkt mit zugleich waagerechter Tangente nennt man einen Sattelpunkt oder Terrassenpunkt. Für ihn gilt demnach f '(x)=0 und f ''(x) = 0, wie im Beispiel der Funktion mit der Gleichung

f(x) = x³

an der Stelle x = 0.

Allerdings ist das kein hinreichendes Kriterium, es kann auch f '(x)=0 und f ''(x) = 0 werden, ohne dass ein Sattelpunkt auftritt, wie im nachfolgenden Beispiel gezeigt wird:

f(x) = x⁴

Erst wenn $f ''' \ne 0$ ist, ist ein Sattelpunkt erwiesen; allgemeiner gilt: Es liegt ein Wendepunkt vor, wenn der Grad der ersten von 0 verschiedenen Ableitung ungerade ist; ist der Grad gerade, so handelt es sich um ein Extremum.

Polstellen

Eine Polstelle liegt bei gebrochen-rationalen Funktionen genau dann an einer Stelle p vor, wenn das Nennerpolynom eine Nullstelle bei p hat und das Zählerpolynom eine Nullstelle einer niedrigeren Ordnung bei p oder keine Nullstelle bei p hat.

Haben sowohl das Zähler- als auch das Nennerpolynom bei p eine Nullstelle und ist die Ordnung der Nullstelle im Zählerpolynom nicht kleiner als die des Nennerpolynoms, handelt es sich um eine stetig hebbare Definitionslücke.

In der Hochschulmathematik gibt es noch weitere Arten von nicht definierten Stellen, die weder hebbare Lücken noch Polstellen sind.

Lücke

Im Falle von gebrochenrationalen Funktionen liegt an einer Stelle x₀ eine stetig behebbare Definitionslücke vor, falls x₀ nicht nur eine Nullstelle des Nenners, sondern auch eine Nullstelle des Zählers von mindestens gleich großem Grad ist. In diesem Fall lässt sich der zugehörige Linearfaktor (x − x₀) herauskürzen.

Beispiel: $\frac{x^2-4}{x-2}$ hat an der Stelle x = 2 eine hebbare Definitionslücke. Durch Kürzen des Faktors (x − 2) entsteht:

$\frac{x^2-4}{x-2} = \frac{(x+2) \cdot (x-2)}{x-2} = x+2$ (für $x \ne 2$).

Eine andere Möglichkeit zu testen, ob an der Stelle x₀ eine stetig behebbare Definitionslücke vorliegt, besteht darin, den Grenzwert $\lim_{x \rightarrow x_0} f(x)$ zu berechnen. Wenn dieser Limes existiert und endlich ist, liegt eine stetig behebbare Lücke vor.

Verhalten im Unendlichen

Um das Verhalten im Unendlichen herauszufinden, wird der Funktionswert der Funktion f(x) untersucht, wenn x über alle Grenzen wächst, also gegen ∞ geht:

$\lim_{x \to \infty}f(x) \;;$

Entsprechendes für -∞.

Übersicht über Kriterien

Diskutiert wird $f: x \mapsto f(x)$
Untersuchungsaspekt	Kriterium
Nullstelle	$f(x_N) = 0 \,$
Extremstelle	$f'(x_E) = 0 \,$	(notwendiges Kriterium)
	$f'(x_E) = 0 \and f''(x_E) \ne 0$	(hinreichendes Kriterium)
Minimalstelle	$f'(x_E) = 0 \,$	(notwendiges Kriterium)
	$f'(x_E) = 0 \and f''(x_E) > 0$	(hinreichendes Kriterium)
Maximalstelle	$f'(x_E) = 0 \,$	(notwendiges Kriterium)
	$f'(x_E) = 0 \and f''(x_E) < 0$	(hinreichendes Kriterium)
Wendestelle	$f''(x_W) = 0 \,$	(notwendiges Kriterium)
	$f''(x_W) = 0 \and f'''(x_W) \ne 0$	(hinreichendes Kriterium)
Sattelstelle	$f'(x_W) = 0 \and f''(x_W) = 0$	(notwendiges Kriterium)
	$f'(x_W) = 0 \and f''(x_W) = 0 \and f'''(x_W) \ne 0$	(hinreichendes Kriterium)
Verhalten im Unendlichen	$\lim_{x \to \infty} f(x)$,	$\lim_{x \to - \infty} f(x)$
Symmetrie
Achsensymmetrie zur Koordinatenachse	$f(x)=f(-x) \,$
Punktsymmetrie zum Koordinatenursprung	$-f(x)=f(-x) \,$
Monotonie
steigend/streng steigend	$f'(x) \ge 0$	$f'(x) > 0 \,$
fallend/streng fallend	$f'(x) \le 0$	$\, f'(x) < 0$
Krümmung
Linkskrümmung/Konvexbogen (nach oben offen)	$f''(x) \ge 0 \,$
Rechtskrümmung/Konkavbogen (nach unten offen)	$f''(x) \le 0 \,$
Periodizität	$f(x+p) = f(x) \,$
Diskutiert wird $f: x \mapsto \frac{p(x)}{q(x)}$
Untersuchungsaspekt	Kriterium
Definitionsbereich	$\mathbb{D} = \mathbb{R} \setminus \lbrace x_0 \mid q(x_0) = 0 \rbrace$
Polstelle	$q(x_p) = 0 \,$	(notwendiges Kriterium)
	$q(x_p) = 0 \and p(x_p) \ne 0$	(hinreichendes Kriterium)

Beispiel: Ganzrationale Funktion

Graphen der Funktionen f (schwarz), f ' (rot) und f '' (blau)

Die zu untersuchende Funktion sei:

f(x) = 3x³ − 5x² + 8

Der Graph der Funktion f ist im Bild schwarz dargestellt, zudem sind die erste (rot) und zweite (blau) Ableitung eingetragen:

Nullstellen

Durch Ausprobieren (zum Beispiel durch Anfertigen einer Wertetabelle) oder gemäß der Folgerung mit dem Wissen nach Gauß, dass jede ganzzahlige Nullstelle Teiler des absoluten Gliedes 8 sein muss, lässt sich die Nullstelle x = − 1 finden. Gäbe es keine derart einfach erkennbare Nullstelle, so ließe sich die Formel von Cardano für Gleichungen 3. Grades oder das newtonsche Näherungsverfahren anwenden.

Zur Nullstelle x = − 1 gehört der Linearfaktor (x − ( − 1)) = (x + 1). Um die weiteren Nullstellen zu finden, wird eine Polynomdivision durch diesen Linearfaktor durchgeführt und das Ergebnis gleich 0 gesetzt. Etwas schneller erhält man das Ergebnis mit dem Horner-Schema. Auf diese Weise reduziert sich der Grad der Gleichung um 1.

(3x³ − 5x² + 8):(x + 1) = 3x² − 8x + 8

Die neue Gleichung 3x² − 8x + 8 = 0 hat keine Lösung. x = − 1 ist folglich die einzige reelle Nullstelle.

Extrempunkte

Die erste Ableitungsfunktion ist

$f '(x) = 9 x^2 - 10 x = 9x (x - \tfrac{10}{9}) \,$.

Diese besitzt Nullstellen bei x₁ = 0 und bei $x_2 = \tfrac{10}{9}$. Dies bedeutet, dass hier Extremstellen vorliegen können.

Die zweite Ableitungsfunktion

$f ''(x) = 18 x - 10 \,$

hat an obigen Stellen die Funktionswerte

$f''(x_1) = 18 \cdot 0 - 10 = -10 &amp;amp;lt; 0$

bzw.

$f''(x_2) = 18 \cdot \tfrac{10}{9} - 10 = 10 &amp;amp;gt; 0$.

Daher hat der Funktionsgraph bei x₁ einen Hochpunkt (erste Ableitung gleich 0, zweite Ableitung negativ) und bei x₂ einen Tiefpunkt (erste Ableitung gleich 0, zweite Ableitung positiv). Die y-Koordinaten der beiden Extrempunkte ergeben sich durch Einsetzen der x-Koordinaten in f(x).

$\begin{align} y_1 &amp;amp;amp; = f(0) = 3 \cdot 0^3 - 5 \cdot 0^2 + 8 = 8\\ y_2 &amp;amp;amp; = f(\tfrac{10}{9}) = 3 \cdot \left(\tfrac{10}{9}\right)^3 - 5 \cdot \left(\tfrac{10}{9}\right)^2 + 8 = 5\tfrac{229}{243} \end{align}$

Wendepunkte

Zur Bestimmung der Wendestellen wird die zweite Ableitung f''(x) = 18x − 10 gleich null gesetzt:

18x − 10 = 0

Die einzige Lösung dieser Gleichung ist $x_3 = \tfrac{5}{9}$. Zur Bestätigung, dass tatsächlich ein Wendepunkt vorliegt, kann man die dritte Ableitung f'''(x) = 18 verwenden. Wegen

$f'''(x_3) = f'''(\tfrac{5}{9}) = 18 \ne 0$

ist die Wendepunkteigenschaft gesichert. Die y-Koordinate des Wendepunkts ergibt sich zu

$y_3 = f(x_3) = 3 \cdot \left(\tfrac{5}{9}\right)^3 - 5 \cdot \left(\tfrac{5}{9}\right)^2 + 8 = 6\tfrac{236}{243}$.

Polstellen und Verhalten im Unendlichen

Polstellen gibt es bei Polynomen nicht. Als Polynom ungeradzahliger Ordnung (höchster Exponent bei x³) geht die Funktion gegen +∞ bzw. -∞, wenn x gegen +∞ bzw. -∞ geht.

Beispiel: Gebrochen-rationale Funktion

Graphen der Funktionen f (rot), f ' (blau) und f '' (grün)

Gegeben ist die Funktion mit der Gleichung

${ f ( x ) } = \frac{x^3 - 4x^2 + 4x}{4x^2-8x+4}$

Definitionsbereich

Die Funktion ist nur dort definiert, wo der Nenner ungleich 0 ist. Die Untersuchung des Nenners auf Nullstellen ergibt:

4x² − 8x + 4 = 0

x² − 2x + 1 = 0

$x = 1 + \sqrt {1-1} = 1$ oder $x = 1 - \sqrt {1-1} = 1$

Die quadratische Gleichung hat eine doppelte Lösung bei x = 1. Nur bei x = 1 wird also der Nenner 0. Der Definitionsbereich ist folglich

$\mathbb{D} = \mathbb{R}\setminus\{1\}$.

Menge der reellen Zahlen, ausgenommen die 1. Der Nenner kann - in Linearfaktoren zerlegt - als

4(x − 1)(x − 1) oder 4(x − 1)²

geschrieben werden.

Nullstellen

Die Bedingung für Nullstellen ist $f(x_N) = 0\,$. Hierzu genügt es, dass der Zähler 0 wird, solange nicht zugleich der Nenner 0 wird. Untersuchung des Zählers auf Nullstellen ergibt:

x³ − 4x² + 4x = 0

x(x² − 4x + 4) = 0

x = 0 oder $x = 2 + \sqrt {4-4} = 2$ oder $x = 2 - \sqrt {4-4} = 2$

Der Zähler hat eine einfache Nullstelle bei x = 0 und eine doppelte bei x = 2. Beide Stellen liegen im Definitionsbereich. f(x) hat also die Nullstellen x₁ = 0 sowie x₂ = x₃ = 2.

Der Zähler kann - in Linearfaktoren zerlegt - als

x(x − 2)(x − 2) = x(x − 2)²

geschrieben werden.

Im Rahmen der Schulmathematik wird häufig darauf Wert gelegt, dass bei jedem x der Index N für „Nullstelle“ dazugeschrieben wird: $x_N\,$.

Polstellen

An der Stelle x = 1 hat der Nenner eine zweifache Nullstelle, ohne dass zugleich der Zähler 0 wird. Es liegt also eine Polstelle bei x = 1 vor. Sollte der Zähler auch 0 werden, so muss für eine Polstelle die Ordnung der Nennernullstelle größer als die Ordnung der Zählernullstelle sein.

Sofern der Nenner einer gebrochenrationalen Funktion an einer Stelle x=a gleich 0 ist, ist die Funktion an dieser Stelle nicht definiert. Ist der Nenner gleich 0, der Zähler aber ungleich 0, so besitzt die Funktion an dieser Stelle einen Pol („Unendlichkeitsstelle“).

Symmetrie

Der Graph der Funktion wird an dieser Stelle auf Symmetrie untersucht. Oft erfolgt nur eine Untersuchung auf Achsensymmetrie zur y-Achse (Bedingung f( − x) = f(x)) und auf Punktsymmetrie zum Ursprung des Koordinatensystems (Bedingung f( − x) = − f(x)).

Im Beispiel wird in

${ f ( x ) } = {{x^3 - 4x^2 + 4x} \over {4x^2-8x+4}}$

x ersetzt durch − x. Nach dem Ausmultiplizieren entsteht

${ f ( -x ) } = {{(-x)^3 - 4(-x)^2 + 4(-x)} \over {4(-x)^2-8(-x)+4}} = {{-x^3 - 4x^2 - 4x} \over {4x^2+8x+4}}$.

Da f( − x) weder mit f(x) noch mit − f(x) übereinstimmt, ist der Graph von f weder achsensymmetrisch zur y-Achse noch punktsymmetrisch zum Ursprung.

Etwas schwieriger gestaltet sich die Untersuchung auf Achsensymmetrie bezüglich einer beliebigen Achse beziehungsweise auf Punktsymmetrie bezüglich eines beliebigen Punktes. Wegen $\lim_{x\to-\infty} f(x) = -\infty$ und $\lim_{x\to\infty} f(x) = +\infty$ lässt sich Achsensymmetrie ausschließen. Als Symmetriezentrum (Punktsymmetrie) käme höchstens der Schnittpunkt der Asymptoten (siehe unten), also der Punkt $(1|-\tfrac{1}{4})$ in Frage. Da aber beispielsweise die Punkte (0 | 0) und (2 | 0) nicht symmetrisch bezüglich $(1|-\tfrac{1}{4})$ liegen, ist der Graph auch nicht punktsymmetrisch.

Ableitungen

Zu bilden sind die Ableitungen von

${ f ( x ) } = {{ x ( x - 2 )^2 } \over {4 (x-1)^2 }}.$

Die Darstellung in Linearfaktoren ist zweckmäßiger, da sie das Ausklammern und Kürzen vereinfacht. Dies ergibt zunächst

$\begin{align} { f ' ( x ) } &amp;amp;amp; = {{ ( 2 x ( x-2) + (x-2)^2 )4(x-1)^2 - x (x-2)^2 \cdot 8 (x-1) } \over { 16(x-1)^4 }} \\ &amp;amp;amp; = {{ ( 2 x ( x-2) + (x-2)^2 )(x-1) - 2 x (x-2)^2 } \over { 4(x-1)^3 }} \\ &amp;amp;amp; = {{ ( x - 2 )( ( 2 x + (x-2))(x-1) - 2 x (x-2) ) } \over { 4(x-1)^3 }} \\ &amp;amp;amp; = {{ ( x - 2 )( ( 3 x - 2)(x-1) - 2 x (x-2) ) } \over { 4(x-1)^3 }} \\ &amp;amp;amp; = {{ ( x - 2 )( 3 x^2 - 3x - 2x + 2 - 2 x^2 + 4x ) } \over { 4(x-1)^3 }} \\ &amp;amp;amp; = {{ ( x - 2 )( x^2 - x + 2 ) } \over { 4(x-1)^3 }} \end{align}$

für die erste Ableitung. Dann wird die zweite

$\begin{align} { f ''(x) } &amp;amp;amp; = {{ ((x-2)(2x-1)+(x^2-x+2))(x-1)^3 - (x-2)(x^2-x+2) \cdot 3(x-1)^2 } \over { 4(x-1)^6 }} \\ &amp;amp;amp; = {{ ((x-2)(2x-1)+(x^2-x+2))(x-1) - 3(x-2)(x^2-x+2) } \over { 4(x-1)^4 }} \\ &amp;amp;amp; = {{ (2x^2-x-4x+2+x^2-x+2)(x-1) - (3x-6)(x^2-x+2) } \over { 4(x-1)^4 }} \\ &amp;amp;amp; = {{ (3x^2-6x+4)(x-1) - (3x^3-3x^2+6x-6x^2+6x-12) } \over { 4(x-1)^4 }} \\ &amp;amp;amp; = {{ 3x^3-3x^2-6x^2+6x+4x-4-3x^3+3x^2-6x+6x^2-6x+12 } \over { 4(x-1)^4 }} \\ &amp;amp;amp; = {{ -2x + 8 } \over { 4(x-1)^4 }} \\ &amp;amp;amp; = {{4-x} \over {2(x-1)^4 }} \end{align}$

und die dritte Ableitung

$\begin{align} { f '''(x) } &amp;amp;amp; = {- { (x-1)^4 - (4-x)4(x-1)^3 } \over { 2(x-1)^8 }} \\ &amp;amp;amp; = {-{ (x-1)-4(4-x) } \over {2(x-1)^5}} \\ &amp;amp;amp; = { - {x+1-16+4x} \over {2(x-1)^5}} \\ &amp;amp;amp; = {{3x-15} \over {2(x-1)^5}} \end{align}$

gebildet.

Extrempunkte

Hierfür muss $f '(x)=0 \,$ werden. Es genügt, die Nullstellen des Zählers zu untersuchen:

${( x - 2 )( x^2 - x + 2 )} = 0 \,$

hat die Lösung x = 2. Die zweite Klammer hat keine reellen Lösungen. x = 2 liegt im Definitionsbereich. Der Funktionswert an dieser Stelle ist $f(2) = 0 \,$, da hier eine Nullstelle vorliegt. Die zweite Ableitung ist an dieser Stelle $f''(2)=1 &amp;amp;gt; 0 \,$, es handelt sich also um einen Tiefpunkt bei (2/ 0).

Wendepunkte

Der Wendepunkt wird ermittelt, indem die zweite Ableitung gleich 0 gesetzt wird. Aus diesem Ansatz ergibt sich x_W = 4. Einsetzen dieses Wertes in die dritte Ableitung ergibt $f'''(4) = -\tfrac{1}{162} \ne 0$. Es liegt also tatsächlich ein Wendepunkt vor. Die Berechnung von f(4) ergibt schließlich die y-Koordinate $y_W = \tfrac{7}{27}$. Der gesuchte Wendepunkt ist somit $(4|\tfrac{7}{27})$.

Asymptoten

An der Polstelle, also bei x = 1, liegt eine senkrechte Asymptote. Da der Grad des Zählers (3) um 1 größer ist als der des Nenners (2), wird f(x) gegen $\infty$ gehen für x gegen $\infty$. Die Differenz 3-2 = 1 gibt an, dass sich der Graph an eine lineare Funktion (Gerade) asymptotisch annähern wird. Die Geradengleichung folgt durch Polynomdivision:

$(x^3 - 4x^2 + 4x) : (4x^2-8x+4) = {{ 1 \over 4 }x - {1 \over 2} + {{-1x+2} \over {4x^2-8x+4}}}$

Für x gegen $\infty$ geht der letzte Term gegen 0. Die Gleichung der Asymptote ist also

${a(x)} = {{ 1 \over 4 }x - {1 \over 2}}$

Allgemein:

• Ist der Nennergrad größer als der Zählergrad, ist die Asymptote die x-Achse.
• Ist der Nennergrad gleich dem Zählergrad, ist die Asymptote eine Parallele zur x-Achse.
• Ist der Nennergrad um 1 kleiner als der Zählergrad, ist die Asymptote schräg.
• Ist der Nennergrad um mehr als 1 kleiner als der Zählergrad, ist die Asymptote keine Gerade, sondern kurvig.

Didaktische Fragen

Dieser Artikel oder Abschnitt ist nicht hinreichend mit Belegen (Literatur, Webseiten oder Einzelnachweisen) versehen. Die fraglichen Angaben werden daher möglicherweise demnächst gelöscht. Hilf Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst. Bitte entferne erst danach diese Warnmarkierung.

In der Mathematikdidaktik wird seit spätestens den 90er Jahren diskutiert, inwieweit die Kurvendiskussion durch die Verfügbarkeit von grafikfähigen Taschenrechnern und dedizierter Software (Funktionenplotter) überholt ist.

Kritisiert wird, dass die Kurvendiskussion eine rein rechnerische Routine ist, die wenig Verständnis vermittelt. Andererseits ist sie gerade deshalb als relativ sicher vorzubereitendes Prüfungsthema bei schwächeren Schülern und Studenten vergleichsweise beliebt.

In den zentralen Abiturprüfungen hat es sich deshalb durchgesetzt, dass solch schematische Aufgaben nur sehr selten gestellt werden. Beliebter sind eingekleidete Aufgaben oder Aufgaben, in denen Zusammenhangswissen abgefragt wird, zum Beispiel über Zusammenhänge zwischen Ableitungsfunktion und Ausgangsfunktion.

Weblinks

• Kurvendiskussion beliebiger Funktionen mit Java-Applet
• Verständlicher Text zur Kurvendiskussion
• Exemplarische Kurvendiskussionen
• Ein Java Script für ganzrationale Funktionen
• Online-Tool zur Kurvendiskussion (benötigt kein Java o.ä.)