Kurs:Grundkurs Mathematik/Teil I/5/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 2 }
\renewcommand{\avier}{ 3 }
\renewcommand{\afuenf}{ 1 }
\renewcommand{\asechs}{ 2 }
\renewcommand{\asieben}{ 8 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 3 }
\renewcommand{\azehn}{ 2 }
\renewcommand{\aelf}{ 1 }
\renewcommand{\azwoelf}{ 2 }
\renewcommand{\adreizehn}{ 3 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 3 }
\renewcommand{\asechzehn}{ 3 }
\renewcommand{\asiebzehn}{ 2 }
\renewcommand{\aachtzehn}{ 6 }
\renewcommand{\aneunzehn}{ 5 }
\renewcommand{\azwanzig}{ 4 }
\renewcommand{\aeinundzwanzig}{ 63 }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellezwanzig
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {Umkehrabbildung} {} zu einer bijektiven Abbildung \maabb {F} {L} {M} {.}
}{Eine \stichwort {Ordnungs} {}relation $\preccurlyeq$ auf einer Menge $I$.
}{Das
\stichwort {kleinste gemeinsame Vielfache} {}
zu einer Menge von
\definitionsverweis {natürlichen Zahlen}{}{}
\mathdisp {a_1 , \ldots , a_k} { . }
}{Ein \stichwort {Ring} {} $R$.
}{Ein \stichwort {proportionaler Zusammenhang} {} zwischen zwei Größen.
}{Die \stichwort {Gaußklammer} {} einer rationalen Zahl $x$. }
}
{
\aufzaehlungsechs{Die Abbildung
\maabbdisp {G} {M} {L} {,}
die jedes Element
\mathl{y \in M}{} auf das eindeutig bestimmte Element
\mathl{x \in L}{} mit
\mathl{F(x)= y}{} abbildet, heißt die Umkehrabbildung zu $F$.
}{Die
\definitionsverweis {Relation}{}{}
$\preccurlyeq$ heißt Ordnungsrelation, wenn folgende drei Bedingungen erfüllt sind.
\aufzaehlungdrei{Es ist $i\preccurlyeq i$ für alle $i \in I$.
}{Aus $i\preccurlyeq j$ und $j\preccurlyeq k$ folgt stets $i\preccurlyeq k$.
}{Aus $i\preccurlyeq j$ und $j\preccurlyeq i$ folgt $i= j$.
}
}{Die Zahl $b$ heißt das kleinste gemeinsame Vielfache der
\mathl{a_1 , \ldots , a_k}{,} wenn $b$ ein
\definitionsverweis {gemeinsames Vielfaches}{}{}
ist und unter allen gemeinsamen Vielfachen $\neq 0$ der
\mathl{a_1 , \ldots , a_k}{} das Kleinste ist.
}{Eine Menge $R$ heißt ein Ring, wenn es zwei
\definitionsverweis {Verknüpfungen}{}{}
\zusatzklammer {genannt Addition und Multiplikation} {} {}
\mathdisp {+: R \times R \longrightarrow R \text{ und } \cdot: R \times R \longrightarrow R} { }
und
\zusatzklammer {nicht notwendigerweise verschiedene} {} {}
Elemente
\mathl{0,1 \in R}{} gibt, die die folgenden Eigenschaften erfüllen.
\aufzaehlungdrei{Axiome der Addition
\aufzaehlungvier{Assoziativgesetz: Für alle
\mathl{a,b,c \in R}{} gilt:
\mathl{(a + b) + c = a + (b + c)}{.}
}{Kommutativgesetz: Für alle
\mathl{a,b \in R}{} gilt
\mathl{a+b=b+a}{.}
}{$0$ ist das neutrale Element der Addition, d.h. für alle
\mathl{a \in R}{} ist
\mathl{a+0= a}{.}
}{Existenz des Negativen: Zu jedem
\mathl{a \in R}{} gibt es ein Element
\mathl{b \in R}{} mit
\mathl{a+b=0}{.}
}
}{Axiome der Multiplikation
\aufzaehlungzwei {Assoziativgesetz: Für alle
\mathl{a,b,c \in R}{} gilt:
\mathl{(a \cdot b) \cdot c = a \cdot (b \cdot c)}{.}
} {$1$ ist das neutrale Element der Multiplikation, d.h. für alle
\mathl{a \in R}{} ist
\mathl{a \cdot 1=1 \cdot a= a}{.}
}
}{Distributivgesetz:
Für alle
\mathl{a,b,c \in R}{} gilt
\mavergleichskette
{\vergleichskette
{ a \cdot (b+c)
}
{ = }{(a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ (b+c) \cdot a
}
{ = }{(b \cdot a) + (c \cdot a)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}{Zwischen den Größen
\mathkor {} {x} {und} {y} {}
liegt ein proportionaler Zusammenhang vor, wenn die Beziehung
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} {cx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer festen Zahl $c$ besteht.
}{Zu einer rationalen Zahl $x$ ist die Gaußklammer
\mathl{\left \lfloor x \right \rfloor}{} durch
\mathdisp {\left \lfloor x \right \rfloor = n, \text{ falls } x \in [n,n+1[ \text{ und } n \in \Z} { , }
definiert.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die Beziehung zwischen der Ordnungsrelation und der Addition auf $\N$.}{Die \stichwort {Division mit Rest} {} für natürliche Zahlen.}{Der \stichwort {Satz über die Lösbarkeit von Gleichungen} {} in einer Gruppe $G$.}
}
{
\aufzaehlungdrei{Für
\definitionsverweis {natürliche Zahlen}{}{}
\mathl{n,k}{} gilt
\mavergleichskettedisp
{\vergleichskette
{n
}
{ \geq} {k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn es ein
\mathl{m \in \N}{} gibt mit
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {k+m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $d$ eine fixierte positive natürliche Zahl. Dann gibt es zu jeder natürlichen Zahl $n$ eine eindeutig bestimmte natürliche Zahl $q$ und eine eindeutig bestimmte natürliche Zahl
\mathbed {r} {}
{0 \leq r \leq d-1} {}
{} {} {} {,} mit
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {qd+r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Zu je zwei Gruppenelementen
\mathl{a,b \in G}{} besitzen die beiden Gleichungen
\mathdisp {a \circ x=b \text{ und } y \circ a=b} { }
eindeutige Lösungen
\mathl{x,y \in G}{.}}
}
\inputaufgabepunkteloesung
{2}
{
Berechne
\mathdisp {(a+b)^3} { }
mit Hilfe der ersten binomischen Formel und des Distributivgesetzes.
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ (a+b)^3
}
{ =} { (a+b) (a+b)^2
}
{ =} { (a+b) (a^2+2ab+b^2)
}
{ =} {a(a^2+2ab+b^2) + b(a^2+2ab+b^2)
}
{ =} {a^3+2a^2b+ab^2+a^2b+2ab^2+b^3
}
}
{
\vergleichskettefortsetzungalign
{ =} {a^3+3a^2b+3ab^2+b^3
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputaufgabepunkteloesung
{3}
{
Franziska möchte mit ihrem Freund Heinz Schluss machen. Sie erwägt die folgenden drei Begründungen. \aufzaehlungdrei{\anfuehrung{Du hast dich schon am ersten Tag voll daneben benommen. Seitdem ist es von jedem Tag zum nächsten Tag nur noch schlimmer geworden. Du wirst Dich also immer völlig daneben benehmen}{.} }{\anfuehrung{Wenn ich mit Dir zusammenbleiben würde, so würde ich irgendwann als eine traurige, gelangweilte, vom Leben enttäuschte Person enden, das möchte ich aber auf gar keinen Fall}{.} }{\anfuehrung{Also, wenn Du mich nicht liebst, will ich Dich sowieso nicht. Wenn Du mich aber liebst, so komme ich zu dem Schluss, dass Du dein Verhalten mit Deinen Gefühlen nicht zur Deckung bringen kannst. Dann bist Du also unreif und dann will ich Dich auch nicht}{.} } Welche mathematischen Beweisprinzipien spiegeln sich in den drei Begründungen wieder?
}
{
\aufzaehlungdrei{Induktionsbeweis. }{Beweis durch Widerspruch. }{Beweis durch Fallunterscheidung. }
}
\inputaufgabepunkteloesung
{1}
{
Finde einen möglichst einfachen aussagenlogischen Ausdruck, der die folgende tabellarisch dargestellte Wahrheitsfunktion ergibt. \wahrheitstabellezweieins{ } {\zeileunddrei {$ p $} {$ q $} {$? $} } {\zeileunddrei {w} {w} {f} } {\zeileunddrei {w} {f} {f} } {\zeileunddrei {f} {w} {w} } {\zeileunddrei {f} {f} {f} }
}
{
\mathl{\neg p \wedge q}{.}
}
\inputaufgabepunkteloesung
{2 (1+1)}
{
Wir betrachten den Satz \anfuehrung{Nachts sind alle Katzen grau}{.} \aufzaehlungzwei {Negiere diesen Satz durch eine Existenzausssage, wenn der Satz sich auf eine bestimmte Nacht bezieht. } {Negiere diesen Satz durch eine Existenzausssage, wenn der Satz sich auf jede Nacht bezieht. }
}
{
\aufzaehlungzwei {In dieser Nacht gibt es eine Katze, die nicht grau ist. } {Es gibt eine Nacht und eine Katze, die in dieser besagten Nacht nicht grau ist. }
}
\inputaufgabepunkteloesung
{8 (1+1+1+2+3)}
{
Die Kinder sitzen in einem Stuhlkreis mit Stühlen, die von $1$ bis $10$ durchnummeriert sind. Sie denken sich die folgende feste Wechselvorschrift aus, die durch die folgende
Wertetabelle festgelegt wird.
\wertetabellezehnausteilzeilen { $n$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileundfuenf {6} {7} {8} {9} {10} }
{ $F(n)$ }
{\mazeileundfuenf {2} {9} {6} {5} {10} }
{\mazeileundfuenf {1} {8} {7} {3} {4} }
Bei einem Wechselvorgang muss also das Kind, das auf dem Stuhl mit der Nummer $n$ sitzt, auf den Stuhl mit der Nummer
\mathl{F(n)}{} hinüberwechseln. Ein Wechselvorgang wird dadurch eingeleitet, dass Frau Maier-Sengupta in die Hände klatscht.
\aufzaehlungfuenf{Mustafa Müller sitzt zu Begin auf dem Stuhl Nummer $8$. Auf welchem Stuhl sitzt er, nachdem Frau Maier-Sengupta dreimal in die Hände geklatscht hat.
}{Lucy Sonnenschein sitzt zu Begin auf dem Stuhl Nummer $9$. Auf welchem Stuhl sitzt sie, nachdem Frau Maier-Sengupta achtmal in die Hände geklatscht hat.
}{Wie oft muss Frau Maier-Sengupta klatschen, damit sowohl Mustafa als auch Lucy wieder auf ihren Ausgangsstühlen sitzen.
}{Wie oft muss Frau Maier-Sengupta klatschen, damit alle Kinder zum ersten Mal wieder auf ihrem Ausgangsstuhl sitzen.
}{Beschreibe durch eine Wertetabelle die Gesamtwechselvorschrift, wenn Frau Maier-Sengupta
\mathl{973}{-}mal in die Hände klatscht.
}
}
{
\aufzaehlungfuenf{Mustafa Müller bewegt sich
\mathl{8 \mapsto 7 \mapsto 8 \mapsto 7}{,} nach dreimaligem Klatschen Sitz er auf Stuhl $7$.
}{Lucy Sonnenschein bewegt sich
\mathl{9 \mapsto 3 \mapsto 6 \mapsto 1 \mapsto 2 \mapsto 9}{,} nach achtmaligem Klatschen sitzt sie also auf Stuhl $1$.
}{Mustafa ist nach zweimaligem Klatschen wieder auf seinem Platz, Lucy nach fünfmaligem Klatschen. Daher sind die beiden nach zehnmaligem Klatschen wieder auf ihren Plätzen.
}{Neben den oben angeführten Zyklen gibt es noch
\mathl{4 \mapsto 5 \mapsto 10 \mapsto 4}{.} Also sind nach dreißigmaligem Klatschen alle Kinder zurück auf ihren Stühlen.
}{Da sich alles nach $30$ Durchgängen wiederholt, kann man davon ausgehen, dass $13$-mal geklatscht wird. Mit den berechneten Zykeln ist das Ergebnis einfach zu berechnen.
\wertetabellezehnausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileundfuenf {6} {7} {8} {9} {10} }
{ $F^{973} (x)$ }
{\mazeileundfuenf {3} {6} {2} {5} {10} }
{\mazeileundfuenf {9} {8} {7} {1} {4} }
}
}
\inputaufgabepunkteloesung
{3}
{
Es sei $G$ eine zweielementige Menge. Erstelle eine Verknüpfungstabelle für die Verknüpfung \anfuehrung{Durchschnitt}{} auf der
\definitionsverweis {Potenzmenge}{}{}
\mathl{\mathfrak {P} \, (G )}{.}
}
{
Die Menge sei
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \{a,b\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die Potenzmenge ist dann
\mavergleichskettedisp
{\vergleichskette
{ \mathfrak {P} \, (M )
}
{ =} { \{ \emptyset, \{a\}, \{b\}, \{a,b\} \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Verknüpfungstabelle für den Durchschnitt ist
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cap$ }
\renewcommand{\leitzeileeins}{ $\emptyset$ }
\renewcommand{\leitzeilezwei}{ $\{a\}$ }
\renewcommand{\leitzeiledrei}{ $\{b\}$ }
\renewcommand{\leitzeilevier}{ $\{a,b\}$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $\emptyset$ }
\renewcommand{\leitspaltezwei}{ $\{a\}$ }
\renewcommand{\leitspaltedrei}{ $\{b\}$ }
\renewcommand{\leitspaltevier}{ $\{a,b\}$ }
\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}{ \emptyset }
\renewcommand{\aeinsxzwei}{ \emptyset }
\renewcommand{\aeinsxdrei}{ \emptyset }
\renewcommand{\aeinsxvier}{ \emptyset }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ \emptyset }
\renewcommand{\azweixzwei}{ \{a\} }
\renewcommand{\azweixdrei}{ \emptyset }
\renewcommand{\azweixvier}{ \{a\} }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ \emptyset }
\renewcommand{\adreixzwei}{ \emptyset }
\renewcommand{\adreixdrei}{ \{b\} }
\renewcommand{\adreixvier}{ \{b\} }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ \emptyset }
\renewcommand{\avierxzwei}{ \{a\} }
\renewcommand{\avierxdrei}{ \{b\} }
\renewcommand{\avierxvier}{ \{a,b\} }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\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}{ }
\tabelleleitvierxvier
}
\inputaufgabepunkteloesung
{3}
{
Beweise den Satz über die Differenz und endliche Mengen.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { T \uplus (M \setminus T)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine disjunkte Zerlegung. Daher gilt
nach Satz 8.14 (Grundkurs Mathematik (Osnabrück 2022-2023))
\mavergleichskettedisp
{\vergleichskette
{m
}
{ =} { { \# \left( M \right) }
}
{ =} { { \# \left( T \right) } + { \# \left( M \setminus T \right) }
}
{ =} { k + { \# \left( M \setminus T \right) }
}
{ } {
}
}
{}{}{.}
Somit erfüllt
\mathl{{ \# \left( M \setminus T \right) }}{} die charakteristische Eigenschaft der Differenz und ist daher gleich
\mathl{m-k}{.}
}
\inputaufgabepunkteloesung
{2}
{
Zeige, dass im kleinen Einmaleins
\zusatzklammer {ohne die Zehnerreihe} {} {}
zur Basis
\mavergleichskette
{\vergleichskette
{ n
}
{ \geq }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nur ein- und zweistellige Zahlen auftreten.
}
{
Im kleinen Einmaleins zur Basis $n$ werden alle Produkte
\mathbeddisp {i \cdot j} {mit}
{i,j < n} {}
{} {} {} {,}
aufgelistet. Das Maximum davon ist
\mavergleichskettedisp
{\vergleichskette
{(n-1)(n-1)
}
{ =} { n^2-2n +1
}
{ <} { n^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Zifferndarstellung von dieser Zahl zur Basis $n$ benötigt also nicht die zweite Potenz von $n$, daher genügen zwei Ziffern.
}
\inputaufgabepunkteloesung
{1}
{
Bestimme die \definitionsverweis {Primfaktorzerlegung}{}{} von $1728$.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{1728
}
{ =} {2^6 \cdot 3^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{2}
{
Es gibt $24$ Schokoriegel und $16$ Äpfel. Auf wie viele Kinder kann man diese Sachen gerecht verteilen?
}
{
Es sei $n$ die Anzahl der Kinder. Damit die Schokoriegel gerecht verteilt werden können, muss $n$ ein Teiler von $24$ sein, und damit die Äpfel gerecht verteilt werden können, muss $n$ ein Teiler von $16$ sein. Die Zahl $n$ muss also ein gemeinsamer Teiler von
\mathkor {} {16} {und} {24} {}
sein. Damit ist
\mavergleichskettedisp
{\vergleichskette
{n
}
{ =} {1,2,4,8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{3}
{
Es sei $z$ eine natürliche Zahl. Zeige, dass die folgenden Aussagen äquivalent sind.
\aufzaehlungvier{$z$ ist teilerfremd zu $10$.
}{$z$ ist teilerfremd zu $10^k$ für ein
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{$z$ ist teilerfremd zu $10^k$ für jedes
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Die Endziffer von $z$ im Zehnersystem ist
\mathl{1,3,7}{} oder $9$.
}
}
{
Wegen
\mavergleichskettedisp
{\vergleichskette
{10^k
}
{ =} {2^k \cdot 5^k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeuten (1), (2) und (3) jeweils, dass in der Primfaktorzerlegung von $z$ weder $2$ noch $5$ vorkommt. Wegen
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {10 v + r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit der Endziffer $r$ zwischen
\mathkor {} {0} {und} {9} {}
ist $z$ ein Vielfaches von $2$
\zusatzklammer {bzw. von $5$} {} {}
genau dann, wenn das für die Endziffer $r$ gilt. Dies sind aber genau die geraden Ziffern oder die $5$. Dass $z$ weder ein Vielfaches der $2$ noch der $5$ ist, ist somit äquivalent dazu, dass die Endziffer gleich $1,3,7$ oder $9$ ist.
}
\inputaufgabepunkteloesung
{4}
{
Die beiden Flöhe Carlo und Fredo sitzen im Nullpunkt eines beidseitig unendlich langen Zentimeterbandes. Carlo kann Sprünge der Weite \mathkor {} {255} {und} {561} {} \zusatzklammer {in Zentimeter} {} {} machen, Fredo kann Sprünge der Weite \mathkor {} {357} {und} {595} {} machen. Auf welchen Zentimeterpositionen können sich die beiden Flöhe begegnen?
}
{
Wir bestimmen zuerst, auf welchen Positionen sich jeweils die beiden Flöhe befinden können, indem wir den euklidischen Algorithmus anwenden. Für Carlo ergibt sich
\mavergleichskettedisp
{\vergleichskette
{561
}
{ =} {2 \cdot 255 +51
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{255
}
{ =} { 5 \cdot 51
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der größte gemeinsame Teiler der beiden Sprungweiten ist also $51$ und die möglichen Positionen von Carlo sind $51 \Z$. Für Fredo ergibt sich
\mavergleichskettedisp
{\vergleichskette
{595
}
{ =} {1 \cdot 357 +238
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{357
}
{ =} {1 \cdot 238 + 119
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{238
}
{ =} {2 \cdot 119
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
der größte gemeinsame Teiler der beiden Sprungweiten ist also $119$ und die möglichen Positionen von Fredo sind $119 \Z$. Die gemeinsamen Positionen von Carlo und Fredo werden durch
\mathdisp {51 \Z \cap 119 \Z} { }
beschrieben. Dafür müssen wir das kleinste gemeinsame Vielfache von
\mathkor {} {51} {und} {119} {}
ausrechnen. Wegen
\mavergleichskettedisp
{\vergleichskette
{51
}
{ =} {3 \cdot 17
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{119
}
{ =} {7 \cdot 17
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist das kleinste gemeinsame Vielfache gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 51 \cdot 119 }{ 17 } }
}
{ =} { 3 \cdot 119
}
{ =} {357
}
{ } {
}
{ } {
}
}
{}{}{.}
Die beiden Flöhe können sich also in den Positionen
\mathl{357 \Z}{} treffen.
}
\inputaufgabepunkteloesung
{3}
{
Beweise die \stichwort {Nichtnullteilereigenschaft} {} für einen Körper $K$.
}
{
Nehmen wir an, dass
\mathkor {} {a} {und} {b} {}
beide von $0$ verschieden sind. Dann gibt es dazu
\definitionsverweis {inverse Elemente}{}{}
\mathkor {} {a^{-1}} {und} {b^{-1}} {}
und daher ist
\mavergleichskette
{\vergleichskette
{ (ab) { \left( b^{-1} a^{-1} \right) }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Andererseits ist aber nach Voraussetzung
\mavergleichskette
{\vergleichskette
{ ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist nach
Lemma 19.4 (Grundkurs Mathematik (Osnabrück 2022-2023)) (1)
\mavergleichskettedisp
{\vergleichskette
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,} sodass sich der Widerspruch
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt.
}
\inputaufgabepunkteloesung
{3}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{.} Zeige, dass für
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ x^2 +(x+1)^2 }
{ \geq} { (x+2)^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{
Wir rechnen die beiden Seiten aus, die zu zeigende Abschätzung bedeutet dann
\mavergleichskettedisp
{\vergleichskette
{ 2x^2+2x+1
}
{ \geq} { x^2+4x+4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In $K$ erhalten sich bei beidseitiger Addition die Abschätzungen, sodass die Abschätzung äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{ x^2-2x-3
}
{ \geq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Wir schreiben die linke Seite als
\mavergleichskettedisp
{\vergleichskette
{x^2-2x-3
}
{ =} { x^2-2x+1-1-3
}
{ =} {(x-1)^2-4
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ x-1
}
{ \geq }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher
\mavergleichskettedisp
{\vergleichskette
{(x-1)^2
}
{ \geq} {2(x-1)
}
{ \geq} {2^2
}
{ =} {4
}
{ } {}
}
{}{}{,}
also gilt für
\mavergleichskette
{\vergleichskette
{ x
}
{ \geq }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ (x-1)^2-4
}
{ \geq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und damit die ursprüngliche Abschätzung.
}
\inputaufgabepunkteloesung
{2}
{
Vergleiche im Fünfersystem die beiden Brüche
\mathdisp {{ \frac{ 431 }{ 243 } } \text{ und } { \frac{ 303 }{ 204 } }} { . }
}
{
Wir rechnen über Kreuz und erhalten
\mavergleichskettedisp
{\vergleichskette
{431 \cdot 204
}
{ =} { 200024
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskettedisp
{\vergleichskette
{243 \cdot 303
}
{ =} { 140234
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 431 }{ 243 } }
}
{ >} { { \frac{ 303 }{ 204 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{6 (3+3)}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und es sei \maabbdisp {f} {K} {K } {} eine \definitionsverweis {bijektive}{}{} Abbildung mit der Umkehrfunktion $f^{-1}$. Zeige die folgenden Aussagen. \aufzaehlungzwei {$f$ ist genau dann \definitionsverweis {streng wachsend}{}{,} wenn $f^{-1}$ streng wachsend ist. } {$f$ ist genau dann \definitionsverweis {streng fallend}{}{,} wenn $f^{-1}$ streng fallend ist. }
}
{
Wegen der Symmetrie der Situation muss man für beide Aussagen nur die Hinrichtung zeigen.
\aufzaehlungzwei {Es sei $f$ streng wachsend und $u > v$ aus $K$. Dann gibt es eindeutig bestimmte Elemente
\mathl{x,y \in K}{} mit
\mavergleichskette
{\vergleichskette
{f(x)
}
{ = }{u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{f(y)
}
{ = }{v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese gilt
\mavergleichskettedisp
{\vergleichskette
{x
}
{ >} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da sich andernfalls direkt ein Widerspruch zum strengen Wachstum von $f$ ergibt. Somit ist
\mavergleichskettedisp
{\vergleichskette
{f^{-1} (u)
}
{ =} {x
}
{ >} {y
}
{ =} {f^{-1}(v)
}
{ } {
}
}
{}{}{}
und $f^{-1}$ ist ebenfalls streng wachsend.
} {Es sei $f$ streng fallend und $u > v$ aus $K$. Dann gibt es eindeutig bestimmte Elemente
\mathl{x,y \in K}{} mit
\mavergleichskette
{\vergleichskette
{f(x)
}
{ = }{u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{f(y)
}
{ = }{v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese gilt
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da sich andernfalls, aus
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wegen der Voraussetzung an $f$, streng fallend zu sein, direkt der Widerspruch
\mavergleichskette
{\vergleichskette
{u
}
{ = }{f(x)
}
{ \leq }{ f(y)
}
{ = }{v
}
{ }{
}
}
{}{}{}
ergibt. Somit ist
\mavergleichskettedisp
{\vergleichskette
{f^{-1} (u)
}
{ =} {x
}
{ <} {y
}
{ =} {f^{-1}(v)
}
{ } {
}
}
{}{}{}
und $f^{-1}$ ist ebenfalls streng fallend.
}
}
\inputaufgabepunkteloesung
{5}
{
Zeige, dass der Algorithmus zur Berechnung des fünften Anteils eines Dezimalbruches korrekt ist.
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{z
}
{ =} {\sum_{i = k}^\ell a_i 10^{i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben und es sei
\mavergleichskette
{\vergleichskette
{a_i
}
{ = }{ 5 b_i +r_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mathl{b_i \in \N}{} und
\mathl{r_i}{} zwischen $0$ und $4$ und
\mavergleichskettedisp
{\vergleichskette
{c_i
}
{ =} {b_i + 2 r_{i+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da $a_i \leq 9$ ist, ist diese Zahl eine erlaubte Ziffer. Zum Nachweis der Korrektheit müssen wir einfach das Ergebnis
\mathl{\sum_{i = k-1}^\ell c_i 10^{i}}{} mit $5$ multiplizieren und zeigen, dass man so $z$ zurückerhält. Es ist
\mavergleichskettealign
{\vergleichskettealign
{ 5 \cdot { \left( \sum_{i = k-1}^\ell c_i 10^{i} \right) }
}
{ =} { \sum_{i = k-1}^\ell 5 \cdot c_i 10^{i}
}
{ =} { \sum_{i = k-1}^\ell 5\cdot { \left( b_i +2 r_{i+1} \right) } 10^{i}
}
{ =} { \sum_{i = k-1}^\ell { \left( 5 b_i +10 r_{i+1} \right) } 10^{i}
}
{ =} { \sum_{i = k-1}^\ell 5 b_i 10^{i} + \sum_{i = k-1}^\ell 10 r_{i+1} 10^{i}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{i = k-1}^\ell { \left( a_i-r_i \right) } 10^{i} + \sum_{i = k-1}^\ell r_{i+1} 10^{i+1}
}
{ =} { \sum_{i = k-1}^\ell a_i 10^{i} - \sum_{i = k-1}^\ell r_i 10^{i} + \sum_{i = k-1}^\ell r_{i+1} 10^{i+1}
}
{ =} { z - \sum_{i = k-1}^\ell r_i 10^{i} + \sum_{j = k}^{\ell+1} r_{j} 10^{j}
}
{ =} {z
}
}
{}{,}
wobei sich die beiden Summanden rechts wegheben, da $r_{k-1}$ und $r_{\ell +1}$ gleich $0$ sind.
}
\inputaufgabepunkteloesung
{4}
{
Es seien $a$ und $b$ natürliche Zahlen mit $b$ positiv. Zeige durch Induktion nach $i$, dass man die Restfolgenglieder
\mathl{r_{-i}}{} im
\definitionsverweis {Divisionsalgorithmus}{}{}
direkt durch die Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{ 10^{i} a
}
{ =} { xb +r_{-i}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erhalten kann.
}
{
Bei
\mavergleichskette
{\vergleichskette
{i
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fällt dies mit der Definition im Divisionsalgorithmus zusammen. Es sei also die Aussage für ein
\mathl{r_{-i}}{} schon bewiesen. Nach dem Divisionsalgorithmus ergibt sich das nächste $r_{-i-1}$ über die Division mit Rest
\mavergleichskettedisp
{\vergleichskette
{10 r_{-i}
}
{ =} {z_{-i} b + r_{-i -1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir lösen nach
\mathl{r_{-i-1}}{} auf und erhalten unter Verwendung der Induktionsvoraussetzung
\mavergleichskettealign
{\vergleichskettealign
{r_{-i-1}
}
{ =} { 10 r_{-i} - z_{-i} b
}
{ =} { 10 (10^{i} a - x b)- z_{-i} b
}
{ =} { 10^ {i+1} a - 10 x b -z_{-i} b
}
{ =} { 10^ {i+1} a - b ( 10 x -z_{-i} )
}
}
{}
{}{.}
Umstellen ergibt
\mavergleichskettedisp
{\vergleichskette
{ 10^ {i+1} a
}
{ =} {b ( 10 x -z_{-i} ) + r_{-i-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was bedeutet, dass der Rest bei der Division von
\mathl{10^ {i+1} a}{} durch $b$ gleich
\mathl{r_{-i-1}}{} ist, wie behauptet.
}