Kurs:Mathematik für Anwender/Teil I/41/Klausur mit Lösungen/latex
%Daten zur Institution
%\input{Dozentdaten}
%\renewcommand{\fachbereich}{Fachbereich}
%\renewcommand{\dozent}{Prof. Dr. . }
%Klausurdaten
\renewcommand{\klausurgebiet}{ }
\renewcommand{\klausurtyp}{ }
\renewcommand{\klausurdatum}{ . 20}
\klausurvorspann {\fachbereich} {\klausurdatum} {\dozent} {\klausurgebiet} {\klausurtyp}
%Daten für folgende Punktetabelle
\renewcommand{\aeins}{ 3 }
\renewcommand{\azwei}{ 3 }
\renewcommand{\adrei}{ 2 }
\renewcommand{\avier}{ 2 }
\renewcommand{\afuenf}{ 4 }
\renewcommand{\asechs}{ 3 }
\renewcommand{\asieben}{ 2 }
\renewcommand{\aacht}{ 8 }
\renewcommand{\aneun}{ 4 }
\renewcommand{\azehn}{ 2 }
\renewcommand{\aelf}{ 8 }
\renewcommand{\azwoelf}{ 3 }
\renewcommand{\adreizehn}{ 4 }
\renewcommand{\avierzehn}{ 8 }
\renewcommand{\afuenfzehn}{ 3 }
\renewcommand{\asechzehn}{ 1 }
\renewcommand{\asiebzehn}{ 4 }
\renewcommand{\aachtzehn}{ 64 }
\renewcommand{\aneunzehn}{ }
\renewcommand{\azwanzig}{ }
\renewcommand{\aeinundzwanzig}{ }
\renewcommand{\azweiundzwanzig}{ }
\renewcommand{\adreiundzwanzig}{ }
\renewcommand{\avierundzwanzig}{ }
\renewcommand{\afuenfundzwanzig}{ }
\renewcommand{\asechsundzwanzig}{ }
\punktetabellesiebzehn
\klausurnote
\newpage
\setcounter{section}{0}
\inputaufgabepunkteloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {Umkehrabbildung} {} zu einer bijektiven Abbildung \maabb {F} {L} {M} {.}
}{Die \stichwort {Konvergenz} {} einer reellen Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} gegen $x$.
}{Eine \stichwort {fallende} {} Funktion \maabb {f} {\R} {\R } {.}
}{Die \stichwort {Exponentialreihe} {} für
\mathl{x \in \R}{.}
}{Das \stichwort {Unterintegral} {} einer nach unten beschränkten Funktion \maabbdisp {f} {[a,b]} {\R } {.}
}{Die
\stichwort {beschreibende Matrix} {}
zu einer
\definitionsverweis {linearen Abbildung}{}{}
\maabbdisp {\varphi} {V} {W
} {}
zwischen
\definitionsverweis {endlichdimensionalen}{}{} \definitionsverweis {Vektorräumen}{}{}
\mathkor {} {V} {und} {W} {}
bezüglich einer
\definitionsverweis {Basis}{}{}
\mavergleichskette
{\vergleichskette
{ \mathfrak{ v }
}
{ = }{ v_1 , \ldots , v_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von $V$ und einer Basis
\mavergleichskette
{\vergleichskette
{ \mathfrak{ w }
}
{ = }{ w_1 , \ldots , w_m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von $W$.
}
}
{
\aufzaehlungsechs{Die Abbildung
\maabbdisp {G} {M} {L} {,}
die jedes Element
\mathl{y \in M}{} auf das eindeutig bestimmte Element
\mathl{x \in L}{} mit
\mathl{F(x)=y}{} abbildet, heißt die Umkehrabbildung zu $F$.
}{Die Konvergenz gegen $x$ bedeutet, dass es zu jedem reellen
\mathl{\epsilon >0}{} ein $n_0 \in \N$ derart gibt, dass für alle
\mathl{n \geq n_0}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x-x_n }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Die Funktion
\maabbdisp {f} {\R} {\R
} {}
heißt fallend, wenn
\mathdisp {f(x') \leq f(x) \text { für alle } x,x' \in I \text{ mit } x' \geq x \text{ gilt}} { . }
}{Für jedes
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt die
\definitionsverweis {Reihe}{}{}
\mathdisp {\sum_{ n =0}^\infty \frac{ x^{ n } }{n!}} { }
die Exponentialreihe in $x$.
}{Das
\definitionsverweis {Supremum}{}{}
von sämtlichen
\definitionsverweis {Treppenintegralen}{}{}
zu
\definitionsverweis {unteren Treppenfunktionen}{}{}
von $f$ heißt das Unterintegral von $f$.
}{Unter der beschreibenden Matrix zu $\varphi$ bezüglich der Basen versteht man die
$m \times n$-\definitionsverweis {Matrix}{}{}
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} {M^{ \mathfrak{ v } }_{ \mathfrak{ w } } ( \varphi)
}
{ =} { (a_{ij})_{ij}
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei
\mathl{a_{ij}}{} die $i$-te
\definitionsverweis {Koordinate}{}{}
von
\mathl{\varphi(v_j )}{} bezüglich der Basis $\mathfrak{ w }$ ist.
}
}
\inputaufgabepunkteloesung
{3}
{
Formuliere die folgenden Sätze. \aufzaehlungdrei{Der \stichwort {Satz über beschränkte Teilmengen} {} von $\R$.}{Der \stichwort {Mittelwertsatz der Differentialrechnung} {.}}{Der Satz über den Zusammenhang zwischen der Verknüpfung linearer Abbildungen und der Matrizenmultiplikation \zusatzklammer {genaue Formulierung mit Basen} {} {.}}
}
{
\aufzaehlungdrei{Jede nichtleere nach oben beschränkte
Teilmenge der reellen Zahlen besitzt ein Supremum
in $\R$.}{Es sei
\mathl{a<b}{} und sei
\maabbdisp {f} {[a,b]} {\R
} {}
eine stetige, auf
\mathl{]a,b[}{} differenzierbare Funktion. Dann gibt es ein
\mathl{c \in {]a,b[}}{} mit
\mavergleichskettedisp
{\vergleichskette
{ f'(c)
}
{ =} {\frac{f(b)-f(a)}{b-a}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}{Bei der Korrespondenz zwischen linearen Abbildungen und Matrizen
entsprechen sich die Hintereinanderschaltung
von linearen Abbildungen und die Matrizenmultiplikation.
Damit ist folgendes gemeint: es seien
\mathl{U,V,W}{}
Vektorräume über einem Körper $K$ mit Basen
\mathdisp {\mathfrak{ u } = u_1 , \ldots , u_p , \, \mathfrak{ v } = v_1 , \ldots , v_n \text{ und } \mathfrak{ w } = w_1 , \ldots , w_m} { . }
Es seien
\mathdisp {\psi:U \longrightarrow V \text{ und } \varphi: V \longrightarrow W} { }
lineare Abbildungen. Dann gilt für die beschreibenden Matrizen von
\mathl{\psi,\, \varphi}{} und der Hintereinanderschaltung
\mathl{\varphi \circ \psi}{} die Beziehung
\mathdisp {M^{ \mathfrak{ u } }_{ \mathfrak{ w } } (\varphi \circ \psi ) = ( M^{ \mathfrak{ v } }_{ \mathfrak{ w } } (\varphi) ) \circ ( M^{ \mathfrak{ u } }_{ \mathfrak{ v } }(\psi) )} { . }
}
}
\inputaufgabepunkteloesung
{2}
{
Betrachte die Aussage: \anfuehrung{Der Barbier von Sevilla rasiert alle Männer, die sich nicht selbst rasieren}{.} Rasiert er sich selbst?
}
{Russell Antinomie/Barbier/Aufgabe/Lösung
}
\inputaufgabepunkteloesung
{2}
{
Frau Maier-Sengupta ist für ein halbes Jahr in Elternzeit. Ihr Sohn Siddhartha kam mit einem Gewicht von drei Kilogramm auf die Welt und wurde in den sechs Monaten ausschließlich von Muttermilch ernährt. Nach den sechs Monaten wiegt er zehn Kilogramm. Jeden Tag hat das Kind $150$ Milliliter Milch getrunken. Wie viel Milch hat Siddhartha in den sechs Monaten getrunken und wie viel Prozent davon ging in die Gewichtszunahme? \zusatzklammer {Rechne mit Monat = $30$ Tage und setze das Milchgewicht gleich dem Gewicht von Wasser an} {} {.}
}
{
$150$ Milliliter sind
\mathl{0{,}15}{} Liter. Siddhartha hat somit in den sechs Monaten
\mavergleichskettedisp
{\vergleichskette
{6 \cdot 30 \cdot 0{,}15
}
{ =} { 180 \cdot 0{,}15
}
{ =} { 27
}
{ } {
}
{ } {
}
}
{}{}{}
Liter Milch getrunken.
Dabei hat er
\mavergleichskette
{\vergleichskette
{10 -3
}
{ = }{7
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
Kilogramm zugenommen. Der Anteil der Gewichtszunahme an der Gesamttrinkmenge beträgt also
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 7 }{ 27 } }
}
{ =} { 0{,}259\dotso
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
In Prozent ist der Anteil ca.
\mathl{26}{} Prozent.
}
\inputaufgabepunkteloesung
{4}
{
Zeige, dass $\sqrt{2}$ eine \definitionsverweis {irrationale Zahl}{}{} ist.
}
{
Wir machen die Annahme, dass es eine rationale Zahl gibt, deren Quadrat gleich $2$ ist, und führen das zu einem Widerspruch. Es sei also angenommen, dass
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \in} { \Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Eigenschaft besitzt, dass
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Eine rationale Zahl hat die Beschreibung als ein Bruch, wobei Zähler und Nenner ganze Zahlen sind. Die rationale Zahl $x$ können wir somit als
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ansetzen. Ferner können wir annehmen
\zusatzklammer {dieses Annehmen ist eine Vereinfachung der Situation und hat nichts mit der zum Widerspruch zu führenden Annahme zu tun} {} {,}
dass dieser Bruch gekürzt ist, dass also
\mathkor {} {a} {und} {b} {}
keinen echten gemeinsamen Teiler haben. In der Tat brauchen wir lediglich, dass wir annehmen dürfen, dass zumindest eine Zahl,
\mathkor {} {a} {oder} {b} {}
ungerade ist
\zusatzklammer {wenn beide gerade sind, so können wir mit $2$ kürzen, u.s.w.} {} {}
Die Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bedeutet ausgeschrieben
\mavergleichskettedisp
{\vergleichskette
{x^2
}
{ =} { { \left( { \frac{ a }{ b } } \right) }^2
}
{ =} { { \frac{ a^2 }{ b^2 } }
}
{ =} { 2
}
{ } {
}
}
{}{}{.}
Multiplikation mit $b^2$ ergibt die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ 2 b^2
}
{ =} { a^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {dies ist eine Gleichung in $\Z$ bzw. sogar in $\N$} {} {.}
Diese Gleichung besagt, dass $a^2$ gerade ist, da ja $a^2$ ein Vielfaches der $2$ ist. Daraus ergibt sich aber auch, dass $a$ selbst gerade ist, da ja das Quadrat einer ungeraden Zahl wieder ungerade ist. Deshalb können wir den Ansatz
\mavergleichskettedisp
{\vergleichskette
{a
}
{ =} {2c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einer ganzen Zahl $c$ machen. Dies setzen wir in die obige Gleichung ein und erhalten
\mavergleichskettedisp
{\vergleichskette
{2 b^2
}
{ =} { (2c)^2
}
{ =} { 2^2 c^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir können mit $2$ kürzen und erhalten
\mavergleichskettedisp
{\vergleichskette
{b^2
}
{ =} { 2 c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Also ist auch $b^2$ und damit $b$ selbst gerade. Dies ist ein Widerspruch dazu, dass nicht sowohl
\mathkor {} {a} {als auch} {b} {}
gerade sind.
}
\inputaufgabepunkteloesung
{3}
{
Beweise, dass eine absolut konvergente Reihe reeller Zahlen konvergiert.
}
{
Es sei
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Wir wenden das
Cauchy-Kriterium
an. Aufgrund der
\definitionsverweis {absoluten Konvergenz}{}{}
gibt es ein $n_0$ derart, dass für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \geq }{ m
}
{ \geq }{ n_0
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \sum_{k = m}^n \betrag { a_k } \, }
}
{ =} { \sum_{k = m}^n \betrag { a_k }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \sum_{k = m}^n a_k }
}
{ \leq} { \betrag { \sum_{k = m}^n \betrag { a_k } \, }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
}
{}{}{,}
was die
\definitionsverweis {Konvergenz}{}{}
bedeutet.
}
\inputaufgabepunkteloesung
{2}
{
Man gebe ein Beispiel für eine Folge von abgeschlossenen Intervallen
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{I_n
}
{ =} {[a_n,b_n]
}
{ \subseteq} {\R
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{I_{n+1}
}
{ \subseteq }{I_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $n$, wobei $a_n$ streng wachsend und $b_n$ streng fallend ist, wo aber keine
\definitionsverweis {Intervallschachtelung}{}{}
vorliegt.
}
{
Sei
\mavergleichskette
{\vergleichskette
{a_n
}
{ = }{ 1- { \frac{ 1 }{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{b_n
}
{ = }{ 2 + { \frac{ 1 }{ n } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
dann sind alle geforderten Eigenschaften erfüllt, die Intervalllängen sind aber stets $\geq 1$ und somit bilden diese keine Nullfolge, es liegt also keine Intervallschachtelung vor.
}
\inputaufgabepunkteloesung
{8 (2+3+3)}
{
Wir betrachten einen Kreis
\zusatzklammer {mit Radius $1$} {} {}
und darin eingeschriebene regelmäßige $n$-Ecke.
\aufzaehlungdrei{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Circumscribed2.png} }
\end{center}
\bildtext {} }
\bildlizenz { Circumscribed2.png } {} {Maksim} {Commons} {gemeinfrei} {}
In den Kreis sei ein Quadrat eingeschrieben. Bestimme dessen Flächeninhalt und dessen Umfang.
}{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Hagalaz.jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Hagalaz.jpg } {} {Dupuis pierre} {Commons} {CC-by-sa 3.0} {}
In den Kreis sei ein regelmäßiges $6$-Eck eingeschrieben. Bestimme dessen Flächeninhalt und dessen Umfang.
}{Der Flächeninhalt eines eingeschriebenen regelmäßigen $n$-Ecks ist eine Approximation für den Flächeninhalt des Kreises und der Umfang eines solchen $n$-Ecks ist eine Approximation für den Umfang des Kreises. Welche Approximationen sind besser?
}
}
{
\aufzaehlungdrei{Die Seitenlänge des eingeschriebenen Quadrates ist nach dem Satz des Pythagoras gleich $\sqrt{2}$. Deshalb ist der Flächeninhalt des eingeschriebenen Quadrates gleich
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{2} \cdot \sqrt{2}
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und der Umfang gleich
\mathl{4 \sqrt{2}}{.}
}{Das eingeschriebene regelmäßige Sechseck besteht aus $6$ gleichseitigen Dreiecken, da ja ihr Winkel im Kreismittelpunkt $60$ Grad beträgt, und somit ist ihre Seitenlänge gleich $1$. Die Höhe dieser Dreiecke ist nach dem Satz des Pythagoras gleich
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{1- \left( \frac{ 1 }{ 2 } \right)^2 }
}
{ =} {\sqrt{ { \frac{ 3 }{ 4 } } }
}
{ =} { { \frac{ \sqrt{3} }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Flächeninhalt eines dieser Dreiecke ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } \cdot 1 \cdot { \frac{ \sqrt{3} }{ 2 } }
}
{ =} { { \frac{ \sqrt{3} }{ 4 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
somit ist der Flächeninhalt des eingeschriebenen Sechsecks gleich
\mavergleichskettedisp
{\vergleichskette
{ 6 \cdot { \frac{ \sqrt{3} }{ 4 } }
}
{ =} { 3 \cdot { \frac{ \sqrt{3} }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Umfang des Sechsecks ist
\mathl{6}{.}
}{Das regelmäßige eingeschriebene $n$-Eck besteht aus $n$ gleichen gleichschenkligen Dreiecken, deren Schenkel die Länge $1$ haben. Deren Grundseite sei mit $g_n$ und deren Höhe sei mit $h_n$ bezeichnet
\zusatzklammer {deren Werte muss man für den Vergleich der Approximationen nicht ausrechnen} {} {.}
Der Flächeninhalt eines solchen Dreiecks ist ${ \frac{ 1 }{ 2 } } g_nh_n$ und somit ist der Flächeninhalt des eingeschriebenen $n$-Ecks gleich
\mathdisp {n { \frac{ 1 }{ 2 } } g_nh_n} { . }
Der Umfang des $n$-Ecks ist
\mathdisp {n g_n} { . }
Das Verhältnis des Flächeninhalts des $n$-Ecks zum Flächeninhalt des Kreises ist somit
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ n { \frac{ 1 }{ 2 } } g_nh_n }{ \pi } }
}
{ =} { h_n { \frac{ n g_n }{ 2 \pi } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
das Verhältnis des Umfangs des $n$-Ecks zum Umfang des Kreises ist
\mathdisp {{ \frac{ n g_n }{ 2 \pi } }} { . }
Wegen
\mavergleichskette
{\vergleichskette
{h_n
}
{ < }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Umfangsapproximation besser als die Flächenapproximation.
}
}
\inputaufgabepunkteloesung
{4}
{
Ordne die Zahlen
\mathdisp {\exp \left( 0,6 \right),\, \exp \left( 0,7 \right) \text{ und } 2} { }
gemäß ihrer Größe.
}
{
Es ist einerseits
\mavergleichskettealign
{\vergleichskettealign
{ \exp \left( 0{,}7 \right)
}
{ \geq} {1 + 0{,}7 + { \frac{ 1 }{ 2 } } \cdot 0{,}7^2 + { \frac{ 1 }{ 6 } } \cdot 0{,}7^3
}
{ =} { 1{,}7 + 0{,}245 +{ \frac{ 1 }{ 6 } } \cdot 0{,}343
}
{ >} { 1{,}945 + 0{,}057
}
{ =} { 2{,}002
}
}
{
\vergleichskettefortsetzungalign
{ >} { 2
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Andererseits ist
\mavergleichskettealign
{\vergleichskettealign
{ \exp \left( 0{,}6 \right)
}
{ \leq} {1 + 0{,}6 + { \frac{ 1 }{ 2 } } \cdot 0{,}6^2 + { \frac{ 1 }{ 6 } } { \left( 0{,}6^3 +0{,}6^4 + \cdots \right) }
}
{ =} { 1{,}6 + 0{,}18 +{ \frac{ 1 }{ 6 } } \cdot 0{,}6^3 { \left( 1+ 0{,}6 +0{,}6^2 + \cdots \right) }
}
{ =} { 1{,}78 +{ \frac{ 1 }{ 6 } }\cdot 0{,}6^3 \cdot { \frac{ 5 }{ 2 } }
}
{ =} { 1{,}78 + { \frac{ 3^3 \cdot 5 }{ 6 \cdot 5^3 \cdot 2 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { 1{,}78 + { \frac{ 9 }{ 100 } }
}
{ =} {1{,}87
}
{ <} { 2
}
{ } {}
}
{}{,}
wobei wir im dritten Schritt die geometrische Reihe verwendet haben. Daher ist
\mavergleichskettedisp
{\vergleichskette
{ \exp \left( 0{,}6 \right)
}
{ <} { 2
}
{ <} { \exp \left( 0{,}7 \right)
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{2}
{
Zeige durch Induktion, dass die $n$-te Ableitung von $X^n$ gleich $n!$ ist.
}
{
Die nullte Ableitung von
\mavergleichskettedisp
{\vergleichskette
{x^0
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist diese Funktion selbst, ferner ist
\mavergleichskette
{\vergleichskette
{0!
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was den Induktionsanfang sichert. Der Induktionsschluss ergibt sich für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ { \left( x^n \right) }^{(n)}
}
{ =} { { \left( n x^{n-1} \right) }^{(n-1)}
}
{ =} { n { \left( x^{n-1} \right) }^{(n-1)}
}
{ =} { n ((n-1)!)
}
{ =} { n!
}
}
{}{}{.}
}
\inputaufgabepunkteloesung
{8 (2+5+1)}
{
Es sei
\maabb {f} {I} {\R_+
} {}
eine auf einem offenen Intervall definierte Funktion. Wir interessieren uns für den
\definitionsverweis {Limes}{}{}
\mathdisp {\operatorname{lim}_{ h \rightarrow 0 } \, { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } }} { }
zu einem Punkt
\mathl{x \in I}{.}
\aufzaehlungdrei{Bestimme diesen Limes für die Funktion
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {a^x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit einem
\mathl{a \in \R_+}{.}
}{Es sei $f$ in
\mathl{x \in I}{}
\definitionsverweis {differenzierbar}{}{.}
Zeige
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ h \rightarrow 0 } \, { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } }
}
{ =} { \exp \left( { \frac{ f'(x) }{ f(x) } } \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}{Überprüfe das Ergebnis aus (1) mit Hilfe der Formel aus (2).
}
}
{
\aufzaehlungdrei{Unter Verwendung von Rechenregeln für Exponentialfunktionen ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( { \frac{ a^{x+h} }{ a^x } } \right) }^{ \frac{ 1 }{ h } }
}
{ =} { { \left( a^{x+h} a^{-x} \right) }^{ \frac{ 1 }{ h } }
}
{ =} { { \left( a^{x+h-x} \right) }^{ \frac{ 1 }{ h } }
}
{ =} { { \left( a^{h} \right) }^{ \frac{ 1 }{ h } }
}
{ =} { a
}
}
{}{}{.}
Da dies unabhängig von $h$ ist, ist auch der Limes für
\mathl{h \rightarrow 0}{} gleich $a$.
}{Wir betrachten den natürlichen Logarithmus des funktionalen Ausdrucks, also
\mavergleichskettedisp
{\vergleichskette
{ \ln \left( { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } } \right)
}
{ =} { { \frac{ 1 }{ h } } \ln { \left( { \frac{ f(x+h) }{ f(x) } } \right) }
}
{ =} { { \frac{ 1 }{ h } } { \left( \ln f(x+h) - \ln f(x) \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist der Differenzenquotient zur Funktion
\mathl{\ln f}{} im Punkt $x$. Da $f$ differenzierbar ist, ist auch diese Verknüpfung differenzierbar mit der Ableitung
\mavergleichskettedisp
{\vergleichskette
{ { \left( \ln f(x) \right) }^'
}
{ =} { { \frac{ f'(x) }{ f(x) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{lim}_{ h \rightarrow 0 } \, \ln \left( { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } } \right)
}
{ =} { { \frac{ f'(x) }{ f(x) } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und insbesondere existiert der Limes links. Da die Exponentialfunktion stetig ist, folgt daraus
\mavergleichskettealign
{\vergleichskettealign
{ \exp \left( { \frac{ f'(x) }{ f(x) } } \right)
}
{ =} { \exp \left( \operatorname{lim}_{ h \rightarrow 0 } \, \ln \left( { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } } \right) \right)
}
{ =} { \operatorname{lim}_{ h \rightarrow 0 } \, \exp \left( \ln \left( { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } } \right) \right)
}
{ =} { \operatorname{lim}_{ h \rightarrow 0 } \, { \left( { \frac{ f(x+h) }{ f(x) } } \right) }^{ \frac{ 1 }{ h } }
}
{ } {}
}
{}
{}{.}
}{Für
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {a^x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist die Ableitung gleich
\mathl{{ \left( \ln \left( a \right) \right) } a^x}{.} Somit ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ f'(x) }{ f(x) } }
}
{ =} { { \frac{ { \left( \ln a \right) } a^x }{ a^x } }
}
{ =} { \ln a
}
{ } {
}
{ } {
}
}
{}{}{,}
die Exponentialfunktion davon ist in der Tat gleich $a$.
}
}
\inputaufgabepunkteloesung
{3}
{
Beweise den Satz über die Stammfunktion der Umkehrfunktion.
}
{
\definitionsverweis {Ableiten}{}{}
unter Verwendung von
Lemma 14.7 (Mathematik für Anwender (Osnabrück 2023-2024))
und
Satz 14.8 (Mathematik für Anwender (Osnabrück 2023-2024))
ergibt
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \left( y f^{-1}(y) - F { \left( f^{-1} (y) \right) } \right) }'
}
{ =} { f^{-1}(y) + y { \frac{ 1 }{ f'(f^{-1}(y)) } } - f { \left( f^{-1}(y) \right) } { \frac{ 1 }{ f' { \left( f^{-1}(y) \right) } } }
}
{ =} { f^{-1}(y)
}
{ } {
}
{ } {
}
}
{}
{}{.}
}
\inputaufgabepunkteloesung
{4 (1+3)}
{
Wir betrachten die Funktion \maabbeledisp {f} {\R} {\R } {x} {x^3 } {.}
a) Bestimme zu einer Geraden
\mathbed {y=sx} {}
{s >0} {}
{} {} {} {,}
die Schnittpunkte mit dem Graphen von $f$.
b) Zu einer gegebenen Geraden aus Teil (a) legen der Schnittpunkt
\mathl{(c,d)}{} mit
\mathl{c>0}{,} sein Basispunkt
\mathl{(c,0)}{} und der Nullpunkt
\mathl{(0,0)}{} ein Dreieck fest. Zeige, dass der Graph von $f$ dieses Dreieck in zwei gleich große Flächen zerlegt.
}
{
a) Wir setzen
\mavergleichskettedisp
{\vergleichskette
{sx
}
{ =} {x^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ergibt die Lösungen
\mathl{x=0}{,}
\mathl{x= \sqrt{s}}{} und
\mathl{x=- \sqrt{s}}{,} die Schnittpunkte sind also
\mathlistdisp {(0,0)} {} {(\sqrt{s}, \sqrt{s}^3 )} {und} {(-\sqrt{s},- \sqrt{s}^3 )} {.}
b) Die Eckpunkte des Dreiecks sind
\mathlistdisp {(0,0)} {} {(\sqrt{s}, \sqrt{s}^3 )} {und} {(\sqrt{s},0 )} {.}
Sein Flächeninhalt ist demnach gleich
\mavergleichskettedisp
{\vergleichskette
{I
}
{ =} { { \frac{ 1 }{ 2 } } \sqrt{s} \sqrt{s}^3
}
{ =} { { \frac{ 1 }{ 2 } } s^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Flächeninhalt innerhalb des Dreiecks und unterhalb des Graphen berechnet sich als bestimmtes Integral zu
\mavergleichskettedisp
{\vergleichskette
{\int_0^{\sqrt{s} } x^3 dx
}
{ =} { { \frac{ 1 }{ 4 } } \sqrt{s}^4
}
{ =} { { \frac{ 1 }{ 4 } } s^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist die Hälfte des Dreiecksinhalts.
}
\inputaufgabepunkteloesung
{8 (2+2+4)}
{
Es sei $K$ ein \definitionsverweis {endlicher Körper}{}{} mit $q$ Elementen.
a) Es sei $V$ ein $K$-\definitionsverweis {Vektorraum}{}{} der Dimension $d$. Wie viele Elemente besitzt $V$?
b) Zeige, dass ein $K$-\definitionsverweis {Vektorraum}{}{} genau dann endlich ist, wenn er \definitionsverweis {endlichdimensional}{}{} ist.
c) Wie viele Basen besitzt ein $d$-dimensionaler $K$-Vektorraum?
}
{
a) Da es eine Basis
\mathl{v_1 , \ldots , v_d}{} gibt, ist $V$
\definitionsverweis {isomorph}{}{}
zu $K^d$. Dieser Raum besteht aus allen $d$-Tupeln und besitzt damit $q^d$ Elemente.
b) Wenn $V$ endlichdimensional ist, so folgt die Endlichkeit der Menge $V$ direkt aus a). Wenn $V$ endlich ist, so kann man ganz $V$ als endliches Erzeugendensystem wählen. Eine Teilmenge davon bildet eine endliche Basis. Also ist $V$ endlichdimensional.
c) Wir überlegen uns, auf wie viele Arten wir eine Basis
\mathl{v_1 , \ldots , v_d}{} zusammenstellen können. Damit müssen wir nur beachten, dass $v_{i+1}$ jeweils nicht im dem von den
\mathl{v_1 , \ldots , v_i}{} erzeugten Untervektorraum liegt. Durch diese Bedingung besitzt dieser Untervektorraum insbesondere $q^i$ Elemente. Das bedeutet, dass man für
\mathl{v_{i+1}}{} genau
\mathl{q^d-q^i}{} Auswahlmöglichkeiten hat. Daher gibt es insgesamt
\mavergleichskettedisp
{\vergleichskette
{ (q^d -1) (q^d -q) (q^d-q^2) \cdots (q^d-q^{d-2}) (q^d-q^{d-1})
}
{ =} { q^{ { \frac{ d(d-1) }{ 2 } } } (q^d-1) (q^{d-1} -1) (q^{d-2} -1 ) \cdots (q^2-1) (q-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{} Basen.
}
\inputaufgabepunkteloesung
{3}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $V$ ein
$K$-\definitionsverweis {Vektorraum}{}{} mit endlicher
\definitionsverweis {Dimension}{}{}
\mathl{n= \operatorname{dim}_{ } { \left( V \right) }}{.} Es seien $n$ Vektoren
\mathl{v_1 , \ldots , v_n}{} in $V$ gegeben. Zeige, dass die folgenden Eigenschaften äquivalent sind.
\aufzaehlungdrei{
\mathl{v_1 , \ldots , v_n}{} bilden eine
\definitionsverweis {Basis}{}{}
von $V$.
}{
\mathl{v_1 , \ldots , v_n}{} bilden ein
\definitionsverweis {Erzeugendensystem}{}{}
von $V$.
}{
\mathl{v_1 , \ldots , v_n}{} sind
\definitionsverweis {linear unabhängig}{}{.}
}
}
{
Eine Basis ist insbesondere ein Erzeugendensystem und linear unabhängig, deshalb folgt sowohl (2) als auch (3) aus (1). Es sei (2) erfüllt, d.h.
\mathl{v_1 , \ldots , v_n}{} ist ein Erzeugendensystem. Wenn es keine Basis wäre, so wäre dieses System nach
Satz 23.12 (Mathematik für Anwender (Osnabrück 2023-2024))
kein minimales Erzeugendensystem und man könnte Vektoren herausnehmen, und es würde ein Erzeugendensystem bleiben. Dies widerspricht der Wohldefiniertheit der Dimension. Es sei (3) erfüllt, d.h.
\mathl{v_1 , \ldots , v_n}{} ist ein System aus linear unabhängigen Vektoren. Wenn es keine Basis wäre, so wäre es nach
Satz 23.12 (Mathematik für Anwender (Osnabrück 2023-2024))
nicht maximal linear unabhängig, und man könnte es durch Hinzunahme von einem Vektor zu einem größeren linear unabhängigen System vergrößern. Auch dies wiederspricht der Wohldefiniertheit der Dimension.
}
\inputaufgabepunkteloesung
{1}
{
Wie lautet die Matrix, die bezüglich der Standardbasis die Vierteldrehung im $\R^2$ gegen den Uhrzeigensinn beschreibt?
}
{
\mathdisp {\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}} { . }
}
\inputaufgabepunkteloesung
{4}
{
Bestimme die komplexen Zahlen $z$, für die die Matrix
\mathdisp {\begin{pmatrix} 2z & 0 & -z+1 \\ 1 & 1 & 3 \\z & 2 & -z \end{pmatrix}} { }
nicht invertierbar ist.
}
{
Die Matrix ist genau dann invertierbar, wenn ihre Determinante $\neq 0$ ist. Wir müssen also die Nullstellen der Determinante bestimmen. Die Determinante ist
\zusatzklammer {nach der Regel von Sarrus} {} {}
\mavergleichskettedisp
{\vergleichskette
{ -2z^2 -2z +2-12z -z +z^2
}
{ =} { -z^2 -15 z +2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ist gleich $0$ genau dann, wenn
\mathdisp {z^2+15z-2 =0} { }
ist. Durch quadratisches Ergänzen führt diese Gleichung auf
\mavergleichskettedisp
{\vergleichskette
{ { \left( z+ { \frac{ 15 }{ 2 } } \right) }^2
}
{ =} {2 + { \frac{ 225 }{ 4 } }
}
{ =} { { \frac{ 233 }{ 4 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher sind
\mathdisp {z_1= { \frac{ \sqrt{233} }{ 2 } } + { \frac{ 15 }{ 2 } } = { \frac{ 15 + \sqrt{233} }{ 2 } } \text{ und } z_2 = - { \frac{ \sqrt{233} }{ 2 } } + { \frac{ 15 }{ 2 } } = { \frac{ 15 - \sqrt{233} }{ 2 } }} { }
die beiden einzigen Lösungen der quadratischen Gleichung. Diese zwei reellen Zahlen sind also die einzigen
\zusatzklammer {reellen oder komplexen} {} {}
Zahlen, für die die Matrix nicht invertierbar ist.
}