Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Arbeitsblatt 7/latex
\setcounter{section}{7}
\zwischenueberschrift{Die Pausenaufgabe}
\inputaufgabe
{}
{
Partnerarbeit: Denken Sie sich ein \zusatzklammer {kreatives, fieses, kontraintuitives, verrücktes} {} {} Modell für die \definitionsverweis {Dedekind-Peano-Axiome}{}{} aus und lassen Sie Ihren Partner darin zählen. Sie dürfen eine Startzahl vorgeben. Dann umgekehrt.
}
{} {}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabe
{}
{
Um Frau Maier-Sengupta und die gesamte Klasse verrückt zu machen, und um ihren persönlichen Charakter zu unterstreichen, entscheiden sich Gabi, Heinz, Lucy und Mustafa, in jeweils eigenen Zählsystemen zu zählen und Mengenangaben grundsätzlich in ihren individuellen Systemen anzugeben. Alle belassen es bei der $0$ als Startsymbol, ansonsten zählen sie folgendermaßen:
Gabi zählt mit den Primzahlen, also
\mathl{0,2,3,5,7,11, \ldots}{.}
Heinz zählt ohne Schnappszahlen, überspringt also alle mehrstelligen Zahlen, in denen nur eine Ziffer vorkommt.
Lucy zählt einfach negativ, also
\mathl{0,-1,-2,-3, -4,-5 ,\ldots}{.}
Mustafa zählt mit den Zehnerpotenzen, also
\mathl{0,1,10,100,1000,10000, \ldots}{.}
Frau Maier-Sengupta fragt die Kinder, wie viele Muscheln sie jeweils vom Schullandheim auf Juist mitgebracht haben. Die Kinder antworten wahrheitsgemäß, allerdings in ihren jeweiligen Systemen,
\wertetabellevierausteilzeilen { $P$ }
{\mazeileundvier {G} {H} {L} {M} }
{ $n(P)$ }
{\mazeileundvier {29} {63} {-17} {1000000000} }
Ist die Abbildung injektiv?
Wie sieht diese Wertetabelle aus, wenn sie vollständig in den jeweiligen Systemen (einschließlich des Systems der Lehrerin) ausgedrückt wird? Welche Umrechnungsstrategie ist dabei geschickt?
}
{} {}
\inputaufgabe
{}
{
Man gebe Beispiele $(M,0,')$ für Mengen mit einem ausgezeichneten Element $0 \in M$ und einer Abbildung \maabb {'} {M} {M } {} an, die je zwei der \definitionsverweis {Dedekind-Peano-Axiome}{}{} erfüllen, aber nicht das dritte.
}
{} {}
\inputaufgabe
{}
{
Es sei $\N$ die Menge der natürlichen Zahlen und $n \in \N$. Zeige, dass die Menge
\mavergleichskettedisp
{\vergleichskette
{ \N_{\geq n }
}
{ =} {{ \left\{ x \in \N \mid x \geq n \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ebenfalls die
\definitionsverweis {Dedekind-Peano-Axiome}{}{}
\zusatzklammer {mit welchem ausgezeichneten Element und mit welcher Nachfolgerabbildung} {?} {}
erfüllt.
}
{} {}
\inputaufgabe
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine unendliche Teilmenge der natürlichen Zahlen. Zeige, dass $T$
ebenfalls die
\definitionsverweis {Dedekind-Peano-Axiome}{}{}
\zusatzklammer {mit welchem ausgezeichneten Element und mit welcher Nachfolgerabbildung} {?} {}
erfüllt.
}
{} {}
\inputaufgabe
{}
{
Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{\N^\infty
}
{ \defeq} { \N \cup \{\infty\}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit $0$ als Startsymbol und wobei die übliche Nachfolgerabbildung durch
\mavergleichskettedisp
{\vergleichskette
{\infty'
}
{ =} { \infty
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergänzt wird. Welche der
\definitionsverweis {Dedekind-Peano-Axiome}{}{}
erfüllt diese Menge, welche nicht?
}
{} {}
\inputaufgabe
{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {NachfolgermitSchleife.png} }
\end{center}
\bildtext {} }
\bildlizenz { NachfolgermitSchleife.png } {} {Mgausmann} {Commons} {CC-by-sa 4.0} {}
Es sei
\mavergleichskette
{\vergleichskette
{N_1
}
{ = }{(\N, 0, \prime)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und es sei $N_2$ die rechts angegebene Menge mit dem Startsymbol oben links und der durch die Pfeile ausgedrückten Nachfolgerabbildung. An welcher Stelle bricht der Beweis von
Satz 7.2
in dieser Situation zusammen?
}
{} {}
\inputaufgabe
{}
{
Es sei $N_1$ die rechts angegebene Menge mit dem Startsymbol oben links und der durch die Pfeile ausgedrückten Nachfolgerabbildung und
\mavergleichskette
{\vergleichskette
{N_2
}
{ = }{(\N, 0, \prime)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
An welcher Stelle bricht der Beweis von
Satz 7.2
in dieser Situation zusammen?
}
{} {}
\inputaufgabe
{}
{
Es sei $N$ ein Modell für die natürlichen Zahlen und es sei $W$ die Menge der Wochentage mit dem Montag als Starttag und dem Nachfolgetag als Nachfolgerabbildung. \aufzaehlungzwei {Zeige, dass der Beweis zu Satz 7.2 eine wohldefinierte Abbildung \maabbdisp {\varphi} {N} {W } {} festlegt, die $0$ auf Montag abbildet und die Nachfolgerabbildung respektiert. Ist diese Abbildung surjektiv, ist sie injektiv? Wenn nicht, an welcher Stelle bricht der Beweis zusammen? } {Zeige, dass der Beweis zu Satz 7.2 keine wohldefinierte Abbildung \maabbdisp {\varphi} {W} {N } {} festlegt, die die Nachfolgerabbildung respektiert und den Montag auf $0$ abbildet. An welcher Stelle bricht der Beweis zusammen? }
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige ausgehend von den
\definitionsverweis {Dedekind-Peano-Axiomen}{}{,}
dass jedes Element
\mathl{n \in {\mathbb N}}{,} $n \neq 0$, einen Vorgänger besitzt.
}
{} {}
\inputaufgabegibtloesung
{}
{
Begründe aus den
\definitionsverweis {Dedekind-Peano-Axiomen}{}{}
die folgenden Eigenschaften.
\aufzaehlungzwei {Für die Nachfolgerabbildung gilt
\mavergleichskettedisp
{\vergleichskette
{x^\prime
}
{ \neq} {x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{x \in \N}{.}
} {Es sei
\mathl{n \in \N_+}{} fixiert und sei
\maabbdisp {\varphi_n} {\N} {\N
} {}
die $n$-fache
\definitionsverweis {Hintereinanderschaltung}{}{}
der Nachfolgerabbildung. Zeige
\mavergleichskettedisp
{\vergleichskette
{ \varphi(x)
}
{ \neq} {x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{x \in \N}{.}
}
}
{} {}
Die folgende Aufgabe gibt ein Beispiel, wie man Konzepte induktiv definieren kann.
\inputaufgabe
{}
{
Wir treffen die folgenden induktiven Festlegungen. \aufzaehlungdrei{Die $0$ ist gerade \zusatzklammer {und nicht ungerade} {} {.} }{Wenn eine natürliche Zahl gerade ist, dann ist der Nachfolger $n'$ ungerade. }{Wenn eine natürliche Zahl ungerade ist, dann ist der Nachfolger $n'$ gerade. } Zeige, dass dadurch für jede natürliche Zahl eindeutig die Eigenschaft gerade bzw. ungerade festgelegt ist.
}
{} {}
\inputaufgabe
{}
{
Für
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mavergleichskettedisp
{\vergleichskette
{a_k
}
{ =} { { \frac{ k-1 }{ k } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathdisp {\sum_{k = 1}^4 a_k} { . }
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten die Wertetabelle
\wertetabelleachtausteilzeilen { $i$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileunddrei {6} {7} {8} }
{ $a_i$ }
{\mazeileundfuenf {2} {5} {4} {-1} {3} }
{\mazeileunddrei {5} {-2} {2} }
\aufzaehlungvier{Berechne
\mathl{a_2+a_5}{.}
}{Berechne
\mathl{\sum_{k = 3}^6 a_k}{.}
}{Berechne
\mathl{\prod_{i = 0}^3 a_{2i+1}}{.}
}{Berechne
\mathl{\sum_{i = 4}^5 a^2_{i}}{.}
}
}
{} {}
\inputaufgabe
{}
{
Beweise durch Induktion die folgenden Formeln.
\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i
}
{ =} { \frac{n(n+1)}{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^2
}
{ =} { \frac{n(n+1)(2n+1)}{6}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^3
}
{ =} { { \left( \frac{n(n+1)}{2} \right) }^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
{} {}
\inputaufgabe
{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {TriNumbers.svg} }
\end{center}
\bildtext {} }
\bildlizenz { TriNumbers.svg } {} {} {Commons} {} {}
Man bringe den Ausdruck
\mathl{\sum_{i = 1}^n i}{} aus
Aufgabe 7.15
mit den sogenannten \stichwort {Dreieckszahlen} {} in Verbindung.
}
{} {}
\inputaufgabe
{}
{
Beweise die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n k
}
{ =} {{ \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ohne Induktion durch Betrachten der folgenden Tabelle.
\wertetabellesiebenausteilzeilen { $k$ }
{\mazeileundfuenf {1} {2} {3} {\ldots} {n-2} }
{\mazeileundzwei {n-1} {n} }
{ $n+1-k$ }
{\mazeileundfuenf {n} {n-1} {n-2} {\ldots} {3} }
{\mazeileundzwei {2} {1} }
}
{} {}
\inputaufgabegibtloesung
{}
{
\aufzaehlungvier{Skizziere vier Geraden in der Ebene, die sich insgesamt in genau drei Punkten schneiden. }{Skizziere vier Geraden in der Ebene, die sich in keinem Punkt schneiden. }{Skizziere vier Geraden in der Ebene, die sich in einem Punkt schneiden. }{Skizziere vier Geraden in der Ebene, die sich insgesamt in sechs Punkten schneiden. }
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige durch vollständige Induktion, dass für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zahl
\mathdisp {6^{n+2} + 7^{2n+1}} { }
ein Vielfaches von $43$ ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige mittels vollständiger Induktion für
\mathl{n \geq 1}{} die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n (-1)^k k
}
{ =} { \begin{cases} { \frac{ n }{ 2 } } \text{ bei } n \text{ gerade} , \\ - { \frac{ n+1 }{ 2 } } \text{ bei } n \text{ ungerade} \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
{} {}
\inputaufgabegibtloesung
{}
{
Beweise durch Induktion für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n (-1)^{k-1} k^2
}
{ =} { (-1)^{n+1} { \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Beweise durch Induktion, dass die Summe von aufeinanderfolgenden ungeraden Zahlen \zusatzklammer {beginnend bei $1$} {} {} stets eine Quadratzahl ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir behaupten, dass die Summe von vier aufeinanderfolgenden ungeraden Zahlen durch $8$ teilbar ist. \aufzaehlungzwei {Beweise diese Aussage mit vollständiger Induktion. } {Beweise diese Aussage ohne vollständige Induktion. }
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $x$ eine
\definitionsverweis {reelle Zahl}{}{,}
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Beweise für
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch Induktion die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 0}^n x^k
}
{ =} { { \frac{ x^{n+1} -1 }{ x-1 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Analysiere den Beweis zu Satz 6.10 als Induktionsbeweis.
}
{} {}
Die beiden folgenden Aufgaben sind intuitiv klar. Es geht darum, die Endlichkeit durch Angabe einer bijektiven Abbildung zwischen der Menge und einer Menge der Form
\mathl{\{ 1 , \ldots , k \}}{} zu begründen. Für die folgende Aufgabe ist
Lemma 6.9
hilfreich.
\inputaufgabe
{}
{
Zeige durch Induktion nach $n$, dass jede Teilmenge $T$ von
\mathl{{ \{ 1 , \ldots , n \} }}{} endlich ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $M$ eine endliche Menge und
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Zeige, dass $T$ ebenfalls endlich ist.
}
{} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sandklaffmuschel in Hand.JPG} }
\end{center}
\bildtext {} }
\bildlizenz { Sandklaffmuschel in Hand.JPG } {} {DanielD~commonswiki} {Commons} {CC-by-sa 3.0} {}
\inputaufgabe
{}
{
Die Schüler und Schülerinnen der Klasse 4c machen auf der Insel Juist eine Wattwanderung mit Wattführer Heino. Heino sagt, dass die Sandklaffmuschel, die eingegraben im Sand lebt, besonders schwer zu finden ist und er deshalb an der Stelle immer einen Pfeil in den Sand zeichnet, um sie das nächste Mal wiederzufinden. Die aufmerksamen Schüler und Schülerinnen fallen da natürlich nicht drauf rein und sagen, dass das nicht sein kann, da ja dann immer die Flut kommt und den Pfeil wegwischt. Gabi Hochster hingegen kommt mit dem Einwand, wie er denn dann zum ersten Mal überhaupt die Muschel gefunden hat.
Bringe die Einwände der Klasse mit dem Begriff der vollständigen Induktion in Zusammenhang.
}
{} {}
\inputaufgabe
{}
{
In der folgenden Argumentation wird durch Induktion bewiesen, dass alle Pferde die gleiche Farbe haben.
\anfuehrung{Es sei $A(n)$ die Aussage, dass je $n$ Pferde stets untereinander die gleiche Farbe haben. Induktionsanfang: Wenn nur ein Pferd da ist, so hat dieses eine bestimmte Farbe und die Aussage ist richtig. Für den Induktionsschritt sei vorausgesetzt, dass je $n$ Pferde stets untereinander die gleiche Farbe haben. Es seien jetzt
\mathl{n+1}{} Pferde gegeben. Wenn man eines herausnimmt, so weiß man nach der Induktionsvoraussetzung, dass die verbleibenden $n$ Pferde untereinander die gleiche Farbe haben. Nimmt man ein anderes Pferd heraus, so haben die jetzt verbleibenden Pferde wiederum untereinander die gleiche Farbe. Also haben all diese
\mathl{n+1}{} Pferde überhaupt die gleiche Farbe}{.} Analysiere diese Argumentation.
}
{} {}
\inputaufgabe
{}
{
Eine natürliche Zahl heißt \stichwort {besonders} {,} wenn sie eine für sie spezifische, benennbare Eigenschaft erfüllt. Die $0$ ist als neutrales Element der Addition und die $1$ ist als neutrales Element der Multiplikation besonders. Die $2$ ist die erste Primzahl, die $3$ ist die kleinste ungerade Primzahl, die $4$ ist die erste echte Quadratzahl, die $5$ ist die Anzahl der Finger einer Hand, die $6$ ist die kleinste aus verschiedenen Faktoren zusammengesetzte Zahl, die $7$ ist die Anzahl der Zwerge im Märchen, u.s.w., diese Zahlen sind also alle besonders. Gibt es eine Zahl, die nicht besonders ist? Gibt es eine kleinste Zahl, die nicht besonders ist?
}
{} {}
\inputaufgabegibtloesung
{}
{
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?
}
{} {}
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{2}
{
Für
\mavergleichskette
{\vergleichskette
{k
}
{ = }{1 , \ldots , 8
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mavergleichskettedisp
{\vergleichskette
{a_k
}
{ =} { 2^k-5k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathdisp {\sum_{k = 1}^8 a_k} { . }
}
{} {}
\inputaufgabe
{2}
{
Für jedes
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mavergleichskettedisp
{\vergleichskette
{ a_k
}
{ =} { { \frac{ k }{ 2k+1 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathdisp {\sum_{k = 0}^5 a_k} { . }
}
{} {}
\inputaufgabe
{3}
{
Die Städte
\mathl{S_1, \ldots, S_n}{} seien untereinander durch Straßen verbunden und zwischen zwei Städten gibt es immer genau eine Straße. Wegen Bauarbeiten sind zur Zeit alle Straßen nur in eine Richtung befahrbar. Zeige, dass es trotzdem
mindestens eine Stadt gibt, von der aus alle anderen Städte erreichbar sind.
}
{} {}
\inputaufgabe
{4}
{
Eine $n$-Schokolade ist ein rechteckiges Raster, das durch
\mathl{a -1}{} Längsrillen und
\mathl{b-1}{} Querrillen in
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{a \cdot b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{a,b
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
mundgerechte kleinere Rechtecke eingeteilt ist. Ein Teilungsschritt an einer Schokolade ist das vollständige Durchtrennen einer Schokolade längs einer Längs- oder Querrille. Eine vollständige Aufteilung einer Schokolade ist eine Folge von Teilungsschritten
\zusatzklammer {an der Ausgangsschokolade oder an einer zuvor erhaltenen Zwischenschokolade} {} {,}
deren Endprodukt aus den einzelnen Mundgerechtecken besteht. Zeige durch Induktion, dass jede vollständige Aufteilung einer $n$-Schokolade aus genau
\mathl{n-1}{} Teilungsschritten besteht.
}
{} {}