Kurs:Grundkurs Mathematik/Teil II/16/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}{ 2 }
\renewcommand{\afuenf}{ 1 }
\renewcommand{\asechs}{ 5 }
\renewcommand{\asieben}{ 4 }
\renewcommand{\aacht}{ 7 }
\renewcommand{\aneun}{ 3 }
\renewcommand{\azehn}{ 3 }
\renewcommand{\aelf}{ 5 }
\renewcommand{\azwoelf}{ 5 }
\renewcommand{\adreizehn}{ 5 }
\renewcommand{\avierzehn}{ 3 }
\renewcommand{\afuenfzehn}{ 5 }
\renewcommand{\asechzehn}{ 7 }
\renewcommand{\asiebzehn}{ 64 }
\renewcommand{\aachtzehn}{ }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesechzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden
\zusatzklammer {kursiv gedruckten} {} {} Begriffe.
\aufzaehlungsechs{Eine
\stichwort {Linearkombination} {}
zu Vektoren
\mathl{v_1 , \ldots , v_n}{} im $K^m$.
}{Die \stichwort {Matrizenmultiplikation} {.}
}{Die \stichwort {Transitivität} {} einer \definitionsverweis {Relation}{}{} $R$ auf einer Menge $M$.
}{Die \stichwort {Konvergenz} {} einer Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in einem angeordneten Körper $K$ gegen $x \in K$.
}{Ein \stichwort {vollständig} {} angeordneter Körper $K$.
}{Die
\stichwort {Unabhängigkeit} {}
von Ereignissen
\mavergleichskettedisp
{\vergleichskette
{E,F
}
{ \subseteq} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in einem endlichen Wahrscheinlichkeitsraum
\mathl{(M, P)}{.}
}
}
{
\aufzaehlungsechs{Eine Summe
\mathdisp {\sum_{i = 1}^n s_i v_i} { }
mit Skalaren
\mathl{s_1 , \ldots , s_n \in K}{} nennt man eine Linearkombination der gegebenen Vektoren.
}{Es sei $K$ ein
\definitionsverweis {Körper}{}{} und es sei $A$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
und $B$ eine $n\times p$-Matrix über $K$. Dann ist das Matrixprodukt
\mathdisp {AB} { }
diejenige
\mathl{m\times p}{-}Matrix, deren Einträge durch
\mavergleichskettedisp
{\vergleichskette
{ c_{ik}
}
{ =} {\sum_{j = 1}^n a_{ij} b_{jk}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sind.
}{Die Relation $R$ heißt transitiv, wenn aus
\mathl{xRy}{} und
\mathl{yRz}{} stets
\mathl{xRz}{} folgt.
}{Man sagt, dass die Folge gegen $x$ konvergiert, wenn folgende Eigenschaft erfüllt ist.
Zu jedem
\mathbed {\epsilon \in K} {}
{\epsilon > 0} {}
{} {} {} {,}
gibt es ein
\mathl{n_0 \in \N}{} derart, dass für alle
\mathl{n \geq n_0}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n-x }
}
{ \leq} {\epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Ein angeordneter Körper $K$ heißt vollständig, wenn jede \definitionsverweis {Cauchy-Folge}{}{}
in $K$ \definitionsverweis {konvergiert}{}{.}
}{Die Ereignisse
\mathkor {} {E} {und} {F} {}
heißen
unabhängig,
wenn
\mavergleichskettedisp
{\vergleichskette
{ P (E \cap F)
}
{ =} { P(E) \cdot P(F)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der Satz über die algebraische Struktur der Restklassenringe $R/ {\mathfrak a}$ zu einem Ideal
\mavergleichskette
{\vergleichskette
{{\mathfrak a}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem kommutativen Ring $R$.}{Der
\stichwort {Satz über die Intervallschachtelung} {.}}{Das
\stichwort {Gesetz der großen Zahlen} {}
für den Münzwurf.}
}
{
\aufzaehlungdrei{Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{,}
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Ideal}{}{}
und
\mathl{R/{\mathfrak a}}{} die
\definitionsverweis {Quotientenmenge}{}{}
zur durch ${\mathfrak a}$ definierten
\definitionsverweis {Äquivalenzrelation}{}{}
auf $R$ mit der
\definitionsverweis {kanonischen Projektion}{}{}
\maabbeledisp {q} {R} {R/ {\mathfrak a}
} {g} {[g]
} {.}
Dann gibt es eine eindeutig bestimmte Ringstruktur auf
\mathl{R/{\mathfrak a}}{} derart, dass $q$ ein
\definitionsverweis {Ringhomomorphismus}{}{}
ist.}{Es sei
\mathbed {I_n} {}
{n \in \N} {}
{} {} {} {,}
eine Intervallschachtelung in $\R$. Dann besteht der Durchschnitt
\mathdisp {\bigcap_{n \in \N} I_n} { }
aus genau einem Punkt
\mathl{x \in \R}{.}}{Zu jedem
\mavergleichskette
{\vergleichskette
{\alpha
}
{ < }{ { \frac{ 1 }{ 2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {konvergiert}{}{}
die Folge
\mathdisp {{ \frac{ 1 }{ 2^n } } { \left( \sum_{k = 0}^{\lfloor \alpha n \rfloor } B_{ { \frac{ 1 }{ 2 } },n } (k) \right) }} { }
gegen $0$.}
}
\inputaufgabepunkteloesung
{3}
{
Zeige, dass das lineare Gleichungssystem
\mathdisp {\begin{matrix}
5 x
-7 y
-4 z & = & 0 \\
2 x
+ y
-3 z & = & 0 \\
7 x
+6 y
-2 z & = & 0 \,
\end{matrix}} { }
nur die triviale Lösung
\mathl{(0,0,0)}{} besitzt.
}
{
Wir rechnen
\mavergleichskettedisp
{\vergleichskette
{II'
}
{ =} { II- { \frac{ 2 }{ 5 } } I
}
{ =} { { \frac{ 19 }{ 5 } } y - { \frac{ 7 }{ 5 } } z
}
{ =} {0
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{III'
}
{ =} { III- { \frac{ 7 }{ 5 } } I
}
{ =} { { \frac{ 79 }{ 5 } } y + { \frac{ 18 }{ 5 } } z
}
{ =} {0
}
{ } {
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{5 \cdot 79 \cdot II' - 5 \cdot 19 \cdot III'
}
{ =} { ( -7 \cdot 79 -18 \cdot 19 ) z
}
{ =} { -895 z
}
{ =} { 0
}
{ } {
}
}
{}{}{.}
Daraus ergibt sich
\mavergleichskette
{\vergleichskette
{z
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
aus $II'$ ergibt sich
\mavergleichskette
{\vergleichskette
{y
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und aus $I$ ergibt sich
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{2}
{
Es sei
\maabb {\varphi} {\Q^3} {\Q^2
} {}
eine
\definitionsverweis {lineare Abbildung}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{\varphi(e_1)
}
{ =} { \begin{pmatrix} 5 \\7 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{\varphi(e_2)
}
{ =} { \begin{pmatrix} 3 \\-3 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{\varphi(e_3)
}
{ =} { \begin{pmatrix} 4 \\-11 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathl{\varphi { \left( \begin{pmatrix} 3 \\-4\\ 2 \end{pmatrix} \right) }}{.}
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ \varphi { \left( \begin{pmatrix} 3 \\-4\\ 2 \end{pmatrix} \right) }
}
{ =} { \varphi { \left( 3e_1-4e_2 +2e_3 \right) }
}
{ =} { 3 \varphi (e_1) -4 \varphi(e_2) + 2 \varphi(e_3)
}
{ =} { 3 { \left( \begin{pmatrix} 5 \\7 \end{pmatrix} \right) } -4 { \left( \begin{pmatrix} 3 \\-3 \end{pmatrix} \right) } + 2 { \left( \begin{pmatrix} 4 \\-11 \end{pmatrix} \right) }
}
{ =} { \begin{pmatrix} 3\cdot 5- 4 \cdot 3 +2 \cdot 4 \\3 \cdot 7 -4 \cdot (-3 )+ 2 \cdot (-11) \end{pmatrix}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \begin{pmatrix} 11 \\11 \end{pmatrix}
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputaufgabepunkteloesung
{1}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {3-simplex graph.svg} }
\end{center}
\bildtext {} }
\bildlizenz { 3-simplex graph.svg } {} {Koko90} {Commons} {CC-by-sa 3.0} {}
Bei einem vollständigen ungerichteten Graphen mit $4$ Ecken ist jede Ecke mit jeder \zusatzklammer {anderen} {} {} Ecke verbunden. Zeichne einen solchen Graphen in der Ebene ohne Überschneidungen.
}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {3-demicube t0 B3.svg} }
\end{center}
\bildtext {} }
\bildlizenz { 3-demicube t0 B3.svg } {} {Tomruen} {Commons} {gemeinfrei} {}
}
\inputaufgabepunkteloesung
{5 (1+3+1)}
{
\aufzaehlungdrei{Gibt es eine Primzahl $x$ derart, dass auch
\mathl{x+6}{,}
\mathl{x+12}{,}
\mathl{x+18}{} und
\mathl{x+24}{} Primzahlen sind?
}{Gibt es mehr als eine Primzahl $x$ derart, dass auch
\mathl{x+6}{,}
\mathl{x+12}{,}
\mathl{x+18}{} und
\mathl{x+24}{} Primzahlen sind?
}{Gibt es mehr als eine Primzahl $x$ derart, dass auch
\mathl{x+6}{,}
\mathl{x+12}{} und
\mathl{x+18}{} Primzahlen sind?
}
}
{
\aufzaehlungdrei{Die Zahlen
\mathl{5,11,17,23,29}{} sind Primzahlen.
}{Wir zeigen, dass es außer dem soeben genannten Beispiel kein weiteres Fünfertupel mit der besagten Eigenschaft gibt. Wir betrachten die Reste von $x, x+6, x+12, x+18,x+24$ bei Division durch $5$. Wenn $r$ der Rest von $x$ ist, so sind die anderen Reste gleich
\mathl{r+1, r+2, r+3,r+4}{.} Somit muss eine der fünf Zahlen den Rest $0$ besitzen, also ein Vielfaches von $5$ sein. Da
\mavergleichskette
{\vergleichskette
{x
}
{ = }{5
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ausgeschlossen ist, können nicht alle fünf Zahlen Primzahlen sein.
}{Die Zahlen
\mathl{41,47,53,59}{} sind Primzahlen, es gibt also weitere Vierertupel mit der besagten Eigenschaft.
}
}
\inputaufgabepunkteloesung
{4}
{
Wir betrachten die Rekursionsvorschrift
\mavergleichskettedisp
{\vergleichskette
{x'
}
{ =} { 2^{-1} \cdot { \left( x + { \frac{ c }{ x } } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
des Heron-Verfahrens in
\mathl{\Z/(5)}{} für
\mavergleichskette
{\vergleichskette
{c
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass für sämtliche Startglieder
\mavergleichskette
{\vergleichskette
{x_0
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets eine nichtkonstante Folge entsteht.
}
{
Wir berechnen
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} { 2^{-1} { \left( x + { \frac{ 3 }{ x } } \right) }
}
{ =} { 3 { \left( x + { \frac{ 3 }{ x } } \right) }
}
{ =} { 3 x +4 x^{-1}
}
{ } {
}
}
{}{}{.}
Dabei ergibt sich die Wertetabelle
\wertetabellevierausteilzeilen { $x$ }
{\mazeileundvier {1} {2} {3} {4} }
{ $f(x)$ }
{\mazeileundvier { 2} {3} {2} {3} }
Egal mit welchem Startglied man beginnt, spätestens ab $x_1$ ist man bei $2$ oder bei $3$ und diese beiden Zahlen wechseln sich dann ab.
}
\inputaufgabepunkteloesung
{7 (2+2+3)}
{
\aufzaehlungdrei{Man gebe ein Beispiel für reelle Folgen
\mathl{{ \left( x_n \right) }_{n \in \N }}{} und
\mathl{{ \left( y_n \right) }_{n \in \N }}{,}
\mavergleichskette
{\vergleichskette
{y_n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
derart, dass
\mathl{{ \frac{ x_n }{ y_n } }}{} gegen $1$ konvergiert, aber $x_n-y_n$ nicht konvergiert.
}{Man gebe ein Beispiel für reelle Folgen
\mathl{{ \left( x_n \right) }_{n \in \N }}{} und
\mathl{{ \left( y_n \right) }_{n \in \N }}{,}
\mavergleichskette
{\vergleichskette
{y_n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
derart, dass $x_n-y_n$ gegen $0$ konvergiert, aber
\mathl{{ \frac{ x_n }{ y_n } }}{} nicht konvergiert.
}{Es seien
\mathl{{ \left( x_n \right) }_{n \in \N }}{} und
\mathl{{ \left( y_n \right) }_{n \in \N }}{} reelle Folgen derart, dass $x_n-y_n$ gegen $0$ konvergiert. Es gebe ein
\mavergleichskette
{\vergleichskette
{a
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{y_n
}
{ \geq} {a
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$. Zeige, dass
\mathl{{ \frac{ x_n }{ y_n } }}{} gegen $1$ konvergiert.
}
}
{
\aufzaehlungdrei{Es sei
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { n^2+n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y_n
}
{ =} {n^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x_n }{ y_n } }
}
{ =} { { \frac{ n^2+n }{ n^2 } }
}
{ =} { 1 +{ \frac{ 1 }{ n } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies konvergiert gegen $1$. Die Differenzfolge
\mavergleichskettedisp
{\vergleichskette
{ x_n-y_n
}
{ =} { n^2+n- n^2
}
{ =} { n
}
{ } {
}
{ } {
}
}
{}{}{}
konvergiert nicht.
}{Es sei
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} { { \frac{ 1 }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{y_n
}
{ =} { { \frac{ 1 }{ n^2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ x_n }{ y_n } }
}
{ =} { { \frac{ { \frac{ 1 }{ n } } }{ { \frac{ 1 }{ n^2 } } } }
}
{ =} { { \frac{ n^2 }{ n } }
}
{ =} { n
}
{ } {
}
}
{}{}{.}
Dies konvergiert nicht. Die Differenzfolge
\mavergleichskettedisp
{\vergleichskette
{ x_n-y_n
}
{ =} { { \frac{ 1 }{ n } } - { \frac{ 1 }{ n^2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
konvergiert gegen $0$, da beide Folgen Nullfolgen sind.
}{Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{x_n
}
{ =} {y_n + z_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $z_n$ nach Voraussetzung eine Nullfolge ist. Damit ist
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ x_n }{ y_n } }
}
{ =} { { \frac{ y_n+z_n }{ y_n } }
}
{ =} { 1 + { \frac{ z_n }{ y_n } }
}
{ } {
}
{ } {
}
}
{}
{}{.}
Dabei ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { { \frac{ z_n }{ y_n } } }
}
{ =} { \betrag { z_n } \cdot \betrag { { \frac{ 1 }{ y_n } } }
}
{ \leq} { \betrag { z_n } \cdot \betrag { { \frac{ 1 }{ a } } }
}
{ } {
}
{ } {
}
}
{}{}{}
eine Nullfolge. Somit konvergiert die Quotientenfolge gegen $1$.
}
}
\inputaufgabepunkteloesung
{3}
{
Bestimme die
\definitionsverweis {rationale Zahl}{}{,}
die im Dezimalsystem durch
\mathdisp {0{,}\overline{142857}} { }
gegeben ist.
}
{
Es ist
\mavergleichskettealign
{\vergleichskettealign
{0{,}\overline{142857}
}
{ =} { 142857 \cdot 0{,}\overline{000001}
}
{ =} { 142857 \cdot { \frac{ 1 }{ 999 999 } }
}
{ =} { { \frac{ 142857 }{ 999 999 } }
}
{ =} { { \frac{ 5291 }{ 37037 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 481 }{ 3367 } }
}
{ =} { { \frac{ 37 }{ 259 } }
}
{ =} { { \frac{ 1 }{ 7 } }
}
{ } {}
}
{}{.}
}
\inputaufgabepunkteloesung
{3}
{
Diskutiere Gemeinsamkeiten und Unterschiede zwischen den Konzepten Terme und Polynome.
}
{Polynom und Term/Diskussion/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{5}
{
Es sei
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine reelle Zahl. Zeige, dass die folgenden Eigenschaften äquivalent sind.
\aufzaehlungdrei{Es gibt ein Polynom
\mathbed {P \in \R[X]} {}
{P \neq 0} {}
{} {} {} {,}
mit ganzzahligen Koeffizienten und mit
\mavergleichskette
{\vergleichskette
{P(z)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt ein Polynom
\mathbed {Q \in \Q[X]} {}
{Q \neq 0} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{Q(z)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es gibt ein normiertes Polynom
\mavergleichskette
{\vergleichskette
{ R
}
{ \in }{ \Q[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{R(z)
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
{
Die Implikation (1)
\mathl{\Rightarrow}{} (2) ist unmittelbar klar, da ganze Zahlen rational sind und man somit
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nehmen kann.
Es sei (2) erfüllt und sei
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ =} { s_nX^n + s_{n-1}X^{n-1} + \cdots + s_2X^2 +s_1X+s_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{s_i \in \Q}{,}
\mathl{s_n \neq 0}{} und $Q(z)=0$. Wegen $s_n \neq 0$ ist auch $s_n^{-1}$ eine rationale Zahl. Wir multiplizieren $Q$ mit $s_n^{-1}$ und erhalten
\mavergleichskettealign
{\vergleichskettealign
{R
}
{ \defeq} { s_n^{-1} Q
}
{ =} { s_n^{-1} { \left( s_nX^n + s_{n-1}X^{n-1} + \cdots + s_2X^2 +s_1X+s_0 \right) }
}
{ =} { X^n + s_n^{-1} \cdot s_{n-1}X^{n-1} + \cdots + s_n^{-1} \cdot s_2X^2 + s_n^{-1} \cdot s_1X+ s_n^{-1} \cdot s_0
}
{ } {
}
}
{}
{}{.}
Dies ist ein normiertes Polynom, die Koeffizienten sind nach wie vor rational und es ist auch
\mavergleichskettedisp
{\vergleichskette
{R(z)
}
{ =} {( s_n^{-1} Q)(z)
}
{ =} {s_n^{-1} \cdot Q(z)
}
{ =} { 0
}
{ } {
}
}
{}{}{.}
Es sei nun (3) erfüllt, und
\mavergleichskettedisp
{\vergleichskette
{R
}
{ =} { X^n +t_{n-1} X^{n-1} + \cdots + t_2X^2 +t_1X+t_0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{t_i \in \Q}{} und $R(z)=0$. Es ist
\mavergleichskettedisp
{\vergleichskette
{t_i
}
{ =} { { \frac{ a_i }{ b_i } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{a_i,b_i \in \Z}{,}
\mathl{b_i \neq 0}{.} Wir setzen
\mavergleichskettealign
{\vergleichskettealign
{ P
}
{ =} { b_0b_1 \cdots b_{n-1} R
}
{ =} { b_0b_1 \cdots b_{n-1} { \left( X^n + { \frac{ a_{n-1} }{ b_{n-1} } } X^{n-1} + \cdots + { \frac{ a_2 }{ b_2 } } X^2 + { \frac{ a_1 }{ b_1 } } X+ { \frac{ a_0 }{ b_0 } } \right) }
}
{ =} {b_0b_1 \cdots b_{n-1} X^n + b_0b_1 \cdots b_{n-2} a_{n-1} b_{n} X^{n-1} + \cdots + b_0 b_1 a_2 b_3 \cdots b_{n-1} X^2 + b_0 a_1 b_2 \cdots b_{n-1} X + a_0 b_1 \cdots b_{n-1}
}
{ } {
}
}
{}
{}{.}
Dieses Polynom hat ganzzahlige Koeffizienten, ist nicht das Nullpolynom und es ist nach wie vor
\mavergleichskettedisp
{\vergleichskette
{P(z)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{5}
{
Forme die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ x^4+ 3 x^3-5x^2+2x-7
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
in eine äquivalente Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{ y^4 + b_2y^2 + b_1y +b_0
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{b_i \in \Q}{} um.
}
{
Wir setzen
\mavergleichskette
{\vergleichskette
{x
}
{ = }{y- { \frac{ 3 }{ 4 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
an und drücken das Polynom bzw. die Gleichung in $y$ aus. Es ist
\mavergleichskettealign
{\vergleichskettealign
{x^4
}
{ =} { { \left( y - { \frac{ 3 }{ 4 } } \right) }^4
}
{ =} { y^4 -4 { \frac{ 3 }{ 4 } }y^3 +6 { \frac{ 9 }{ 16 } } y^2 -4 { \frac{ 27 }{ 64 } } y + { \frac{ 81 }{ 256 } }
}
{ =} { y^4 - 3 y^3 + { \frac{ 27 }{ 8 } } y^2 - { \frac{ 27 }{ 16 } } y + { \frac{ 81 }{ 256 } }
}
{ } {
}
}
{}
{}{,}
\mavergleichskettealign
{\vergleichskettealign
{ 3x^3
}
{ =} { 3 { \left( y - { \frac{ 3 }{ 4 } } \right) }^3
}
{ =} { 3 { \left( y^3-3 { \frac{ 3 }{ 4 } } y^2 +3 { \frac{ 9 }{ 16 } } y - { \frac{ 27 }{ 64 } } \right) }
}
{ =} { 3y^3 - { \frac{ 27 }{ 4 } } y^2 + { \frac{ 81 }{ 16 } } y - { \frac{ 81 }{ 64 } }
}
{ } {
}
}
{}
{}{,}
\mavergleichskettedisp
{\vergleichskette
{ -5x^2
}
{ =} {-5 { \left( y - { \frac{ 3 }{ 4 } } \right) }^2
}
{ =} { -5 { \left( y^2 - { \frac{ 3 }{ 2 } } y+ { \frac{ 9 }{ 16 } } \right) }
}
{ =} {-5y^2 + { \frac{ 15 }{ 2 } }y - { \frac{ 45 }{ 16 } }
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{2x
}
{ =} { 2 { \left( y - { \frac{ 3 }{ 4 } } \right) }
}
{ =} { 2y - { \frac{ 3 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Insgesamt ergibt sich also
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ x^4+ 3 x^3-5x^2+2x-7
}
{ =} { y^4 + { \left( { \frac{ 27 }{ 8 } } - { \frac{ 27 }{ 4 } } -5 \right) } y^2 + { \left( - { \frac{ 27 }{ 16 } } + { \frac{ 81 }{ 16 } } + { \frac{ 15 }{ 2 } } +2 \right) } y + { \left( { \frac{ 81 }{ 256 } }- { \frac{ 81 }{ 64 } } - { \frac{ 45 }{ 16 } }- { \frac{ 3 }{ 2 } } -7 \right) }
}
{ =} {y^4 - { \frac{ 67 }{ 8 } } y^2 + { \frac{ 103 }{ 8 } } y - { \frac{ 3139 }{ 256 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine äquivalente Gleichung ist also
\mavergleichskettedisp
{\vergleichskette
{ y^4 - { \frac{ 67 }{ 8 } } y^2 + { \frac{ 103 }{ 8 } } y -{ \frac{ 3139 }{ 256 } }
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{5}
{
Es sei $b$ eine \definitionsverweis {positive}{}{} \definitionsverweis {reelle Zahl}{}{.} Zeige, dass die \definitionsverweis {Exponentialfunktion}{}{} \maabbeledisp {f} {\Q } {\R } {q} {b^q } {,} \definitionsverweis {stetig}{}{} ist.
}
{
Sei
\mavergleichskette
{\vergleichskette
{b
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir zeigen zuerst die Stetigkeit im Nullpunkt. Da die Folge
\mathbed {\sqrt[n]{b}} {}
{n \in \N} {}
{} {} {} {,}
gegen $1$ konvergiert, und da die rationale Exponentialfunktion wachsend ist, gibt es zu jedem positiven $\epsilon$ ein positives $\delta$ mit der Eigenschaft, dass aus
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x }
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{\betrag { 1 - b^x }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt. Es sei nun $x$ beliebig und $\epsilon$ vorgegeben. Wir betrachten ein $\delta$, das zu
\mavergleichskettedisp
{\vergleichskette
{ \epsilon'
}
{ =} { { \frac{ \epsilon }{ b^x } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Stetigkeit im Nullpunkt sichert. Dann gilt unter Verwendung von
Satz 53.2 (Grundkurs Mathematik (Osnabrück 2022-2023)) (1)
für $x'$ mit
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x'-x }
}
{ \leq} { \delta
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { b^x - b^{x'} }
}
{ =} { \betrag { b^x { \left( 1 - b^{x'-x } \right) } }
}
{ =} { \betrag { b^x } \cdot \betrag { 1 - b^{x'-x } }
}
{ \leq} { b^x \cdot { \frac{ \epsilon }{ b^x } }
}
{ =} { \epsilon
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{3 (1+2)}
{
Für die Eulersche Zahl $e$ seien die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{2,71
}
{ \leq} {e
}
{ \leq} {2,72
}
{ } {
}
{ } {
}
}
{}{}{}
bekannt.
\aufzaehlungzwei {Was lässt sich über die ersten Stellen der Dezimalentwicklung von $e^2$ sagen?
} {Was lässt sich über die ersten Stellen der Dezimalentwicklung von $e^{-1}$ sagen?
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettedisp
{\vergleichskette
{2{,}71 \cdot 2{,}71
}
{ =} { 7{,}3441
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{2{,}72 \cdot 2{,}72
}
{ =} { 7{,}3984
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ 7{,}3441
}
{ \leq} { e^2
}
{ \leq} {7{,}3984
}
{ } {
}
{ } {
}
}
{}{}{}
und die Ziffernentwicklung von $e^2$ beginnt mit
\mathl{7{,}3}{,} die zweite Nachkommaziffer liegt zwischen
\mathkor {} {4} {und} {9} {,}
über die weiteren Nachkommaziffern kann man keine Aussage machen.
} {Es ist
\mavergleichskettedisp
{\vergleichskette
{1 :2{,}71
}
{ =} { 0{,}369 ...
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{1 :2{,}72
}
{ =} { 0{,}367 ...
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit hat man die Abschätzungen
\mavergleichskettedisp
{\vergleichskette
{ 0{,}367
}
{ \leq} { e^{-1}
}
{ \leq} { 0{,}370
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Dezimalentwicklung von $e^{-1}$ beginnt also mit
\mathl{0{,}36}{,}
\zusatzklammer {$3{,}7$ ist ausgeschlossen, da die Division durch $2{,}71$ nicht auf die Periode $9$ führt} {} {}
die dritte Nachkommaziffer ist $7$ oder $8$ oder $9$, über die folgenden Stellen kann man keine Aussage machen.
}
}
\inputaufgabepunkteloesung
{5}
{
Es seien $a,b,x,y$ positive reelle Zahlen und es gelte
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ <} {b^y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zeige, dass es positive rationale Zahlen
\mathl{c,z}{} mit
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ <} {c^z
}
{ <} { b^y
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
{
Es sei $x_n$ eine rationale echt fallende Folge
\zusatzklammer {bei
\mathl{a \geq 1}{;} bei
\mathl{a < 1}{} wählen wir eine rationale echt wachsende positive Folge} {} {,}
die gegen $x$ konvergiert. Wegen der Stetigkeit der Exponentialfunktion zur Basis $a$ konvergiert auch
\mathl{a^{x_n}}{} gegen $a^x$. In jedem Fall ist dies eine
\zusatzklammer {bei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
echt fallende Folge. Wegen der Konvergenz gibt es ein rationales
\mathl{z=x_n}{} mit
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ \leq} {a^z
}
{ <} {b^y
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Funktion
\maabbeledisp {} {\R_{\geq 0}} {\R
} {a} {a^z
} {,}
ist als Hintereinanderschaltung einer Potenz und einer Wurzel nach
Korollar 51.10 (Grundkurs Mathematik (Osnabrück 2022-2023))
und
[[Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt|Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt/Faktreferenznummer (Grundkurs Mathematik (Osnabrück 2022-2023))]]
ebenfalls stetig. Somit gilt für eine rationale Folge $a_n$, die gegen $a$ konvergiert, dass auch
\mathl{a_n^{z}}{} gegen $a^z$ konvergiert.
Wir wählen die Folge $a_n$ echt fallend, so dass auch
\mathl{a_n^z}{} echt fallend ist. Für $n$ hinreichend groß ist dann
\mavergleichskettedisp
{\vergleichskette
{a^x
}
{ \leq} { a^z
}
{ <} { a_n^z
}
{ <} { b^y
}
{ } {
}
}
{}{}{,}
und wir können
\mavergleichskette
{\vergleichskette
{c
}
{ = }{a_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wählen.
}
\inputaufgabepunkteloesung
{7 (2+2+3)}
{
In einem Kurs nehmen $n$ Personen teil. Für die Person $i$ ist die Wahrscheinlichkeit, bei der Klausur durchzufallen, gleich $q_i$. Es wird eine Klausur und eine Nachklausur geschrieben, wobei sich diese Wahrscheinlichkeiten nicht ändern.
\aufzaehlungdrei{Zeige, dass die Wahrscheinlichkeit, dass eine zufällig ausgewählte Person in der ersten Klausur durchfällt, gleich
\mathl{{ \frac{ 1 }{ n } } \sum_{ i = 1}^n q_i}{} ist.
}{Die Nachklausur schreiben nur die Personen mit, die in der ersten Klausur durchgefallen sind. Zeige, dass die Wahrscheinlichkeit, dass eine aus diesem Personenkreis zufällig ausgewählte Person bei der zweiten Klausur ebenfalls durchfällt, gleich
\mathl{{ \frac{ \sum_{ i = 1}^n q_i^2 }{ \sum_{ i = 1}^n q_i } }}{} ist.
}{Zeige, dass die unter (2) berechnete Wahrscheinlichkeit größergleich der unter (1) berechneten Wahrscheinlichkeit ist.
}
}
{
\aufzaehlungdrei{
Wir modellieren die Situation mit dem Wahrscheinlichkeitsraum
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { { \left\{ (i,x) \mid i = 1 , \ldots , n , \, x = f,b \right\} }
}
{ =} { { \{ 1 , \ldots , n \} } \times \{f,b\}
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {der erste Index $i$ durchläuft die Personen, der zweite Index die Möglichkeiten Durchfallen oder Bestehen} {} {}
mit den Wahrscheinlichkeiten
\mavergleichskettedisp
{\vergleichskette
{ P( i,f)
}
{ =} { { \frac{ q_i }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{P( i,b)
}
{ =} { { \frac{ 1-q_i }{ n } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\mathl{P( i,f)}{} ist die Wahrscheinlichkeit, dass Person $i$ betrachtet wird und dass sie durchfällt. Es sei $F$ das Ereignis, das aus allen Paaren
\mathl{(i,f)}{} besteht. Die Wahrscheinlichkeit für $F$ ist
\mavergleichskettealign
{\vergleichskettealign
{P(F)
}
{ =} { \sum_{i = 1}^n P(i,f)
}
{ =} { \sum_{i = 1}^n { \frac{ q_i }{ n } }
}
{ =} { { \frac{ 1 }{ n } } \sum_{i = 1}^n q_i
}
{ } {
}
}
{}
{}{.}
}{Hierfür betrachten wir den Produktraum
\mathl{{ \{ 1 , \ldots , n \} } \times \{f,b\} \times \{f,b\}}{,} wir lassen also im Modell alle Personen auch die zweite Klausur schreiben.
Die Wahrscheinlichkeit, ausgewählt zu werden und beide Male durchzufallen, ist
\mathl{{ \frac{ 1 }{ n } } q_i q_i}{.} Es sei $F_1$ das Ereignis, bei der ersten Klausur durchzufallen, und $F_2$ das Ereignis, bei der zweiten Klausur durchzufallen. Es geht dann um die bedingte Wahrscheinlichkeit für $F_2$ unter der Bedingung $F_1$. Diese ist
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ P(F_1 \cap F_2) }{ P(F_1) } }
}
{ =} { { \frac{ \sum_{i = 1}^n { \frac{ 1 }{ n } } q_i q_i }{ { \frac{ 1 }{ n } } \sum_{i = 1}^n q_i } }
}
{ =} { { \frac{ \sum_{i = 1}^n q_i^2 }{ \sum_{i = 1}^n q_i } }
}
{ } {
}
{ } {
}
}
{}
{}{.}
}{Wir müssen
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \sum_{i = 1}^n q_i^2 }{ { \frac{ 1 }{ n } } \sum_{i = 1}^n q_i } }
}
{ \geq} { \sum_{i = 1}^n q_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zeigen, was auf
\mavergleichskettealign
{\vergleichskettealign
{ \sum_{i = 1}^n q_i^2
}
{ \geq} { { \frac{ 1 }{ n } } { \left( \sum_{i = 1}^n q_i \right) } \cdot { \left( \sum_{i = 1}^n q_i \right) }
}
{ =} {{ \frac{ 1 }{ n } } \sum_{i = 1}^n q_i^2 + { \frac{ 2 }{ n } } \sum_{i <j } q_i q_j
}
{ } {
}
{ } {
}
}
{}
{}{}
führt. Dies ist äquivalent zu
\mavergleichskettedisp
{\vergleichskette
{ (n-1) \sum_{i = 1}^n q_i^2
}
{ \geq} { 2\sum_{i <j } q_i q_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. zu
\mavergleichskettedisp
{\vergleichskette
{ (n-1) \sum_{i = 1}^n q_i^2 - 2 \sum_{i <j } q_i q_j
}
{ \geq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nun ist aber
\mavergleichskettealign
{\vergleichskettealign
{ \sum_{i <j } (q_i-q_j)^2
}
{ =} { \sum_{i <j } (q_i^2 +q_j^2 -2q_iq_j)
}
{ =} { (n-1) \sum_{i = 1}^n q_i^2 - 2 \sum_{i <j } q_i q_j
}
{ } {
}
{ } {
}
}
{}
{}{}
als eine Summe von Quadraten nichtnegativ.
}
}