Die folgende Aussage heißt auch zweiter Mittelwertsatz .
Es sei
b
>
a
{\displaystyle {}b>a}
f
,
g
:
[
a
,
b
]
⟶
R
{\displaystyle f,g\colon [a,b]\longrightarrow \mathbb {R} }
stetige ,
auf
]
a
,
b
[
{\displaystyle {}]a,b[}
differenzierbare Funktionen
mit
g
′
(
x
)
≠
0
{\displaystyle {}g'(x)\neq 0\,}
für alle
x
∈
]
a
,
b
[
{\displaystyle {}x\in {]a,b[}}
Dann ist
g
(
b
)
≠
g
(
a
)
{\displaystyle {}g(b)\neq g(a)}
c
∈
]
a
,
b
[
{\displaystyle {}c\in {]a,b[}}
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
=
f
′
(
c
)
g
′
(
c
)
.
{\displaystyle {}{\frac {f(b)-f(a)}{g(b)-g(a)}}={\frac {f'(c)}{g'(c)}}\,.}
Die Aussage
g
(
a
)
≠
g
(
b
)
{\displaystyle {}g(a)\neq g(b)\,}
folgt aus
Fakt .
Wir betrachten die Hilfsfunktion
h
(
x
)
:=
f
(
x
)
−
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
g
(
x
)
.
{\displaystyle {}h(x):=f(x)-{\frac {f(b)-f(a)}{g(b)-g(a)}}g(x)\,.}
Es ist
h
(
a
)
=
f
(
a
)
−
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
g
(
a
)
=
f
(
a
)
g
(
b
)
−
f
(
a
)
g
(
a
)
−
f
(
b
)
g
(
a
)
+
f
(
a
)
g
(
a
)
g
(
b
)
−
g
(
a
)
=
f
(
a
)
g
(
b
)
−
f
(
b
)
g
(
a
)
g
(
b
)
−
g
(
a
)
=
f
(
b
)
g
(
b
)
−
f
(
b
)
g
(
a
)
−
f
(
b
)
g
(
b
)
+
f
(
a
)
g
(
b
)
g
(
b
)
−
g
(
a
)
=
f
(
b
)
−
f
(
b
)
−
f
(
a
)
g
(
b
)
−
g
(
a
)
g
(
b
)
=
h
(
b
)
.
{\displaystyle {}{\begin{aligned}h(a)&=f(a)-{\frac {f(b)-f(a)}{g(b)-g(a)}}g(a)\\&={\frac {f(a)g(b)-f(a)g(a)-f(b)g(a)+f(a)g(a)}{g(b)-g(a)}}\\&={\frac {f(a)g(b)-f(b)g(a)}{g(b)-g(a)}}\\&={\frac {f(b)g(b)-f(b)g(a)-f(b)g(b)+f(a)g(b)}{g(b)-g(a)}}\\&=f(b)-{\frac {f(b)-f(a)}{g(b)-g(a)}}g(b)\\&=h(b).\end{aligned}}}
Also ist
h
(
a
)
=
h
(
b
)
{\displaystyle {}h(a)=h(b)}
Fakt
liefert die Existenz eines
c
∈
]
a
,
b
[
{\displaystyle {}c\in {]a,b[}}
h
′
(
c
)
=
0
.
{\displaystyle {}h'(c)=0\,.}
Umstellen ergibt die Behauptung.
◻
{\displaystyle \Box }
g
{\displaystyle {}g}
Zur Berechnung von Grenzwerten einer Funktion, die als Quotient gegeben ist, ist die folgende Regel von l'Hospital hilfreich.
Es sei
I
⊆
R
{\displaystyle {}I\subseteq \mathbb {R} }
offenes Intervall
und
a
∈
I
{\displaystyle {}a\in I}
f
,
g
:
I
⟶
R
{\displaystyle f,g\colon I\longrightarrow \mathbb {R} }
stetige Funktionen , die auf
I
∖
{
a
}
{\displaystyle {}I\setminus \{a\}}
differenzierbar
seien mit
f
(
a
)
=
g
(
a
)
=
0
{\displaystyle {}f(a)=g(a)=0}
g
′
(
x
)
≠
0
{\displaystyle {}g'(x)\neq 0}
x
≠
a
{\displaystyle {}x\neq a}
Grenzwert
w
:=
lim
x
∈
I
∖
{
a
}
,
x
→
a
f
′
(
x
)
g
′
(
x
)
{\displaystyle {}w:=\operatorname {lim} _{x\in I\setminus \{a\},\,x\rightarrow a}\,{\frac {f'(x)}{g'(x)}}\,}
existiert.
Dann existiert auch der Grenzwert
lim
x
∈
I
∖
{
a
}
,
x
→
a
f
(
x
)
g
(
x
)
,
{\displaystyle \operatorname {lim} _{x\in I\setminus \{a\},\,x\rightarrow a}\,{\frac {f(x)}{g(x)}},}
und sein Wert ist ebenfalls
w
{\displaystyle {}w}
Zur Ermittlung des Grenzwertes benutzen wir das
Folgenkriterium . Da
g
′
{\displaystyle {}g'}
g
(
a
)
=
0
{\displaystyle {}g(a)=0}
g
{\displaystyle {}g}
Fakt
außer
a
{\displaystyle {}a}
(
x
n
)
n
∈
N
{\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}
Folge
in
I
∖
{
a
}
{\displaystyle {}I\setminus \{a\}}
a
{\displaystyle {}a}
konvergiert .
Zu jedem
x
n
{\displaystyle {}x_{n}}
Fakt ,
angewandt auf
I
n
:=
[
x
n
,
a
]
{\displaystyle {}I_{n}:=[x_{n},a]}
[
a
,
x
n
]
{\displaystyle {}[a,x_{n}]}
c
n
{\displaystyle {}c_{n}}
I
n
{\displaystyle {}I_{n}}
f
(
x
n
)
−
f
(
a
)
g
(
x
n
)
−
g
(
a
)
=
f
′
(
c
n
)
g
′
(
c
n
)
.
{\displaystyle {}{\frac {f(x_{n})-f(a)}{g(x_{n})-g(a)}}={\frac {f'(c_{n})}{g'(c_{n})}}\,.}
Die Folge
(
c
n
)
n
∈
N
{\displaystyle {}{\left(c_{n}\right)}_{n\in \mathbb {N} }}
a
{\displaystyle {}a}
f
′
(
a
)
g
′
(
a
)
=
w
{\displaystyle {}{\frac {f'(a)}{g'(a)}}=w}
w
{\displaystyle {}w}
f
(
a
)
=
g
(
a
)
=
0
{\displaystyle {}f(a)=g(a)=0}
f
(
x
n
)
g
(
x
n
)
{\displaystyle {}{\frac {f(x_{n})}{g(x_{n})}}}
w
{\displaystyle {}w}
◻
{\displaystyle \Box }
![{\displaystyle f,g\colon [a,b]\longrightarrow \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/62d73c59b59bcbf77e12fcb056dfc8687ee91d08)
![{\displaystyle {}]a,b[}](https://wikimedia.org/api/rest_v1/media/math/render/svg/270d5e0116fb92c1667fca123c454c114a042fd9)
![{\displaystyle {}x\in {]a,b[}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50d5258fad15c7c5b7180a8778c8e887d86864ef)
![{\displaystyle {}c\in {]a,b[}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/893bc6fb00faaeb9f8bf828b68e80a64823b1d6d)
![{\displaystyle {}I_{n}:=[x_{n},a]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01ce5eedccbc2aec2d59e547595f32577ea92202)
![{\displaystyle {}[a,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5659198ab0c538332e1e2ffe68448a8af09f2d1)
