Kurvendiskussion differenzierbarer Funktionen

Arno Fehringer , Dezember 2016

Kurvendiskussion

Intervallschachtelungsaxiom
Eine Intervallschachtelung ist eine Folge von Intervallen [ A n ,Bn ]n mit
[ A n+1 ,Bn+1 ] [ An ,Bn ] fr alle n und lim BnA n = 0 .
n

[IA]

Jede Intervallschachtelung

[ A n ,Bn ]n

hat genau ein Zentrum

z .

Satz von Bolzano und Weierstra

(1)

Jede beschrnkte Folge ( an )n

Hufungspunkt H* und
H* .

hat einen grten und einen kleinsten

(2)

Der Punkt H ist Hufungspunkt der Folge ( an )n

wenn es eine gegen
H konvergente Teilfolge

genau dann,
gibt .

(an )k
k

Beweis (1) :
Man zeigt zunchst die Existenz des grten Hufungspunktes
Es gelte fr alle

n : A1 an B1 . Setze

Sei M die Mitte von

I

Sowohl
(an )n

[ A 1 , B1 ]

[ A 1 ,M ]

und

H* :

I1 := [ A 1 ,B1 ] .

. Es gibt nur 3 mgliche Konstellationen :

[ M,B1 ]

enthalten unendlich viele Folgenglieder von

II

Nur

[ M,B1 ]

enthlt unendlich viele Folgenglieder .

III

Nur

[ A 1 ,M ]

enthlt unendlich viele Folgenglieder .

In den Fllen I, II setze :

I2 = [ A 2, B2 ] := [M ,B1 ] .

Ansonsten setze :

I2 = [ A 2, B2 ] := [ A 1 ,M ] .

Fhrt man in dieser Weise fort, erhlt man eine Intervallschachtelung

dem Intervallschachtelungsaxiom das Zentrum H* hat .

( In )n

, die nach

Nach Konstruktion der Intervallschachtelung liegen also oberhalb jedes Intervalls

In hchstens endlich viele Folgenglieder !
Kurvendiskussion

Sei nun

vorgegeben. Dann gibt es ein

> 0

U ( H* )

enthlt
und damit
In
Hufungspunkt .
0

H*

Jetzt zeigt man noch, dass

unendlich viele

an

Setze :

H H*
2

0 :=

< U ( H

< U ( H)
0

H*

(an )n

U ( H* ) < U ( H)
0

gibt es ein

In U ( H* )

mit

n0

.
und

Da nun oberhalb des Intervalls

H kein Hufungspunkt sein .
Also ist

ein

der grte Hufungspunkt ist :

U ( H* ) , U (H ) disjunkt mit

lim Bn An = 0
n
*

H*

Also ist

Dann sind die Umgebungen

Wegen

. Dann

*
H mit H < H ein noch grerer Hufungspunkt der Folge

Sei

In

In U ( H* )

n0 mit

In

hchstens endlich viele Folgenglieder liegen, kann

der grte Hufungspunkt der Folge

(an )n

Mit einer entsprechenden Konstruktion einer Intervallschachtelung zeigt man, die Existenz
des kleinsten Hufungspunktes H* .

Beweis (2) :
Sei

(an )k

Sei

> 0 gegeben . Dann gibt es ein

eine konvergente Teilfolge der Folge

H konvergiere .
k

|an

( an )n

nk , so dass fr alle

, welche gegen

n k > nk

gilt :

H| < .

Da also fast alle Teilfolgenglieder an in

der Folgen (an )k und ( an )n .
k

U ( H)

liegen, ist

ein Hufungspunkt

Sei nun umgekehrt

H ein Hufungspunkt der Folge ( an )n . Dann heit dies,
dass jede Umgebung U ( H) unendlich viele Folgenglieder an enthlt .
Man whle nun zu
an U 1 ( H ) mit
2

U1 ( H )
ein
an ( an )n
n2 > n1 , usw. .

mit

Kurvendiskussion

an U1 ( H) und dann ein

1

(an )k gilt
die Folge (an )k

Fr die so konstruierte Teilfolge

k . Also konvergiert

Satz
Jede beschrnkte monotone Folge

dann

|an

gegen

H .

H| <

1
k

fr alle

an ist konvergent.

Beweis:
Sei die Folge an monoton wachsend. Nach dem Satz von Bolzano-Weierstra gibt es
eine Teilfolge an mit lim an = z .
k

Zu vorgegebenen > 0 gibt es ein

an z
k

<

nk , so dass gilt:
0

fr alle nk > nk .
0

Wegen der Monotonie gilt dann :

an z <

fr alle

n > nk .
0

Kurvendiskussion

Beschrnkte Mengen
Satz und Definition
Sei

A und

A { } . Dann heit eine Zahl

untere Schranke von A, falls fr alle a A gilt: s a .

obere Schranke von A, falls fr alle

a A gilt: a S .

Das Infimum von A , inf A , ist die grte untere Schranke .

Das Supremum von A, sup A, ist die kleinste obere Schranke .
Gehren Infimum und Supremum zur Menge A heien sie Minimum bzw. Maximum.
Jede nicht leere beschrnkte Menge

A hat ein Infimum und ein Supremum.

Beweis:
Sei

x 0 A und

S0 eine obere Schranke von A. Nun halbiert man das Intervall

I0 = [ x0 ;S0 ] . Die Mitte ist m =

1. Fall:

x 0+ S0
. Es knnen zwei Flle auftreten:
2

A ( m ;S0 ] =

Dann ist m eine obere Schranke und wir definieren

x 1 := x 0 ,

S1 := m und

x 1 > m . Dann definieren wir

S1 := S0 und

I1 = [ x1 ;S0 ]

x1:=x0

m:=S1

x1

2. Fall:

S0

S0

S1

A ( m ;S0 ]

Dann gibt es einen Punkt

x 1 A mit

I1 = [ x1 ;S1 ]
Kurvendiskussion

x0

x0

S0

x1

x1

S1

Diese Konstruktion kann man fortsetzen, so dass man eine Intervallschachtelung

In = [ xn ;Sn ] bekommt , wobei die

Snx n

Sn obere Schranken vom A , die

x n A und

S0 x 0
.
2n

Die Folge der oberen Schranken

Sn ist monoton fallend und ist nach dem Satz von

Bolzano und Weierstra fr monotone Folgen konvergent gegen eine Zahl S.

Jetzt zeigt man, dass S die kleinste obere Schranke ist:

Fr

x A gilt

x Sn fr alle n , also

x lim Sn = S . Damit ist S eine

n

obere Schranke.
Angenommen es gbe eine obere Schranke S < S.

Wegen S-S > 0 gibt es ein

n mit

Sn x n

S0x 0
< SS ' SnS'
2n

Sn x n < Sn S '

x n < S'
xn > S '
Die letzte Ungleichung steht im Widerspruch dazu, dass S eine obere Schranke von A ist.
Das heit, dass S die kleinste obere Schranke , also das Supremum von A ist.
Die Existenz des Infimums von A zeigt man analog.

Kurvendiskussion

Nullstellensatz fr stetige Funktionen :

f : [ a ,b ]

Eine stetige Funktion

, die an den Intervallgrenzen unterschiedliche

x 0 ( a,b ) .

Vorzeichen hat, besitzt mindestens eine Nullstelle

Beweis :
Es sei zum Beispiel

f ( a) < 0 < f( b)

Setze I1 = [ a1, b1 ] := [ a ,b ] . Es gilt

Fr die Intervallmitte

f (a1 ) < 0 < f (b1 ) .

m1 von I1 ist dann

f (m 1 ) = 0 oder f (m 1 ) 0 .

Falls f (m 1 ) > 0 setze I2 = [ a2, b2 ] := [ a1, m1 ] .

Falls f (m 1 ) < 0 setze I2 = [ a2, b2 ] := [ m1, b1 ] .
Fr I2 = [ a2, b2 ] gilt

f (a2 ) < 0 < f (b2 ) .

Setzt man dieses Verfahren der Intervallhalbierung fort, so kommt man entweder zu einer
Nullstelle von

oder man erhlt eine Intervallschachtelung

f ( an ) < 0 < f (bn ) und dem Zentrum

In = [an bn ]n mit

x0 .

Wegen der Stetigkeit von f gilt

lim f (an ) = f (x 0 ) 0

und

lim f(b n) = f ( x 0 ) 0 , also f (x 0 ) = 0

Der Fall, dass f (b) < 0 < f (a) ist wird entsprechend abgehandelt .

Zwischenwertsatz fr stetige Funktionen :

Eine

stetige

f :

Funktion

f ( a) < z < f (b) , falls

[ a ,b ]

nimmt

f (a) < f(b) ist, oder jeden Wert

jeden
z mit

Wert

z mit

f (b) < z < f (a)

, falls f (b) < f (a) ist, an .

Beweis :
Sei zum Beispiel
die

f ( a) < f(b) und sei

Funktion

F = f z ,

z mit
dann

f ( a) < z < f (b) gegeben. Betrachte

ist

F(b) = f (b)z > 0 , das heit, die stetige Funktion

F(a) = f ( a)z < 0

F hat an den Intervallgrenzen

unterschiedliche Vorzeichen. Nach dem Nullstellensatz gibt es ein

F(x 0 ) = f (x 0 )z = 0 , also f ( x 0 ) = z .
Der Fall f (b) < f (a)

wird entsprechend abgehandelt .

Kurvendiskussion

und

x 0 ( a,b ) mit

Schrankensatz fr stetige Funktionen :

Eine stetige Funktion

f : [ a ,b ]

ist beschrnkt .

Beweis :
Angenommen , die Funktion

ist im Intervall I1 = [ a ,b ] nicht beschrnkt. Dann gibt

es mindestens eine Intervallhlfte

gibt es eine Intervallhlfte

I2 von

I3 von

I1 , in der

f nicht beschrnkt ist. Ebenso

f nicht beschrnkt ist. Die Fortsetzung

I2 , in der

dieser Argumentation liefert eine Intervallschachtelung

In ,n mit dem Zentrum

x 0 , so

dass f in jedem Intervall unbeschrnkt ist .

Da

f stetig ist , gilt

lim f (x) = f (x0 ) , und es gibt zu der Umgebung

x x0

Intervall

In mit

auf dem Intervall

U1 ( f (x 0 ) ) ein

f ( x 0 )1 < f (I n ) < f (x0 )+1 , also ist

In doch beschrnkt , was einen Widerspruch darstellt . Also ist

f (I n ) U1 (f (x 0 )) . Es folgt

beschrnkt .
Satz vom Maximum und Minimum fr stetige Funktionen :
Eine stetige Funktion

f : [ a ,b ]

nimmt das Maximum und das Minimum an .

Beweis :
Da

f beschrnkt ist, existieren die kleinste obere Schranke

M und die grte untere

Schranke m .
Setzt man I1 = [ a1 b1 ] := [ a b ] und halbiert das Intervall,
eine Intervallhlfte
Setzt

man

die

so ist

M fr mindestens

I2 = [ a2 b2 ] kleinste obere Schranke .

Argumentation

fort,

In = [ an bn ]n mit dem Zentrum

xM .

so

erhlt

man

eine

Intervallschachtelung

Da f stetig ist, ist lim f(an ) = f ( x M) M . Man zeigt nun, dass

n

Wre nmlich

f ( x M) < M , dann setze =

f (x M) = M ist .

Mf ( xM )
. Dann gibt es ein Intervall
2

In

mit f (I n ) U( f (x M )) .
Es folgt

f (I n ) < f (xM )+ = f ( x M) +

Mf ( x M)
f (xM )+M
=
< M . Also knnte
2
2

In nicht die kleinste obere Schranke sein , da

Deshalb muss
f ( x m) = m

f (x M)+M
eine noch kleinere wre.
2

f (x M) = M sein . Analog zeigt man, dass es ein

.
Kurvendiskussion

M fr

x m gibt mit

Definition relativer Extrempunkte :

Sei

f :

( a,b )

Falls eine Umgebung

f (x ) <

U ( x0 ) , x x 0 , heit

x 0 relative Maximalstelle

HP ( x0f ( x 0 )) relativer Hochpunkt .

und der Punkt

Falls eine Umgebung

f (x ) >

U ( x 0 ) existiert mit

fr alle

f ( x0 )

eine Funktion.

U ( x 0 ) existiert mit

fr alle

f ( x0 )

U ( x0 ) , x x 0 , heit

x 0 relative Minimalstelle

HP ( x0f ( x 0 )) relativer Tiefpunktpunkt .

und der Punkt

Man spricht in diesem Zusammenhang auch von relativen Extremstellen bzw. relativen
Extrempunkten.

Notwendige Bedingung fr Extremstellen von differenzierbaren Funktionen :

Sei

( a,b )

f :

Extremstelle. Dann gilt

eine differenzierbare Funktion

f ' ( x 0) = 0

Beweis :
Sei x 0 eine relative Maximalstelle. Dann gilt fr

x > 0 :

f ( x 0 + x ) f ( x0 )
> 0
x
f ' ( x 0 ) = lim

x 0

f ( x 0 + x ) f ( x 0 )
x

f ' ( x 0 ) 0
f ( x 0 x ) f ( x 0 )
< 0
x
f ' ( x 0 ) = lim

x 0

f ( x 0 x ) f ( x0 )
x

f ' ( x 0 ) 0
Also folgt f ' ( x 0 ) =0 .
Der Beweis fr eine relative Minimalstelle geht analog.

Kurvendiskussion

und

x 0 eine relative

Satz von Rolle :

Sei

f :

[ a ,b ]

stetig , f :

f ( a ) = f ( b ) . Dann existiert ein

( a,b )

x 0 ( a,b )

differenzierbar

mit

f '( x0) = 0

und

y=f(x)
f(a)=f(b)

x0

Beweis :
Da die Funktion

f stetig auf

heit, es existieren

[ a ,b ] ist, nimmt sie Minimum und Maximum an, das

x m , x M [ a ,b ]

mit

f ( x m ) f ( x ) f ( x M)

fr alle

x [ a ,b ] .

Wenn f konstant ist, setzt man

x0 =

a+b
2

( a ,b ) , und es ist

Wenn

f nicht konstant ist, dann muss wegen

Stellen

xm ,

es ist

xM

im Intervall

f ' ( x 0) = 0

f ( a ) = f ( b ) fr mindestens eine der

( a,b ) liegen. Diese Stelle setzt man gleich x 0 , und

f ' ( x 0) = 0 .

Kurvendiskussion

10

Erster Mittelwertsatz der Differentialrechnung :

Sei

f :

[ a ,b ]

existiert ein x 0 ( a,b )

mit

stetig , f :
f '( x0) =

( a,b )

differenzierbar. Dann

f (b)f (a)
ba

y=f(x)

f(b)-f(a)
b-a
x0

Beweis :
y = f (a) +

Betrachte die Sehne mit der Gleichung

Differenzfunktion
Dann gilt

F(x ) := f( x) f (a) +

F(a) = F(b)

Satz von Rolle ein

und

x 0 ( a,b )

f (b)f (a)
( xa)
ba

F'(x ) = f (' x)
mit

F' ( x0 ) = 0 .

F' ( x0 ) = 0
f (b)f (a)
= 0
ba

f '( x 0) =

f (b)f (a)
ba

Kurvendiskussion

und die

f (b)f (a)
, und es gibt nach dem
ba

Dann folgt :

f '( x 0)

f (b)f( a)
(xa)
ba

11

Hinreichendes Kriterium fr relative Extrema differenzierbarer Funktionen :

Sei f : ( a,b )
(1)

differenzierbar.

Falls f ' ( x 0 ) = 0

und eine Umgebung U ( x 0 ) existiert mit

f '( x) > 0

fr

x U ( x 0 ) ,

x < x0

f '( x) < 0

fr

x U ( x 0 ) ,

x > x0

dann ist

x0

eine relative Maximalstelle .

y=f(x)

x0

(2)

Falls f ' ( x 0 ) = 0

U(x0)

und eine Umgebung U ( x 0 ) existiert mit

f '( x) < 0

fr

x U ( x 0 ) ,

x < x0

f '( x) > 0

fr

x U ( x 0 ) ,

x > x0

dann ist

x0

eine relative Minimalstelle .

y=f(x)

x0
U(x0)

Kurvendiskussion

12

Beweis (1) :
Sei

x 0 x < x 0 U (x 0 ) . Dann gibt es nach dem Ersten Mittelwertsatz der

Differentialrechnung ein 1 ( x 0 x , x 0 ) mit

f ( 1 ) =

f (x0 x)f ( x0 )
> 0
x

also
f ( x 0 x )f(x 0 )
> 0
x

f ( x 0 x )f (x 0 ) < 0
f ( x 0 x ) < f ( x0 )
Sei

x 0 < x 0 + x U (x 0 ) . Dann gibt es nach dem Ersten Mittelwertsatz der

Differentialrechnung ein 2 ( x 0 , x 0 + x ) mit

f ( 1 ) =

f (x0 + x )f (x 0 )
< 0
x

also
f ( x 0 + x)f (x 0)
< 0
x
f ( x 0 + x)f (x 0) < 0
f ( x 0 + x) < f (x 0 )
Das bedeutet, dass

.
x0

eine relative Maximalstelle ist.

Der Beweis fr (2) geht analog .

Kurzversion des Kriteriums :

(1)

Ist f ' ( x 0 ) = 0

und hat f ' in einer Umgebung

einen Vorzeichenwechsel von + nach - , dann ist

U ( x 0 ) an der Stelle

x0

x 0 eine relative

Maximalstelle .
(2)

Ist f ' ( x 0 ) = 0

und hat f ' in einer Umgebung

einen Vorzeichenwechsel von - nach + , dann ist

Minimalstelle .
Kurvendiskussion

13

U ( x 0 ) an der Stelle
x 0 eine relative

x0

Definition der Monotonie :

Sei

f :

[ a ,b ]

Die Funktion
x1 < x2

f heit monoton wachsend, falls fr alle

f ( x 1 ) f (x 2 )

Die Funktion
x1 < x2

x1 < x2

x1 < x2

f heit monoton fallend, falls fr alle

f ( x 1 ) f (x 2 )

x 1, x 2 [ a,b ] gilt :

f heit streng monoton fallend, falls fr alle

f ( x 1 ) > f (x 2 )

x 1, x 2 [ a,b ] gilt :

f ( x 1 ) < f (x 2 )

Die Funktion

x 1, x 2 [ a, b ] gilt :

f heit streng monoton wachsend, falls fr alle

Die Funktion

eine Funktion.

x 1, x 2 [ a,b ] gilt :

Monotoniekriterium fr differenzierbare Funktionen :

Sei

[ a ,b ]

f :

eine differenzierbare Funktion. Dann gilt :

f' > 0

ist streng monoton wachsend .

f' < 0

ist streng monoton fallend .

Beweis :
Sei f ' > 0

, uns sei

Angenommen es ist

x1 < x2 .

f (x 1 ) f ( x 2 ) , also

dem Ersten Mittelwertsatz ein

Widerspruch zu
Also gilt

f' > 0

1 ( x1 , x 2 )

mit

f ' ( 1 ) =

. Dann gibt es nach

f (x 2 )f (x1 )
0
x 2x 1

f ( x 1 ) < f (x 2 ) und

Der Beweis fr f ' < 0

f ( x 2 ) f(x 1 ) 0

ist streng monoton wachsend .

geht analog .
Kurvendiskussion

14

, im

Hinreichende Bedingungen fr relative Extrema 2-mal stetig-differenzierbarer

Funktionen :
Sei

f :

[ a ,b ]

eine 2-mal stetig-differenzierbare Funktion. Dann gilt :

f '(x 0) = 0

und

f ' '(x0 ) < 0

x0

ist relative Maximalstelle .

f '(x 0) = 0

und

f ' '(x0 ) > 0

x0

ist relative Minimalstelle .

Beweis :
Sei

f '(x 0) = 0

U ( x 0 ) mit

und

f ' '(x0 ) < 0 . Da

f ' '( x) < 0 fr alle

f ' ' stetig ist, gibt es eine Umgebung

x U ( x 0 ) .

Nach dem Monotoniekriterium ist f ' streng monoton fallend auf

Fr

x ( x 0 , x 0 )

ist

f '( x) > f '( x 0 ) = 0

Fr

x ( x 0 , x 0 + ) ist

0 = f '(x 0 ) > f '(x)

Also ist x 0

U ( x 0 ) .

ist relative Maximalstelle .

Der Beweis fr den Fall, dass

f '(x 0) = 0

und

Kurvendiskussion

f ' '(x0 ) > 0 ist, geht analog .

15

Definition der Konvexitt und Konkavitt differenzierbarer Funktionen :

Eine differenzierbare Funktion

Ableitungsfunktion

f :

(a ,b)

heit

konvex , wenn die

f ' monoton steigt .

y=f(x)

Eine differenzierbare Funktion

Ableitungsfunktion

f'

f :

(a ,b)

monoton fllt .

y=f(x)

Kurvendiskussion

16

heit konkav , wenn die

Definition der Wendestelle bzw. des Wendepunkts :

Sei

f : (a ,b)

differenzierbar. Es existiere eine Umgebung

U ( x 0 ) , so

dass entweder
(1)

f auf

( x0 , x 0 ) konvex und auf

(x0 , x 0 +) konkav ist

f auf

( x0 , x 0 ) konkav und auf

(x0 , x 0 +) konvex ist .

oder
(2)

Dann heit

x0

Wendestelle und der Punkt

WP ( x 0f (x 0 ) ) Wendepunkt .

Analoge Formulierung :
Sei

f : (a ,b)

differenzierbar. Es existiere eine Umgebung

U ( x 0 ) , so

dass entweder
(1)

f ' ist auf ( x0 , x 0 ) monoton steigend und auf

( x0 , x 0 +)

monoton

fallend
oder
(2)

f ' ist auf ( x0 , x 0 ) monoton fallend und auf

(x0 , x 0 +)

monoton

steigend
ist .
Dann heit

x0

Wendestelle und der Punkt

Kurvendiskussion

WP ( x 0f (x 0 ) ) Wendepunkt .

17

Notwendige Bedingung fr Wendestellen 2-mal stetig differenzierbarer Funktionen :

Sei f : ( a,b )

2-mal stetig differenzierbar und

x 0 Wendestelle .

Dann ist f ' ' ( x 0 ) = 0 .

Beweis :
Angenommen es wre
Umgebung

f ' ' ( x 0) 0

, etwa

U ( x 0 ) U ( x 0 ) mit f ' ' > 0 auf

f ' ' < 0 auf

( x0 , x0 )

aus (1)

f ' ' ( x 0 ) > 0 , dann gbe es

eine

U ( x 0 ) , was sowohl im Widerspruch zu

als auch zu

f ' ' < 0 auf

( x0 , x 0 + )

aus (2)

stnde .

Hinreichendes

Kriterium

fr

Wendestellen

2-mal

stetig

differenzierbarer

Funktionen :
Sei f : ( a,b )

Falls f ' ' ( x 0 ) = 0

(1)

2-mal stetig differenzierbar.

und U ( x 0 ) existiert mit eine Umgebung U ( x 0 ) existiert mit

f ' ' < 0 auf

( x0 , x 0 )

und f ' ' > 0 auf

( x0 , x 0 + )

und f ' ' < 0 auf

( x0 , x 0 + )

oder
(2)

f ' ' > 0 auf

( x0 , x 0 )

dann ist x 0 Wendestelle .

Beweis :
Da

f ''

stetig ist, ist notwendiger Weise

, zum Beispiel

f ' ' ( x 0) 0

f ' ' ( x 0 ) > 0 , dann gbe es

U ( x 0 ) U ( x 0 ) mit f ' ' > 0 auf

auf

( x0 , x0 )

Also muss
und

f ' ' ( x 0 ) = 0 . Denn angenommen es wre

eine Umgebung

U ( x 0 ) , was sowohl im Widerspruch zu

aus (1) als auch zu

f ' ' < 0 auf

( x0 , x 0 + )

f '' < 0

aus (2) stnde .

f ' ' ( x 0 ) = 0 sein . Die Bedingungen des vorigen Kriteriums sind also erfllt

x 0 ist Wendestelle .

Fr den Fall, dass

f ' ' ' ( x 0 ) < 0 ergibt sich eine analoge Begrndung .

Kurvendiskussion

18

Kurzversion des Kriteriums :

Sei f : ( a,b )
Ist

f ' ' ( x 0) = 0

und hat

2-mal stetig differenzierbar.

f ' ' in einer Umgebung

U ( x 0 ) an der Stelle

Vorzeichenwechsel von - nach + oder von + nach - , dann ist

Hinreichendes

Kriterium

fr

Wendestellen

3-mal

x 0 einen

x 0 eine Wendestelle .

stetig

differenzierbarer

Funktionen :
Sei f : ( a,b )
Ist f ' ' ( x 0 ) = 0

und

3-mal stetig differenzierbar.

f ' ' ' ( x 0 ) 0 , dann ist

x 0 Wendestelle .

Beweis :
Sei

f ' ' ' ( x 0 ) 0 , etwa

f ' ' ' ( x 0 ) > 0 . Da

stetig ist, gibt es eine Umgebung

f '''

U ( x 0 ) mit f ' ' ' > 0 auf U ( x 0 ) .

Nach dem Monotoniekriterium ist

f ' ' streng monoton wachsend auf

Fr alle x ( x 0 , x0 ) ist dann f ' '(x) < f ' '( x0 ) = 0

fr alle x ( x 0 , x0 + ) ist dann f ' '(x) > f ' '( x0 ) = 0

f ' ' macht also auf

U ( x 0 ) bei

und
.

x 0 eine Vorzeichenwechsel von nach + , und

deshalb ist x 0 Wendestelle .

Fr den Fall, dass

U ( x 0 ) .

f ' ' ' ( x 0 ) < 0 ergibt sich eine analoge Begrndung .

Kurvendiskussion

19