Division mit Rest für archimedisch angeordneter Körper/Aufgabe

Sei ${}K$ ein archimedisch angeordneter Körper. Zeige, dass es für jedes ${}s\in K$ eine ganze Zahl ${}q$ und ein $t\in K$ mit $0\leq t<1$ und mit

${}s=q+t\,$

gibt.

Eine Lösung erstellen