Reelle positive Zahl/Wurzeln/Eindeutige Existenz/Fakt/Beweis

Beweis

Wir definieren rekursiv eine Intervallschachtelung $[a_n,b_n]$, und zwar setzen wir

$a_0=0$

und $b_0$ eine beliebige reelle Zahl mit  $b_0^k\ge c$.  Es seien die Intervallgrenzen bis zum Index $n$ bereits definiert, die Intervalle seien ineinander enthalten und es gelte dabei

$a_n^k\le c\le b_n^k.$

Wir setzen

$a_{n+1}:=\{\begin{array}{c}\frac{a_n+b_n}{2},\text{ falls }{\left(\frac{a_n+b_n}{2}\right)}^k\le c,\\ a_n\text{ sonst},\end{array}$

und

$b_{n+1}:=\{\begin{array}{c}\frac{a_n+b_n}{2},\text{ falls }{\left(\frac{a_n+b_n}{2}\right)}^k>c,\\ b_n\text{ sonst}.\end{array}$

Dadurch wird eine Grenze beibehalten und die andere Grenze wird durch das arithmetische Mittel der beiden Vorgängergrenzen ersetzt. Insbesondere gelten die angegebenen Eigenschaften für alle Intervalle und es liegt eine Intervallschachtelung vor. Es sei $x$ die durch diese Intervallschachtelung gemäß Fakt festgelegte reelle Zahl. Nach Aufgabe gilt

$x=\underset{n\to \mathrm{\infty }}{lim}{a}_n=\underset{n\to \mathrm{\infty }}{lim}{b}_n.$

Damit ist nach Fakt  (2)

$x^k=\underset{n\to \mathrm{\infty }}{lim}{a}_n^k=\underset{n\to \mathrm{\infty }}{lim}{b}_n^k.$

Wegen der Konstruktion der Intervallgrenzen ist dies nach Fakt sowohl $\le c$ als auch $\ge c$, also ist  $x^k=c$. 

Zur bewiesenen Aussage