Division mit Rest

Eine allgemeine und formale Definition ist in Mathematik:euklidischer Ring oder auch unter Zahlentheorie und Restklasse zu finden, hier folgt die anschauliche Darstellung für die natürlichen Zahlen.

Wenn zwei natürliche Zahlen, der Dividend a und der Divisor b (ungleich 0), mit Rest dividiert werden sollen, also wenn

$a:b\,$

berechnet werden soll, so wird gefragt, wie man die Zahl a als Vielfaches von b und einem "kleinen Rest" darstellen kann:

$a=b\cdot c+r$

Hier sind c der so genannte Ganzzahlquotient und r der Rest. Entscheidende Nebenbedingung ist, dass r eine Zahl in $\{0,\dots ,b-1\}$ ist. Hierdurch wird r eindeutig bestimmt.

Der Rest ist also die Differenz zwischen dem Dividenden und der größten Zahl, die kleiner als der Dividend ist und durch den Divisor teilbar ist, für die die Division also keinen Rest ergibt. Ein Rest ungleich 0 ergibt sich folglich nur, wenn zwei Zahlen nicht Vielfache voneinander sind. Man sagt auch: Der Dividend ist nicht durch den Divisor teilbar, weshalb ein Rest übrigbleibt.

Liegt der Divisor fest, so spricht man beispielsweise auch vom Neunerrest ein Zahl, also dem Rest, der sich bei Division dieser Zahl durch neun ergibt.

Ganze Zahlen

Ist b eine negative ganze Zahl, dann gibt es keine Zahlen zwischen 0 und b-1. Stattdessen fordert man, dass der Rest zwischen 0 und |b|-1 (dem Betrag von b minus 1) liegt. Alternativ kann man aber auch verlangen, dass der Rest in diesem Fall zwischen b+1 und 0 liegt, also dasselbe Vorzeichen hat wie b. Eine dritte Möglichkeit ist, den betragskleinsten Rest zu wählen. Diese Variante liefert für a = b · c + r die beste Näherung b · c für a.

Beispiel

Bei einer Division durch 3 kann der Rest die Werte 0, 1 oder 2 annehmen. Sehr anschaulich wird das, wenn man die Zahlen durch Striche ersetzt:

Division 7 durch 3:

7 = |||||||
3 = |||

Jetzt kann man die 7 Striche zu Blöcken mit je 3 Strichen gruppieren:

7 = ||| ||| |

Ein dabei entstehender unvollständige 3er-Block bildet den Rest. Dieser kann aus einem oder zwei Strichen bestehen oder fehlen, wenn die Division restlos aufgeht.

Dividiert man negative Zahlen, ergibt sich entsprechend der Alltagserfahrung folgendes Bild:

 7 :  3 =  2 Rest  1
-7 :  3 = -2 Rest -1

übertragen auf negative Teiler - obwohl wenig anschaulich - folgt:

 7 : -3 = -2 Rest  1
-7 : -3 =  2 Rest -1

(hierbei wird für die Wahl von Quotient und Rest, zunächst so getan, als gäbe es keine Vorzeichen, sie werden sozusagen nach der „eigentlichen Berechnung wieder hinzugefügt“). Als Quotient wird hier immer ein Wert bestimmt, dessen Betrag kleiner oder gleich dem Betrag des Quotienten im Bereich der rationalen Zahlen ist. Der Rest und sein Vorzeichen folgen aus der Wahl des Quotienten.

Man beachte, dass DIV- und MOD-Befehle (für ganzzahlige Division und Restbildung) in den meisten Programmiersprachen (und z.B. sogar in Intels 80x86-Prozessoren) genau diesem Alltagsansatz entsprechend implementiert sind.

Wie groß der Rest bei einer Division nun ausfällt, sei Geschmachssache, könnte man meinen, denn es steht jedem frei, nur einen Teil einer gegebenen Größe zu teilen, den verbleibenden Rest erklärt er einfach zum „Rest“. Lassen wir hierbei auch zu, dass „Schulden“ gemacht werden dürfen, sind beispielsweise slle folgende Ergebnisse zulässig:

 7 : 3 =  1 Rest  4
 7 : 3 =  2 Rest  1
 7 : 3 =  3 Rest -2

bzw:

-7 : 3 = -1 Rest -4
-7 : 3 = -2 Rest -1
-7 : 3 = -3 Rest  2

Zur Normierung wird in der Mathematik die Konvetion verwendet, die Vorzeichen der Reste aus denen der Teiler zu beziehen, wie in den folgenden Beispielen dargestellt:

 7 :  3 =  2 Rest  1
-7 :  3 = -3 Rest  2
 7 : -3 = -2 Rest -1
-7 : -3 =  3 Rest -2

hierbei kann die Zugehörigkeit einer Zahl zu einer Restklasse direkt am Rest abgelesen werden.

Einige Programmiersprachen bzw. Computer-Algebra-Systeme tragen dieser Vielfalt von Konventionen Rechnung, indem sie zwei Modulo- bzw. Rest-Operatoren zur Verfügung stellen. Im Beispiel Ada hat:

• (A rem B) dasselbe Vorzeichen wie A und einen Absolutwert kleiner als der Absolutwert von B
• (A mod B) dasselbe Vorzeichen wie B und einen Absolutwert kleiner als der Absolutwert von B

Bestimmung des Restes für spezielle Teiler

Häufig kann man den Rest an der Dezimaldarstellung ablesen (die folgenden Regeln gelten nur für natürliche Zahlen):

• bei Division durch 2: der Rest ist 1, wenn die letzte Ziffer ungerade ist, und 0, wenn die letzte Ziffer gerade ist
• bei Division durch 3: der Rest ist gleich dem Rest, den die iterierte Quersumme bei Division durch 3 lässt
• bei Division durch 5: der Rest ist gleich dem Rest, den die letze Ziffer bei Division durch 5 lässt
• bei Division durch 9: der Rest ist die iterierte Quersumme oder 0, falls diese 9 ist
• bei Division durch 10: der Rest ist die letzte Ziffer.

Ähnliche, wenn auch etwas kompliziertere Regeln existieren für etliche weitere Teiler.

Verallgemeinerung: Reelle Zahlen

Sind a und b reelle Zahlen, b ungleich 0, dann kann man eine Division mit Rest folgendermaßen definieren: Der ganzzahlige Quotient c und Rest r im halboffenen Intervall [0, |b|] sind diejenigen (eindeutig bestimmten) Zahlen, die die Gleichung a = b · c + r erfüllen.

Auch hier gibt es die Alternativen, dem Rest dasselbe Vorzeichen wie b zu geben oder den betragskleinsten Rest zu wählen. Letztere Alternative entspricht der Rundung: Die Division mit Rest von a durch 1 liefert eine ganze Zahl c und eine reelle Zahl r mit Betrag ≤ 0,5, die die Gleichung a = c + r erfüllen. Die Zahl c ist der auf ganze Zahlen gerundete Wert von a.

Beachte, dass hierbei der Quotient nicht aus derselben Menge (der reellen Zahlen) genommen wird wie Divisor und Dividend.

Verallgemeinerung

Die Division mit Rest ist nicht auf ganze Zahlen beschränkt, sondern auch für andere Ringe definiert. Sowohl Quotient als auch Rest werden dabei aus demselben Ring genommen wie Divisor und Dividend.

Ein Beispiel ist die Polynomdivision: Hier ist der Rest stets ein Polynom von kleinerem Grad als der Divisor.

 (2 x^2 + 4 x + 5) : (x + 1) = 2 x + 2 + 3/(x+1)
  2 x^2 + 2 x
  -----------
          2 x + 5
          2 x + 2
          -------
                3

2x + 2 ist das Ergebnis und 3 der Rest.

Ein Ring, in dem eine Division mit Rest möglich ist, heißt euklidischer Ring.

Anwendungen

• Gaußsche Formel zur Berechnung des Osterfestes