Dezimalbruch/Halbierung/Algorithmus/Korrektheit/Fakt/Beweis/Aufgabe/Lösung


Es sei

gegeben und es sei mit und gleich oder und

Da ist, ist diese Zahl eine erlaubte Ziffer. Zum Nachweis der Korrektheit müssen wir einfach das Ergebnis mit multiplizieren und zeigen, dass man so zurückerhält. Es ist

wobei sich die beiden Summanden rechts wegheben, da und

gleich sind.