Zum Inhalt springen

Kurs:Analysis/Teil I/35/Klausur mit Lösungen/latex

Aus Wikiversity

%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}{ 4 }

\renewcommand{\avier}{ 2 }

\renewcommand{\afuenf}{ 7 }

\renewcommand{\asechs}{ 2 }

\renewcommand{\asieben}{ 4 }

\renewcommand{\aacht}{ 5 }

\renewcommand{\aneun}{ 4 }

\renewcommand{\azehn}{ 5 }

\renewcommand{\aelf}{ 4 }

\renewcommand{\azwoelf}{ 3 }

\renewcommand{\adreizehn}{ 2 }

\renewcommand{\avierzehn}{ 1 }

\renewcommand{\afuenfzehn}{ 5 }

\renewcommand{\asechzehn}{ 3 }

\renewcommand{\asiebzehn}{ 4 }

\renewcommand{\aachtzehn}{ 3 }

\renewcommand{\aneunzehn}{ 64 }

\renewcommand{\azwanzig}{ }

\renewcommand{\aeinundzwanzig}{ }

\renewcommand{\azweiundzwanzig}{ }

\renewcommand{\adreiundzwanzig}{ }

\renewcommand{\avierundzwanzig}{ }

\renewcommand{\afuenfundzwanzig}{ }

\renewcommand{\asechsundzwanzig}{ }

\punktetabelleachtzehn


\klausurnote

\newpage


\setcounter{section}{0}





\inputaufgabeklausurloesung
{3}
{

Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Eine \stichwort {bijektive} {} Abbildung \maabbdisp {f} {M} {N } {.}

}{Ein \stichwort {Häufungspunkt} {} einer Folge in einem angeordneten Körper $K$.

}{Der \stichwort {Imaginärteil} {} einer komplexen Zahl $z$.

}{Die \stichwort {reelle Exponentialfunktion} {} zur Basis
\mathl{b >0}{.}

}{Die \stichwort {Riemann-Integrierbarkeit} {} einer Funktion \maabbdisp {f} {\R} {\R } {.}

}{Die \stichwort {Zeitunabhängigkeit} {} einer \definitionsverweis {gewöhnlichen Differentialgleichung}{}{}
\mathdisp {y'= f(t,y)} { . }
}

}
{

\aufzaehlungsechs{Die Abbildung $f$ heißt bijektiv, wenn sie sowohl injektiv als auch surjektiv ist. }{Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {Folge}{}{} in $K$. Ein Element
\mavergleichskette
{\vergleichskette
{x }
{ \in }{K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt Häufungspunkt der Folge, wenn es für jedes
\mavergleichskette
{\vergleichskette
{ \epsilon }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} unendlich viele Folgenglieder $x_n$ mit
\mavergleichskette
{\vergleichskette
{ \betrag { x_n - x } }
{ \leq }{ \epsilon }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt. }{Zu einer komplexen Zahl
\mavergleichskette
{\vergleichskette
{z }
{ = }{a+b { \mathrm i} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} nennt man $b$ den Imaginärteil von $z$. }{Die \definitionsverweis {Funktion}{}{} \maabbeledisp {} {\R} {\R } {x} {b^x } {,} heißt Exponentialfunktion zur Basis $b$. }{Die Funktion $f$ heißt Riemann-integrierbar, wenn die \definitionsverweis {Einschränkung}{}{} von $f$ auf jedes \definitionsverweis {kompakte}{}{} \definitionsverweis {Intervall}{}{}
\mathl{[a,b] \subseteq \R}{} \definitionsverweis {Riemann-integrierbar}{}{} ist. }{Die \definitionsverweis {gewöhnliche Differentialgleichung}{}{}
\mathdisp {y'= f(t,y)} { }
heißt zeitunabhängig, wenn die Funktion $f$ nicht von $t$ abhängt, wenn also
\mathl{f(t,y)=h(y)}{} gilt mit einer Funktion $h$ in der einen Variablen $y$. }


}





\inputaufgabeklausurloesung
{3}
{

Formuliere die folgenden Sätze. \aufzaehlungdrei{Die \stichwort {Bernoulli-Ungleichung} {} für einen angeordneten Körper $K$.}{Der Satz über das Konvergenzverhalten einer Potenzreihe
\mavergleichskettedisp
{\vergleichskette
{ f(z) }
{ =} { \sum _{ n= 0}^\infty c_n (z-a)^{ n } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}{Der Satz über die Ableitung der Umkehrfunktion zu einer bijektiven differenzierbaren Funktion \maabbdisp {f} { {\mathbb K} } { {\mathbb K} } {.}}

}
{

\aufzaehlungdrei{Für
\mathl{x \geq -1}{} und
\mathl{n \in \N}{} ist
\mavergleichskettedisp
{\vergleichskette
{(1+x)^n }
{ \geq} { 1+nx }
{ } { }
{ } { }
{ } { }
} {}{}{.}}{Die \definitionsverweis {Potenzreihe}{}{}
\mavergleichskette
{\vergleichskette
{ f(z) }
{ = }{ \sum _{ n= 0}^\infty c_n (z-a)^{ n } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sei für eine komplexe Zahl
\mathbed {z=b} {}
{b \neq a} {}
{} {} {} {,} konvergent. Dann ist für jeden reellen Radius
\mathbed {r} {mit}
{0< r< \betrag { b-a }} {}
{} {} {} {} die Potenzreihe
\mathl{f(z)}{} auf der abgeschlossenen Kreisscheibe
\mathl{B \left( a,r \right)}{} punktweise absolut und gleichmäßig konvergent.}{Zu
\mavergleichskette
{\vergleichskette
{ a }
{ \in }{ {\mathbb K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ f'(a) }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist auch die Umkehrfunktion $f^{-1}$ in
\mavergleichskette
{\vergleichskette
{b }
{ = }{ f(a) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} differenzierbar mit
\mavergleichskettedisp
{\vergleichskette
{ { \left( f^{-1} \right) }'(b) }
{ =} { \frac{1}{f' (f^{-1} (b))} }
{ =} { \frac{1}{f'(a)} }
{ } { }
{ } { }
} {}{}{.}}


}





\inputaufgabeklausurloesung
{4 (1+3)}
{

In einer Höhle befinden sich im Innern am Ende des Ganges vier Personen. Sie haben eine Taschenlampe bei sich und der Gang kann nur mit der Taschenlampe begangen werden. Dabei können höchstens zwei Leute gemeinsam durch den Gang gehen. Die Personen sind unterschiedlich geschickt, die erste Person benötigt eine Stunde, die zweite Person benötigt zwei Stunden, die dritte Person benötigt vier Stunden und die vierte Person benötigt fünf Stunden, um den Gang zu durchlaufen. Wenn zwei Personen gleichzeitig gehen, entscheidet die langsamere Person über die Geschwindigkeit. \aufzaehlungzwei {Die Batterie für die Taschenlampe reicht für genau $13$ Stunden. Können alle vier die Höhle verlassen? } {Die Batterie für die Taschenlampe reicht für genau $12$ Stunden. Können alle vier die Höhle verlassen? }

}
{ }





\inputaufgabeklausurloesung
{2}
{

Berechne
\mathdisp {0{,}00000029 \cdot 0{,}00000000037} { . }
Das Ergebnis soll in einer entsprechenden Form angegeben werden.

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{ 0{,}000 000 29 }
{ =} { 29 \cdot 10^{-8} }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ 0{,}00000000037 }
{ =} { 37 \cdot 10^{-11} }
{ } { }
{ } { }
{ } { }
} {}{}{.} Somit ist das Produkt
\mavergleichskettedisp
{\vergleichskette
{ 0{,}000 000 29 \cdot 0{,}00000000037 }
{ =} { 29 \cdot 10^{-8} \cdot 37 \cdot 10^{-11} }
{ =} { 29 \cdot 37 \cdot 10^{-19} }
{ =} { 1073 \cdot 10^{-19} }
{ } { }
} {}{}{.} Die Kommadarstellung davon ist
\mathdisp {0{,}000 000 000 000 000 107 3} { . }


}





\inputaufgabeklausurloesung
{7}
{

Wir betrachten die Abbildung \maabbdisp {\Psi} {\N^4} { \N^4 } {,} die einem Vierertupel
\mathl{(a,b,c,d)}{} das Vierertupel
\mathdisp {( \betrag { b-a } , \betrag { c-b } , \betrag { d-c } , \betrag { a-d } )} { }
zuordnet. Zeige, dass sich bei jedem Starttupel
\mathl{(a,b,c,d)}{} nach endlich vielen Iterationen dieser Abbildung stets das Nulltupel ergibt.

}
{

Es sei $m$ das Maximum der beteiligten vier Zahlen $a,b,c,d$. Wir zeigen, dass dieses Maximum nach endlich vielen Iterationen kleiner wird. Da wir uns innerhalb der natürlichen Zahlen befinden, folgt daraus, dass das Maximum irgendwann $0$ wird, was bedeutet, dass dann alle vier Zahlen $0$ sind. Da alle Zahlen aus $\N$ sind und die nichtnegative Differenz genommen wird, wird das Maximum definitiv nicht größer bei einer Iteration. Allerdings kann das Maximum gleich bleiben. Dies kann aber nur dann sein, wenn ein Nachbar \zusatzklammer {zyklisch gedacht, die vierte Zahl ist also auch ein Nachbar der ersten Zahl} {} {} des Maximums gleich $0$ ist. Wir müssen \zusatzklammer {durch zyklisches Vertauschen und Spiegeln} {} {} nur noch die Situation anschauen, wo das Tupel die Form
\mathdisp {(m,0,x,y)} { }
mit
\mavergleichskette
{\vergleichskette
{x,y }
{ \leq }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} hat. Wenn
\mavergleichskette
{\vergleichskette
{x }
{ = }{y }
{ = }{0 }
{ }{ }
{ }{ }
} {}{}{} ist, so liefert die Abbildung
\mathdisp {(m,0,0,m)} { . }
Wir müssen also nur noch die Situation anschauen, wo es höchstens zwei Nullen gibt. Bei
\mathdisp {(m,0,x,0)} { }
mit
\mavergleichskette
{\vergleichskette
{x }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt sich im nächsten Schritt
\mathdisp {(m,x,x,m)} { , }
was keine Nullen mehr hat. Bei
\mathdisp {(m,0,0,y)} { }
mit
\mavergleichskette
{\vergleichskette
{y }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt sich im nächsten Schritt
\mathdisp {(m,0,y,m-y)} { . }
Bei
\mavergleichskette
{\vergleichskette
{y }
{ < }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} besitzt dies nur eine Null, bei
\mavergleichskette
{\vergleichskette
{y }
{ = }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind wir in einem schon behandelten Fall. Es sei das Tupel jetzt
\mathdisp {(m,0,x,y)} { }
mit
\mavergleichskettedisp
{\vergleichskette
{0 }
{ <} { x,y }
{ \leq} {m }
{ } { }
{ } { }
} {}{}{.} Das Ergebnis ist
\mathdisp {(m,x, \betrag { x-y }, m-y)} { . }
Bei
\mavergleichskette
{\vergleichskette
{x }
{ = }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist dies
\mathdisp {(m,m,m-y,m-y)} { }
mit dem Folgetupel
\mathdisp {(0, y,0,y)} { . }
Bei
\mavergleichskette
{\vergleichskette
{y }
{ < }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} besitzt dies ein kleineres Maximum, bei
\mavergleichskette
{\vergleichskette
{y }
{ = }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist das Folgetupel gleich
\mathdisp {(m,m,m,m)} { , }
und davon ist das Folgetupel
\mathdisp {(0,0,0,0)} { . }
Es sei also
\mavergleichskette
{\vergleichskette
{x }
{ < }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Das Folgetupel ist bei
\mavergleichskette
{\vergleichskette
{y }
{ = }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gleich
\mavergleichskettedisp
{\vergleichskette
{ (m,x, \betrag { x-y }, m-y) }
{ =} { (m,x,m-x,0) }
{ } { }
{ } { }
{ } { }
} {}{}{,} und dessen Folgetupel ist
\mathdisp {(m-x, \betrag { m-2x } , m-x,m)} { . }
Allenfalls in der dritten Position könnte eine $0$ stehen, doch diese ist nicht benachbart zum einzigen Vorkommen von $m$, sodass das Folgetupel keine Null besitzt.


Das Folgetupel ist bei
\mavergleichskette
{\vergleichskette
{y }
{ < }{m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gleich
\mathdisp {(m,x, \betrag { x-y }, m-y)} { , }
und dabei ist wieder allenfalls in der dritten Position eine $0$, stehen, doch diese ist nicht benachbart zum einzigen Vorkommen von $m$, sodass das Folgetupel keine Null besitzt.


}





\inputaufgabeklausurloesung
{2}
{

Man gebe ein Beispiel für eine natürliche Zahl, die man als Summe von vier Quadraten darstellen kann, aber nicht als Summe von drei Quadraten.

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{7 }
{ =} {4+1+1+1 }
{ } { }
{ } { }
{ } { }
} {}{}{} darstellbar mit vier Quadraten. Die einzigen Quadrate unterhalb von $7$ sind
\mathl{0,1,4}{.} Die $0$ trägt nicht zu einer minimalen Darstellung bei. Zweimal die $4$ ist schon zu groß, daher gibt es keine Darstellung als Summe von drei Quadraten.


}





\inputaufgabeklausurloesung
{4}
{

Es sei $K$ ein \definitionsverweis {angeordneter Körper}{}{} und es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine \definitionsverweis {konvergente Folge}{}{} in $K$ mit
\mathl{x_n \neq 0}{} für alle
\mathl{n \in \N}{} und
\mathl{\lim_{n \rightarrow \infty} x_n=x \neq 0}{.} Zeige, dass
\mathl{{ \left( \frac{1}{x_n} \right) }_{ n \in \N }}{} ebenfalls konvergent mit
\mathdisp {\lim_{n \rightarrow \infty} \frac{1}{x_n}= \frac{1}{x}} { }
ist.

}
{

Da der Limes der Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} nicht $0$ ist, gilt für
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{N_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Bedingung
\mavergleichskette
{\vergleichskette
{ \betrag { x_n } }
{ \geq }{ { \frac{ \betrag { x } }{ 2 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und damit
\mavergleichskettedisp
{\vergleichskette
{ \frac{1}{ \betrag { x_n } } }
{ \leq} { \frac{2}{ \betrag { x } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{ \epsilon }
{ > }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} vorgegeben. Wegen der Konvergenz von
\mathl{{ \left( x_n \right) }_{n \in \N }}{} gibt es ein $N_2$ mit
\mathdisp {\betrag { x_n-x } \leq \frac{\epsilon \betrag { x }^2}{2} \text { für alle } n \geq N_2} { . }
Dann gilt für alle
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{N }
{ \defeq }{ \max \{N_1, N_2\} }
{ }{ }
{ }{ }
} {}{}{} die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { \frac{1}{x_n} - \frac{1}{x} } }
{ =} { \betrag { \frac{x_n-x}{x x_n} } }
{ =} { \frac{1}{\betrag { x } \betrag { x_n }} \betrag { x_n-x } }
{ \leq} { \frac{2}{\betrag { x }^2} \cdot \frac{ \epsilon \betrag { x }^2}{2} }
{ =} { \epsilon }
} {}{}{.}


}





\inputaufgabeklausurloesung
{5}
{

Berechne die Schnittpunkte der beiden Kreise \mathkor {} {K_1} {und} {K_2} {,} wobei $K_1$ den Mittelpunkt
\mathl{(3,4)}{} und den Radius $6$ und $K_2$ den Mittelpunkt $(-8,1)$ und den Radius $7$ besitzt.

}
{

Die Kreisgleichungen der beiden Kreise sind
\mavergleichskettedisp
{\vergleichskette
{(x-3)^2 + (y-4)^2 }
{ =} { x^2 - 6x +y^2 -8 y +25 }
{ =} {36 }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ (x+8)^2 + (y-1)^2 }
{ =} { x^2 + 16x +y^2 -2 y + 65 }
{ =} {49 }
{ } { }
{ } { }
} {}{}{.} Die Differenz der beiden Gleichungen ergibt
\mavergleichskettedisp
{\vergleichskette
{ 22x + 6y +40 }
{ =} { 13 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Also ist
\mavergleichskettedisp
{\vergleichskette
{y }
{ =} { { \frac{ -22 x -27 }{ 6 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dies setzen wir in die erste Kreisgleichung ein und erhalten
\mavergleichskettealign
{\vergleichskettealign
{ x^2 -6x + { \left( { \frac{ -22 x -27 }{ 6 } } \right) }^2 -8 { \frac{ -22 x -27 }{ 6 } } -11 }
{ =} { x^2 + { \frac{ 121 }{ 9 } }x^2 -6x + 33 x + { \frac{ 81 }{ 4 } } + { \frac{ 88 }{ 3 } } x + 36 -11 }
{ =} { { \frac{ 130 }{ 9 } } x^2 + { \frac{ 169 }{ 3 } } x + { \frac{ 181 }{ 4 } } }
{ =} {0 }
{ } { }
} {} {}{.} Nach der Lösungsformel für eine quadratische Gleichung ist
\mavergleichskettealign
{\vergleichskettealign
{x_{1,2} }
{ =} { { \frac{ - { \frac{ 169 }{ 3 } } \pm \sqrt{ { \frac{ 28561 }{ 9 } } -4 \cdot { \frac{ 130 }{ 9 } } \cdot { \frac{ 181 }{ 4 } } } }{ { \frac{ 260 }{ 9 } } } } }
{ =} { { \frac{ -169 \pm \sqrt{ 28561 - 130 \cdot 181 } }{ { \frac{ 260 }{ 3 } } } } }
{ =} { { \frac{ -3 \cdot 169 \pm 3 \sqrt{ 28561 - 23530 } }{ 260 } } }
{ =} { { \frac{ - 507 \pm 3 \sqrt{ 5031 } }{ 260 } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ - 507 \pm 9 \sqrt{ 559 } }{ 260 } } }
{ } {}
{ } {}
{ } {}
} {}{.} Somit ist
\mavergleichskettealign
{\vergleichskettealign
{y_1 }
{ =} { { \frac{ -22 x_1-27 }{ 6 } } }
{ =} { { \frac{ -22 { \frac{ - 507 +9 \sqrt{ 559 } }{ 260 } } -27 }{ 6 } } }
{ =} { -11 { \frac{ - 169 + 3 \sqrt{ 559 } }{ 260 } } - { \frac{ 9 }{ 2 } } }
{ =} { - { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 11 \cdot 13 }{ 20 } } - { \frac{ 9 }{ 2 } } }
} {
\vergleichskettefortsetzungalign
{ =} { - { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 53 }{ 20 } } }
{ } { }
{ } {}
{ } {}
} {}{} und
\mavergleichskettealign
{\vergleichskettealign
{y_2 }
{ =} { { \frac{ -22 x_2-27 }{ 6 } } }
{ =} { { \frac{ -22 { \frac{ - 507 - 9 \sqrt{ 559 } }{ 260 } } -27 }{ 6 } } }
{ =} { -11 { \frac{ - 169 - 3 \sqrt{ 559 } }{ 260 } } - { \frac{ 9 }{ 2 } } }
{ =} { { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 11 \cdot 13 }{ 20 } } - { \frac{ 9 }{ 2 } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 53 }{ 20 } } }
{ } { }
{ } {}
{ } {}
} {}{.} Die Schnittpunkte sind also
\mathdisp {\left( { \frac{ - 507 + 9 \sqrt{ 559 } }{ 260 } } , \, - { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 53 }{ 20 } } \right)} { }
und
\mathdisp {\left( { \frac{ - 507 - 9\sqrt{ 559 } }{ 260 } } , \, { \frac{ 33 \sqrt{ 559 } }{ 260 } } + { \frac{ 53 }{ 20 } } \right)} { . }


}





\inputaufgabeklausurloesung
{4}
{

Von einem Rechteck sind der Umfang $U$ und die Fläche $A$ bekannt. Bestimme die Längen der Seiten des Rechtecks.

}
{

Zwei Seiten haben die Länge $a$, zwei andere Seiten die Länge $b$; gegebenenfalls ist $a = b$. Es gilt $U = 2a+2b$ und $A=ab$.

Auflösen der ersten Gleichung nach $b$ ergibt $b = \frac{U}{2}-a$. Einsetzen in die zweite Gleichung: $A = a\left(\frac{U}{2}-a\right) = a\frac{U}{2}-a^2$. Umstellen in die Normalform einer quadratischen Gleichung: $a^2-\frac{U}{2} a + A = 0$.

Man beachte, dass der Wert unter der Wurzel nie negativ wird und nur für den Speziallfall eines Quadrats null wird: Alle allgemeinen Rechtecke haben im Verhältnis zum Quadrat bei gleicher Fläche einen größeren Umfang.

Also hat diese Gleichung typischerweise zwei Lösungen für $a$, nämlich $\frac{U}{4}\pm \sqrt{\frac{U^2}{16} - A}$. Eine der beiden Lösungen ist dann $a$, die andere ist $b$. Wenn unter der Wurzel der Wert null steht, hat man ein Quadrat und es gibt nur eine Lösung $a=b=U/4$.


}





\inputaufgabeklausurloesung
{5}
{

Beweise die Funktionalgleichung für die komplexe Exponentialfunktion.

}
{

Das \definitionsverweis {Cauchy-Produkt}{}{} der beiden Exponentialreihen ist
\mathdisp {\sum_{ n = 0}^\infty c_{ n }} { }
mit
\mavergleichskette
{\vergleichskette
{ c_n }
{ = }{ \sum_{ i = 0 }^{ n } \frac{z^{i} }{i!} \frac{ w^{n-i } }{ (n-i)!} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Diese Reihe ist nach Lemma 15.2 (Analysis (Osnabrück 2021-2023)) \definitionsverweis {absolut konvergent}{}{} und der \definitionsverweis {Grenzwert}{}{} ist das Produkt der beiden Grenzwerte. Andererseits ist der $n$-te Summand der Exponentialreihe von
\mathl{z+w}{} nach der allgemeinen binomischen Formel gleich
\mavergleichskettedisp
{\vergleichskette
{ \frac{(z+w)^n}{n!} }
{ =} { \frac{1}{n!} \sum_{ i = 0 }^{ n } \binom { n } { i } z^{i} w^{n-i} }
{ =} { c_n }
{ } { }
{ } {}
} {}{}{,} sodass die beiden Seiten übereinstimmen.


}





\inputaufgabeklausurloesung
{4}
{

Zeige, dass eine \definitionsverweis {reelle Polynomfunktion}{}{} \maabbdisp {f} {\R} {\R } {} vom \definitionsverweis {Grad}{}{} $d \geq 1$ maximal
\mathl{d-1}{} \definitionsverweis {lokale Extrema}{}{} besitzt, und die reellen Zahlen sich in maximal $d$ Intervalle unterteilen lassen, auf denen abwechselnd $f$ \definitionsverweis {streng wachsend}{}{} oder \definitionsverweis {streng fallend}{}{} ist.

}
{

Die Ableitung $f'$ ist ein Polynom vom Grad $d-1$. Dieses besitzt nach Korollar 11.7 (Analysis (Osnabrück 2021-2023)) höchstens
\mathl{d-1}{} Nullstellen. Nach Satz 19.1 (Analysis (Osnabrück 2021-2023)) besitzt daher $f$ höchstens
\mathl{d-1}{} lokale Extrema. Zwischen zwei benachbarten Nullstellen der Ableitung und auch unterhalb der kleinsten und oberhalb der größten Nullstelle ist die Ableitung entweder echt positiv oder echt negativ. Wenn wir stets benachbarte Intervalle zusammenlegen, auf denen die Ableitung jeweils positiv oder jeweils negativ ist, so erhalten wir eine Zerlegung von $\R$ in Intervalle, auf denen die Ableitung positiv oder negativ mit eventuell endlich vielen Ausnahmepunkten ist, und positiv und negativ wechseln sich ab. In diesen Intervallen ist dann $f$ nach Satz 19.5 (Analysis (Osnabrück 2021-2023)) streng wachsend oder streng fallend.


}





\inputaufgabeklausurloesung
{3}
{

Beweise die Regel von l'Hospital unter der zusätzlichen Voraussetzung, dass die Nennerfunktion überall differenzierbar und die Ableitung keine Nullstelle besitzt, mit Hilfe der linearen Approximierbarkeit.

}
{

Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{ f(x) }
{ =} { f(a) + f'(a)(x-a) +r(x) (x-a) }
{ =} { f'(a)(x-a) +r(x) (x-a) }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ g(x) }
{ =} { g(a) + g'(a)(x-a) +s(x) (x-a) }
{ =} { g'(a)(x-a) +s(x) (x-a) }
{ } { }
{ } { }
} {}{}{} mit in $a$ stetigen Funktionen $r(x),s(x)$, die dort den Wert $0$ haben. Dann ist \zusatzklammer {für
\mavergleichskette
{\vergleichskette
{x }
{ \neq }{a }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ f(x) }{ g(x) } } }
{ =} { { \frac{ f'(a)(x-a) +r(x) (x-a) }{ g'(a)(x-a) +s(x) (x-a) } } }
{ =} { { \frac{ f'(a) +r(x) }{ g'(a) +s(x) } } }
{ } { }
{ } { }
} {}{}{.} Wegen der Voraussetzung
\mavergleichskette
{\vergleichskette
{g'(a) }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} konvergiert die rechte und damit auch die linke Seite für $x \rightarrow a$ gegen
\mathl{{ \frac{ f'(a) }{ g'(a) } }}{.}


}





\inputaufgabeklausurloesung
{2}
{

Beweise den Satz über die Ableitung von Potenzfunktionen
\mathl{x \mapsto x^\alpha}{.}

}
{

Nach Aufgabe 17.1 (Analysis (Osnabrück 2021-2023)) ist
\mavergleichskettedisp
{\vergleichskette
{ x^\alpha }
{ =} { \exp \left( \alpha \, \ln x \right) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die \definitionsverweis {Ableitung}{}{} nach $x$ ist aufgrund von Satz 20.11 (Analysis (Osnabrück 2021-2023)), Korollar 20.12 (Analysis (Osnabrück 2021-2023)) und der Kettenregel gleich
\mavergleichskettedisp
{\vergleichskette
{(x^\alpha)' }
{ =} { ( \exp \left( \alpha \, \ln x \right) )' }
{ =} { \frac{\alpha}{x} \cdot \exp \left( \alpha\, \ln x \right) }
{ =} { \frac{\alpha}{x} x^\alpha }
{ =} { \alpha x^{\alpha -1} }
} {}{}{.}


}





\inputaufgabeklausurloesung
{1}
{

Bestimme die Ableitung der Funktion \maabbeledisp {} {\R_+} {\R_+ } {x} {f(x) = \pi^x +x^e } {.}

}
{

Es ist
\mavergleichskettedisp
{\vergleichskette
{f'(x) }
{ =} { \ln (\pi) \cdot \pi^x +e x^{e-1} }
{ } { }
{ } { }
{ } { }
} {}{}{.}


}





\inputaufgabeklausurloesung
{5}
{

Beweise den Mittelwertsatz der Integralrechnung.

}
{

Es sei \maabbdisp {f} {[a,b]} {\R } {} eine stetige Funktion. Über dem \definitionsverweis {kompakten Intervall}{}{} ist die Funktion $f$ nach oben und nach unten beschränkt, es seien \mathkor {} {m} {und} {M} {} das \definitionsverweis {Minimum}{}{} bzw. das \definitionsverweis {Maximum}{}{} der Funktion, die aufgrund von Satz 13.10 (Analysis (Osnabrück 2021-2023)) angenommen werden. Dann ist insbesondere
\mavergleichskette
{\vergleichskette
{ m }
{ \leq }{ f(x) }
{ \leq }{ M }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ [a,b] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ m(b-a) }
{ \leq} { \int_{ a }^{ b } f ( t) \, d t }
{ \leq} { M(b-a) }
{ } { }
{ } { }
} {}{}{.} Daher ist
\mavergleichskette
{\vergleichskette
{ \int_{ a }^{ b } f ( t) \, d t }
{ = }{ d (b-a) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit einem
\mavergleichskette
{\vergleichskette
{d }
{ \in }{ [m,M] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und aufgrund des Zwischenwertsatzes gibt es ein
\mavergleichskette
{\vergleichskette
{ c }
{ \in }{ [a,b] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{ f(c) }
{ = }{ d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}


}





\inputaufgabeklausurloesung
{3}
{

Bestimme eine \definitionsverweis {Stammfunktion}{}{} für die \definitionsverweis {Funktion}{}{} \zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{- { \frac{ \pi }{ 2 } } }
{ < }{t }
{ < }{ { \frac{ \pi }{ 2 } } }
{ }{ }
{ }{}
} {}{}{}} {} {}
\mathdisp {{ \frac{ 1 }{ \cos t } }} { . }

}
{

Die \definitionsverweis {Stammfunktion}{}{} von
\mathdisp {\frac{1}{ \cos t }} { }
berechnet sich unter Verwendung von Lemma 27.5 (Analysis (Osnabrück 2021-2023)) folgendermaßen.
\mavergleichskettedisp
{\vergleichskette
{ \int_{ }^{ } \frac{1}{ \cos t } \, d t }
{ =} { \int_{ }^{ } { \frac{ 1+s^2 }{ 1-s^2 } } \cdot { \frac{ 2 }{ 1+s^2 } } \, d s }
{ =} { \int_{ }^{ } { \frac{ 2 }{ 1-s^2 } } \, d s }
{ } { }
{ } { }
} {}{}{.} Eine Stammfunktion von
\mathl{2 { \frac{ 1 }{ 1-s^2 } }}{} ist
\mathl{\ln { \frac{ 1+s }{ 1-s } }}{.} Daher ist
\mathdisp {\ln { \left( { \frac{ 1+ \tan { \frac{ t }{ 2 } } }{ 1 - \tan { \frac{ t }{ 2 } } } } \right) }} { }
eine Stammfunktion von
\mathl{\frac{1}{ \cos t }}{.}


}





\inputaufgabeklausurloesung
{4}
{

Die Graphen der Sinusfunktion und der Kosinusfunktion überkreuzen sich mehrfach und begrenzen dabei Gebiete mit einem endlichen Flächeninhalt. Bestimme den Flächeninhalt eines solchen Gebietes.

}
{

Aufgrund von [[Sinus und Kosinus/R/Periodizitätseigenschaften/Fakt|Satz . (Analysis (Osnabrück 2021-2023))  (3)]] ist
\mavergleichskette
{\vergleichskette
{ \cos \left( x + \pi/2 \right) }
{ = }{ - \sin x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und damit
\mavergleichskettedisp
{\vergleichskette
{ \sin \left( { \frac{ \pi }{ 4 } } \right) }
{ =} { - \sin \left( - { \frac{ \pi }{ 4 } } \right) }
{ =} { - \cos \left( - { \frac{ \pi }{ 4 } } + { \frac{ \pi }{ 2 } } \right) }
{ =} { \cos \left( { \frac{ \pi }{ 4 } } \right) }
{ } { }
} {}{}{.} Diese Überkreuzung wiederholt sich mit der Periode $\pi$. Wegen
\mavergleichskettedisp
{\vergleichskette
{ \sin^{ 2 } x + \cos^{ 2 } x }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{} ist der Wert an den Überkreuzungsstellen abwechselnd gleich $\pm { \frac{ 1 }{ \sqrt{2} } }$

Von
\mathl{{ \frac{ \pi }{ 4 } }}{} bis ${ \frac{ 5\pi }{ 4 } }$ verläuft der Sinus oberhalb des Kosinus. Der eingeschlossene Flächeninhalt ist somit
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ { \frac{ \pi }{ 4 } } }^{ { \frac{ 5\pi }{ 4 } } } \sin x - \cos x \, d x }
{ =} { \left( - \cos x - \sin x \right) | _{ { \frac{ \pi }{ 4 } } } ^{ { \frac{ 5\pi }{ 4 } } } }
{ =} { - \cos \left( { \frac{ 5\pi }{ 4 } } \right) - \sin \left( { \frac{ 5\pi }{ 4 } } \right) + \cos \left( { \frac{ \pi }{ 4 } } \right) + \sin \left( { \frac{ \pi }{ 4 } } \right) }
{ =} { 4 { \frac{ 1 }{ \sqrt{2 } }} }
{ =} { 2 \sqrt{2} }
} {} {}{.}


}





\inputaufgabeklausurloesung
{3}
{

Finde die Lösung des Anfangwertproblems
\mavergleichskettedisp
{\vergleichskette
{y' }
{ =} { e^{-y } }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ y(0) }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}
{

Es liegt eine zeitunabhängige Differentialgleichung vor, wir verwenden Korollar 30.3 (Analysis (Osnabrück 2021-2023)). Eine Stammfunktion zu
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ e^{-y} } } }
{ =} { e^y }
{ } { }
{ } { }
{ } { }
} {}{}{} ist $e^y$. Die Umkehrfunktion ist $\ln z$. Daher sind die Lösungen der Differentialgleichung von der Form
\mathdisp {\ln \left( t+c \right)} { }
mit einer Konstanten $c$, und wobei die Lösungen auf
\mathl{]-c, \infty ]}{} definiert sind. Die Anfangsbedingung bedeutet
\mavergleichskettedisp
{\vergleichskette
{ \ln \left( c \right) }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{,} also ist
\mavergleichskettedisp
{\vergleichskette
{c }
{ =} {e }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die Lösung des Anfangswertproblems ist also
\mathl{\ln \left( t+e \right)}{} auf
\mathl{]-e, \infty ]}{.}


}