Reelle Analysis/Zwischenwertsatz/Fakt/Beweis

Beweis

Wir beschränken uns auf die Situation  ${}f(a)\leq u\leq f(b)$  und zeigen die Existenz von einem solchen ${}x$ mit Hilfe einer Intervallhalbierung. Dazu setzt man ${}a_{0}:=a$ und ${}b_{0}:=b$, betrachtet die Intervallmitte  ${}x_{0}:={\frac {a_{0}+b_{0}}{2}}$  und berechnet

$f(x_{0}).$

Bei  ${}f{\left(x_{0}\right)}\leq u$  setzt man

$a_{1}:=x_{0}\,\,{\text{ und }}\,\,b_{1}:=b_{0}$

und bei  ${}f{\left(x_{0}\right)}>u$  setzt man

$a_{1}:=a_{0}\,\,{\text{ und }}\,\,b_{1}:=x_{0}.$

In jedem Fall hat das neue Intervall ${}[a_{1},b_{1}]$ die halbe Länge des Ausgangsintervalls und liegt in diesem. Da es wieder die Voraussetzung  ${}f{\left(a_{1}\right)}\leq u\leq f{\left(b_{1}\right)}$  erfüllt, können wir darauf das gleiche Verfahren anwenden und gelangen so rekursiv zu einer Intervallschachtelung. Sei ${}x$ die durch diese Intervallschachtelung gemäß Fakt definierte reelle Zahl. Für die unteren Intervallgrenzen gilt  ${}f{\left(a_{n}\right)}\leq u$  und das überträgt sich wegen der Stetigkeit nach dem Folgenkriterium auf den Grenzwert ${}x$, also  ${}f{\left(x\right)}\leq u$.  Für die oberen Intervallgrenzen gilt  ${}f{\left(b_{n}\right)}\geq u$  und das überträgt sich ebenfalls auf ${}x$, also  ${}f(x)\geq u$.   Also ist  ${}f(x)=u$. 

Zur bewiesenen Aussage