Wurzel – Serlo „Mathe für Nicht-Freaks“

Motivation der Wurzel

Die Motivation hinter der Wurzel ist die Umkehrung der Potenzbildung. Zur Wiederholung: Ist $x$ eine reelle Zahl, so ist die $n$-te Potenz von $x$ definiert als

$x^{n}=\underbrace {x\cdot x\cdot \ldots \cdot x} _{n{\text{-mal}}}$

Die Wurzel ist nun die Antwort auf die Frage: Bei einer gegebenen reellen Zahl $a$ erfüllt welche reelle Zahl $x$ die Potenzgleichung $x^{n}=a$? Die $n$-te Wurzel einer Zahl $a$ (für die wir später ${\sqrt[{n}]{a}}$ schreiben werden) soll eine Zahl $x$ sein, für die $x^{n}=a$ gilt.

Probleme bei der Definition der Wurzel

Die Quadratfunktion nimmt keine negativen Werte an und für positive Werte besitzt die Quadratfunktion zwei Argumente mit diesem Funktionswert

Wenn wir die Lösungen der Potenzgleichung $x^{n}=a$ untersuchen, dann stellen wir zwei Probleme fest: Zum einen ist nicht jede Potenzgleichung lösbar und zum anderen kann eine solche Gleichung mehrere Lösungen besitzen.

Nicht jede Potenzgleichung ist lösbar

Nicht jede Potenzgleichung $x^{n}=a$ besitzt eine Lösung in den reellen Zahlen. Beispielsweise gibt es keine reelle Zahl $x$, die die Gleichung $x^{2}=-1$ erfüllt, da $x^{2}$ stets eine nicht-negative Zahl ist. Generell ist die Potenzgleichung $x^{n}=a$ immer dann in den reellen Zahlen unlösbar, wenn $n$ eine gerade Zahl und $a$ negativ ist. In diesem Fall ist nämlich $x^{n}$ stets nicht-negativ und kann damit nie gleich der negativen Zahl $a$ sein.

Um nun Lösungen der Potenzgleichung $x^{n}=a$ für alle $n$ finden zu können, werden wir im Folgenden nur nicht-negative Zahlen $a\in \mathbb {R} _{0}^{+}$ zulassen. Unter dieser Beschränkung können wir nämlich beweisen, dass die Potenzgleichung mindestens eine Lösung besitzen muss. Bei ungeradem $n$ tritt dieses Problem im Übrigen nicht auf, weil dann $x^{n}$ auch negativ werden kann.

Eine Potenzgleichung kann mehrere Lösungen besitzen

Eine Potenzgleichung $x^{n}=a$ kann mehrere Lösungen besitzen. Nimm zum Beispiel die Gleichung $x^{2}=1$, welche die beiden Lösungen $x_{1}=1$ und $x_{2}=-1$ besitzt. Nun soll aber die $n$-te Wurzel einer Zahl eindeutig definiert sein. Welche Lösung der Potenzgleichung wählt man also, wenn es mehrere Lösungen gibt?

Wenn man die Potenzgleichungen untersucht, dann stellt man fest, dass dieses Problem genau dann auftritt, wenn $n$ eine gerade Zahl und $a$ positiv ist. In diesem Fall gibt es genau zwei Lösungen: eine positive und eine negative Lösung. Hier werden wir die positive Lösung als $n$-te Wurzel wählen. Im Beispiel der Gleichung $x^{2}=1$ werden wir die Lösung $x_{1}=1$ als Quadratwurzel von $1$ wählen. Um auch Null als Wurzel zuzulassen, werden wir deswegen festlegen, dass die Wurzel immer nicht-negativ sein soll.

Zusammenfassung

Wir haben festgelegt, dass in der Gleichung $x^{n}=a$ die Zahl $a$ zur Bestimmung der Wurzel nicht-negativ sein muss. Auch haben wir bestimmt, dass wir die nicht-negative Lösung dieser Gleichung als Wurzel definieren. Wir werden später mit Hilfe der Vollständigkeit von $\mathbb {R}$ zeigen, dass unter diesen Voraussetzungen die $n$-te Wurzel einer reellen Zahl immer existiert. Auch werden wir beweisen, dass die Wurzel unter diesen Bedingungen immer eindeutig ist.

Definition

Definition der Wurzel

Wir definieren formal sauber:

Definition (Definition der n-ten Wurzel)

Für $n\in \mathbb {N}$ ist die $n$-te Wurzel einer nicht-negativen reellen Zahl $a$ die nicht-negative reelle Zahl $x$, für die gilt $x^{n}=a$. Wir schreiben an Stelle von $x$ dann ${\sqrt[{n}]{a}}$. Für die Quadratwurzel ${\sqrt[{2}]{a}}$ schreiben wir auch ${\sqrt {a}}$.

Dass die $n$-te Wurzel existiert und eindeutig ist, werden wir später zeigen. Auch werden wir sehen, warum es sinnvoll ist, für eine Wurzel ${\sqrt[{n}]{a}}$ die Potenz $a^{\tfrac {1}{n}}$ aufzuschreiben.

Verständnisfragen: Bestimme folgende Wurzeln:

• ${\sqrt {4}}$
• ${\sqrt {-4}}$
• ${\sqrt[{3}]{27}}$
• ${\sqrt[{3}]{-27}}$

Antworten:

• ${\sqrt {4}}=2$
• ${\sqrt {-4}}$ ist nicht definiert.
• ${\sqrt[{3}]{27}}=3$
• ${\sqrt[{3}]{-27}}$ ist nach unserer Definition nicht definiert.

Die Wurzelfunktion

Verschiedene Wurzelfunktionen

Mit der Wurzel können wir für $n\in \mathbb {N}$ die Wurzelfunktion ${\sqrt[{n}]{.}}$ definieren. Sie ist die Umkehrfunktion der Potenzfunktion

$f:\mathbb {R} _{0}^{+}\to \mathbb {R} _{0}^{+},\ x\mapsto x^{n}$

Die Wurzelfunktion ist

$f^{-1}={\sqrt[{n}]{.}}:\mathbb {R} _{0}^{+}\to \mathbb {R} _{0}^{+},\ x\mapsto {\sqrt[{n}]{x}}$

Hinweis

Da die Potenzfunktion für ungerade Exponenten auch auf den negativen reellen Zahlen umkehrbar ist, wird die Wurzelfunktion für ungerade $n$ in der Literatur häufig auf ganz $\mathbb {R}$ definiert.

Unterscheidung: Wurzel, Wurzelfunktion und Lösung einer Potenzgleichung

Es ist in der Analysis sehr wichtig, unterschiedliche Begriffe voneinander unterscheiden zu können. Drei Begriffe, die oftmals wild durcheinander geworfen werden, sind Wurzel, Wurzelfunktion und Lösung der Potenzgleichung $x^{n}=a$:

Wurzel

Die Wurzel ist diejenige nicht-negative reelle Zahl, die die Potenzgleichung $x^{n}=a$ für $a\in \mathbb {R} _{0}^{+}$ erfüllt. Es handelt sich also bei einer Wurzel um eine reelle Zahl.

Wurzelfunktion

Wie der Name es bereits andeutet, handelt es sich bei der Wurzelfunktion um eine Funktion. Diese ist definiert als ${\sqrt[{n}]{.}}:\mathbb {R} _{0}^{+}\to \mathbb {R} _{0}^{+}:x\mapsto {\sqrt[{n}]{x}}$. Sie ist damit eine Funktion mit den nicht-negativen reellen Zahlen als Definitionsbereich und den nicht-negativen reellen Zahlen als Wertebereich. Dabei ordnet sie einer nicht-negativen Zahl ihre Wurzel zu.

Lösung der Potenzgleichung

Die Lösung einer Potenzgleichung $x^{n}=a$ ist eine reelle Zahl $x$, die diese Gleichung erfüllt. Nun kann eine Potenzgleichung mehrere Lösungen haben. Wenn $a$ eine nicht-negative Zahl ist, dann ist die $n$-te Wurzel von $a$ eine dieser Lösungen, muss aber nicht die Einzige sein. Eine Aussage wie „${\sqrt {2}}$ ist die Lösung der Gleichung $x^{2}=2$“, ist nicht richtig, da ${\sqrt {2}}$ nicht die, sondern nur eine der zwei Lösungen $x={\sqrt {2}}$ und $x=-{\sqrt {2}}$ von $x^{2}=2$ ist.

Verständnisfragen: Wie müsste die Aussage „${\sqrt {3}}$ ist die Lösung der Gleichung $x^{2}=3$“ korrekt heißen?

„${\sqrt {3}}$ ist die positive Lösung der Gleichung $x^{2}=3$“ oder „${\sqrt {3}}$ ist eine Lösung der Gleichung $x^{2}=3$“

Wurzel als Potenz

Es ist auch üblich, anstelle von ${\sqrt[{n}]{a}}$ die Schreibweise $a^{\tfrac {1}{n}}$ zu benutzen. Die Wurzel wird hier als spezielle Potenz aufgefasst. Dies ergibt Sinn, denn für Wurzeln gelten dieselben Rechenregeln wie für Potenzen mit ganzzahligen Exponenten. Dies werden wir später im Kapitel „Rechenregeln der Wurzel“ untersuchen. Für negative ganzzahlige Potenzen hatten wir $x^{-n}=\left({\tfrac {1}{x}}\right)^{n}={\tfrac {1}{x^{n}}}$ gesetzt. Damit sich dies auch mit der Potenzschreibweise für Wurzeln übereinstimmt, definieren wir für alle $n\in \mathbb {N}$

$a^{-{\tfrac {1}{n}}}={\tfrac {1}{\sqrt[{n}]{a}}}$

To-Do:

Dieser Abschnitt muss noch ausgebaut werden: Warum macht es Sinn $a^{\tfrac {1}{k}}={\sqrt[{k}]{a}}$ zu definieren? -> vielleicht im Abschnitt zu den Rechenregeln der Wurzel ergänzen?! -- Stephan Kulla 22:49, 5. Mai 2016 (CEST) -> Ist mir nicht klar, wie du das meinst?! Die Erklärung, warum es sinnvoll ist "hoch -..." als "eins durch hoch ..." zu setzen, muss vorher, bei Potenzen mit ganzzahligen Exponenten, geschehen! -- Benutzer:who2010 Who2010 17:15, 7. Mai 2016 (CEST)

Eindeutigkeit der Wurzel

Hilfssatz zum Beweis der Eindeutigkeit

Zunächst zeigen wir, dass die $n$-Wurzel eindeutig ist. Dafür benötigen wir den folgenden Hilfssatz:

Satz

Seien $x$ und $y$ nicht-negative reelle Zahlen mit $x<y$. Für alle $n\in \mathbb {N}$ gilt dann $x^{n}<y^{n}$.

Beweis

Im Kapitel „Folgerungen der Anordnungsaxiome“ hatten wir gezeigt

$0\leq x<y\land 0\leq a<b\Rightarrow ax<by$

Setzen wir nun $a=x$ und $b=y$, so folgt

$0\leq x<y\Rightarrow x^{2}=x\cdot x<y\cdot y=y^{2}$

Wenden wir diese Formel nun $n$-mal hintereinander an, so gilt

$0\leq x<y\Rightarrow x^{n}=\underbrace {x\cdot x\cdot \ldots \cdot x} _{n{\text{-mal}}}<\underbrace {y\cdot y\cdot \ldots \cdot y} _{n{\text{-mal}}}=y^{n}$

Beweis der Eindeutigkeit

Nun können wir die Eindeutigkeit der Wurzel zeigen:

Satz (Eindeutigkeit der Wurzel)

Sei $a$ eine nicht-negative reelle Zahl und $n$ eine beliebige natürliche Zahl. So gibt es höchstens eine nicht-negative reelle Zahl $x$ mit $x^{n}=a$.

Beweis (Eindeutigkeit der Wurzel)

Wir führen einen Widerspruchsbeweis, indem wir die Aussage „es gibt zwei verschiedene $n$-te Wurzeln von $a$“ auf einen Widerspruch führen. Nehmen wir also an, dass es zwei verschiedene nicht-negative reelle Zahlen $x$ und $y$ mit $x^{n}=a$ und $y^{n}=a$. Da $x\neq y$ ist, gilt entweder $x<y$ oder $y<x$.

Betrachten wir nun den Fall $x<y$. Da $0\leq x<y$ ist, folgt mit dem Hilfssatz von oben $x^{n}<y^{n}$. Nun ist aber nach Voraussetzung $x^{n}=a$ und $y^{n}=a$. Damit erhalten wir den Widerspruch

$a=x^{n}<y^{n}=a$

Damit kann nicht $x<y$ sein. Auch im Fall $y<x$ kommen wir analog zu einem Widerspruch. Dies zeigt, dass es höchstens eine Wurzel von $a$ geben kann.

Existenz der Wurzel

Exkurs: Das Dilemma der griechischen Mathematik

Wurzel 2 im rechtwinkligem Dreieck

Wurzel 2 als unendliche Dezimalzahl

Ich möchte dir nun zeigen, dass die Existenz der Wurzel nicht selbstverständlich ist: Beispielsweise gibt es in der Grundmenge der rationalen Zahlen keine Zahl, die die Potenzgleichung $x^{2}=2$ löst. Damit gibt es in den rationalen Zahlen keine Wurzel von $2$.

Bereits den alten Griechen war dies bekannt.

${\sqrt {2}}$ tritt zum Beispiel beim Einheitsquadrat auf, denn es ist die Länge der Diagonale eines Quadrates mit einer Kantenlänge von Maß $1$. Nach dem Satz des Pythagoras $a^{2}+b^{2}=c^{2}$ über rechtwinklige Dreiecke erhalten wir für $a=b=1$ die Gleichung $1^{2}+1^{2}=c^{2}$. Wenn wir diese nach $c$ durch Wurzelziehen umstellen, dann ergibt sich für die Diagonale $c$ die Länge ${\sqrt {2}}$. Damit kann ${\sqrt {2}}$ auch mit Hilfe von Zirkel und Lineal bestimmt werden:

Konstruktion von Wurzel 2

Wir wollen nun durch einen Widerspruchsbeweis zeigen, dass ${\sqrt {2}}$ keine rationale Zahl ist. Hierzu nehmen wir an, dass ${\sqrt {2}}$ rational ist. In diesem Fall existieren teilerfremde Zahlen $p$ und $q$ mit

${\sqrt {2}}={\frac {p}{q}}$

Die Voraussetzung, dass Zähler und Nenner teilerfremd sind, ist gleichbedeutend damit, dass der Bruch bereits vollständig gekürzt vorliegt. Durch Quadrieren beider Seiten der Gleichung erhalten wir:

$2={\frac {p^{2}}{q^{2}}}\Rightarrow p^{2}=2q^{2}$

$p^{2}$ muss also das Doppelte von $q^{2}$ sein und ist somit eine gerade Zahl. Nun ist das Quadrat einer Zahl genau dann gerade, wenn die Zahl selbst gerade ist. Demnach muss auch $p$ gerade sein und es gibt damit ein $k\in \mathbb {N}$ mit $p=2k$. Setzen wir dies in die obige Gleichung ein, so folgt:

$p^{2}=(2k)^{2}=2q^{2}\implies 4k^{2}=2q^{2}\implies 2k^{2}=q^{2}$

Kannst du erkennen, welches Problem nun auftritt? Da $q^{2}$ gerade ist, muss auch $q$ gerade sein. Somit kann man den Bruch ${\tfrac {p}{q}}$ durch $2$ kürzen. Dies widerspricht jedoch der Annahme, dass $p$ und $q$ teilerfremd sind. Wir hatten nämlich $p$ und $q$ so gewählt, dass ${\tfrac {p}{q}}$ vollständig gekürzt ist. Es folgt, dass ${\sqrt {2}}$ keine rationale Zahl sein kann.

Frage: Warum ist das Quadrat $x^{2}$ einer Zahl genau dann gerade, wenn $x$ gerade ist?

Zunächst zeigen wir: Ist eine Zahl gerade, so ist auch ihr Quadrat gerade. Sei $x$ eine gerade Zahl. Dann gibt es eine natürliche Zahl $k$ mit $x=2k$. Es folgt

$x^{2}=(2k)^{2}=4k^{2}=2\cdot \underbrace {2k^{2}} _{\in \mathbb {N} }$

Damit ist das Quadrat von $x$ auch eine gerade Zahl. Nun zeigen wir die Rückrichtung (die wir für unseren Beweis benötigen): Ist das Quadrat einer Zahl gerade, so ist auch die Zahl selbst gerade. Dies beweisen wir mittels Kontraposition, indem wir zeigen: Ist eine Zahl ungerade, so ist auch ihr Quadrat ungerade. Sei also $x$ eine ungerade Zahl. Damit gibt es eine natürliche Zahl $k$ mit $x=2k-1$. Es folgt

$x^{2}=(2k-1)^{2}=4k^{2}-4k+1=2\cdot \underbrace {(2k^{2}-2k)} _{\in \mathbb {N} }+1$

Damit ist $x^{2}$ eine ungerade Zahl.

Baustelle: Beweis der Existenz einer Wurzel

Wir haben uns gerade überlegt, dass in den rationalen Zahlen Wurzeln nicht immer existieren müssen. In $\mathbb {R}$ hingegen werden wir sehen, dass dies schon der Fall ist. Die Struktur-Eigenschaft, die $\mathbb {R}$ von $\mathbb {Q}$ unterscheidet, ist die Vollständigkeit der reellen Zahlen. Diese hatten wir über rationale bzw. allgemeine Intervallschachtelungen definiert. Um also die Existenz einer Wurzel in den reellen Zahlen beweisen zu können, müssen wir das Intervallschachtelungsprinzip verwenden.

In einem ersten Schritt beweisen wir, dass ${\sqrt {2}}$ eine reelle Zahl ist bzw. dass es eine nicht-negative reelle Zahl $x$ mit $x^{2}=2$ gibt. Um das Intervallschachtelungsprinzip anwenden zu können, müssen wir eine Intervallschachtelung $I_{1},I_{2},I_{3},\ldots$ konstruieren, die als einziges Element ${\sqrt {2}}$ enthält.

Da wir allerdings nicht wissen, wo genau ${\sqrt {2}}$ auf dem Zahlenstrahl liegt, müssen wir einen Trick anwenden, der darin besteht, "simultan" zur Intervallschachtelung $I_{1},I_{2},I_{3},\ldots$ für $x={\sqrt {2}}$ eine Intervallschachtelung $I_{1}^{2},I_{2}^{2},I_{3}^{2},\ldots$ für $x^{2}=2$ zu konstruieren, denn $x={\sqrt {2}}$ ist die Zahl, für die $x^{2}=2$ gilt, und von $x={\sqrt {2}}$ wissen wir ja, wo sie genau auf dem Zahlenstrahl liegt. Bei diesem "simultanen" Verfahren müssen wir allerdigs sicherstellen, dass $x^{2}=2\in I_{n}^{2}$ für alle $n\in \mathbb {N}$ gilt, denn dadurch stellen wir auch sicher, dass die gesuchte Zahl ${\sqrt {2}}$ in allen Intervallen $I_{1},I_{2},I_{3},\ldots$ enthalten bzw. $x={\sqrt {2}}\in I_{n}$ für alle $n\in \mathbb {N}$ ist.

Fangen wir also mit den Anfangsintervallen $I_{1}$ bzw. $I_{1}^{2}$ an und setzen dabei als untere Grenze $a_{1}=1$, so dass $a_{1}^{2}=1^{2}=1\leq 2=x^{2}$ ist. Als obere Grenze setzen wir $b_{1}=x^{2}=2$, so dass $b_{1}^{2}=2^{2}=4\geq 2=x^{2}$ ist. Damit sind $I_{1}=[a_{1},b_{1}]=[1,2]$ und $I_{1}^{2}=[a_{1}^{2},b_{1}^{2}]=[1,4]$ unsere ersten beiden Intervalle.

Nun wählen wir die Standardmethode für Intervallschachtelungen, indem wir für die nächsten beiden Intervalle unserer Schachtelung das Intervall $I_{1}=[1,2]$ "halbieren". Für $I_{2}$ müssen wir uns nun zwischen $[1,{\tfrac {3}{2}}]$ und $[{\tfrac {3}{2}},2]$ entscheiden. Wir wissen bereits, dass $x^{2}=2\in I_{2}^{2}$ Grundbedingung für $x\in I_{2}$ ist. Also entscheiden wir uns für $I_{2}=[1,{\tfrac {3}{2}}]$, denn tatsächlich ist $2\in [1^{2},\left({\tfrac {3}{2}}\right)^{2}]=[1,{\tfrac {9}{4}}]$. Damit sind $I_{2}=[a_{2},b_{2}]=[1,{\tfrac {3}{2}}]$ und $I_{2}^{2}=[a_{2}^{2},b_{2}^{2}]=[1,{\tfrac {9}{4}}]$ unsere neuen Intervalle.

Dieses Prinzip setzen wir nun beliebig fort. Für $I_{3}$ ergibt sich $I_{3}=[{\tfrac {5}{4}},{\tfrac {3}{2}}]$, denn ${\tfrac {5}{4}}={\tfrac {1}{2}}(1+{\tfrac {3}{2}})$ und $2\in [\left({\tfrac {5}{4}}\right)^{2},\left({\tfrac {3}{2}}\right)^{2}]=[{\tfrac {25}{16}},{\tfrac {9}{4}}]=I_{3}^{2}$.

Ganz allgemein definieren wir unsere Intervallschachtelung $I_{1},I_{2},I_{3},\ldots$ folgendermassen:

Setze $I_{1}=[a_{1},b_{1}]=[1,2]$ und für $n\geq 1$: $m_{n}={\tfrac {1}{2}}(a_{n}+b_{n})$, und $I_{n+1}={\begin{cases}\,[a_{n},m_{n}]&{\text{falls }}2\in [a_{n}^{2},m_{n}^{2}[,\\\,[m_{n},b_{n}]&{\text{falls }}2\in [m_{n}^{2},b_{n}^{2}].\end{cases}}$

Dann ist $(I_{n})$ tatsächlich eine Intervallschachtelung, denn zum Einen gilt (nach Konstruktion) $I_{n+1}\subseteq I_{n}$ für alle $n\in \mathbb {N}$. Zum Anderen ist

$|I_{n}|=b_{n}-a_{n}={\tfrac {1}{2}}(b_{n-1}-a_{n-1})=\ldots =\left({\tfrac {1}{2}}\right)^{n-1}(b_{1}-a_{1})=\left({\tfrac {1}{2}}\right)^{n-1}$

Daher gibt es nach einer Folgerung zum archimedischen Axiom zu jedem $\epsilon >0$ ein $N\in \mathbb {N}$ mit $|I_{N}|=b_{N}-a_{N}<\epsilon$. Damit gibt es genau eine reelle Zahl ${\tilde {x}}$, die von der Intervallschachtelung approximiert wird.

Wir müssen nun aber noch zeigen, dass tatsächlich ${\tilde {x}}={\sqrt {2}}$ gilt. Dies folgt leider noch nicht automatisch, da wir in der Konstruktion der Intervallschachtelung $(I_{n})$ die Bedingung $x^{2}=2\in I_{n}^{2}$ und nicht $x={\sqrt {2}}\in I_{n}$ benutzt hatten. Zunächst zeigen wir, dass $(I_{n}^{2})$ ebenfalls eine Intervallschachtelung ist. Einerseits ist wieder nach Konstruktion $I_{n+1}^{2}\subseteq I_{n}^{2}$ für alle $n\in \mathbb {N}$. Andererseits gilt

$|I_{n}^{2}|=b_{n}^{2}-a_{n}^{2}=(b_{n}+a_{n})(b_{n}-a_{n}){\overset {a_{n}\leq b_{n}}{\leq }}2b_{n}(b_{n}-a_{n}){\overset {b_{n}\leq b_{1}}{\leq }}2b_{1}(b_{n}-a_{n})$

Da nun $(I_{n})$ eine Intervallschachtelung war, existiert zu jedem $\epsilon >0$ aber auch ein $N\in \mathbb {N}$ mit $|I_{N}|=b_{N}-a_{N}<{\tfrac {\epsilon }{2b_{1}}}$. Damit gilt aber

$|I_{N}^{2}|\leq 2b_{1}(b_{N}-a_{N})<2b_{1}\cdot {\tfrac {\epsilon }{2b_{1}}}=\epsilon$

Also ist $(I_{n}^{2})$ ebenfalls eine Intervallschachtelung. Diese hat nun ebenfalls genau ein Element $y$, das in allen Intervallen enthalten ist. Wir hatten $(I_{n}^{2})$ aber nun so konstruiert, dass $x^{2}=2$ in allen Intervallen enthalten ist. Daraus folgt nun $y=x^{2}=2$. Damit ist nun ${\tilde {x}}=x={\sqrt {2}}$.

Also haben wir mit Hilfe einer Intervallschachtelung gezeigt, dass ${\sqrt {2}}$ in $\mathbb {R}$ existiert.

Ganz analog können wir nun folgenden Satz beweisen:

Satz (Existenz der Wurzel)

Ist $y\in \mathbb {R} _{0}^{+}$ und $k\in \mathbb {N}$, so existiert die $k$-te Wurzel von $y$.

Zusammenfassung des Beweises (Existenz der Wurzel)

Wir verallgemeinern den Beweis von oben. Wir konstruieren dazu zwei Intervallschachtelungen $(I_{n})=([a_{n},b_{n}])$ und $(I_{n}^{k})=([a_{n}^{k},b_{n}^{k}])$, so dass $(I_{n}^{k})$ die Zahl $y=x^{k}$ und $(I_{n})$ die $k$-te Wurzel $y$ approximiert.

Beweis (Existenz der Wurzel)

Die Fälle $y=0$ und $k=1$ sind trivial. Es gilt $0^{k}=0$ für alle $k\in \mathbb {N}$ und $y^{1}=y$ für alle $y\in \mathbb {R} _{0}^{+}$. Daher ist ${\sqrt[{k}]{0}}=0$ für alle $k\in \mathbb {N}$ und ${\sqrt[{1}]{y}}=y$ für alle $y\in \mathbb {R} _{0}^{+}$.

Sei nun also $k\geq 2$ und betrachten wir zunächst den Fall $y\geq 1$. Den anderen Fall $0<y<1$ werden wir später auf diesen zurückführen.

Wir konstruieren nun (analog zu oben) eine Intervallschachtelung $(I_{n})$ wie folgt: $I_{1}=[a_{1},b_{1}]=[1,y]$, und für alle $n\geq 1$ sei für $m_{n}={\tfrac {1}{2}}(a_{n}+b_{n})$

$I_{n+1}=[a_{n+1},b_{n+1}]={\begin{cases}\,[a_{n},m_{n}]&{\text{falls }}y=x^{k}\in [a_{n}^{k},m_{n}^{k}[,\\\,[m_{n},b_{n}]&{\text{falls }}y=x^{k}\in [m_{n}^{k},b_{n}^{k}].\end{cases}}$

Dann gilt genau wie oben $I_{n+1}\subseteq I_{n}$ und $|I_{n}|=\left({\tfrac {1}{2}}\right)^{n-1}|b_{1}-a_{1}|=\left({\tfrac {1}{2}}\right)^{n-1}(y-1)$ für alle $n\in \mathbb {N}$. Nach der Folgerung zum archimedischen Axiom gibt es zu jedem $\epsilon >0$ ein $N\in \mathbb {N}$ mit $|I_{N}|=<\epsilon$. Also ist $(I_{n})$ eine Intervallschachtelung, die eine reelle Zahl ${\tilde {x}}$ approximiert.

Nun ist aber $(I_{n}^{k})=([a_{n}^{k},b_{n}^{k}])$ ebenfalls eine Intervallschachtelung, denn es gilt $I_{n+1}^{k}\subseteq I_{n}^{k}$, sowie unter Verwendung der Formel

$x^{k}-y^{k}=(x-y)(x^{k-1}y^{0}+x^{k-2}y^{1}+x^{k-3}y^{2}+\ldots +x^{2}y^{k-3}+x^{1}y^{k-2}+x^{0}y^{k-1})=(x-y)\sum _{j=0}^{k-1}x^{k-1-j}y^{j}$

können wir folgern:

$|I_{n}^{k}|=b_{n}^{k}-a_{n}^{k}=(b_{n}-a_{n})(b_{n}^{k-1}+b_{n}^{k-2}a_{n}+\ldots +b_{n}a_{n}^{k-2}+a_{n}^{k-1})\leq |I_{n}|kb_{1}^{k-1}$

Da $(I_{n})$ eine Intervallschachtelung ist, gibt es zu jedem $\epsilon >0$ ein $N\in \mathbb {N}$ mit $|I_{N}|<{\tfrac {\epsilon }{kb_{1}^{k-1}}}$. Dann gilt aber

$|I_{n}^{k}|\leq |I_{n}|kb_{1}^{k-1}<{\tfrac {\epsilon }{kb_{1}^{k-1}}}\cdot kb_{1}^{k-1}=\epsilon$

Sei $y$ die reelle Zahl, die in allen Intervallen $(I_{n}^{k})$ enthalten ist. Da wir $(I_{n}^{k})$ aber so konstruiert hatten, dass $x^{k}\in (I_{n}^{k})$ gilt für alle $n\in \mathbb {N}$, gilt $y=x^{k}$. Dann gilt aber ${\tilde {x}}=x={\sqrt[{k}]{y}}$.

Betrachten wir noch den Fall $0<y<1$: Es gilt ${\tfrac {1}{y}}>1$. Mit dem eben gezeigten gibt es daher ein $x>0$ mit $x^{k}={\tfrac {1}{y}}$. Damit gilt dann aber $y={\tfrac {1}{x^{k}}}=\left({\tfrac {1}{x}}\right)^{k}$. Also ist ${\tfrac {1}{x}}={\sqrt[{k}]{y}}$.

To-Do:

• @Benutzer:Stephan Kulla: Abschnitt muss noch überarbeitet werden.
• Es muss noch erklärt werden, was $I^{2}$ ist.
• Es sollten Abbildungen wie im Beweis zu Mathe für Nicht-Freaks: Satz von Bolzano-Weierstraß ergänzt werden.

Vertiefung: Wurzel im Komplexen

In der Grundmenge der komplexen Zahlen $\mathbb {C}$ besitzt die Potenzgleichung $x^{n}=a$ für $a\neq 0$ genau $n$ Lösungen – auch wenn $a$ eine negative Zahl ist. Jede dieser Lösungen wird dann Wurzel der Potenzgleichung $x^{n}=a$ genannt. Während also im Reellen eine Zahl nur eine $n$-te Wurzel besitzt, besitzt diese Zahl im Komplexen mehrere $n$-te Wurzeln.