Natürliche Zahl/Eindeutige Darstellung im Zehnersystem/Fakt/Beweis/Aufgabe/Lösung


Wir beweisen die Existenzaussage durch Induktion über . Für wählt man und . Es sei nun und die Aussage für kleinere Zahlen schon bewiesen. Nach Fakt mit gibt es eine Darstellung

mit zwischen und . Es ist , deshalb gilt nach Induktionsvoraussetzung die Aussage für . D.h. man kann

mit (bei ist dies als leere Summe zu lesen) und mit schreiben. Daher ist

eine Darstellung der gesuchten Art. Dabei ist für und .