Wenn der Nenner b eines Bruches a/b ein Produkt aus Potenzen der Primzahlen 2 und 5 ist, das heißt, wenn b=2n⋅5m gilt, dann ist die rationale Zahl a/b ein endlicher Dezimalbruch.
Zum Beweis brauchen wir den Hilfssatz: Die Dezimaldarstellung von Brüchen, deren Nenner eine Zehnerpotenz ist, bricht ab.
Wir unterscheiden die Fälle (1) n>m (2) m=n (3)n<m.
(1) Erweitern mit 2n-m führt zu einem Bruch, auf den der Hilfssatz anwendbar ist.
(2) Der Hilfssatz ist unmittelbar anwendbar.
(3) Erweitern mit 5m-n führt zu einem Bruch, auf den der Hilfssatz anwendbar ist.