הוכחות מתמטיות/שונות/קיום שורש מסדר n

לכל $y>0$ ולכל $n\in \mathbb {N}$ קיים $x\in \mathbb {R}$ עבורו $x^{n}=y$.

הוכחה

נגדיר קבוצה $A={\Big \{}r\in \mathbb {R} :r\geq 0,r^{n}<y{\Big \}}$.

זו קבוצה לא־ריקה (כי $0\in A$) וחסומה מלמעלה על־ידי $y+1$ (כי לכל $r>y+1$ מתקיים $r^{n}>r>y$).

לכן על־פי אקסיומת השלמות של המספרים הממשים יש לה חסם עליון $x$. כעת נוכיח כי $x^{n}=y$.

• נניח בשלילה כי $x^{n}<y$.

די למצוא $0<\varepsilon <1$ עבורו $(x+\varepsilon )^{n}<y$:

${\begin{aligned}(x+\varepsilon )^{n}&=\sum _{k\,=\,0}^{n}{\binom {n}{k}}x^{n-k}\varepsilon ^{k}\\&=x^{n}+\sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}\varepsilon ^{k}\\&\leq x^{n}+\sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}\varepsilon \qquad :\varepsilon ^{k}\leq \varepsilon \\&=x^{n}+\varepsilon \sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}\\&=x^{n}+\varepsilon \left(\,\sum _{k\,=\,0}^{n}{\binom {n}{k}}x^{n-k}-x^{n}\right)\\&=x^{n}+\varepsilon {\bigl [}(x+1)^{n}-x^{n}{\bigr ]}<y\\\varepsilon &<\min \left\{1,{\frac {y-x^{n}}{(x+1)^{n}-x^{n}}}\right\}\end{aligned}}$

כלומר $x+\varepsilon \in A$, אבל $x<x+\varepsilon$ ולכן $x+\varepsilon \notin A$. סתירה.

• נניח בשלילה כי $x^{n}>y$.

כ.נ.ל די למצוא $0<\varepsilon <1$ עבורו $(x-\varepsilon )^{n}>y$:

${\begin{aligned}(x-\varepsilon )^{n}&=\sum _{k\,=\,0}^{n}{\binom {n}{k}}x^{n-k}(-\varepsilon )^{k}\\&=x^{n}+\sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}(-\varepsilon )^{k}\\&\geq x^{n}+\sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}(-\varepsilon )\qquad :(-\varepsilon )^{k}\geq -\varepsilon \\&=x^{n}-\varepsilon \sum _{k\,=\,1}^{n}{\binom {n}{k}}x^{n-k}\\&=x^{n}-\varepsilon \left(\,\sum _{k\,=\,0}^{n}{\binom {n}{k}}x^{n-k}-x^{n}\right)\\&=x^{n}-\varepsilon {\bigl [}(x+1)^{n}-x^{n}{\bigr ]}>y\\\varepsilon &<\min \left\{1,{\frac {x^{n}-y}{(x+1)^{n}-x^{n}}}\right\}\end{aligned}}$

כלומר $x-\varepsilon \notin A$, אבל $x-\varepsilon <x$ ולכן $x-\varepsilon \in A$. סתירה.

לכן $x^{n}=y$.

$\blacksquare$