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.