Kurs:Grundkurs Mathematik/Teil I/9/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}{ 3 }
\renewcommand{\avier}{ 1 }
\renewcommand{\afuenf}{ 3 }
\renewcommand{\asechs}{ 2 }
\renewcommand{\asieben}{ 2 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 2 }
\renewcommand{\azehn}{ 5 }
\renewcommand{\aelf}{ 2 }
\renewcommand{\azwoelf}{ 4 }
\renewcommand{\adreizehn}{ 4 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 2 }
\renewcommand{\asechzehn}{ 5 }
\renewcommand{\asiebzehn}{ 2 }
\renewcommand{\aachtzehn}{ 4 }
\renewcommand{\aneunzehn}{ 4 }
\renewcommand{\azwanzig}{ 3 }
\renewcommand{\aeinundzwanzig}{ 3 }
\renewcommand{\azweiundzwanzig}{ 64 }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabelleeinundzwanzig
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Die
\stichwort {Kontraposition} {}
zu einer Implikation
\mathl{\alpha \rightarrow \beta}{.}
}{Die \stichwort {Potenzmenge} {} zu einer Menge $M$.
}{Eine \stichwort {injektive} {} Abbildung \maabbdisp {f} {L} {M } {.}
}{Die $n$-te \stichwort {Potenz} {} zu einer natürlichen Zahl $a$.
}{Die \stichwort {Größergleichrelation} {} auf den ganzen Zahlen.
}{Eine \stichwort {rationale Zahl} {.} }
}
{
\aufzaehlungsechs{Zur Implikation
\mathl{\alpha \rightarrow \beta}{} heißt die Implikation
\mathl{\neg \beta \rightarrow \neg \alpha}{} die
Kontraposition.
}{Zu einer Menge $M$ nennt man die Menge aller Teilmengen von $M$ die Potenzmenge von $M$.
}{Die Abbildung
\maabbdisp {f} {L} {M
} {}
ist injektiv, wenn für je zwei verschiedene Elemente
\mathl{x,y \in L}{} auch
\mathl{f(x)}{} und
\mathl{f(y)}{} verschieden sind.
}{Unter der $n$-ten Potenz von $a$ versteht man die $n$-fache Multiplikation von $a$ mit sich selbst
\mathdisp {a \cdot a \cdots a \cdot a} { }
\zusatzklammer {$n$ Faktoren} {} {.}
}{Die
Größergleichrelation
ist durch
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wenn es eine natürliche Zahl $n$ mit
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {b+n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt, festgelegt.
}{Unter einer rationalen Zahl versteht man einen Ausdruck der Form
\mathdisp {{ \frac{ a }{ b } }} { , }
wobei
\mathl{a, b \in \Z}{} und
\mathl{b \neq 0}{} sind, und wobei zwei Ausdrücke
\mathkor {} {{ \frac{ a }{ b } }} {und} {{ \frac{ c }{ d } }} {}
genau dann als gleich betrachtet werden, wenn
\mathl{ad=bc}{}
\zusatzklammer {in $\Z$} {} {}
gilt.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der Satz über die Eindeutigkeit der Addition auf einem Peano-Modell.}{Der Satz über die Verträglichkeit der Größergleichrelation $\geq$ auf $\N$ mit der Addition und mit der Multiplikation.}{Das \stichwort {Lemma von Euklid} {.}}
}
{
\aufzaehlungdrei{Auf den
\definitionsverweis {natürlichen Zahlen}{}{}
gibt es genau eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {} {\N \times \N} {\N
} {(x,y)} { x+y
} {,}
mit
\mathdisp {x+0=x \text { für alle } x \in \N \text{ und } x+y' =(x+y)' \text { für alle } x,y \in \N} { . }
}{Die Verträglichkeit mit der Addition besagt: Es ist
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann, wenn
\mavergleichskettedisp
{\vergleichskette
{a+c
}
{ \geq} {b+c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
Die Verträglichkeit mit der Multiplikation besagt: Aus
\mavergleichskettedisp
{\vergleichskette
{a
}
{ \geq} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt
\mavergleichskettedisp
{\vergleichskette
{ca
}
{ \geq} {cb
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Es sei $p$ eine
\definitionsverweis {Primzahl}{}{}
und $p$ teile ein Produkt $ab$ von natürlichen Zahlen
\mathl{a,b \in \N}{.} Dann teilt $p$ einen der Faktoren.}
}
\inputaufgabepunkteloesung
{3}
{
Zeige, dass der aussagenlogische Ausdruck
\mathdisp {{ \left( r \rightarrow { \left( p \wedge \neg q \right) } \right) } \rightarrow { \left( \neg p \rightarrow { \left( \neg r \vee q \right) } \right) }} { }
\definitionsverweis {allgemeingültig}{}{}
ist
}
{
Wir müssen zeigen, dass für jede Wahrheitsbelegung $\lambda$ der Variablen $r,p,q$ der Wahrheitswert der Gesamtaussage gleich $1$ ist. Bei
\mavergleichskette
{\vergleichskette
{\lambda(p)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{\lambda(\neg p)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit ist der Nachsatz und die Gesamtaussage wahr. Es sei also im Folgenden
\mavergleichskette
{\vergleichskette
{\lambda(p)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{\lambda(p \wedge \neg q )
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei
\mavergleichskette
{\vergleichskette
{\lambda(r)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Vordersatz falsch und somit die Gesamtaussage wahr. Es sei also
\mavergleichskette
{\vergleichskette
{\lambda(r)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist der Vordersatz wahr und wir müssen zeigen, dass auch der Nachsatz wahr ist. Es ist dann
\mavergleichskette
{\vergleichskette
{\lambda(\neg r)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\lambda( \neg r \vee q)
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also ist auch in diesem Fall der Nachsatz und die Gesamtaussage wahr.
}
\inputaufgabepunkteloesung
{1}
{
Wir betrachten den Satz \anfuehrung{Lucy Sonnenschein tanzt auf allen Hochzeiten}{.} Negiere diesen Satz durch eine Existenzaussage.
}
{
Es gibt eine Hochzeit, auf der Lucy Sonnenschein nicht tanzt.
}
\inputaufgabepunkteloesung
{3}
{
Erläutere das Prinzip \stichwort {Beweis durch Widerspruch} {} für eine Aussage der Form \anfuehrung{Aus $A$ folgt $B$}{.}
}
{
Man möchte zeigen, dass aus einer Aussage $A$ eine weitere Aussage $B$ folgt. Beim Beweis durch Widerspruch nimmt man an, dass gleichzeitig $A$ und nicht $B$ gelten. Unter diesen Voraussetzungen zeigt man, dass sich ein Widerspruch ergibt. Dies bedeutet, dass $A$ und nicht $B$ nicht gleichzeitig gelten können, was eben die Implikation
\mathl{A \implies B}{} bedeutet.
}
\inputaufgabepunkteloesung
{2 (1+1)}
{
Wir betrachten auf der Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \{a,b,c,d \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die durch die Tabelle
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\star$ }
\renewcommand{\leitzeileeins}{ $a$ }
\renewcommand{\leitzeilezwei}{ $b$ }
\renewcommand{\leitzeiledrei}{ $c$ }
\renewcommand{\leitzeilevier}{ $d$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $a$ }
\renewcommand{\leitspaltezwei}{ $b$ }
\renewcommand{\leitspaltedrei}{ $c$ }
\renewcommand{\leitspaltevier}{ $d$ }
\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}{ c }
\renewcommand{\aeinsxzwei}{ a }
\renewcommand{\aeinsxdrei}{ a }
\renewcommand{\aeinsxvier}{ a }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ d }
\renewcommand{\azweixzwei}{ d }
\renewcommand{\azweixdrei}{ b }
\renewcommand{\azweixvier}{ b }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ a }
\renewcommand{\adreixzwei}{ b }
\renewcommand{\adreixdrei}{ c }
\renewcommand{\adreixvier}{ c }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ b }
\renewcommand{\avierxzwei}{ a }
\renewcommand{\avierxdrei}{ d }
\renewcommand{\avierxvier}{ d }
\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
gegebene Verknüpfung $\star$.
\aufzaehlungzwei {Berechne
\mathdisp {b \star ( c \star (d \star a))} { . }
} {Besitzt die Verknüpfung $\star$ ein neutrales Element?
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettedisp
{\vergleichskette
{b \star ( c \star (d \star a))
}
{ =} {b \star ( c \star b)
}
{ =} {b \star b
}
{ =} { d
}
{ } {
}
}
{}{}{}
} {Die Verknüpfung besitzt kein neutrales Element, da die Leitzeile in der Verknüpfungstabelle nicht als Ergebniszeile wiederkehrt.
}
}
\inputaufgabepunkteloesung
{2}
{
Es seien
\mathl{L,M,N}{} Mengen und
\maabb {F} {L} {M
} {}
und
\maabb {G} {M} {N
} {}
\definitionsverweis {surjektive Abbildungen}{}{.}
Zeige, dass die
\definitionsverweis {Hintereinanderschaltung}{}{}
\mathl{G \circ F}{} ebenfalls surjektiv ist.
}
{
Sei
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Aufgrund der Surjektivität von $G$ gibt es ein
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{G(y)
}
{ =} {z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Surjektivität von $F$ gibt es ein
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Insgesamt ist
\mavergleichskettedisp
{\vergleichskette
{ (G \circ F ) (x)
}
{ =} { G(F(x))
}
{ =} { G(y)
}
{ =} { z
}
{ } {
}
}
{}{}{,}
es gibt also ein Urbild von $z$ und somit ist die Gesamtabbildung surjektiv.
}
\inputaufgabepunkteloesung
{3}
{
Beweise durch Induktion, dass die Summe von aufeinanderfolgenden ungeraden Zahlen \zusatzklammer {beginnend bei $1$} {} {} stets eine Quadratzahl ist.
}
{
Eine ungerade Zahl hat die Form
\mathl{2k-1}{,} die Summe der ersten $n$ ungeraden Zahlen ist also gleich
\mathdisp {\sum_{k = 1}^n ( 2k-1 )} { . }
Wir behaupten, dass dies gleich $n^2$ ist. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Aussage richtig, da die Summe gleich
\mavergleichskette
{\vergleichskette
{ 1
}
{ = }{ 1^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Es sei die Aussage nun für ein $n$ schon bewiesen. Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^{n+1} ( 2k-1 )
}
{ =} { \sum_{k = 1}^{n} ( 2k-1 ) +2n+1
}
{ =} { n^2+2n+1
}
{ =} { (n+1)^2
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{2}
{
Finde die kleinste natürliche Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die sowohl eine Quadratzahl als auch eine Kubikzahl ist.
}
{
Die Antwort ist
\mavergleichskettedisp
{\vergleichskette
{64
}
{ =} {8^2
}
{ =} { 4^3
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Kubikzahlen unterhalb davon sind
\mathl{1,8,27}{,} die bis auf $1$ keine Quadratzahl sind, und $1$ ist von vornherein ausgeschlossen.
}
\inputaufgabepunkteloesung
{5 (1+4)}
{
Ein Cocktailmixer verfügt über zwei Verarbeitungstechniken, nämlich schüt\-teln und rühren, wobei in jedem Arbeitsgang stets zwei Grundzutaten bzw. Zwischenprodukte miteinander verarbeitet werden. Bei jedem Cocktail wird jede Grundzutat bei genau einem Arbeitsvorgang verarbeitet \zusatzklammer {wobei die dabei entstehenden Zwischenprodukte weiterverarbeitet werden können} {} {.} Als Grundzutaten stehen Orangensaft, Zitronensaft, Pfefferminzblätter und Rum zur Verfügung. \aufzaehlungzwei {Beschreibe die Zubereitung eines Cocktails, so dass jede Verarbeitungstechnik mindestens einmal vorkommt. } {Auf wie viele Arten kann er aus den Zutaten einen Cocktail mixen? }
}
{
\aufzaehlungzwei {Eine Möglichkeit ist, zuerst den Rum mit dem Zitronensaft zusammen schütteln, dieses Zwischenprodukt mit den Pfefferminzblättern zusammen rühren und dieses Zwischenprodukt mit dem Orangensaft zusammen schütteln.
} {Für die Verarbeitung gibt es grundsätzlich die beiden skizzierten Verarbeitungs\-bäume.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Baum1.png} }
\end{center}
\bildtext {} }
\bildlizenz { Baum1.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Baum2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Baum2.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
An den äußeren \anfuehrung{Blättern}{} gehen die Grundzutaten ein, und an jeder Vereinigungstelle kann geschüttelt oder gerührt werden. Betrachten wir zunächst den linken Verarbeitungsbaum. Da die Situation symmetrisch ist, kann man ohne Einschränkung sagen, dass eine fixierte Zutat
\zusatzklammer {beispielsweise der Orangensaft} {} {}
im linken Paar verarbeitet wird. Daher gibt es im Wesentlichen drei Möglichkeiten, wie die Zutaten paarweise aufgeteilt werden. Für jede Zutatenaufteilung kann man sich in jedem Verarbeitungsschritt entscheiden, ob man schüttelt oder rührt. Somit gibt es
\mavergleichskette
{\vergleichskette
{3 \cdot 8
}
{ = }{ 24
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Möglichkeiten im linken Verarbeitungsbaum.
Betrachten wir nun den rechten Verarbeitungsbaum. Es gibt
\mavergleichskette
{\vergleichskette
{ \binom { 4 } { 2 }
}
{ = }{6
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zweielementige Teilmengen und somit sechs Auswahlmöglichkeiten für das zuerst zu verarbeitende Zutatenpaar. Für die mit dem daraus resultierenden Zwischenprodukt zu verarbeitende Zutat gibt es jeweils zwei Möglichkeiten, also gibt es $12$ Möglichkeiten für die Zutatenreihenfolge. Unter Berücksichtigung der Verarbeitungstechniken gibt es hier somit
\mavergleichskette
{\vergleichskette
{12 \cdot 8
}
{ = }{ 96
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Insgsamt gibt es also
\mavergleichskette
{\vergleichskette
{24 + 96
}
{ = }{ 120
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mögliche Cocktails.
}
}
\inputaufgabepunkteloesung
{2}
{
Es sei $n$ eine natürliche Zahl. Wann ist die Zahl
\mathl{n^2-1}{} eine
\definitionsverweis {Primzahl}{}{?}
}
{
Es gilt generell die Zerlegung
\mavergleichskettedisp
{\vergleichskette
{n^2-1
}
{ =} {(n-1)(n+1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei
\mathl{n \geq 3}{} sind beide Faktoren
\mathl{\geq 2}{} und daher kann $n^2-1$ nicht prim sein. Bei
\mathl{n=2}{} ist
\mavergleichskettedisp
{\vergleichskette
{2^2-1
}
{ =} {3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine Primzahl. Bei
\mathl{n=0,1}{} liegt keine Primzahl vor.
}
\inputaufgabepunkteloesung
{4}
{
Es sei $M$ eine $n$-elementige Menge und sei
\mathdisp {B={ \left\{ F:M \rightarrow M \text{ Abbildung} \mid F \text{ bijektiv} \right\} }} { . }
Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{ { \# \left( B \right) }
}
{ =} {n!
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{}
ist.
}
{
Wir zeigen etwas allgemeiner, dass es zwischen zwei endlichen Mengen
\mathkor {} {M} {und} {N} {,}
die beide $n$ Elemente besitzen, $n!$ bijektive Abbildungen gibt. Dies zeigen wir durch Induktion nach $n$, wobei der Fall
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
klar ist. Die Aussage sei nun für $n$ schon bewiesen und es liegen zwei
\mathl{(n+1)}{-}elementige Mengen
\mathkor {} {M} {und} {N} {}
vor. Es sei
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein fixiertes Element. Dann gibt es für die Bilder
\mathl{\varphi(x)}{} genau
\mathl{n+1}{} Möglichkeiten, nämlich die Anzahl der Menge $N$. Wenn dies festgelegt ist, so entsprechen die bijektiven Abbildungen von $M$ nach $N$ mit
\mavergleichskettedisp
{\vergleichskette
{\varphi(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den bijektiven Abbildungen von
\mathl{M \setminus \{x\}}{} nach
\mathl{N \setminus \{y\}}{.} Nach Induktionsvoraussetzung gibt es $n!$ solche bijektiven Abbildungen. Daher ist die Anzahl der bijektiven Abbildungen zwischen
\mathkor {} {M} {und} {N} {}
gleich
\mavergleichskettedisp
{\vergleichskette
{(n+1) \cdot n!
}
{ =} { (n+1)!
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{4 (1+3)}
{
\aufzaehlungzwei {Berechne $3^2$ im Vierersystem, $4^2$ im Fünfersystem und $9^2$ im Zehnersystem.
} {Zeige, dass im kleinen Einmaleins
\zusatzklammer {ohne die Zehnerreihe} {} {}
zur Basis
\mathl{n \geq 3}{} rechts unten die Zahl mit den Ziffern
\mathl{n-2}{} und $1$ steht.
}
}
{
\aufzaehlungzwei {Es ist in den jeweiligen Systemen
\mavergleichskettedisp
{\vergleichskette
{3^2
}
{ =} {21
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{4^2
}
{ =} {31
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{9^2
}
{ =} {81
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {Im kleinen Einmaleins steht rechts unten das Produkt der höchsten einstelligen Ziffer mit sich selbst, also
\mathl{(n-1)(n-1)}{.} Nach der zweiten binomischen Formel ist dies
\mavergleichskettedisp
{\vergleichskette
{ (n-1)(n-1)
}
{ =} { n^2 -2n +1
}
{ =} { (n-2) n +1
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{0
}
{ < }{n-2
}
{ < }{n
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Ziffernentwicklung dieser Zahl gerade
\mathl{n-2 \, \,\, \,\,1}{.}
}
}
\inputaufgabepunkteloesung
{4}
{
Bestimme in $\Z$ mit Hilfe des euklidischen Algorithmus den \definitionsverweis {größten gemeinsamen Teiler}{}{} von $5371400$ und $695700$.
}
{
Es ist offenbar $100$ ein gemeinsamer Teiler der beiden Zahlen, deshalb bestimmen wir den größten gemeinsamen Teiler von
\mathkor {} {53714} {und} {6957} {.}
Der Euklidische Algorithmus liefert:
\mathdisp {53714 = 7 \cdot 6957 + 5015} { }
\mathdisp {6957 = 1 \cdot 5015 + 1942} { }
\mathdisp {5015 = 2 \cdot 1942 + 1131} { }
\mathdisp {1942 = 1 \cdot 1131 + 811} { }
\mathdisp {1131 = 1 \cdot 811 + 320} { }
\mathdisp {811 = 2 \cdot 320 + 171} { }
\mathdisp {320 = 1 \cdot 171 + 149} { }
\mathdisp {171 = 1 \cdot 149 +22} { }
\mathdisp {149 = 6 \cdot 22 + 17} { }
\mathdisp {22 = 1 \cdot 17 +5} { }
Daher sind die beiden um $100$ gekürzten Zahlen teilerfremd und der größte gemeinsame Teiler der beiden Ausgangszahlen ist $100$.
}
\inputaufgabepunkteloesung
{2}
{
Bestimme den Exponenten zu $3$ von
\mathl{72657}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{72657
}
{ =} {3 \cdot 24219
}
{ =} {3^2 \cdot 8073
}
{ =} {3^3 \cdot 2691
}
{ =} {3^4 \cdot 897
}
}
{
\vergleichskettefortsetzungalign
{ =} {3^5 \cdot 299
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{299
}
{ =} { 99 \cdot 3 +2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist $299$ nicht durch $3$ teilbar, also ist der Exponent zu $3$ von $72657$ gleich $5$.
}
\inputaufgabepunkteloesung
{5 (1+1+1+2)}
{
Ein Zug ist $500$ Meter lang \zusatzklammer {ohne Lokomotive} {} {} und bewegt sich mit $180$ Stundenkilometer. Lucy Sonnenschein hat ihr Fahrrad mit in den Zug genommen und fährt mit einer Geschwindigkeit von $20$ Metern pro Sekunde von ganz vorne nach ganz hinten. \aufzaehlungvier{Wie viele Sekunden benötigt Lucy für die gesamte Zuglänge? }{Welche Geschwindigkeit \zusatzklammer {in Meter pro Sekunde} {} {} hat Lucy bezogen auf die Umgebung? }{Welche Entfernung \zusatzklammer {in Meter} {} {} legt der Zug während der Fahrradfahrt zurück? }{Berechne auf zwei verschiedene Arten, welche Entfernung Lucy während ihrer Fahrradfahrt bezogen auf die Umgebung zurücklegt. }
}
{
\aufzaehlungvier{Lucy benötigt $25$ Sekunden für den $500$ Meter langen Zug.
}{In Meter pro Sekunde hat der Zug eine Geschwindigkeit von
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 180 000 }{ 3600 } }
}
{ =} {{ \frac{ 180 0 }{ 36 } }
}
{ =} { 50
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die beiden Bewegungen sich überlagern, aber in umgekehrter Richtung ausgerichtet sind, ist die Gesamtgeschwindigkeit von Lucy gleich $30$ Meter pro Sekunde.
}{In den $25$ Sekunden legt der Zug
\mavergleichskettedisp
{\vergleichskette
{25 \cdot 50
}
{ =} { 1250
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Meter zurück.
}{Man kann von der vom Zug zurückgelegten Strecke die von Lucy im Zug zurückgelegte Strecke subtrahieren, dies ergibt
\mavergleichskettedisp
{\vergleichskette
{1250 -500
}
{ =} { 750
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Meter. Ebenso kann man mit ihrer Geschwindigkeit bezogen auf die Umgebung rechnen, und erhält ebenfalls
\mavergleichskettedisp
{\vergleichskette
{ 25 \cdot 30
}
{ =} { 750
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Meter.
}
}
\inputaufgabepunkteloesung
{2}
{
Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und $x,y \geq 0$. Zeige, dass
\mavergleichskette
{\vergleichskette
{x
}
{ \geq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau dann gilt, wenn
\mavergleichskette
{\vergleichskette
{x^2
}
{ \geq }{y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
{
Wenn
\mathl{x \geq y}{} ist, so folgt daraus durch Multiplikation mit
\mathl{y \geq 0}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{xy
}
{ \geq} {y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und durch Multiplikation mit
\mathl{x \geq 0}{} auch
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ \geq} {xy
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus sich insgesamt
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ \geq} {y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt.
Es sei nun
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ \geq} {y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
vorausgesetzt. Wenn
\mavergleichskettedisp
{\vergleichskette
{x
}
{ <} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten würde, so würde sich mit der Hinrichtung direkt
\mavergleichskettedisp
{\vergleichskette
{y^2
}
{ \geq} {x^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergeben, also insgesamt
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} {y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wegen
\mathl{x,y \geq 0}{} folgt daraus
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
ein Widerspruch.
}
\inputaufgabepunkteloesung
{4}
{
Es seien
\mathl{x,y}{} rationale Zahlen. Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{ x- \left \lfloor x \right \rfloor
}
{ =} { y- \left \lfloor y \right \rfloor
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
genau dann gilt, wenn es ein
\mathl{n \in \Z}{} mit
\mathl{y=x+n}{} gibt.
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ x- \left \lfloor x \right \rfloor
}
{ = }{ y- \left \lfloor y \right \rfloor
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da
\mathl{\left \lfloor x \right \rfloor, \left \lfloor y \right \rfloor}{} ganze Zahlen sind, ist
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{\left \lfloor y \right \rfloor - \left \lfloor x \right \rfloor
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ganzzahlig. Damit gilt
\mavergleichskettealign
{\vergleichskettealign
{ y
}
{ =} { \left \lfloor y \right \rfloor + (y - \left \lfloor y \right \rfloor )
}
{ =} { \left \lfloor y \right \rfloor + (x - \left \lfloor x \right \rfloor )
}
{ =} { x + \left \lfloor y \right \rfloor - \left \lfloor x \right \rfloor
}
{ =} { x + n
}
}
{}
{}{.}
Es sei nun
\mathl{y=x+n}{} mit
\mathl{n \in \Z}{.} Aus der definierenden Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x \right \rfloor
}
{ \leq} {x
}
{ <} { \left \lfloor x \right \rfloor + 1
}
{ } {
}
{ } {
}
}
{}{}{}
folgt
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x \right \rfloor +n
}
{ \leq} {x +n
}
{ <} { \left \lfloor x \right \rfloor + n+1
}
{ } {
}
{ } {
}
}
{}{}{,}
daher muss
\mavergleichskettedisp
{\vergleichskette
{ \left \lfloor x+n \right \rfloor
}
{ =} {\left \lfloor x \right \rfloor + n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
sein. Somit ist
\mavergleichskettealign
{\vergleichskettealign
{ y- \left \lfloor y \right \rfloor
}
{ =} {x +n - \left \lfloor x+n \right \rfloor
}
{ =} { x+n - ( \left \lfloor x \right \rfloor + n)
}
{ =} { x- \left \lfloor x \right \rfloor
}
{ } {
}
}
{}
{}{.}
}
\inputaufgabepunkteloesung
{4}
{
Beweise die Bernoulli-Ungleichung für einen angeordneten Körper.
}
{
Wir führen Induktion über $n$. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht beidseitig $1$, so dass die Aussage gilt. Es sei nun die Aussage für $n$ bereits bewiesen. Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ (1+x)^{n+1}
}
{ =} { (1+x)^{n} (1+x)
}
{ \geq} { (1+nx)(1+x)
}
{ =} { 1+(n+1)x + nx^2
}
{ \geq} { 1+(n+1)x
}
}
{}
{}{,}
da Quadrate
\zusatzklammer {und positive Vielfache davon} {} {}
in einem angeordneten Körper nichtnegativ sind.
}
\inputaufgabepunkteloesung
{3}
{
Bestimme vom achten Teil des Dezimalbruches
\mathdisp {760982393473{,}90354771045729} { }
die dritte Nachkommaziffer.
}
{
Wir müssen die Zahl dreimal hintereinander halbieren. Beim Halbierungsvorgang hängt die $i$-te Ziffer
gemäß Lemma 26.13 (Grundkurs Mathematik (Osnabrück 2022-2023))
nur von der $i$-ten und der $(i+1)$-ten Ziffer der zu halbierenden Zahl ab. Für die Berechnung der dritten Nachkommastelle des achten Anteils sind also nur die Ziffern
\mathl{a_0 a_{-1} a_{-2} a_{-3}}{} relevant. Wir müssen also nur
\mathdisp {3,903} { }
achteln. Die Hälfte davon ist nach dem Algorithmus gleich
\zusatzklammer {die Ziffern ab der vierten Nachkommastelle muss man nicht ausrechnen} {} {}
\mathdisp {1,9515} { , }
die Hälfte davon ist
\mathdisp {0,9 75 7 5} { , }
die Hälfte davon ist
\mathdisp {0,4 8 78 7 5} { , }
die dritte Nachkommaziffer der Achtelung ist also $7$.
}
\inputaufgabepunkteloesung
{3}
{
Im Bruch
\mathdisp {{ \frac{ 3024 }{ 1312 } }} { }
sind Zähler und Nenner im Fünfersystem gegeben. Rechne ihn ins Zehnersystem um.
}
{
Es ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 3024 }{ 1312 } }
}
{ =} { { \frac{ 3\cdot 5^3 + 2 \cdot 5 + 4 }{ 1 \cdot 5^3 + 3 \cdot 5^2 + 1 \cdot 5 + 2 } }
}
{ =} { { \frac{ 3\cdot 125 + 2 \cdot 5 + 4 }{ 1 \cdot 125 + 3 \cdot 25 + 1 \cdot 5 + 2 } }
}
{ =} { { \frac{ 375 + 10 + 4 }{ 125 + 75 + 5 + 2 } }
}
{ =} { { \frac{ 389 }{ 207 } }
}
}
{}{}{.}
Diese Darstellung ist gekürzt.
}