Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 16/latex
\setcounter{section}{16}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller36.jpg} }
\end{center}
\bildtext {Auch mit dem Ball spielt sie gern.} }
\bildlizenz { Waeller36.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\zwischenueberschrift{Schriftliches Multiplizieren}
Die Grundidee für das schriftliche Multiplizieren liegt
im allgemeinen Distributivgesetz.
Für zwei natürliche Zahlen der Form
\mathdisp {m= a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \text{ und } n=b_0+b_1 10+b_2 10^2 + \cdots + b_{\ell}10^{\ell}} { }
ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{m \cdot n
}
{ =} { { \left( a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \right) } \cdot { \left( b_0+b_1 10+b_2 10^2 + \cdots + b_{\ell}10^{\ell} \right) }
}
{ =} { \sum_{0 \leq i \leq k,\, 0 \leq j \leq \ell } a_i b_j 10^{i} \cdot 10^{j}
}
{ =} { \sum_{0 \leq i \leq k,\, 0 \leq j \leq \ell } a_i b_j 10^{i + j}
}
{ =} { \sum_{s = 0}^{k + \ell} { \left( \sum_{i = 0}^{ k} a_i b_{s-i} \right) } 10^s
}
}
{}
{}{.}
Hierbei ist im Allgemeinen der Vorfaktor
\mathl{\sum_{i = 0}^{ k} a_i b_{s-i}}{} nicht kleiner als $10$, aus diesem Ausdruck ist also nicht unmittelbar die Ziffernentwicklung des Produktes ablesbar. In einer solchen Situation ist
Bemerkung 14.5
anwendbar. Dies ist aber nicht das Verfahren zum schriftlichen Multiplizieren.
\inputverfahren{}
{
Beim \stichwort {schriftlichen Multiplizieren} {}
\mathl{m \cdot n}{} zweier natürlicher Zahlen, die im Dezimalsystem als
\mathdisp {m= a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \text{ und } n=b_0+b_1 10+b_2 10^2 + \cdots + b_{\ell}10^{\ell}} { }
gegeben sind, geht man folgendermaßen vor.
\aufzaehlungdrei{Man berechnet für jedes
\mavergleichskette
{\vergleichskette
{j
}
{ = }{0,1 , \ldots , \ell
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einzeln die Dezimalziffern\zusatzfussnote {Eigentlich müsste man
\mathl{c_{ij}}{} schreiben, da diese Ziffern auch von $b_j$ abhängen; für einen relativ langen Abschnitt ist aber das $j$ fest gewählt} {.} {}
$c_i$ des Teilproduktes
\mathl{m \cdot b_j}{} und die \stichwort {Überträge} {}
\mathl{d_{i+1}}{}
\zusatzklammer {mit dem Startwert
\mavergleichskettek
{\vergleichskettek
{d_0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
sukzessive über die Gleichungen
\mavergleichskettedisp
{\vergleichskette
{ a_i b_j + d_i
}
{ =} { d_{i+1} \cdot 10 + c_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \leq} { c_i
}
{ \leq} {9
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Die zu den $j$
\zusatzklammer {bzw. $b_j$} {} {}
gehörenden Ziffernfolgen schreibt man untereinander, wobei jeweils $c_0$ unterhalb von $b_j$ steht.
}{Man summiert die verschiedenen verschobenen Teilprodukte im Sinne des schriftlichen Addierens.
}
Das Ergebnis
\zusatzklammer {im Dezimalsystem} {} {}
dieser Addition ist die Ausgabe des Multiplikationsalgorithmus.
}
Das Problem, dass bei der distributiven Multiplikation von zwei natürlichen Zahlen im Dezimalsystem die Vorfaktoren zu groß sind, tritt schon dann auf, wenn die zweite Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ = }{b_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einstellig ist
\zusatzklammer {sogar wenn beide Zahlen einstellig sind; dies wird durch das kleine Einmaleins erledigt} {} {.}
Diesen Fall betrachten wir zuerst.
\inputfaktbeweis
{Zehnersystem/Schriftliches Multiplizieren/Einstelliger Faktor/Korrekt/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Das schriftliche Multiplizieren mit einem einstelligen zweiten Faktor im Zehnersystem ist korrekt.}
\faktzusatz {}
\faktzusatz {}
}
{
Die linke Faktor sei
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} {a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und der rechte Faktor sei
\mavergleichskette
{\vergleichskette
{ b
}
{ = }{ b_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wir haben also die schriftliche Multiplikation der Form
\mathdisp {a_k \ldots a_2a_1a_0 \, \, \cdot \, \, b} { }
im Sinne von
Verfahren 16.1
durchzuführen. Das Ergebnis ist die Zahl
\mathl{c_{k+1}c_k \ldots c_2c_1c_0}{.} Wir müssen zeigen, dass dies das wahre Produkt ist. Es ist, wobei wir mehrfach die definierende Gleichung
\mavergleichskette
{\vergleichskette
{ a_i b + d_i
}
{ = }{ d_{i+1} \cdot 10 + c_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
verwenden,
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ mb
}
{ =} { { \left( a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \right) } b
}
{ =} { a_0b+a_1b 10+a_2b 10^2 + \cdots + a_{k}b10^{k}
}
{ =} { (c_0 + d_1 10 ) + a_1b 10+a_2b 10^2 + \cdots + a_{k}b10^{k}
}
{ =} { c_0 + (d_1 +a_1b) 10 + a_2b10^2 + \cdots + a_{k}b10^{k}
}
}
{
\vergleichskettefortsetzungalign
{ =} { c_0 + (c_1 +d_2 10) 10 + a_2b10^2 + \cdots + a_{k}b10^{k}
}
{ =} { c_0 +c_1 10 + ( d_2 + a_2b)10^2 + \cdots + a_{k}b10^{k}
}
{ =} { c_0 +c_1 10 + ( c_2 + d_3 10 )10^2 + \cdots + a_{k}b10^{k}
}
{ =} { \ldots
}
}
{
\vergleichskettefortsetzungalign
{ =} { c_0 +c_1 10 + c_2 10^2 + \cdots + c_{k} 10^{k} +c_{k+1} 10^{k+1}
}
{ } {}
{ } {}
{ } {}
}{.}
Die folgenden Überlegungen beziehen sich auf die Überträge bei der Multiplikation mit einer einstelligen Zahl.
{Zehnersystem/Schriftliches Multiplizieren/Einstelliger Faktor/Übertrag/Abschätzung/Fakt}
{Lemma}
{}
{
\faktsituation {Beim schriftlichen Multiplizieren mit einer einstelligen Zahl $b$}
\faktfolgerung {sind die Überträge stets $< b$.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 16.10. }
Der Übertrag $b-1$ tritt in der Tat auf, wie die Multiplikation der $9$ mit $b$ zeigt.
\inputbeispiel{}
{
Der Übertrag bei der Multiplikation mit einer einstelligen Zahl $b$ wirkt sich im Allgemeinen auf jede Ziffer des Ergebnisses aus, d.h. Überträge setzen sich fort. Daher muss man die einzelnen Ziffern von hinten nach vorne mit $b$ multiplizieren. Beispielsweise ist bei
\mavergleichskette
{\vergleichskette
{b
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mathkor {} {m= 333 333 333} {bzw.} {n = 333 333 334} {}
einerseits
\mavergleichskettedisp
{\vergleichskette
{ 333 333 333 \cdot 3
}
{ =} { 999 999 999
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und andererseits
\mavergleichskettedisp
{\vergleichskette
{ 333 333 334 \cdot 3
}
{ =} {1 000 000 002
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Im Gegensatz zur Multiplikation mit der $3$ ist die Multiplikation mit den beiden echten Teilern der $10$, also mit
\mathkor {} {2} {und} {5} {,}
besonders einfach, da hier die Überträge nicht fortgesetzt werden können. Um die $i$-te Ziffer des Produktes einer Zahl $m$ mit der $2$
\zusatzklammer {oder der $5$} {} {}
auszurechnen, muss man nur die $i$-te und die
\mathl{(i-1)}{-}te Ziffer der Zahl $m$ kennen.
\inputbemerkung
{}
{
Bei der Multiplikation mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mavergleichskette
{\vergleichskette
{b
}
{ = }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vereinfacht sich das in
Verfahren 16.1
beschriebene Verfahren zur Multiplikation einer Zahl
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} { \sum_{i = 0}^k a_i \cdot 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer einstelligen Zahl $b$. Gemäß diesem Verfahren sind die Berechnungen
\zusatzklammer {Division mit Rest} {} {}
\mavergleichskettedisp
{\vergleichskette
{a_i \cdot b + d_i
}
{ =} { d_{i+1} \cdot 10 + c_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \leq} { c_i
}
{ \leq} {9
}
{ } {
}
{ } {
}
}
{}{}{}
durchzuführen, wobei dadurch die $c_i$ und die $d_i$ rekursiv mit dem Startwert
\mavergleichskette
{\vergleichskette
{ d_0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
festgelegt sind und wobei die $c_i$ die Ziffern des Ergebnisses beschreiben. Wir behaupten, dass man in den beiden Fällen stattdessen nur
\mavergleichskettedisp
{\vergleichskette
{a_i \cdot b
}
{ =} { d_{i+1} \cdot 10 +r_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
berechnen muss und die Ergebnisziffern
\mavergleichskettedisp
{\vergleichskette
{ c_i
}
{ =} { d_i +r_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhält. Insbesondere hängt $c_i$ nur von
\mathkor {} {a_i} {und} {a_{i-1}} {}
ab. Kurz gesagt: Die $i$-te Ziffer eines Produktes
\mathl{a_k \ldots a_i a_{i-1} \ldots a_2a_1a_0}{} mit $2$
\zusatzklammer {oder mit $5$} {} {}
ergibt sich, wenn man die zweistellige Zahl
\mathl{a_i a_{i-1}}{} mit $2$ bzw. mit $5$ multipliziert und von diesem Ergebnis die vordere Ziffer nimmt.
Zunächst sind nach
Lemma 16.3
bei der Multiplikation mit einer jeden einstelligen Zahl $b$ die Überträge echt kleiner als $b$. Bei
\mavergleichskette
{\vergleichskette
{b
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kommen also nur die Überträge
\mathkor {} {0} {oder} {1} {}
in Frage. Somit stimmen die ganzzahligen Anteile bei der Division mit Rest von
\mathkor {} {a_i \cdot 2 + d_i} {bzw.} {a_i \cdot 2} {}
durch $10$ überein
\zusatzklammer {wenn man zu einer geraden Zahl eine $1$ addiert, ändert sich die Zehnerziffer nicht} {} {,}
Die Beziehung
\mavergleichskette
{\vergleichskette
{c_i
}
{ = }{r_i +d_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt direkt.
Bei
\mavergleichskette
{\vergleichskette
{b
}
{ = }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kommen nur die Überträge
\mathl{0,1,2,3,4}{} in Frage. Somit stimmen die ganzzahligen Anteile bei der Division mit Rest von
\mathkor {} {a_i \cdot 5 + d_i} {bzw.} {a_i \cdot 5} {}
durch $10$ überein
\zusatzklammer {wenn man zu einer durch $5$ teilbaren Zahl eine Zahl $\leq 4$ addiert, ändert sich die Zehnerziffer nicht} {} {.}
Die Beziehung
\mavergleichskette
{\vergleichskette
{c_i
}
{ = }{r_i +d_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt wieder direkt.
}
Als nächstes Hilfsmittel betrachten wir die extreme Situation, wo der rechte Faktor eine Zehnerpotenz ist. Das Dezimalsystem verhält sich bei einer solchen Multiplikation besonders einfach.
\inputfaktbeweis
{Zehnersystem/Schriftliches Multiplizieren/Zehnerpotenz als Faktor/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Die Dezimaldarstellung eines Produktes aus einer im Dezimalsystem gegebenen natürlichen Zahl
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} {a_ka_{k-1} \ldots a_2a_1a_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und einer Zehnerpotenz $10^\ell$ erhält man, indem man an diese Ziffernfolge $\ell$ Nullen anhängt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{m \cdot 10^\ell
}
{ =} { { \left( a_k10^k + \cdots + a_2 10^2 +a_1 10 +a_0 \right) } \cdot 10^\ell
}
{ =} { a_k 10^{k+\ell} + \cdots + a_2 10^{2+\ell} +a_1 10^{1 + \ell} +a_010^\ell
}
{ =} { a_k 10^{k+\ell} + \cdots + a_2 10^{2+\ell} +a_1 10^{1 + \ell} +a_010^\ell +0 \cdot 10^{\ell -1} + \cdots + 0 \cdot 10^1 + 0 \cdot 10^0
}
{ } {
}
}
{}
{}{,}
woraus unmittelbar die Dezimaldarstellung des Produktes ablesbar ist.
\inputfaktbeweis
{Zehnersystem/Schriftliches Multiplizieren/Korrekt/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Das schriftliche Multiplizieren im Zehnersystem ist korrekt.}
\faktzusatz {}
\faktzusatz {}
}
{
Die beiden Zahlen seien
\mathdisp {m= a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \text{ und } n=b_0+b_1 10+b_2 10^2 + \cdots + b_{\ell}10^{\ell}} { . }
Beim schriftlichen Multiplizieren berechnet man unabhängig voneinander
\mathdisp {a_k \ldots a_2a_1a_0 \, \, \cdot \, \, b_j} { }
für
\mavergleichskette
{\vergleichskette
{ j
}
{ = }{ 0,1 , \ldots , \ell
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und notiert das Ergebnis so, dass die Einerziffer unterhalb von $b_j$ steht. So entstehen
\mathl{\ell+1}{} Zahlen, die versetzt übereinander stehen. Diese Zahlen werden nach hinten mit Nullen aufgefüllt
\zusatzklammer {wobei man dies nur gedanklich machen muss} {} {.}
Die Summe dieser Zahlen im Sinne des schriftlichen Addierens ist das Endergebnis
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{m \cdot n
}
{ =} { m \cdot { \left( b_{\ell}10^{\ell} +b_{\ell -1} 10^{\ell -1} + \cdots +b_2 10^2 + b_1 10+ b_0 \right) }
}
{ =} { m \cdot b_\ell 10^{\ell} + m b_{\ell -1} \cdot 10^{\ell -1} + \cdots + m \cdot b_2 10^2 +m \cdot b_1 10+ m \cdot b_0
}
{ } {
}
{ } {
}
}
{}
{}{.}
Nach
Lemma 16.2
werden die
\mathl{m \cdot b_j}{} im schriftlichen Multiplizieren korrekt ausgerechnet. Dadurch, dass die Einzelergebnisse unterhalb von $b_j$ stehen und nach hinten mit Nullen aufgefüllt werden, stehen im Algorithmus wegen
Lemma 16.6
die Zahlen
\mathl{m \cdot b_j 10^{j}}{} korrekt übereinander, sodass das schriftliche Addieren nach
Satz 15.6
das korrekte Ergebnis liefert.
\inputbemerkung
{}
{
Eine alternative Möglichkeit, zwei im Dezimalsystem gegebene natürliche Zahlen algorithmisch zu multiplizieren, bietet das \stichwort {Jalousie-Verfahren} {}
\zusatzklammer {oder Rauteverfahren oder Gitterverfahren} {} {,}
das wir an einem Beispiel erläutern wollen. Es soll die Multiplikation
\mathl{5183 \cdot 475}{} durchgeführt werden. Dazu legt man ein
\zusatzklammer {mehr oder weniger} {} {}
rechteckiges Schema der Form
\mathdisp {\begin{matrix} & & & & & & 3 & & \cdot & & 4 & & & & \\ & & & & & & & \diagup & {{|}} & \diagdown & & & & & \\ & & & & 8 & & \diagup & & {{|}} & & \diagdown & & 7 & & \\ & & & & & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & & & \\ & & 1 & & \diagup & & {{|}} & & \cdot & & {{|}} & & \diagdown & & 5 \\ & & & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & \\ 5 & & \diagup & & {{|}} & & \cdot & & {{|}} & & \cdot & & {{|}} & & \cdot \\ & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & \\ \cdot & & {{|}} & & \cdot & & {{|}} & & \cdot & & {{|}} & & \diagup & & \\ & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & & & \\ & & \diagdown & & {{|}} & & \cdot & & {{|}} & & \diagup & & & & \\ & & & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & & & & & \\ & & & & \diagdown & & {{|}} & & \diagup & & & & & \\ & & & & & \diagdown & {{|}} & \diagup & & & & & & & \\ & & & & & & \cdot & & & & & & & & \\ & & & & & & & & & & & & & & \\ \cdots & \cdots & \cdots &\cdots &\cdots &\cdots &\cdots &\cdots & \cdots& \cdots& \cdots&\cdots & \cdots & \cdots & \cdots \\ & & & & & & & & & & & & & & \end{matrix}} { }
an, sodass für jedes Ziffernpaar eine Raute entsteht, die durch die vertikalen Striche in zwei Hälften unterteilt wird. Die Produkte der einstelligen Ziffern gemäß dem kleinen Einmaleins schreibt man in die zugehörige Raute, und zwar die Endziffer rechts und die Zehnerziffer links.
\mathdisp {\begin{matrix} & & & & & & 3 & & \cdot & & 4 & & & & \\ & & & & & & & \diagup & {{|}} & \diagdown & & & & & \\ & & & & 8 & & \diagup & 1 & {{|}} & 2 & \diagdown & & 7 & & \\ & & & & & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & & & \\ & & 1 & & \diagup & 3 & {{|}} & 2 & \cdot & 2 & {{|}} & 1 & \diagdown & & 5 \\ & & & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & \\ 5 & & \diagup & 0 & {{|}} & 4 & \cdot & 5 & {{|}} & 6 & \cdot & 1 & {{|}} & 5 & \cdot \\ & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & \\ \cdot & 2 & {{|}} & 0 & \cdot & 0 & {{|}} & 7 & \cdot & 4 & {{|}} & 0 & \diagup & & \\ & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & & & \\ & & \diagdown & 3 & {{|}} & 5 & \cdot & 0 & {{|}} & 5 & \diagup & & & & \\ & & & \diagdown & {{|}} & \diagup & {{|}} & \diagdown & {{|}} & \diagup & & & & & \\ & & & & \diagdown & 2 & {{|}} & 5 & \diagup & & & & & \\ & & & & & \diagdown & {{|}} & \diagup & & & & & & & \\ & & & & & & \cdot & & & & & & & & \\ & & & 1 & & 2 & & 1 & & & & & & & \\ \cdots & \cdots & \cdots &\cdots &\cdots &\cdots &\cdots &\cdots & \cdots& \cdots& \cdots&\cdots & \cdots & \cdots & \cdots \\ & 2 & & 4 & & 6& & 1 & & 9 & & 2& & 5 & \end{matrix}} { }
Dann addiert man die entstehenden Spalten aus einstelligen Zahlen zusammen, notiert die Endziffer der Summe darunter und verarbeitet den Übertrag eine Stelle weiter links. Das Gesamtergebnis steht unter der punktierten Linie. Für die Korrektheit dieses Algorithmus sei auf
Aufgabe 16.18
verwiesen. Der Vorteil dieses Algorithmus ist, dass man nur das kleine Einmaleins und die Addition braucht, man muss keine Überträge \anfuehrung{im Sinn}{} haben.
}
\zwischenueberschrift{Schriftliches Subtrahieren}
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ 1 }
\renewcommand{\leitzeilezwei}{ 2 }
\renewcommand{\leitzeiledrei}{ 3 }
\renewcommand{\leitzeilevier}{ 4 }
\renewcommand{\leitzeilefuenf}{ 5 }
\renewcommand{\leitzeilesechs}{ 6 }
\renewcommand{\leitzeilesieben}{ 7 }
\renewcommand{\leitzeileacht}{ 8 }
\renewcommand{\leitzeileneun}{ 9 }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ x-y }
\renewcommand{\leitspalteeins}{ 1 }
\renewcommand{\leitspaltezwei}{ 2 }
\renewcommand{\leitspaltedrei}{ 3 }
\renewcommand{\leitspaltevier}{ 4 }
\renewcommand{\leitspaltefuenf}{ 5 }
\renewcommand{\leitspaltesechs}{ 6 }
\renewcommand{\leitspaltesieben}{ 7 }
\renewcommand{\leitspalteacht}{ 8 }
\renewcommand{\leitspalteneun}{ 9 }
\renewcommand{\leitspaltezehn}{ 10 }
\renewcommand{\leitspalteelf}{ 11 }
\renewcommand{\leitspaltezwoelf}{ 12 }
\renewcommand{\leitspaltedreizehn}{ 13 }
\renewcommand{\leitspaltevierzehn}{ 14 }
\renewcommand{\leitspaltefuenfzehn}{ 15 }
\renewcommand{\leitspaltesechzehn}{ 16 }
\renewcommand{\leitspaltesiebzehn}{ 17 }
\renewcommand{\leitspalteachtzehn}{ 18 }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ \times }
\renewcommand{\aeinsxdrei}{ \times }
\renewcommand{\aeinsxvier}{ \times }
\renewcommand{\aeinsxfuenf}{ \times }
\renewcommand{\aeinsxsechs}{ \times }
\renewcommand{\aeinsxsieben}{ \times }
\renewcommand{\aeinsxacht}{ \times }
\renewcommand{\aeinsxneun}{ \times }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 1 }
\renewcommand{\azweixzwei}{ 0 }
\renewcommand{\azweixdrei}{ \times }
\renewcommand{\azweixvier}{ \times }
\renewcommand{\azweixfuenf}{ \times }
\renewcommand{\azweixsechs}{ \times }
\renewcommand{\azweixsieben}{ \times }
\renewcommand{\azweixacht}{ \times }
\renewcommand{\azweixneun}{ \times }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 2 }
\renewcommand{\adreixzwei}{ 1 }
\renewcommand{\adreixdrei}{ 0 }
\renewcommand{\adreixvier}{ \times }
\renewcommand{\adreixfuenf}{ \times }
\renewcommand{\adreixsechs}{ \times }
\renewcommand{\adreixsieben}{ \times }
\renewcommand{\adreixacht}{ \times }
\renewcommand{\adreixneun}{ \times }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 3 }
\renewcommand{\avierxzwei}{ 2 }
\renewcommand{\avierxdrei}{ 1 }
\renewcommand{\avierxvier}{ 0 }
\renewcommand{\avierxfuenf}{ \times }
\renewcommand{\avierxsechs}{ \times }
\renewcommand{\avierxsieben}{ \times }
\renewcommand{\avierxacht}{ \times }
\renewcommand{\avierxneun}{ \times }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 4 }
\renewcommand{\afuenfxzwei}{ 3 }
\renewcommand{\afuenfxdrei}{ 2 }
\renewcommand{\afuenfxvier}{ 1 }
\renewcommand{\afuenfxfuenf}{ 0 }
\renewcommand{\afuenfxsechs}{ \times }
\renewcommand{\afuenfxsieben}{ \times }
\renewcommand{\afuenfxacht}{ \times }
\renewcommand{\afuenfxneun}{ \times }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 5 }
\renewcommand{\asechsxzwei}{ 4 }
\renewcommand{\asechsxdrei}{ 3 }
\renewcommand{\asechsxvier}{ 2 }
\renewcommand{\asechsxfuenf}{ 1 }
\renewcommand{\asechsxsechs}{ 0 }
\renewcommand{\asechsxsieben}{ \times }
\renewcommand{\asechsxacht}{ \times }
\renewcommand{\asechsxneun}{ \times }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 6 }
\renewcommand{\asiebenxzwei}{ 5 }
\renewcommand{\asiebenxdrei}{ 4 }
\renewcommand{\asiebenxvier}{ 3 }
\renewcommand{\asiebenxfuenf}{ 2 }
\renewcommand{\asiebenxsechs}{ 1 }
\renewcommand{\asiebenxsieben}{ 0 }
\renewcommand{\asiebenxacht}{ \times }
\renewcommand{\asiebenxneun}{ \times }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ 7 }
\renewcommand{\aachtxzwei}{ 6 }
\renewcommand{\aachtxdrei}{ 5 }
\renewcommand{\aachtxvier}{ 4 }
\renewcommand{\aachtxfuenf}{ 3 }
\renewcommand{\aachtxsechs}{ 2 }
\renewcommand{\aachtxsieben}{ 1 }
\renewcommand{\aachtxacht}{ 0 }
\renewcommand{\aachtxneun}{ \times }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ 8 }
\renewcommand{\aneunxzwei}{ 7 }
\renewcommand{\aneunxdrei}{ 6 }
\renewcommand{\aneunxvier}{ 5 }
\renewcommand{\aneunxfuenf}{ 4 }
\renewcommand{\aneunxsechs}{ 3 }
\renewcommand{\aneunxsieben}{ 2 }
\renewcommand{\aneunxacht}{ 1 }
\renewcommand{\aneunxneun}{ 0 }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ 9 }
\renewcommand{\azehnxzwei}{ 8 }
\renewcommand{\azehnxdrei}{ 7 }
\renewcommand{\azehnxvier}{ 6 }
\renewcommand{\azehnxfuenf}{ 5 }
\renewcommand{\azehnxsechs}{ 4 }
\renewcommand{\azehnxsieben}{ 3 }
\renewcommand{\azehnxacht}{ 2 }
\renewcommand{\azehnxneun}{ 1 }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ \star }
\renewcommand{\aelfxzwei}{ 9 }
\renewcommand{\aelfxdrei}{ 8 }
\renewcommand{\aelfxvier}{ 7 }
\renewcommand{\aelfxfuenf}{ 6 }
\renewcommand{\aelfxsechs}{ 5 }
\renewcommand{\aelfxsieben}{ 4 }
\renewcommand{\aelfxacht}{ 3 }
\renewcommand{\aelfxneun}{ 2 }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ \star }
\renewcommand{\azwoelfxzwei}{ \star }
\renewcommand{\azwoelfxdrei}{ 9 }
\renewcommand{\azwoelfxvier}{ 8 }
\renewcommand{\azwoelfxfuenf}{ 7 }
\renewcommand{\azwoelfxsechs}{ 6 }
\renewcommand{\azwoelfxsieben}{ 5 }
\renewcommand{\azwoelfxacht}{ 4 }
\renewcommand{\azwoelfxneun}{ 3 }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ \star }
\renewcommand{\adreizehnxzwei}{ \star }
\renewcommand{\adreizehnxdrei}{ \star }
\renewcommand{\adreizehnxvier}{ 9 }
\renewcommand{\adreizehnxfuenf}{ 8 }
\renewcommand{\adreizehnxsechs}{ 7 }
\renewcommand{\adreizehnxsieben}{ 6 }
\renewcommand{\adreizehnxacht}{ 5 }
\renewcommand{\adreizehnxneun}{ 4 }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ \star }
\renewcommand{\avierzehnxzwei}{ \star }
\renewcommand{\avierzehnxdrei}{ \star }
\renewcommand{\avierzehnxvier}{ \star }
\renewcommand{\avierzehnxfuenf}{ 9 }
\renewcommand{\avierzehnxsechs}{ 8 }
\renewcommand{\avierzehnxsieben}{ 7 }
\renewcommand{\avierzehnxacht}{ 6 }
\renewcommand{\avierzehnxneun}{ 5 }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ \star }
\renewcommand{\afuenfzehnxzwei}{ \star }
\renewcommand{\afuenfzehnxdrei}{ \star }
\renewcommand{\afuenfzehnxvier}{ \star }
\renewcommand{\afuenfzehnxfuenf}{ \star }
\renewcommand{\afuenfzehnxsechs}{ 9 }
\renewcommand{\afuenfzehnxsieben}{ 8 }
\renewcommand{\afuenfzehnxacht}{ 7 }
\renewcommand{\afuenfzehnxneun}{ 6 }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ \star }
\renewcommand{\asechzehnxzwei}{ \star }
\renewcommand{\asechzehnxdrei}{ \star }
\renewcommand{\asechzehnxvier}{ \star }
\renewcommand{\asechzehnxfuenf}{ \star }
\renewcommand{\asechzehnxsechs}{ \star }
\renewcommand{\asechzehnxsieben}{ 9 }
\renewcommand{\asechzehnxacht}{ 8 }
\renewcommand{\asechzehnxneun}{ 7 }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ \star }
\renewcommand{\asiebzehnxzwei}{ \star }
\renewcommand{\asiebzehnxdrei}{ \star }
\renewcommand{\asiebzehnxvier}{ \star }
\renewcommand{\asiebzehnxfuenf}{ \star }
\renewcommand{\asiebzehnxsechs}{ \star }
\renewcommand{\asiebzehnxsieben}{ \star }
\renewcommand{\asiebzehnxacht}{ 9 }
\renewcommand{\asiebzehnxneun}{ 8 }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ \star }
\renewcommand{\aachtzehnxzwei}{ \star }
\renewcommand{\aachtzehnxdrei}{ \star }
\renewcommand{\aachtzehnxvier}{ \star }
\renewcommand{\aachtzehnxfuenf}{ \star }
\renewcommand{\aachtzehnxsechs}{ \star }
\renewcommand{\aachtzehnxsieben}{ \star }
\renewcommand{\aachtzehnxacht}{ \star }
\renewcommand{\aachtzehnxneun}{ 9 }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitachtzehnxneun
Das \stichwort {kleine Einsminuseins} {} für $x-y$. Diese Tabelle muss man auswendig kennen, um das schriftliche Subtrahieren effektiv durchführen zu können. Der Eintrag $\times$ bedeutet, dass diese Operation
\zusatzklammer {wie
\mathl{3-7}{}} {} {}
in $\N$ nicht durchgeführt werden kann, der Eintrag $\star$ bedeutet, dass diese Operation in $\N$ ausgeführt werden kann, dass sie aber auf eine Operation in der Einerstelle allein zurückgeführt werden kann
\zusatzklammer {wie bei
\mathl{18-5}{}} {} {.}
\inputverfahren{}
{
Beim schriftlichen Subtrahieren
\mathl{m-n}{} zweier natürlicher Zahlen mit
\mavergleichskettedisp
{\vergleichskette
{m
}
{ \geq} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
die im Dezimalsystem als
\mathdisp {m= a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \text{ und } n=b_0+b_1 10+b_2 10^2 + \cdots + b_{k}10^{k}} { }
gegeben sind, geht man folgendermaßen vor. Man berechnet die Dezimalziffern $c_i$ des Ergebnisses und die Überträge
\mathl{d_{i+1}}{}
\zusatzklammer {mit dem Startwert
\mavergleichskettek
{\vergleichskettek
{d_0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
sukzessive durch
\mavergleichskettedisp
{\vergleichskette
{c_i
}
{ =} { \begin{cases} a_i - { \left( b_i +d_i \right) } \, , \text{ falls } a_i \geq b_i +d_i \, , \\ a_i +10 - { \left( b_i +d_i \right) } \, , \text{ falls } a_i < b_i +d_i \, , \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{d_{i+1}
}
{ =} { \begin{cases} 0\, , \text{ falls } a_i \geq b_i +d_i \, ,\\ 1 \, , \text{ falls } a_i < b_i +d_i \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Die Dezimaldarstellung der Differenz
\mathl{m-n}{} ist
\mathl{c_k \ldots c_2c_1c_0}{.}
}
\inputfaktbeweis
{Zehnersystem/Schriftliches Subtrahieren/Korrektheit/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktfolgerung {Das schriftliche Subtrahieren von natürlichen Zahlen ist korrekt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathdisp {m= a_0+a_1 10+a_2 10^2 + \cdots + a_{k}10^{k} \text{ und } n= b_0+b_1 10+b_2 10^2 + \cdots + b_{k}10^{k}} { }
und
\mavergleichskettedisp
{\vergleichskette
{m
}
{ \geq} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir behaupten, dass für jedes
\mavergleichskette
{\vergleichskette
{ i
}
{ = }{ -1,0,1 , \ldots , k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Ausdruck
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ S_i
}
{ =} { a_k 10^{k} + \cdots + a_{i+1} 10^{i+1} - d_{i+1}10^{i+1} + b_i 10^{i} + \cdots + b_1 10 + b_0 + c_i 10^{i} + \cdots + c_1 10 + c_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konstant gleich $m$ ist. Für
\mavergleichskettedisp
{\vergleichskette
{i
}
{ =} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
fehlen die $b$-, die $c$- und die $d$-Ausdrücke, sodass dies richtig ist. Wir betrachten den Übergang von $S_{i-1}$ nach $S_i$, was dem $i$-ten Rechenschritt entspricht. Im Fall
\mavergleichskettedisp
{\vergleichskette
{a_i
}
{ \geq} {b_i+d_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{d_{i+1}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{a_i-d_i
}
{ = }{b_i+c_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{S_{i -1}
}
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i} 10^{i} - d_{i}10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0 } {+ c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i+1} 10^{i+1} + (b_i+c_i) 10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0} {+ c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i+1} 10^{i+1} - d_{i+1}10^{i+1} + b_i 10^{i} + \cdots + b_1 10 + b_0 } {c_i 10^{i} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {S_i
} {} }
}
{}{}{.}
Im Fall
\mavergleichskettedisp
{\vergleichskette
{a_i
}
{ <} {b_i+d_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{d_{i+1}
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{a_i
}
{ = }{b_i+c_i+d_i-10
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{S_{i -1}
}
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i} 10^{i} - d_{i}10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0} {+ c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i+1} 10^{i+1}+ { \left( b_i+c_i+d_i -10 \right) } 10^{i} - d_{i}10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0} {+ c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i+1} 10^{i+1} -10 \cdot 10^{i} + b_i 10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0 + c_i 10^{i}} {+ c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
{ =} { \zeilemitteil {a_k 10^{k} + \cdots + a_{i+1} 10^{i+1} -d_{i+1} \cdot 10^{i+1} + b_i 10^{i} + b_{i-1} 10^{i-1} + \cdots + b_1 10 + b_0 } {+ c_i 10^{i} + c_{i-1} 10^{i-1} + \cdots + c_1 10 + c_0} }
}
{
\vergleichskettefortsetzungalign
{ =} { \zeilemitteil {S_i
} {} }
{ } { \zeilemitteil {} {} }
{ } { \zeilemitteil {} {} }
{ } { \zeilemitteil {} {} }
}{}{.}
Für
\mavergleichskette
{\vergleichskette
{i
}
{ = }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind die $a$- und die $d$-Ausdrücke vollständig abgebaut
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{d_{k+1}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
und es bleiben die vollständigen $b$- und $c$-Ausdrücke übrig. Damit ist gezeigt, dass
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} { b_k 10^{k} + \cdots + b_1 10 + b_0 + c_k 10^{k} + \cdots + c_1 10 + c_0
}
{ =} {n +c_k 10^{k} + \cdots + c_1 10 + c_0
}
{ } {
}
{ } {
}
}
{}{}{}
ist und somit ist
\mathl{c_k 10^{k} + \cdots + c_1 10 + c_0}{} gleich der Differenz
\mathl{m-n}{.}