Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 26/latex
\setcounter{section}{26}
\zwischenueberschrift{Dezimalbrüche}
Zu jeder rationalen Zahl $x$ kann man die Potenzen
\mathbed {x^n} {}
{n \in \Z} {}
{} {} {} {,}
betrachten. Bei ganzzahligem
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind die $x^n$
\zusatzklammer {beliebig} {} {}
groß für positives $n$ und
\zusatzklammer {beliebig} {} {}
klein für negatives $n$. Solche Potenzen stellen ein wichtiges Vergleichsmaß für die Größenordnung von Zahlen dar. Da wir im Dezimalsystem arbeiten, sind insbesondere die Zehnerpotenzen
\mathbed {10^n} {}
{n \in \Z} {}
{} {} {} {,}
wichtig. Für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
treten die Zehnerpotenzen insbesondere bei der Dezimaldarstellung natürlicher Zahlen auf. Die Zehnerpotenzen zu negativem $n$ spielen auch eine wichtige Rolle bei der Erfassung und Beschreibung von beliebigen rationalen Zahlen.
\inputdefinition
{}
{
Eine \definitionsverweis {rationale Zahl}{}{,} die man mit einer Zehnerpotenz als Nenner schreiben kann, heißt \definitionswort {Dezimalbruch}{.}
}
Dezimalbrüche sind beispielsweise sämtliche ganzen Zahlen
\zusatzklammer {man kann
\mavergleichskettek
{\vergleichskettek
{1
}
{ = }{10^0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als Nenner nehmen} {} {,}
ferner Zahlen wie
\mathdisp {{ \frac{ 1 }{ 10 } },{ \frac{ 1 }{ 100 } } , { \frac{ 53 }{ 100 } } , - { \frac{ 271 }{ 1000 } }, { \frac{ 3 }{ 1000000 } }, ...} { . }
Nach unserer Definition liegt ein Dezimalbruch vor, wenn man die dadurch gegebene rationale Zahl mit einer Zehnerpotenz als Nenner schreiben kann. Das heißt nicht, dass die Zahl in dieser Form vorliegen muss. Beispielsweise sind auch die Brüche
\mathdisp {{ \frac{ 1 }{ 2 } } , { \frac{ 1 }{ 5 } } , { \frac{ 7 }{ 5 } } , { \frac{ 13 }{ 20 } } , - { \frac{ 7014 }{ 500 } }} { }
Dezimalbrüche, da man sie nach einer Erweiterung mit einer Zehnerpotenz als Nenner schreiben kann. Dies gilt für alle Brüche mit der Eigenschaft, dass in der Primfaktorzerlegung des Nenners nur Potenzen von $2$ und von $5$ vorkommen. Wenn der Bruch gekürzt ist, so sind genau die Brüche der Form
\mathl{{ \frac{ a }{ 2^{i} 5^{j } }}}{} die Dezimalbrüche, siehe
Aufgabe 26.14.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Zahlenstrahl 2.gif} }
\end{center}
\bildtext {Die Linealversion der Zahlengeraden markiert neben den ganzen Zahlen die ganzzahligen Vielfachen des Dezimalbruches
\mathl{{ \frac{ 1 }{ 10 } }}{.} Wenn man den Meter als Einheit nimmt, zeigt es die ganzzahligen Vielfachen von
\mathl{{ \frac{ 1 }{ 1000 } }}{.}} }
\bildlizenz { Zahlenstrahl 2.gif } {} {Daniel Wolf2} {de Wikipedia} {gemeinfrei} {}
Einen Dezimalbruch
\mathl{{ \frac{ a }{ 10^m } }}{}
\zusatzklammer {mit \mathlk{m \geq 0}{}} {} {}
kann man auch in der Form
\mathl{a 10^{-m}}{} schreiben. Dies ergibt wohl die kompakteste Charakterisierung eines Dezimalbruches, eine rationale Zahl der Form
\mathdisp {a \cdot 10^k \text{ mit } a,k \in \Z} { . }
Aus dieser Darstellung ist unmittelbar ersichtlich, dass man Dezimalbrüche miteinander addieren und multiplizieren kann und dabei wieder einen Dezimalbruch erhält.
\inputfaktbeweis
{Dezimalbrüche/Ring/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Die Summe und das Produkt von zwei
\definitionsverweis {Dezimalbrüchen}{}{}
ist wieder ein Dezimalbruch. Das Negative eines Dezimalbruches ist ein Dezimalbruch.}
\faktzusatz {Die Menge der Dezimalbrüche bilden einen
\definitionsverweis {kommutativen Ring}{}{\zusatzfussnote {Man spricht von einem Unterring} {.} {}}
innerhalb der rationalen Zahlen.}
\faktzusatz {}
}
{
Die Brüche seien
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { a \cdot 10^k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { b \cdot 10^\ell
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ a,b
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit
\mavergleichskette
{\vergleichskette
{ k,\ell
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen der Symmetrie können wir
\mavergleichskette
{\vergleichskette
{k
}
{ \geq }{\ell
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ a \cdot 10^k + b \cdot 10^\ell
}
{ =} { a \cdot 10^{k-\ell} \cdot 10^\ell + b \cdot 10^\ell
}
{ =} { { \left( a \cdot 10^{k-\ell} + b \right) } \cdot 10^\ell
}
{ } {
}
{ } {
}
}
{}{}{}
wieder von der gleichen Bauart, also ein Dezimalbruch. Für das Produkt ist
\mavergleichskettedisp
{\vergleichskette
{ a \cdot 10^k \cdot b \cdot 10^\ell
}
{ =} { a \cdot b \cdot 10^{k+\ell}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die anderen Behauptungen sind ebenfalls klar.
Die Menge der Dezimalbrüche bilden keinen Körper, da zwar sämtliche ganzen Zahlen Dezimalbrüche sind, ihre inversen Elemente aber im Allgemeinen nicht. Beispielsweise sind
\mathkor {} {3^{-1}} {und} {7^{-1}} {}
keine Dezimalbrüche. Für zwei Dezimalbrüche ist es einfach, einen Hauptnenner zu finden, da die Nenner im gekürzten Fall grundsätzlich von der Form
\mathl{2^{i}5^{j}}{} sind. Insofern spielt sich bei Rechnungen mit Dezimalbrüchen alles Wesentliche im Zähler ab.
\inputbeispiel{}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{-7 + { \frac{ 3 }{ 100 } } + { \frac{ 9 }{ 5 } } - { \frac{ 99 }{ 1000 } }
}
{ =} { { \frac{ -7000 }{ 1000 } } + { \frac{ 30 }{ 1000 } } + { \frac{ 1800 }{ 1000 } } - { \frac{ 99 }{ 1000 } }
}
{ =} { { \frac{ -5269 }{ 1000 } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 27 }{ 100 } } \cdot { \frac{ 11 }{ 1000 } }
}
{ =} { { \frac{ 297 }{ 100000 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Dezimaldarstellung für Dezimalbrüche}
Wenn man für einen Dezimalbruch, sagen wir
\mathdisp {{ \frac{ 2318 }{ 1000 } }} { , }
für den Zähler die Dezimalentwicklung einsetzt, so erhält man
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ 2318 }{ 1000 } }
}
{ =} { { \frac{ 2 \cdot 10^3+ 3 \cdot 10^2 + 1\cdot 10^1+ 8 \cdot 10^0 }{ 10^3 } }
}
{ =} { { \frac{ 2 \cdot 10^3 }{ 10^3 } } + { \frac{ 3 \cdot 10^2 }{ 10^3 } } +{ \frac{ 1\cdot 10^1 }{ 10^3 } } + { \frac{ 8 \cdot 10^0 }{ 10^3 } }
}
{ =} { 2 + 3 \cdot 10^{-1} + 10^{-2} +8 \cdot 10^ {-3}
}
{ } {
}
}
{}
{}{.}
In diesem Sinne kann man jeden Dezimalbruch auf die Form
\mathdisp {\pm \sum_{ i = k}^{\ell} a_i 10^ {i}} { }
mit Ziffern
\mavergleichskette
{\vergleichskette
{ a_i
}
{ \in }{ \{0,1 , \ldots , 9\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und ganzen Zahlen
\mavergleichskettedisp
{\vergleichskette
{k
}
{ \leq} { \ell
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bringen, wobei der untere Summationsindex $k$ bei einem echten Dezimalbruch
\zusatzklammer {also keiner ganzen Zahl} {} {}
negativ ist. Von dieser Beobachtung her ist es naheliegend, die Dezimaldarstellung auf Dezimalbrüche auszudehnen. Dadurch erhält man abbrechende\zusatzfussnote {Bei unendlichen Kommazahlen handelt es sich um ein viel komplizierteres Konzept, das wir erst richtig im zweiten Semester verstehen werden} {.} {}
\anfuehrung{Kommazahlen}{.}
\inputdefinition
{}
{
Es sei ein
\definitionsverweis {Dezimalbruch}{}{}
\mathdisp {{ \frac{ a }{ 10^k } }} { }
mit
\mathbed {a= \pm b \in \Z} {}
{b \in \N} {}
{} {} {} {,}
und
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben, und es sei
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} { \sum_{i = 0}^n b_i 10^{i}
}
{ =} {b_{n} \cdots b_1 b_0
}
{ } {
}
{ } {
}
}
{}{}{}
die Dezimaldarstellung von $b$. Dann nennt man
\mathdisp {\pm b_{n} \cdots b_{k} {,} b_{k-1 } \cdots b_1 b_0} { }
die
\definitionswort {Darstellung des Dezimalbruches im Dezimalsystem}{.}
}
Diese Darstellung verwendet also direkt die Zifferndarstellung von $b$, wobei allein ein Komma eingeführt wird, und zwar so, dass hinter dem Komma genau $k$ Ziffern stehen, nämlich die hinteren $k$ Ziffern
\mathl{b_{k-1} , \ldots , b_0}{} von $b$. Dabei darf man hintere Nullen weglassen. Wenn $b$ weniger als $k$ Stellen besitzt, muss man dies vorne durch hinreichend viele Nullen auffüllen. Wegen
Satz 14.3
ist diese Darstellung eindeutig.
Für
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b
}
{ = }{1
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich die folgende Tabelle.
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ Potenz }
\renewcommand{\leitzeilezwei}{ Bruch }
\renewcommand{\leitzeiledrei}{ Kommazahl }
\renewcommand{\leitzeilevier}{ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ }
\renewcommand{\leitspaltezwei}{ }
\renewcommand{\leitspaltedrei}{ }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 10^{0} }
\renewcommand{\aeinsxzwei}{ { \frac{ 1 }{ 1 } } }
\renewcommand{\aeinsxdrei}{ 1 }
\renewcommand{\aeinsxvier}{ }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 10^{-1} }
\renewcommand{\azweixzwei}{ { \frac{ 1 }{ 10 } } }
\renewcommand{\azweixdrei}{ 0{,}1 }
\renewcommand{\azweixvier}{ }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 10^{-2} }
\renewcommand{\adreixzwei}{ { \frac{ 1 }{ 100 } } }
\renewcommand{\adreixdrei}{ 0{,}01 }
\renewcommand{\adreixvier}{ }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 10^{-3} }
\renewcommand{\avierxzwei}{ { \frac{ 1 }{ 1000 } } }
\renewcommand{\avierxdrei}{ 0{,}001 }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 10^{-4} }
\renewcommand{\afuenfxzwei}{ { \frac{ 1 }{ 10000 } } }
\renewcommand{\afuenfxdrei}{ 0{,}0001 }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 10^{-5} }
\renewcommand{\asechsxzwei}{ { \frac{ 1 }{ 100000 } } }
\renewcommand{\asechsxdrei}{ 0{,}00001 }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsechsxdrei
Die Potenz
\mathl{10^{-n}}{} ist also der Bruch, wo im Nenner $n$ Ziffern stehen, nämlich eine $1$ und $n-1$ Nullen, und das ist zugleich die Kommazahl, bei der nach dem Komma $n$ Ziffern stehen, nämlich $n-1$ Nullen und eine $1$. Für Umrechnungen ist auch folgende Beobachtung hilfreich: Wenn man eine Kommazahl mit $10$ multipliziert, so verschiebt sich das Komma um eine Stelle nach rechts, wenn man sie mit $10^{-1}$ multipliziert, verschiebt sich das Komma um eine Stelle nach links. Die Stelle zu $10^{-k}$ nennt man auch die $k$-te Nachkommastelle, die entsprechende Ziffer die $k$-te Nachkommaziffer.
Das Rechnen mit Kommazahlen ist einfach, allerdings ist das richtige Setzen des Kommas eine Fehlerquelle.
\inputbemerkung
{}
{
Der Größenvergleich zwischen zwei Dezimalbrüchen im Dezimalsystem ist einfach \zusatzklammer {wir beschränken uns auf positive Zahlen} {} {.} Man schreibt die beiden Zahlen übereinander, wobei die beiden Kommata übereinander stehen müssen. Dann vergleicht man wie bei den ganzen Zahlen \zusatzklammer {siehe Korollar 15.4} {} {} von links nach rechts.
}
\inputbeispiel{}
{
Dezimalbrüche im Dezimalsystem addiert man wie ganze Zahlen im Zehnersystem, d. h., man addiert von hinten nach vorne mit Über\-trag, wobei die beiden Kommata deckungsgleich sein müssen. Beispielsweise ist
\mathdisp {53{,}273} { }
\mathdisp {\underline{25{,}648}} { }
\mathdisp {78{,}921 .} { }
Dieses Verfahren ist korrekt nach
Satz 15.6,
da im Wesentlichen die Zähler bezogen auf einen gemeinsamen Nenner addiert werden.
}
\inputbemerkung
{}
{
Dezimalbrüche im Dezimalsystem multipliziert man wie ganze Zahlen im Zehnersystem, d.h. man multipliziert die eine Zahl nacheinander mit allen Ziffern der anderen Zahl. Abschließend muss man das Komma richtig setzen. Dazu zählt man die Stellen hinter den Kommata der beiden Zahlen zusammen und setzt an der entsprechenden Stelle im Produkt von hinten gezählt das Komma. Dabei muss man, wenn hinten die Zahlen mit
\mathkor {} {2} {bzw.} {5} {}
enden, die sich ergebende $0$ mitzählen
\zusatzklammer {bei ganzen Zahlen darf man die ja auch nicht weglassen} {} {,}
auch wenn sie letztendlich weggelassen werden darf. Dieses Verfahren ist korrekt, da ihm die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ a \cdot 10^k \cdot b \cdot 10^\ell
}
{ =} { a \cdot b \cdot 10^{k + \ell}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zugrunde liegt. Bei nicht zu großen und nicht zu kleinen Zahlen kann man auch durch eine Überschlagsrechnung entscheiden, wo das Komma hingehört.
}
Wenn man beispielsweise
\mathl{1{,}2 \cdot 3{,}5}{} rechnen möchte, so kann man zuerst
\mathl{420}{} berechnen und dann zwei Stellen von hinten gezählt das Komma setzen, also $4{,}2$.
\zwischenueberschrift{Approximation durch Dezimalzahlen}
Eine wichtige Motivation zur Einführung der rationalen Zahlen war, beliebige Längen, die beispielsweise bei der gleichmäßigen Unterteilung einer gegebenen Strecke auftreten, möglichst gut messen zu können. Dies können wir erst dann präzise formulieren, wenn wir die reellen Zahlen zur Verfügung haben. Die folgende Aussage zeigt, dass man rationale Zahlen selbst schon beliebig gut mit Dezimalbrüchen \stichwort {approximieren} {} \zusatzklammer {annähern} {} {} kann. Wenn es also nur darum geht, beliebige Längen approximativ zu beschreiben, so sind die Dezimalbrüche genauso gut wie die deutlich größere Menge aller rationalen Zahlen.
\inputfaktbeweis
{Rationale Zahl/Approximation durch Dezimalbrüche/Fakt}
{Lemma}
{}
{
\faktsituation {Zu jeder
\definitionsverweis {rationalen Zahl}{}{}
$q$ und jedem
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {gibt es ein eindeutig bestimmtes
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a }{ 10^k } }
}
{ \leq} { q
}
{ <} { { \frac{ a+1 }{ 10^k } }
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.}
\faktzusatz {D.h., dass man jede rationale Zahl beliebig gut
\zusatzklammer {nämlich mit einem Fehler, der maximal gleich
\mathl{{ \frac{ 1 }{ 10^k } }}{} ist} {} {}
durch
\definitionsverweis {Dezimalbrüche}{}{}
approximieren kann.}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \defeq} { \lfloor q 10^k \rfloor
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \leq} { q 10^k
}
{ <} {a+1
}
{ } {
}
{ } {
}
}
{}{}{.}
Division durch
\mathl{10^k}{} ergibt die Behauptung. Der Zusatz ergibt sich daraus, dass man
nach Korollar 25.10
jede beliebige positive Fehlergenauigkeit $\epsilon$ durch eine geeignete Zehnerpotenz mit einem negativen Exponenten unterbieten kann.
In diesem Satz gibt das $k$ über die Potenz $10^{-k}$ vor, wie groß der Fehler sein darf. Man sagt dann auch, dass die Approximation bis zur $k$-ten Nachkommaziffer genau ist.
Es sei
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ z }{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wenn man beispielsweise einen Taschenrechner mit acht Nachkommastellen hat, so ergibt sich zu
\mavergleichskette
{\vergleichskette
{k
}
{ = }{8
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zahl $a$ als Ergebnis, wenn man
\mathl{z:n}{} eingibt und das Komma in der Darstellung ignoriert.
\inputbeispiel{}
{
Wir wenden
Lemma 26.8
auf
\mavergleichskette
{\vergleichskette
{q
}
{ = }{ { \frac{ 3 }{ 7 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{k
}
{ = }{9
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an. Eine Rechnung des Taschenrechners mit menschlichen Korrekturen liefert
\mavergleichskettedisp
{\vergleichskette
{0{,}428571428
}
{ <} { { \frac{ 3 }{ 7 } }
}
{ <} {0{,}428571429
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden Dezimalbrüche links und rechts sind also eine Approximation des wahren Bruches
\mathl{{ \frac{ 3 }{ 7 } }}{} mit einem Fehler, der kleiner als
\mathl{{ \frac{ 1 }{ 10^9 } }}{} ist.
}
Die Rechnung im vorangehenden Beispiel beruht auf dem Divisionsalgorithmus, den wir noch nicht besprochen haben. Lemma 26.8 besagt, dass es eine solche eindeutig bestimmte Zahl geben muss. Dass die angeführten Abschätzungen gelten, kann man einfach überprüfen, indem man die beiden Dezimalzahlen mit $7$ multipliziert.
Mit der Approximation von rationalen Zahlen durch Dezimalzahlen geht die Dezimalrundung einher. Bei der Rundung auf eine ganze Zahl schaut man einfach nach der ganzzahligen Approximation im Sinne von
Lemma 25.3
und nimmt von der unteren und der oberen Approximation diejenige, die näher ist
\zusatzklammer {wobei man bei gleichem Abstand aufrundet} {} {.}
Bei der Dezimalrundung von $x$ zur Stellenanzahl $k$
\zusatzklammer {bzw. zur Genauigkeit \mathlk{10^{-k}}{}} {} {}
führt man dies für die Nenner
\mathkor {} {a} {bzw.} {a+1} {}
in der Approximation
\mavergleichskette
{\vergleichskette
{ { \frac{ a }{ 10^k } }
}
{ \leq }{ x
}
{ < }{{ \frac{ a+1 }{ 10^k } }
}
{ }{
}
{ }{
}
}
{}{}{}
aus
Lemma 26.8
durch. Die Zahl
\mathl{47,2940574}{} ist beispielsweise auf zwei Nachkommastellen gerundet gleich
\mathl{47,29}{.} Häufig finden sich auch Rundungsangaben von der Form
\mathl{7,3 \cdot 10^{k}}{.}
\zwischenueberschrift{Halbierung und Division durch $5$ }
Einen im Dezimalsystem gegebenen Dezimalbruch kann man einfach durch $10$ teilen, indem man einfach das Komma um eine Stelle nach links verschiebt. Die Zahl $10$, die die Grundlage des Dezimalsystems ist, hat die beiden Teiler
\mathkor {} {2} {und} {5} {.}
Durch diese beiden Zahlen kann man ebenfalls teilen und erhält wieder einen Dezimalbruch
\zusatzklammer {was für andere Primzahlen nicht stimmt} {} {.}
Ein wichtiger Gesichtspunkt in diesem Zusammenhang ist, dass die Division durch $2$ das gleiche ist wie Multiplikation mit
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ 2 } }
}
{ = }{ { \frac{ 5 }{ 10 } }
}
{ = }{ 0{,}5
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {also im Wesentlichen Multiplikation mit $5$} {} {}
und dass die Division durch $5$ das gleiche ist wie die Multiplikation mit
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ 5 } }
}
{ = }{ { \frac{ 2 }{ 10 } }
}
{ = }{ 0{,}2
}
{ }{
}
{ }{
}
}
{}{}{.}
Daher sind diese Divisionen im Dezimalsystem algorithmisch besonders einfach durchzuführen. Eine Besonderheit liegt darin, dass die Ziffern des Ergebnisses nur von der entsprechenden und von der um eins höherstelligen Ziffer des Dividenden abhängen. Man braucht keinen Übertrag und kann an jeder beliebigen Stelle anfangen.
\inputverfahren{}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {\sum_{i = k}^\ell a_i 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {Dezimalbruch}{}{,}
für den die Halbierung
\zusatzklammer {also die Division durch $2$} {} {}
durchgeführt werden soll. Dazu führt man für jede Ziffer $a_i$ für
\mavergleichskettedisp
{\vergleichskette
{i
}
{ \geq} { k-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionsverweis {Division mit Rest}{}{}
durch $2$ durch, d.h. man berechnet
\mavergleichskettedisp
{\vergleichskette
{a_i
}
{ =} { 2 b_i +r_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus diesen Zahlen berechnet man
\mavergleichskettedisp
{\vergleichskette
{c_i
}
{ =} {b_i +5 r_{i+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies sind die Ziffern der Halbierung von $z$, also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ z }{ 2 } }
}
{ =} {\sum_{i = k-1}^\ell c_i 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Da die Ziffern $a_i$ zwischen
\mathkor {} {0} {und} {9} {}
liegen, sind die $b_i$ zwischen
\mathkor {} {0} {und} {4} {}
und die $r_i$ sind
\mathkor {} {0} {oder} {1} {.}
Ohne die Division mit Rest kann man diesen Algorithmus auch mit der folgenden Fallunterscheidung darstellen. Es ist
\mavergleichskettedisp
{\vergleichskette
{c_i
}
{ =} { \begin{cases} { \frac{ a_i }{ 2 } },\, \text{ falls } a_i \text{ und } a_{i+1} \text{ gerade} \, ,\\ { \frac{ a_i }{ 2 } } +5,\, \text{ falls } a_i \text{ gerade und } a_{i+1} \text{ ungerade} \, ,\\ { \frac{ a_i-1 }{ 2 } },\, \text{ falls } a_i \text{ ungerade und } a_{i+1} \text{ gerade} \, ,\\ { \frac{ a_i-1 }{ 2 } } +5,\, \text{ falls } a_i \text{ und } a_{i+1} \text{ ungerade} \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Kurz gesagt: Man nehme von $a_i$ die abgerundete Hälfte und erhöhe dies um $5$, falls die davorstehende Ziffer ungerade ist. Oder: Man teile jeweils die zweistellige Zahl
\mathl{a_{i+1}a_i}{} durch $2$ und schreibe davon die Einerziffer an die $i$-te Stelle hin
\zusatzklammer {die Zehnerziffer muss nicht ausgerechnet werden} {} {.}
Man muss also nur zweistellige Zahlen durch $2$ dividieren können.
\inputbeispiel{}
{
Wir wollen den Dezimalbruch
\mathl{509{,}273}{}
mit dem Verfahren
halbieren. Wir fangen hinten an, auch wenn wir an jeder Stelle anfangen könnten, und zwar an der Stelle mit dem Index $-4$
\zusatzklammer {die Zehntausendstel-Stelle} {} {.}
Es ist
\zusatzklammer {das Aufschreiben ist mühseliger als die Durchführung} {} {}
\mavergleichskette
{\vergleichskette
{a_{-4}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und weil
\mavergleichskette
{\vergleichskette
{a_{-3}
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ungerade ist, ist
\mavergleichskettedisp
{\vergleichskette
{c_{-4}
}
{ =} {5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskette
{\vergleichskette
{a_{-3}
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich
\mavergleichskette
{\vergleichskette
{b_{-3}
}
{ = }{ { \frac{ 3-1 }{ 2 } }
}
{ = }{ 1
}
{ }{
}
{ }{
}
}
{}{}{}
und da
\mavergleichskette
{\vergleichskette
{a_{-2}
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ungerade ist, ist
\mavergleichskettedisp
{\vergleichskette
{ c_{-3}
}
{ =} { 6
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskette
{\vergleichskette
{a_{-2}
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt sich
\mavergleichskette
{\vergleichskette
{b_{-2}
}
{ = }{ { \frac{ 7-1 }{ 2 } }
}
{ = }{ 3
}
{ }{
}
{ }{
}
}
{}{}{}
und da
\mavergleichskette
{\vergleichskette
{a_{-1}
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gerade ist, ist
\mavergleichskettedisp
{\vergleichskette
{ c_{-2}
}
{ =} { b_{-2}
}
{ =} {3
}
{ } {
}
{ } {
}
}
{}{}{.}
So fährt man fort und erhält schließlich
\mathdisp {254{,}6365} { . }
}
\inputfaktbeweis
{Dezimalbruch/Halbierung/Algorithmus/Korrektheit/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Der
Algorithmus
zur Berechnung der Halbierung eines
\definitionsverweis {Dezimalbruches}{}{}
ist korrekt.}
\faktzusatz {}
\faktzusatz {}
}
{
Die Division durch $2$ ist die Multiplikation mit ${ \frac{ 1 }{ 2 } }$, also die Multiplikation mit ${ \frac{ 5 }{ 10 } }$. Man muss also die Zahl mit $5$ multiplizieren und anschließend durch $10$ dividieren, was in der Dezimaldarstellung lediglich eine Kommaverschiebung bedeutet. Die Korrektheit des Algorithmus beruht daher auf der Korrektheit des speziellen Algorithmus für die Multiplikation mit $5$, siehe Bemerkung 16.5.
Auch für die Division durch $5$ gibt es einen entsprechenden Algorithmus.
\inputverfahren{}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {\sum_{i = k}^\ell a_i 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {Dezimalbruch}{}{,}
für den der fünfte Anteil
\zusatzklammer {also die Division durch $5$} {} {}
berechnet werden soll. Dazu führt man für jede Ziffer $a_i$ für
\mavergleichskettedisp
{\vergleichskette
{i
}
{ \geq} { k-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionsverweis {Division mit Rest}{}{}
durch $5$ durch, d.h. man berechnet
\mavergleichskettedisp
{\vergleichskette
{a_i
}
{ =} { 5 b_i +r_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus diesen Zahlen berechnet man
\mavergleichskettedisp
{\vergleichskette
{c_i
}
{ =} { b_i + 2 r_{i+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies sind die Ziffern der Fünftelung von $z$, also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ z }{ 5 } }
}
{ =} {\sum_{i = k-1}^\ell c_i 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
Kurz gesagt: Man nehme von $a_i$ das abgerundete Fünftel
\zusatzklammer {das
\mathkor {} {0} {oder} {1} {}
ist} {} {}
und addiere das Doppelte des Fünferrestes der Ziffer $a_{i+1}$ dazu. Oder: Man teile jeweils die zweistellige Zahl
\mathl{a_{i+1}a_i}{} durch $5$ und schreibe davon die Einerziffer hin
\zusatzklammer {die Zehnerziffer muss nicht ausgerechnet werden} {} {.}
Man muss also nur zweistellige Zahlen durch $5$ dividieren können.
{Dezimalbruch/Fünftelung/Algorithmus/Korrektheit/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktfolgerung {Der
Algorithmus
zur Berechnung des fünften Anteils eines
\definitionsverweis {Dezimalbruches}{}{}
ist korrekt.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 26.32. }
Wenn man beispielsweise durch $4$ teilt, so hängt die Ziffer des Ergebnisses nicht nur von zwei Ziffern, sondern von drei Ziffern ab, wie
\mavergleichskette
{\vergleichskette
{ 100:4
}
{ = }{ 25
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ 200:4
}
{ = }{ 50
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zeigt.
Die in dieser Vorlesung angestellten Betrachtungen kann man in jedem Zahlensystem wie hier im Zehnersystem durchführen. Die Aussagen gelten entsprechend, wobei die zuletzt genannten Ergebnisse dann für die Teiler der Grundzahl gelten.