Division mit Rest/N/Induktion/Fakt/Beweis/Aufgabe/Lösung


Zur Existenz.  Dies wird durch Induktion über bewiesen. Es sei fixiert. Der Induktionsanfang für ergibt sich direkt mit und . Für den Induktionsschluss sei die Aussage für bewiesen, d.h. wir haben eine Darstellung mit und müssen eine ebensolche Darstellung für finden. Wenn ist, so ist

und wegen ist dies eine gesuchte Darstellung. Ist hingegen , so ist

und dies ist eine gesuchte Darstellung.
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 , sodass die Differenz sein muss und die beiden Darstellungen übereinstimmen.