< Division mit Rest < Z < Fakt
Beweis
Zur Existenz. Bei ist eine Lösung. Sei positiv. Da positiv ist, gibt es ein Vielfaches . Daher gibt es auch eine Zahl mit und . Sei . Dann ist
und daher ist wie gewünscht. Bei negativ kann man schreiben nach dem Resultat für positive Zahlen. Daraus ergibt sich
Im zweiten Fall erfüllen
und
die Bedingungen.
Zur Eindeutigkeit. Sei , wobei die Bedingungen jeweils erfüllt seien. Es sei ohne Einschränkung . Dann gilt . Diese Differenz ist nichtnegativ und kleiner als , links steht aber ein Vielfaches von , so dass die Differenz sein muss und die beiden Darstellungen überein stimmen.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.