Archimedisch angeordneter Körper/Rationale Zahlen liegen dazwischen/Fakt/Beweis

Beweis

Wegen ${}y>x$ ist ${}y-x>0$ und daher gibt es nach Fakt ein ${}k\in \mathbb {N}$ mit ${}{\frac {1}{k}}<y-x$. Nach Fakt gibt es auch ein ${}n\in \mathbb {N}$ mit ${}n{\frac {1}{k}}>x$ und ein ${}n'\in \mathbb {Z} _{-}$ mit ${}n'{\frac {1}{k}}\leq x$. Daher gibt es auch ein ${}n\in \mathbb {Z}$ derart, dass

$n{\frac {1}{k}}>x\,\,{\text{ und }}\,\,(n-1){\frac {1}{k}}\leq x$

ist. Damit ist einerseits ${}x<{\frac {n}{k}}$ und andererseits

${}{\frac {n}{k}}={\frac {n-1}{k}}+{\frac {1}{k}}<x+y-x=y\,$

wie gewünscht.

Zur bewiesenen Aussage