Kurs:Grundkurs Mathematik/Teil I/14/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}{ 1 }
\renewcommand{\avier}{ 3 }
\renewcommand{\afuenf}{ 3 }
\renewcommand{\asechs}{ 3 }
\renewcommand{\asieben}{ 2 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 12 }
\renewcommand{\azehn}{ 2 }
\renewcommand{\aelf}{ 3 }
\renewcommand{\azwoelf}{ 3 }
\renewcommand{\adreizehn}{ 1 }
\renewcommand{\avierzehn}{ 8 }
\renewcommand{\afuenfzehn}{ 3 }
\renewcommand{\asechzehn}{ 4 }
\renewcommand{\asiebzehn}{ 4 }
\renewcommand{\aachtzehn}{ 2 }
\renewcommand{\aneunzehn}{ 1 }
\renewcommand{\azwanzig}{ 64 }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelleneunzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {Peano-Axiome} {.}
}{Die
\stichwort {Summe} {}
\mathl{n+k}{} zweier
\definitionsverweis {natürlicher Zahlen}{}{}
\mathkor {} {n} {und} {k} {.}
}{Die \stichwort {Multiplikation} {} von ganzen Zahlen.
}{Eine \stichwort {Untergruppe} {} $H$ in einer Gruppe $G$.
}{Eine \stichwort {streng wachsende} {} Abbildung \maabb {f} {K} {K } {} auf einem \definitionsverweis {angeordneten Körper}{}{} $K$.
}{Eine \stichwort {Dezimalbruchfolge} {}
\mathbed {x_n} {}
{n \in \N} {}
{} {} {} {,}
in einem angeordneten Körper $K$.
}
}
{
\aufzaehlungsechs{Die Dedekind-Peano-Axiome beziehen sich auf eine Menge $N$ mit einem ausgezeichneten Element
\mathl{0 \in N}{} und einer Nachfolgerabbildung
\maabbeledisp {'} { N} {N
} {n} {n'
} {}
und lauten folgendermaßen.
\aufzaehlungdrei{Das Element $0$ ist kein Nachfolger.
}{Jedes
\mathl{n \in N}{} ist Nachfolger höchstens eines Elementes.
}{Für jede Teilmenge
\mathl{T \subseteq N}{} gilt: Wenn die beiden Eigenschaften
\auflistungzwei{$0 \in T$,
}{mit jedem Element
\mathl{n \in T}{} ist auch
\mathl{n' \in T}{,}
}
gelten, so ist
\mathl{T= N}{.}
}
}{Die
Summe
\mathl{n+k}{} ist diejenige natürliche Zahl, die man erhält, wenn man von $n$ ausgehend $k$-fach den Nachfolger nimmt.
}{Die ganzen Zahlen haben die Form
\mathl{\pm a}{} und
\mathl{\pm b}{} mit natürlichen Zahlen $a,b$. Die Multiplikation wird folgendermaßen definiert.
\mavergleichskettedisp
{\vergleichskette
{a \cdot b
}
{ \defeq} { a \cdot b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{a \cdot (-b)
}
{ \defeq} { - (a \cdot b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{(-a) \cdot b
}
{ \defeq} { - (a \cdot b)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{(-a) \cdot (-b)
}
{ \defeq} { a \cdot b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Eine Teilmenge
\mathl{H \subseteq G}{} heißt \stichwort {Untergruppe} {} von $G$ wenn folgendes gilt.
\aufzaehlungdrei{ $e \in H$.
}{Mit $g,h \in H$ ist auch $g \circ h \in H$.
}{Mit $g \in H$ ist auch $g^{-1} \in H$.
}
}{Die
\definitionsverweis {Abbildung}{}{}
\maabb {f} {K} {K
} {}
heißt
streng wachsend,
wenn für je zwei Elemente
\mathl{x,x' \in K}{} mit
\mavergleichskette
{\vergleichskette
{x
}
{ < }{x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{f(x)
}
{ < }{f(x')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}{Eine Folge der Form
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ a_n }{ 10^n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_n \in \Z}{} und
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a_n }{ 10^n } }
}
{ \leq} { { \frac{ a_{n+1} }{ 10^{n+1} } }
}
{ <} { { \frac{ a_n+1 }{ 10^n } }
}
{ } {
}
{ } {
}
}
{}{}{}
heißt
Dezimalbruchfolge.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die algebraische Struktur der natürlichen Zahlen.}{Das \stichwort {Lemma von Bezout} {} für teilerfremde natürliche Zahlen \mathkor {} {a} {und} {b} {.}}{Der Satz über die Wachstumsdominanz der \zusatzklammer {ganzzahligen} {} {} Exponentialfunktion.}
}
{
\aufzaehlungdrei{Die natürlichen Zahlen $\N$ bilden einen
\definitionsverweis {kommutativen Halbring}{}{.}}{Es seien
\mathl{a,b \in \N}{} zwei
\definitionsverweis {teilerfremde}{}{}
natürliche Zahlen. Dann gibt es ganze Zahlen
\mathl{r,s \in \Z}{} mit
\mathl{ra+sb=1}{.}}{Es sei $K$ ein
\definitionsverweis {archimedisch angeordneter Körper}{}{}
und
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der zugehörigen
\definitionsverweis {Exponentialfunktion}{}{}
\maabbeledisp {\varphi_b} {\Z} { K
} {n} { b^n
} {,}
zur Basis $b$. Es sei $k$ eine natürliche Zahl. Dann gibt es ein
\mathl{m \in \N}{} derart, dass für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{\varphi_b (n)
}
{ =} { b^n
}
{ >} { n^k
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.}
}
\inputaufgabepunkteloesung
{1}
{
Wir betrachten den Satz \anfuehrung{Kein Mensch ist illegal}{.} Negiere diesen Satz durch eine Existenzaussage.
}
{
Es gibt einen Menschen, der nicht legal ist.
}
\inputaufgabepunkteloesung
{3}
{
In einem Hörsaal befindet sich ein Tafelgestell mit drei hintereinander liegenden, vertikal verschiebbaren Tafeln. Diese seien mit $V$ \zusatzklammer {vordere Tafel} {} {,} $M$ \zusatzklammer {mittlere Tafel} {} {} und $H$ \zusatzklammer {hintere Tafel} {} {} bezeichnet. Aufgrund der Höhe des Gestells sind nur \zusatzklammer {maximal} {} {} zwei Tafeln gleichzeitig einsehbar. Die Lehrperson schreibt in der Vorlesung jede Tafel genau einmal voll. In welcher Reihenfolge \zusatzklammer {alle Möglichkeiten} {!} {} muss sie die Tafeln einsetzen, wenn beim Beschreiben einer Tafel stets die zuletzt beschriebene Tafel sichtbar sein soll.
}
{
Die Tafeln \mathkor {} {M} {und} {H} {} sind nicht gleichzeitig sichtbar, da \zusatzklammer {mindestens} {} {} eine davon durch $V$ verdeckt wird. Dagegen sind sowohl \mathkor {} {V} {und} {H} {} \zusatzklammer {$M$ wird hinter $V$ geschoben} {} {} als auch \mathkor {} {V} {und} {M} {} gleichzeitig einsehbar. Eine Beschreibungsreihenfolge erfüllt also genau dann die angegebene Bedingung, wenn \mathkor {} {M} {und} {H} {} nicht direkt hintereinander beschrieben werden. Dies wird genau dann erreicht, wenn $V$ als zweite Tafel beschrieben wird. Erlaubt sind also die beiden Reihenfolgen \mathkor {} {M-V-H} {und} {H-V-M} {.}
}
\inputaufgabepunkteloesung
{3}
{
Es sei
\maabbdisp {\varphi} {L} {M
} {}
eine
\definitionsverweis {injektive Abbildung}{}{.}
Zeige, dass es eine Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass man $\varphi$ als Abbildung
\maabbdisp {\varphi'} {L} {T
} {}
auffassen kann
\zusatzklammer {$\varphi$ und $\varphi'$ unterscheiden sich nur hinsichtlich des Wertebereichs} {} {}
und dass $\varphi'$ bijektiv ist.
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} { { \left\{ y \in M \mid \text{ es gibt } x \in L \text{ mit } y = \varphi(x) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Da $T$ sämtliche Elemente aus $M$ enthält, die überhaupt unter $\varphi$ getroffen werden, kann man $\varphi$ als eine Abbildung
\maabbeledisp {\varphi'} {L} {T
} {x} { \varphi(x)
} {,}
auffassen. Diese Abbildung ist surjektiv, da ja jedes Element aus $T$ nach Definition getroffen wird. Die Injektivität überträgt sich direkt von $\varphi$ auf $\varphi'$, da die Gleichheit von Elementen in einer Teilmenge mit der Gleichheit in der Menge übereinstimmt. Daher ist $\varphi'$ bijektiv.
}
\inputaufgabepunkteloesung
{3}
{
Beweise das Distributivgesetz für die Differenz von natürlichen Zahlen.
}
{
Nach
Satz 10.8 (Grundkurs Mathematik (Osnabrück 2022-2023))
ist mit
\mavergleichskette
{\vergleichskette
{ a
}
{ \geq }{ b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mavergleichskette
{\vergleichskette
{ca
}
{ \geq }{cb
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
sodass
\mathl{ca -cb}{} wohldefiniert ist. Es ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {(a-b)+b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und daher ist
nach dem Distributivgesetz für die Addition und die Multiplikation
\mavergleichskettedisp
{\vergleichskette
{ca
}
{ =} { c ((a-b)+b)
}
{ =} { c (a-b) +cb
}
{ } {
}
{ } {
}
}
{}{}{.}
Also ist
\mavergleichskettedisp
{\vergleichskette
{ c(a-b)
}
{ =} { ca-cb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{2}
{
Erstelle das Pascalsche Dreieck bis
\mavergleichskette
{\vergleichskette
{n
}
{ = }{6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Algebra1 12 fig002.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Algebra1 12 fig002.svg } {} {Madbobfromtheouterspace} {Commons} {CC-by-sa 3.0} {}
$\,$
}
\inputaufgabepunkteloesung
{3}
{
Petra hat folgende Informationen über die Erfolge von Deutschland bei Fußballweltmeisterschaften: \aufzaehlungvier{Die Fußballweltmeisterschaft findet alle vier Jahre statt. }{Deutschland war schon viermal Weltmeister. }{Deutschland war zum ersten Mal 1954 und zum letzten Mal 2014 Weltmeister. }{Deutschland war nie zweimal hintereinander Weltmeister. } Wie viele Möglichkeiten für die Jahre, in denen Deutschland die zweite bzw. die dritte Weltmeisterschaft gewann, verbleiben?
}
{
Die zweite und die dritte Weltmeisterschaft muss zwischen 1962 und 2006
\zusatzklammer {einschließlich} {} {}
gewonnen worden sein. In diesem Zeitraum fanden 12 Weltmeisterschaften statt. Daher gibt es in diesem Zeitraum
\mathl{\binom{12}{2} =66}{} Jahrespaare, in denen die Gewinne stattgefunden haben können. Da Petra weiß, dass Deutschland nie direkt hintereinander gewonnen hat, muss sie die aufeinanderfolgenden Paare abziehen. Davon gibt es 11. Also verbleiben insgesamt
\mathl{66-11=55}{} Möglichkeiten.
}
\inputaufgabepunkteloesung
{12 (4+3+5)}
{
Wir betrachten die Menge der natürlichen Zahlen mit den beiden Verknüp\-fungen \maabbeledisp {} {\N \times \N} {\N } {(a,b)} { {\operatorname{GgT} \, \left( a , b \right) } } {} und \maabbeledisp {} {\N \times \N} {\N } {(a,b)} { {\operatorname{KgV} \, \left( a , b \right) } } {.} \aufzaehlungdrei{Zeige, dass der größte gemeinsame Teiler eine kommutative und assoziative Verknüpfung ist, die ein neutrales Element besitzt \zusatzklammer {der größte gemeinsame Teiler von $0$ und $0$ sei als $0$ festgelegt} {} {.} }{Zeige, dass das kleinste gemeinsame Vielfache eine kommutative und assoziative Verknüpfung ist, die ein neutrales Element besitzt \zusatzklammer {das kleinste gemeinsame Vielfache von $a$ und $0$ sei als $0$ festgelegt} {} {.} }{Zeige, dass mit diesen Verknüpfungen \zusatzklammer {mit dem GgT als Addition} {} {} ein \definitionsverweis {kommutativer Halbring}{}{} vorliegt. }
}
{
\aufzaehlungdrei{Die Kommutativität ist klar. Die $0$ ist das neutrale Element, da stets
\mavergleichskettedisp
{\vergleichskette
{ {\operatorname{GgT} \, \left( a , 0 \right) }
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da ja jede Zahl die $0$ teilt und somit der größte Teiler von $a$ entscheidend ist, und bei
\mathl{a=0}{} der Wert des GgT nach Definition $0$ ist. Zum Nachweis der Assoziativität ist
\mavergleichskettedisp
{\vergleichskette
{ {\operatorname{GgT} \, \left( {\operatorname{GgT} \, \left( a , b \right) } , c \right) }
}
{ =} { {\operatorname{GgT} \, \left( a , {\operatorname{GgT} \, \left( b , c \right) } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu zeigen. Wenn eine der beteiligten Zahlen $0$ ist, so kommt links und rechts das gleiche heraus. Wir können also annehmen, dass alle Zahlen ungleich $0$ sind. Wenn die Zahlen durch ihre Primfaktorzerlegung gegeben sind, so ist der größte gemeinsame Teiler durch das Minimum der Exponenten gegeben. Da sich das Minimum assoziativ verhält, gilt auch für den GgT die Assoziativität.
}{Die Kommutativität ist klar. Die $1$ ist das neutrale Element, da stets
\mavergleichskettedisp
{\vergleichskette
{ {\operatorname{KgV} \, \left( a , 1 \right) }
}
{ =} { a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da ja jede Zahl ein Vielfaches der $1$ ist. Zum Nachweis der Assoziativität ist
\mavergleichskettedisp
{\vergleichskette
{ {\operatorname{KgV} \, \left( {\operatorname{KgV} \, \left( a , b \right) } , c \right) }
}
{ =} { {\operatorname{KgV} \, \left( a , {\operatorname{KgV} \, \left( b , c \right) } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu zeigen. Wenn eine der beteiligten Zahlen $0$ ist, so kommt links und rechts $0$ heraus, da $0$ das einzige Vielfache der $0$ ist. Wir können also annehmen, dass alle Zahlen ungleich $0$ sind. Wenn die Zahlen durch ihre Primfaktorzerlegung gegeben sind, so ist das kleinste gemeinsame Vielfache durch das Maximum der Exponenten gegeben. Da sich das Maximum assoziativ verhält, gilt auch für das KgV die Assoziativität.
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ {\operatorname{KgV} \, \left( a , {\operatorname{GgT} \, \left( b , c \right) } \right) }
}
{ =} { {\operatorname{GgT} \, \left( {\operatorname{KgV} \, \left( a , b \right) } , {\operatorname{KgV} \, \left( a , c \right) } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu zeigen. Bei
\mathl{a=0}{} steht beidseitig $0$, da das KgV der $0$ mit einer beliebigen Zahl stets $0$ ist. Bei
\mathl{b=0}{}
\zusatzklammer {analog \mathlk{c=0}{}} {} {}
ergibt sich beidseitig
\mathl{{\operatorname{KgV} \, \left( a , c \right) }}{.} Wir können also annehmen, dass alle Zahlen ungleich $0$ sind. Da sowohl das GgT als auch das KgV aus der Primfaktorzerlegung ablesbar sind, können wir uns auf einen einzigen Primfaktor beschränken. Sei
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {p^k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{b
}
{ =} {p^m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{c
}
{ =} {p^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{max}( k, \operatorname{min}(m,n) )
}
{ =} { \operatorname{min}( \operatorname{max}(k,m) , \operatorname{max}(k,n) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu zeigen. Da die Aussage symmetrisch in
\mathkor {} {m} {und} {n} {}
ist, können wir
\mavergleichskettedisp
{\vergleichskette
{m
}
{ \leq} {n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
annehmen. Dann steht links das Maximum von
\mathkor {} {k} {und} {m} {}
und rechts ist jedenfalls
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{max}(k,m)
}
{ \leq} { \operatorname{max}(k,n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
sodass das Minimum davon ebenfalls das Maximum von
\mathkor {} {k} {und} {m} {}
ist.
}
}
\inputaufgabepunkteloesung
{2}
{
Bestimme den Rest von
\mathl{123456789}{} bei Division durch $9$.
}
{
Die folgenden Zahlen haben bei Division durch $9$ den gleichen Rest.
\mavergleichskettealign
{\vergleichskettealign
{123456789
}
{ \equiv} {33456789
}
{ \equiv} { 6456789
}
{ \equiv} { 156789
}
{ \equiv} { 66789
}
}
{
\vergleichskettefortsetzungalign
{ \equiv} {3789
}
{ \equiv} { 189
}
{ \equiv} { 0
}
{ } {}
}
{}{.}
Der Rest ist also $0$.
}
\inputaufgabepunkteloesung
{3}
{
Erläutere die Rolle der Division mit Rest für die Dezimalentwicklung von natürlichen Zahlen.
}
{Division Mit Rest/Dezimalentwicklung/Erläuterung/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{3}
{
Zeige durch Induktion, dass jede natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Zerlegung in
\definitionsverweis {Primzahlen}{}{}
besitzt.
}
{
Wir beweisen die Existenz durch Induktion über $n$.
Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt eine Primzahl vor. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist entweder $n$ eine Primzahl, und diese bildet die Primfaktorzerlegung, oder aber $n$ ist keine Primzahl. In diesem Fall gibt es eine nichttriviale Zerlegung
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit kleineren Zahlen
\mavergleichskette
{\vergleichskette
{a,b
}
{ < }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für diese Zahlen gibt es nach Induktionsvoraussetzung jeweils eine Zerlegung in Primfaktoren, und diese setzen sich zu einer Primfaktorzerlegung für $n$ zusammen.
}
\inputaufgabepunkteloesung
{1}
{
Bestimme die \definitionsverweis {Primfaktorzerlegung}{}{} von $1023$.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{1023
}
{ =} {3 \cdot 341
}
{ =} {3 \cdot 11 \cdot 31
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{8}
{
Es stehen zwei Eimer ohne Markierungen zur Verfügung, ferner eine Wasserquelle. Der eine Eimer hat ein Fassungsvermögen von $a$ und der andere ein Fassungsvermögen von $b$ Litern, wobei \mathkor {} {a} {und} {b} {} \definitionsverweis {teilerfremd}{}{} seien. Zeige, dass man allein durch Auffüllungen, Ausleerungen und Umschüttungen erreichen kann, dass in einem Eimer genau ein Liter Wasser enthalten ist.
}
{
Ohne Einschränkung sei
\mavergleichskette
{\vergleichskette
{a
}
{ \leq }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir bezeichnen die Inhalte in den Eimern zu einem bestimmten Zeitpunkt in Paarschreibweise mit
\mathl{(u,v)}{,} wobei $u$ zwischen
\mathkor {} {0} {und} {a} {}
und $v$ zwischen
\mathkor {} {0} {und} {b} {}
liegt. Es sei $r$ der Rest von $-b$ bei Division durch $a$. Wir behaupten, dass wenn man die Belegung
\mathl{(u,0)}{} durch die erlaubten Schritte erzielen kann,
dass man dann auch
\mathl{(u',0)}{} erzielen kann, wobei $u'$ den Rest von
\mathl{u+r}{} modulo $a$ bezeichnet. Wir starten also mit
\mathdisp {(u,0)} { . }
Durch Umschüttung kann man
\mathdisp {(0,u)} { }
erreichen. Durch Auffüllen des kleinen Eimers und anschließende Umfüllung in den großen kann man
\mathdisp {(0,u+a)} { }
erreichen, und ebenso der Reihe nach
\mathdisp {(0,u+2a),\, (0,u+2a) , \ldots , (0,u+ k a)} { , }
wobei $k$ so gewählt sei, dass
\mavergleichskettedisp
{\vergleichskette
{ u+k a
}
{ \leq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{u+ (k+1)a
}
{ >} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sei. Von hier aus erreichen wir
\mathdisp {(a, u+ka)} { . }
Wir füllen nun den Inhalt des ersten Eimers in den zweiten, bis dieser voll ist. Es sei $m$ die umgefüllte Menge. Diese erfüllt
\mavergleichskettedisp
{\vergleichskette
{ u+ka +m
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die im ersten Eimer verbleibende Wassermenge ist somit
\mavergleichskettedisp
{\vergleichskette
{a-m
}
{ =} {a- ( b-u-ka)
}
{ =} {u + (k+1) a-b
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Menge ist also der Rest von
\mavergleichskette
{\vergleichskette
{u-b
}
{ = }{u+r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
modulo $a$, wie behauptet.
Aufgrund von dieser Beobachtung können wir der Reihe nach folgende Belegungen erzielen \zusatzklammer {bzw. die Reste davon modulo a} {} {.}
\mathdisp {(0,0), (r,0), (2r,0), (3r,0), \ldots} { . }
Da $b$ teilerfremd zu $a$ ist, gibt es nach
dem Lemma von Bezout
positive ganze Zahlen $n,m$ mit
\mavergleichskettedisp
{\vergleichskette
{ ma-nb
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {Falls $n,m$ negativ sind, betrachtet man einfach
\mavergleichskettek
{\vergleichskettek
{ (sb+m)a-(sa+n)b
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein ausreichend großes $s$} {} {.}
Somit ist modulo $a$
\mavergleichskettedisp
{\vergleichskette
{ n r
}
{ \equiv} {- nb
}
{ =} { 1-ma
}
{ =} { 1
}
{ } {
}
}
{}{}{,}
sodass bei Division durch $a$ für ein gewisses $n$ der Rest von $nr$ gleich $1$ ist.
}
\inputaufgabepunkteloesung
{3}
{
Bestimme den Exponenten zu $2$ von
\mathl{203264}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{203264
}
{ =} {2 \cdot 101632
}
{ =} {2^2 \cdot 50816
}
{ =} {2^3 \cdot 25408
}
{ =} {2^4 \cdot 12704
}
}
{
\vergleichskettefortsetzungalign
{ =} {2^5 \cdot 6352
}
{ =} {2^6 \cdot 3176
}
{ =} {2^7 \cdot 1588
}
{ =} {2^8 \cdot 794
}
}
{
\vergleichskettefortsetzungalign
{ =} {2^9 \cdot 397
}
{ } {}
{ } {}
{ } {}
}{.}
Da $397$ ungerade ist, ist der Exponent zu $2$ von $203264$ gleich $9$.
}
\inputaufgabepunkteloesung
{4}
{
Eine Bahncard $25$, mit der man ein Jahr lang $25$ Prozent des Normalpreises einspart, kostet $62$ Euro und eine Bahncard $50$, mit der man ein Jahr lang $50$ Prozent des Normalpreises einspart, kostet $255$ Euro. Für welchen Jahresgesamtnormalpreis ist keine Bahncard, die Bahncard $25$ oder die Bahncard $50$ die günstigste Option?
}
{
Es sei $x$ der Gesamtnormalpreis. Mit BC25 hat man die Kosten
\mathdisp {y= 62+ { \frac{ 3 }{ 4 } } x} { }
und mit BC50 hat man die Kosten
\mathdisp {z= 255+ { \frac{ 1 }{ 2 } } x} { . }
Die Bedingung
\mathdisp {x \leq 62+ { \frac{ 3 }{ 4 } } x} { }
führt auf
\mathdisp {x \leq 248} { . }
Die Bedingung
\mathdisp {x \leq 255+ { \frac{ 1 }{ 2 } } x} { }
führt auf
\mathdisp {x \leq 510} { . }
Die Bedingung
\mathdisp {62+ { \frac{ 3 }{ 4 } } x \leq 255+ { \frac{ 1 }{ 2 } } x} { }
führt auf
\mathdisp {{ \frac{ 1 }{ 4 } } x \leq 255- 62 = 193} { , }
also
\mathdisp {x \leq 772} { . }
Also ist für $x \leq 248$ keine Bahncard die günstigste Option, für $248 \leq x \leq 772$ ist die BC25 die günstigste Option und für $x \geq 772$ ist die BC50 die günstigste Option.
}
\inputaufgabepunkteloesung
{4}
{
Zeige, dass die Größergleichrelation $\geq$ auf $\Q$ wohldefiniert ist.
}
{
Es seien
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { { \frac{ a }{ b } }
}
{ =} { { \frac{ a' }{ b' } }
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { { \frac{ c }{ d } }
}
{ =} { { \frac{ c' }{ d' } }
}
{ } {
}
{ } {
}
}
{}{}{}
die rationalen Zahlen, die verglichen werden sollen, wobei alle Nenner positiv seien. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ ab'
}
{ =} {a'b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{cd'
}
{ =} {c'd
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aus
\mavergleichskettedisp
{\vergleichskette
{ ad
}
{ \geq} {bc
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt sich dann
gemäß Lemma 19.13 (Grundkurs Mathematik (Osnabrück 2022-2023)) (6)
durch Multiplikation mit der positiven ganzen Zahl
\mathl{b'd'}{}
\mavergleichskettedisp
{\vergleichskette
{ad b'd'
}
{ \geq} {bc b'd'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies schreiben wir als
\mavergleichskettedisp
{\vergleichskette
{a' d bd'
}
{ \geq} {b c'b' d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus sich durch Kürzen mit der positiven ganzen Zahl
\mathl{db}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{a'd'
}
{ \geq} {b'c'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt, die
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ a' }{ b' } }
}
{ \geq} { { \frac{ c' }{ d' } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet. Wegen der Symmetrie der Situation gilt auch die Umkehrung. Die Beziehung
\mathl{\geq}{} ist also unabhängig von dem gewählten Bruchrepräsentanten.
}
\inputaufgabepunkteloesung
{2}
{
Unterteile die Strecke von
\mathl{{ \frac{ 2 }{ 7 } }}{} nach
\mathl{{ \frac{ 3 }{ 4 } }}{} rechnerisch in drei gleichlange Strecken.
}
{
Die Länge der Strecke ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 3 }{ 4 } } - { \frac{ 2 }{ 7 } }
}
{ =} { { \frac{ 21-8 }{ 28 } }
}
{ =} { { \frac{ 13 }{ 28 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Der dritte Teil davon ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 13 }{ 3 \cdot 28 } }
}
{ =} { { \frac{ 13 }{ 84 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Unterteilungspunkte, die die Strecke in drei gleichlange Stücke unterteilen, sind daher
\mathdisp {{ \frac{ 2 }{ 7 } } ,\, { \frac{ 2 }{ 7 } } + { \frac{ 13 }{ 84 } } = { \frac{ 24+ 13 }{ 84 } } = { \frac{ 37 }{ 84 } } ,\, { \frac{ 2 }{ 7 } } + 2 \cdot { \frac{ 13 }{ 84 } } = { \frac{ 24+ 26 }{ 84 } } = { \frac{ 50 }{ 84 } } = { \frac{ 25 }{ 42 } } ,\, { \frac{ 3 }{ 4 } }} { . }
}
\inputaufgabepunkteloesung
{1}
{
Skizziere die Funktion \maabbeledisp {} {\Q} {\Q } {x} { - \left \lfloor -x \right \rfloor } {.}