# Zwischenwertsatz/Einführung/Konstruktiv/Textabschnitt

Wir interessieren uns dafür, was unter einer stetigen Abbildung $f\colon \mathbb {R} \rightarrow \mathbb {R}$ mit einem Intervall $[a,b]$ passiert. Die Werte $f(a)$ und $f(b)$ gehören natürlich zum Bild. Der Zwischenwertsatz besagt, dass alle Zahlen zwischen $f(a)$ und $f(b)$ ebenfalls zum Bild des Intervalls gehören.

## Satz

Es seien $a\leq b$ reelle Zahlen und sei $f\colon [a,b]\rightarrow \mathbb {R}$ eine stetige Funktion. Es sei $u\in \mathbb {R}$ eine reelle Zahl zwischen $f(a)$ und $f(b)$.
Dann gibt es ein $c\in [a,b]$ mit $f(c)=u$.

### Beweis

Wir beschränken uns auf die Situation $f(a)\leq u\leq f(b)$ und zeigen die Existenz von einem solchen $c$ mit Hilfe einer Intervallhalbierung. Dazu setzt man $a_{0}:=a$ und $b_{0}:=b$, betrachtet die Intervallmitte $c_{0}:={\frac {a_{0}+b_{0}}{2}}$ und berechnet
    $f(c_{0}).$
Bei $f{\left(c_{0}\right)}\leq u$ setzt man
    $a_{1}:=c_{0}\,\,{\text{ und }}\,\,b_{1}:=b_{0}$
und bei $f{\left(c_{0}\right)}>u$ setzt man
    $a_{1}:=a_{0}\,\,{\text{ und }}\,\,b_{1}:=c_{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 $c$ 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 $c$, also $f{\left(c\right)}\leq u$. Für die oberen Intervallgrenzen gilt $f{\left(b_{n}\right)}\geq u$ und das überträgt sich ebenfalls auf $c$, also $f(c)\geq u$. Also ist $f(c)=u$.
$\Box$
Die in diesem Beweis beschriebene Methode ist konstruktiv und kann zu einem expliziten Verfahren ausgebaut werden.

## Korollar

Es seien $a\leq b$ reelle Zahlen und sei $f\colon [a,b]\rightarrow \mathbb {R}$ eine stetige Funktion mit $f(a)\leq 0$ und $f(b)\geq 0$.
Dann gibt es ein $x\in \mathbb {R}$ mit $a\leq x\leq b$ und mit $f(x)=0$,
d.h. $f$ besitzt eine Nullstelle zwischen $a$ und $b$.

### Beweis

Dies folgt direkt aus Fakt.
$\Box$

## Verfahren

Es seien $a\leq b$ reelle Zahlen und sei $f\colon [a,b]\rightarrow \mathbb {R}$ eine stetige Funktion mit $f(a)\leq 0$ und $f(b)\geq 0$. Dann besitzt die Funktion aufgrund des Zwischenwertsatzes eine Nullstelle in diesem Intervall. Diese kann man wie im Beweis des Zwischenwertsatzes beschrieben durch eine Intervallhalbierung $[a_{n},b_{n}]$ finden. Dabei setzt man $a_{0}=a$ und $b_{0}=b$, die weiteren Intervallgrenzen werden induktiv derart definiert, dass $f(a_{n})\leq 0$ und $f(b_{n})\geq 0$ gilt. Man setzt $x_{n}={\frac {a_{n}+b_{n}}{2}}$ und berechnet $f(x_{n})$. Bei $f{\left(x_{n}\right)}\leq 0$ setzt man
    $a_{n+1}:=x_{n}\,\,{\text{ und }}\,\,b_{n+1}:=b_{n}$
und bei $f{\left(x_{n}\right)}>0$ setzt man
    $a_{n+1}:=a_{n}\,\,{\text{ und }}\,\,b_{n+1}:=x_{n}.$
In jedem Fall hat das neue Intervall $[a_{n+1},b_{n+1}]$ die halbe Länge des Vorgängerintervalls und es liegt eine Intervallhalbierung vor. Die durch die Intervallschachtelung definierte reelle Zahl $x$ ist eine Nullstelle der Funktion.

## Beispiel

Wir wollen eine Nullstelle des Polynoms
    $f(x)=x^{3}-4x+2\,$
mit Hilfe von Bemerkung approximieren. Es ist $f(1)=-1$ und $f(2)=2$, es muss also nach Fakt eine Nullstelle im Intervall $[1,2]$ geben. Wir berechnen den Funktionswert an der Intervallmitte ${\frac {3}{2}}$ und erhalten
    $f{\left({\frac {3}{2}}\right)}={\frac {27}{8}}-4\cdot {\frac {3}{2}}+2={\frac {27-48+16}{8}}={\frac {-5}{8}}<0\,.$
Wir müssen also mit dem rechten Teilintervall $[{\frac {3}{2}},2]$ weitermachen. Dessen Intervallmitte ist ${\frac {7}{4}}$. Der Funktionswert an dieser Stelle ist
    $f{\left({\frac {7}{4}}\right)}={\left({\frac {7}{4}}\right)}^{3}-4\cdot {\frac {7}{4}}+2={\frac {343}{64}}-5={\frac {343-320}{64}}={\frac {23}{64}}>0\,.$
Jetzt müssen wir mit dem linken Teilintervall $[{\frac {3}{2}},{\frac {7}{4}}]$ weitermachen, dessen Mitte ist ${\frac {13}{8}}$. Der Funktionswert an dieser Stelle ist
    $f{\left({\frac {13}{8}}\right)}={\left({\frac {13}{8}}\right)}^{3}-4\cdot {\frac {13}{8}}+2={\frac {2197}{512}}-{\frac {13}{2}}+2={\frac {2197-3328+1024}{512}}={\frac {-107}{512}}<0\,.$
Somit wissen wir, dass es eine Nullstelle zwischen ${\frac {13}{8}}$ und ${\frac {7}{4}}={\frac {14}{8}}$ gibt.

## Bemerkung

Die Existenz von beliebigen Wurzeln aus nichtnegativen reellen Zahlen folgt aus dem Zwischenwertsatz, da die stetige Funktion $X^{k}-c$ zu $c\geq 0$ sowohl negative als auch positive Werte annimmt und daher auch eine Nullstelle haben muss. Der Beweis zu Fakt beruht auf dem Verfahren des Zwischenwertsatzes, ohne dass explizit auf die Stetigkeit Bezug genommen wird.

## Beispiel

Ein regelmäßiger quadratischer Tisch mit vier Beinen $A,B,C,D$ steht auf einem unebenen, aber stufenfreien Untergrund. Im Moment steht er auf den Beinen $A,B,C$ und das Bein $D$ ragt in die Höhe (wenn man $B,C$ in ihrer Position belässt und $D$ auf den Boden drückt, würde $A$ versinken). Wir behaupten, dass man den Tisch durch eine (maximal Viertel)-Drehung um die eigene Achse (sagen wir gegen den Uhrzeigersinn) in eine Position bringen kann, wo er auf allen vier Beinen steht (wobei der Tisch nicht unbedingt genau horizontal stehen muss). Dazu betrachten wir die Funktion, die einem Drehwinkel (zwischen $0$ und $90$ Grad) die Höhe des Beines $D$ über dem Grund zuordnet, wenn die drei übrigen Beine auf dem Boden stehen (würden). Dabei kann diese Höhe auch negativ werden (was sich bei einem sandigen Untergrund praktisch realisieren lässt; sonst denke man sich dies „virtuell“). Bei $0$ Grad ist die Höhe positiv. Bei $90$ Grad erhält man eine Situation, die symmetrisch zur Ausgangssposition ist, wobei aber nach wie vor die Beine $A,B,C$ auf dem Boden sein sollen. Wegen der in der Klammer formulierten Beobachtung muss die Höhe von $D$ negativ sein. Die Funktion hat also auf dem Intervall $[0,90]$ sowohl positive als auch negative Werte. Da sie wegen der Stufenfreiheit stetig ist, besitzt sie nach dem Zwischenwertsatz auch eine Nullstelle.