Kurs:Analysis/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}{ 4 }
\renewcommand{\avier}{ 2 }
\renewcommand{\afuenf}{ 2 }
\renewcommand{\asechs}{ 5 }
\renewcommand{\asieben}{ 5 }
\renewcommand{\aacht}{ 2 }
\renewcommand{\aneun}{ 6 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 5 }
\renewcommand{\azwoelf}{ 6 }
\renewcommand{\adreizehn}{ 2 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 8 }
\renewcommand{\asechzehn}{ 3 }
\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}{K}
\inputaufgabeklausurloesung
{3}
{
Definiere die folgenden \zusatzklammer {kursiv gedruckten} {} {} Begriffe. \aufzaehlungsechs{Die \stichwort {Kommutativität} {} einer Verknüpfung \maabbdisp {\circ} {M \times M} {M } {.}
}{Der \stichwort {Binomialkoeffizient} {}
\mathl{\binom { n } { k }}{.}
}{Die \stichwort {Eulersche Zahl} {.}
}{Ein
\stichwort {Berührpunkt} {}
einer Menge
\mathl{T \subseteq {\mathbb K}}{.}
}{Das \stichwort {Cauchy-Produkt} {} von zwei komplexen Reihen.
}{Die \stichwort {Differenzierbarkeit in einem Punkt} {} $a \in {\mathbb K}$ einer Abbildung \maabb {f} {{\mathbb K} } {{\mathbb K} } {.} }
}
{
\aufzaehlungsechs{Eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
heißt kommutativ, wenn für alle
\mathl{x,y \in M}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}{Der Binomialkoeffizient ist durch
\mavergleichskettedisp
{\vergleichskette
{ \binom { n } { k }
}
{ =} {{ \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}{Die Eulersche Zahl ist durch
\mavergleichskettedisp
{\vergleichskette
{e
}
{ =} { \lim_{n \rightarrow \infty} { \left( 1+ { \frac{ 1 }{ n } } \right) }^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert.
}{Ein Punkt
\mathl{x \in {\mathbb K}}{} heißt Berührpunkt von $T$, wenn es (mindestens) eine Folge
\mathl{x_n \in T}{} gibt, die gegen
\mathl{x}{} konvergiert.
}{Zu zwei
\definitionsverweis {Reihen}{}{}
\mathkor {} {\sum_{ i = 0}^\infty a_{ i }} {und} {\sum_{ j = 0}^\infty b_{ j }} {}
\definitionsverweis {komplexer Zahlen}{}{}
heißt die Reihe
\mathdisp {\sum_{ k = 0}^\infty c_{ k } \text{ mit } c_k = \sum_{ i = 0 }^{ k } a_i b_{k-i}} { }
das Cauchy-Produkt der beiden Reihen.
}{Man sagt, dass $f$ differenzierbar in $a$ ist, wenn der
\definitionsverweis {Limes}{}{}
\mathdisp {\operatorname{lim}_{ x \in D \setminus \{ a \} , \, x \rightarrow a } \, \frac{ f (x )-f (a) }{ x -a }} { }
existiert.
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Das Induktionsprinzip für Aussagen.}{Der
\stichwort {Identitätssatz für Potenzreihen} {.}}{Der \stichwort {Hauptsatz der Infinitesimalrechnung} {} für eine stetige Funktion
\maabbdisp {f} {I} {\R
} {}
auf einem reellen Intervall
\mathl{I \subseteq \R}{.}}
}
{
\aufzaehlungdrei{Für jede natürliche Zahl
$n$ sei eine Aussage
\mathl{A(n)}{} gegeben. Es gelte
\aufzaehlungzwei {$A(0)$ ist wahr.
} {Für alle $n$ gilt: wenn
\mathl{A(n)}{} gilt, so ist auch
\mathl{A(n+1)}{} wahr.
}
Dann gilt
\mathl{A(n)}{} für alle $n$.}{Es seien
\mathl{f=\sum _{ n= 0}^\infty a_n z^{ n }}{} und
\mathl{g=\sum _{ n= 0}^\infty b_n z^{ n }}{} Potenzreihen mit positiven Konvergenzradien und derart, dass es ein
\mathl{\epsilon > 0}{} gibt, dass die dadurch definierten Funktionen
\maabbdisp {f,g} {U { \left( 0,\epsilon \right) }} {{\mathbb K}
} {}
übereinstimmen. Dann ist
\mathl{a_n=b_n}{} für alle
\mathl{n \in \N}{.}}{Satzantwort
Für einen beliebigen Punkt
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Integralfunktion
\mavergleichskettedisp
{\vergleichskette
{ F(x)
}
{ \defeq} { \int_{ a }^{ x } f ( t) \, d t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
differenzierbar und es gilt
\mavergleichskettedisp
{\vergleichskette
{ F'(x)
}
{ =} { f(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
}
\inputaufgabeklausurloesung
{4 (2+2)}
{
Es sei
\mathbed {T_n} {}
{n \in \N_+} {}
{} {} {} {,}
eine Familie von Mengen. Wir setzen
\mavergleichskettedisp
{\vergleichskette
{S_n
}
{ =} { T_n \setminus { \left( \bigcup_{i = 1}^{n-1} T_i \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
a) Zeige
\mavergleichskettedisp
{\vergleichskette
{ \bigcup_{i = 1}^{n} T_i
}
{ =} { \bigcup_{i = 1}^{n} S_i
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
b) Zeige, dass die Vereinigung
\mathl{\bigcup_{i = 1}^{n} S_i}{} disjunkt ist, dass also
\mavergleichskettedisp
{\vergleichskette
{S_n \cap S_k
}
{ =} { \emptyset
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \neq }{k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
{
a) Wegen
\mathl{S_n \subseteq T_n}{} gilt
\mathl{\supseteq}{.} Zum Nachweis der umgekehrten Inklusion sei
\mathl{x \in \bigcup_{i = 1}^{n} T_i}{.} Dann gibt es ein $i$ zwischen $1$ und $n$ mit
\mathl{x \in T_i}{} und damit auch ein minimales $k$ mit dieser Eigenschaft. Es ist also
\mathl{x \in T_k}{,} aber
\mathl{x \not\in T_i}{} für
\mathl{i<k}{.} Damit ist
\mathl{x \in T_k \setminus \bigcup_{i = 1}^{k-1}T_i =S_k}{} und insbesondere
\mathl{x \in \bigcup_{i = 1}^{n} S_i}{.}
b) Sei
\mavergleichskette
{\vergleichskette
{k
}
{ \neq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sagen wir
\mavergleichskette
{\vergleichskette
{k
}
{ < }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mathl{x \in S_n =T_n \setminus \bigcup_{i = 1}^{n-1} T_i}{.} Dann ist
\mathl{x \in T_n}{} und
\mathl{x \not\in T_i}{} für
\mathl{i < n}{.} Also ist insbesondere
\mathl{x \not\in T_k}{} und damit auch
\mathl{x \not\in S_k}{.} Also sind $S_n$ und $S_k$ disjunkt.
}
\inputaufgabeklausurloesung
{2}
{
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.
}
{Pferde/Farbe/Induktion/Aufgabe/Lösung
}
\inputaufgabeklausurloesung
{2}
{
Eine leere Flasche stand über Nacht draußen und es hat dann angefangen zu regnen. Am Morgen steht in der Flasche Wasser in einer Höhe von ${ \frac{ 1 }{ 2 } }$ cm. Die Flaschenöffnung hat einen \zusatzklammer {inneren} {} {} Durchmesser von $2$ cm und die Flasche hat einen Durchmesser von $6$ cm. Wie viel Regen fiel in der Nacht \zusatzklammer {gemessen in Zentimetern} {} {?}
}
{
Der Wasserinhalt in der Flasche ist
\mathdisp {\pi \cdot 3^ 2 \cdot { \frac{ 1 }{ 2 } }} { . }
Diese Menge muss durch die Flaschenöffnung eingegangen sein, sodass sich die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ \pi \cdot 3^2 \cdot { \frac{ 1 }{ 2 } }
}
{ =} { \pi \cdot 1^2 \cdot h
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt, wobei $h$ die Regenmengenhöhe ist. Daher ist
\mavergleichskettedisp
{\vergleichskette
{h
}
{ =} { 3^2 \cdot { \frac{ 1 }{ 2 } }
}
{ =} { { \frac{ 9 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{5}
{
Beweise die allgemeine binomische Formel.
}
{
Wir führen Induktion nach $n$. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
steht einerseits
\mavergleichskette
{\vergleichskette
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und andererseits
\mavergleichskette
{\vergleichskette
{a^0b^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.} Es sei die Aussage bereits für $n$ bewiesen. Dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ (a+b)^{n+1}
}
{ =} { (a+b) (a+b)^n
}
{ =} { (a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { a { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } + b { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{ k= 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k=0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } { \left( \binom { n } { k-1 } + \binom { n } { k } \right) } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k=1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
}
\inputaufgabeklausurloesung
{5}
{
Es sei
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {reelle Folge}{}{}
und sei
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element mit
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{a
}
{ < }{1
}
{ }{
}
{ }{
}
}
{}{}{.}
Es gebe ein $N$ derart, dass
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_{n+1} - x_n }
}
{ \leq} { a^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelte für alle
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige, dass
\mathl{{ \left( x_n \right) }_{n \in \N }}{} eine
\definitionsverweis {Cauchy-Folge}{}{}
ist.
}
{
Die Eigenschaft, eine Cauchy-Folge zu sein, ändert sich nicht, wenn man endlich viele Glieder der Folge abändert. Wir können also annehmen, dass
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_{n+1} - x_n }
}
{ \leq} { a^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $n$ gilt. Für
\mavergleichskette
{\vergleichskette
{m
}
{ \geq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettealign
{\vergleichskettealign
{ \betrag { x_m -x_n }
}
{ =} { \betrag { x_{n+1} -x_n } + \betrag { x_{n+2} -x_{n+1} } + \cdots + \betrag { x_{m-1} -x_{m-2} } +\betrag { x_m -x_{m-1} }
}
{ \leq} { a^n + a^{n+1} + \cdots + a^{m-2} + a^{m-1}
}
{ =} { a^n { \left( 1+a + \cdots + a^{m-n-2} + a^{m-n-1} \right) }
}
{ } {
}
}
{}
{}{.}
Der rechte Faktor ist dabei
\zusatzklammer {endliche geometrische Reihe} {} {}
gleich
\mathl{{ \frac{ 1-a^{m-n} }{ 1-a } }}{.} Wegen
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{ a
}
{ < }{1
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Nenner wohldefiniert und
\mathl{a^{m-n}}{} ist $\geq 0$, also kann man diesen Faktor nach oben durch
\mathl{{ \frac{ 1 }{ 1-a } }}{} abschätzen. Insgesamt haben wir also
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_m -x_n }
}
{ \leq} { a^n \cdot { \frac{ 1 }{ 1-a } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Aufgabe 5.28 (Analysis (Osnabrück 2021-2023))
ist $a^n$ eine Nullfolge und dies gilt auch für
\mathl{a^n \cdot{ \frac{ 1 }{ 1-a } }}{,} da man ja mit einer festen Zahl multipliziert. Zum Nachweis, dass eine Cauchy-Folge vorliegt, sei ein
\mavergleichskette
{\vergleichskette
{\epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Dann gibt es ein $n_0$ mit
\mavergleichskette
{\vergleichskette
{a^n \cdot{ \frac{ 1 }{ 1-a } }
}
{ \leq }{ \epsilon
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit gilt für alle
\mavergleichskette
{\vergleichskette
{m
}
{ \geq }{ n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_m -x_n }
}
{ \leq} { a^n \cdot{ \frac{ 1 }{ 1-a } }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{2}
{
Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Intervall}{}{}
in einem
\definitionsverweis {angeordneten Körper}{}{}
$K$. Beschreibe die Menge
\mavergleichskettedisp
{\vergleichskette
{ M
}
{ =} { { \left\{ x \in K \mid - x \in [a,b] \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als ein Intervall.
}
{
Wir behaupten
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { [- b ,- a ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Negationsabbildung
\mathl{x \mapsto - x}{} ist streng fallend. Somit ist
\mavergleichskettealign
{\vergleichskettealign
{M
}
{ =} { { \left\{ x \in K \mid - x \in [a,b] \right\} }
}
{ =} { { \left\{ x \in K \mid a \leq - x \leq b \right\} }
}
{ =} { { \left\{ x \in K \mid - a \geq - { \left( - x \right) } \geq - b \right\} }
}
{ =} {{ \left\{ x \in K \mid - a\geq x \geq -b \right\} }
}
}
{
\vergleichskettefortsetzungalign
{ =} { [ -b,-a ]
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputaufgabeklausurloesung
{6}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mathl{K[X]}{} der \definitionsverweis {Polynomring}{}{} über $K$ und sei
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Polynom, das eine Zerlegung in Linearfaktoren besitze. Es sei $T$ ein
\definitionsverweis {Teiler}{}{}
von $P$. Zeige, dass $T$ ebenfalls eine Zerlegung in Linearfaktoren besitzt, wobei die Vielfachheit eines Linearfaktors
\mathl{X-a}{} in $T$ durch seine Vielfachheit in $P$ beschränkt ist.
}
{
Wir arbeiten mit normierten Polynomen und schreiben
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {(X-a_1)^{n_1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit verschiedenen $a_i$ und führen Induktion über den Grad $d=\sum_{j=1}^r n_j$ von $P$. Die Teilbarkeitsbeziehung bedeutet die Existenz eines Polynoms $Q$ mit
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {QT
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Damit ist insbesondere
\mavergleichskettedisp
{\vergleichskette
{ T(a_1) \cdot Q(a_1)
}
{ =} { P(a_1)
}
{ =} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Aufgrund der Nichtnullteilereigenschaft in einem Körper gilt
\mathkor {} {T(a_1) = 0} {oder} {Q(a_1) = 0} {.}
Nach
Lemma 11.6 (Analysis (Osnabrück 2021-2023))
bedeutet dies, dass
\mathkor {} {T} {oder} {Q} {}
von $X-a_1$ geteilt wird. Im zweiten Fall schreiben wir
\mavergleichskettealign
{\vergleichskettealign
{ (X-a_1)^{n_1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} {(X-a_1) (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T Q' (X-a_1)
}
{ } {
}
{ } {
}
}
{}
{}{.}
Aufgrund der Nichtnullteilereigenschaft im Polynomring folgt daraus
\mavergleichskettedisp
{\vergleichskette
{P'
}
{ =} { (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T Q'
}
{ } {
}
{ } {
}
}
{}{}{}
und wir können auf $P'$ die Induktionsvoraussetzung anwenden. Im ersten Fall ist
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} {T' (X-a_1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
woraus sich
\mavergleichskettedisp
{\vergleichskette
{ (X-a_1) (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { (X-a_1) T' Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskettedisp
{\vergleichskette
{P'
}
{ =} { (X-a_1)^{n_1-1} (X-a_2)^{n_2} \cdots (X-a_r)^{n_r}
}
{ =} { T' Q
}
{ } {
}
{ } {
}
}
{}{}{}
ergibt. Die Induktionsvoraussetzung angewendet auf $P'$ bedeutet, dass $T'$ in Linearfaktoren zerfällt und dass nur Linearfaktoren aus $P'$ mit einer Vielfachheit vorkommen, die durch die Vielfachheit von $P'$ beschränkt ist. Da die Vielfachheiten zu
\mathl{X-a_j}{} in $P$ und in $P'$ für
\mathl{j \geq 2}{} übereinstimmen und die Vielfachheit von
\mathl{X-a_1}{} sich um $1$ reduziert, dies aber auch beim Übergang von $T$ nach $T'$ zutrifft, folgt die Aussage.
}
\inputaufgabeklausurloesung
{4}
{
Finde für die Funktion \maabbeledisp {f} {\R} {\R } {x} {f(x) = x^3 -3x+1 } {,} eine \definitionsverweis {Nullstelle}{}{} im \definitionsverweis {Intervall}{}{} $[0,1]$ mit Hilfe der Intervallhalbierungsmethode mit einem Fehler von maximal $1/8$.
}
{
ungefähr
\mathl{0,347}{}
}
\inputaufgabeklausurloesung
{5}
{
Beweise den Satz über die lineare Approximation einer Funktion
\maabbdisp {f} {{\mathbb K}} {{\mathbb K}
} {}
in einem Punkt
\mathl{a \in {\mathbb K}}{.}
}
{
Wenn $f$
\definitionsverweis {differenzierbar}{}{}
ist, so setzen wir
\mathl{s:=f'(a)}{.} Für die Funktion $r$ muss notwendigerweise
\mathdisp {r(x) =\begin{cases} \frac{ f (x )-f (a) }{ x -a } - s \text{ für } x \neq a\, , \\ 0 \text{ für } x=a \, , \end{cases}} { }
gelten, um die Bedingungen zu erfüllen. Aufgrund der Differenzierbarkeit existiert der Limes
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{\operatorname{lim}_{ x \rightarrow a , \, x \in {\mathbb K} \setminus \{a\} } r(x)
}
{ =} { \operatorname{lim}_{ x \rightarrow a , \, x \in {\mathbb K} \setminus \{a\} } { \left( \frac{ f (x )-f (a) }{ x -a }-s \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und hat den Wert $0$. Dies bedeutet, dass $r$ in $a$ stetig ist.
Wenn umgekehrt
\mathkor {} {s} {und} {r} {}
mit den angegebenen Eigenschaften existieren, so gilt für
\mathl{x \neq a}{} die Beziehung
\mathdisp {\frac{ f (x )-f (a) }{ x -a } = s + r(x)} { . }
Da $r$ stetig in $a$ ist, muss auch der Limes links für
\mathl{x \rightarrow a}{} existieren.
}
\inputaufgabeklausurloesung
{6 (1+2+3)}
{
Wir betrachten die Funktion
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {x^4-x^3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungdrei{Bestimme die Nullstellen der Funktion.
}{Bestimme, in welchen Abschnitten die Funktion positiv bzw. negativ ist.
}{Bestimme die Extrema der Funktion.
}
}
{
\aufzaehlungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{x^4-x^3
}
{ =} { x^3(x-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Deshalb gibt es die beiden Nullstellen
\mathkor {} {0} {und} {1} {.}
}{Wir arbeiten weiter mit der Faktorzerlegung
\mavergleichskettedisp
{\vergleichskette
{x^4-x^3
}
{ =} { x^3(x-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für negatives $x$ sind beide Faktoren negativ, daher ist ihr Produkt positiv. Für
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{]0,1[
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Faktor $x^3$ positiv und der Faktor $x-1$ negativ, auf diesem Intervall ist also die Funktion negativ. Für
\mavergleichskette
{\vergleichskette
{x
}
{ > }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind beide Faktoren positiv und somit ist die Funktion in diesem Abschnitt positiv.
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{F'(x)
}
{ =} {4x^3-3x^2
}
{ =} { x^2(4x-3)
}
{ =} { 4 x^2{ \left( x- { \frac{ 3 }{ 4 } } \right) }
}
{ } {
}
}
{}{}{.}
Die Nullstellen der Ableitung sind also
\mathkor {} {0} {und} {{ \frac{ 3 }{ 4 } }} {.}
Bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es kein Extremum, da dort nach Teil (2) ein Übergang von positiv nach negativ stattfindet. Bei
\mavergleichskette
{\vergleichskette
{x
}
{ = }{{ \frac{ 3 }{ 4 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ziehen wir die zweite Ableitung heran, diese ist
\mavergleichskettedisp
{\vergleichskette
{F^{\prime \prime}(x)
}
{ =} { 12x^2-6x
}
{ =} { 6x(2x-1)
}
{ } {
}
{ } {
}
}
{}{}{}
und hat wegen
\mavergleichskettedisp
{\vergleichskette
{2 \cdot { \frac{ 3 }{ 4 } } -1
}
{ =} { { \frac{ 1 }{ 2 } }
}
{ >} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
dort einen positiven Wert. Also liegt in ${ \frac{ 3 }{ 4 } }$ ein lokales Minimum vor, das wegen der Überlegungen aus Teil (2) auch ein absolutes Minimum ist.
}
}
\inputaufgabeklausurloesung
{2}
{
Bestimme die \definitionsverweis {Ableitung}{}{} der \definitionsverweis {Funktion}{}{} \maabbdisp {\ln} {\R_+} {\R } {.}
}
{
Da der Logarithmus die Umkehrfunktion der Exponentialfunktion ist, können wir
Satz 18.10 (Analysis (Osnabrück 2021-2023))
anwenden und erhalten mit
[[Reelle Exponentialfunktion/Ableitung/Fakt|Satz . (Analysis (Osnabrück 2021-2023))]]
\mavergleichskettedisp
{\vergleichskette
{ \ln' (x)
}
{ =} { { \frac{ 1 }{ \exp' ( \ln x) } }
}
{ =} { { \frac{ 1 }{ \exp ( \ln x) } }
}
{ =} { { \frac{ 1 }{ x } }
}
{ } {
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{4}
{
Wir betrachten die Funktion
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} { \sqrt{x^3-x+2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Bestimme das Taylorpolynom zu $f$ vom Grad $2$ im Entwicklungspunkt $2$.
}
{
Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} { \sqrt{x^3-x+2}
}
{ =} { { \left( x^3-x+2 \right) }^{ { \frac{ 1 }{ 2 } } }
}
{ } {
}
{ } {
}
}
{}{}{,}
es ist
\mavergleichskette
{\vergleichskette
{f(2)
}
{ = }{ \sqrt{8}
}
{ = }{ 2 \sqrt{2}
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ f'(x)
}
{ =} { { \frac{ 1 }{ 2 } } { \left( x^3-x+2 \right) }^{- { \frac{ 1 }{ 2 } } } \cdot { \left( 3x^2-1 \right) }
}
{ =} { { \frac{ 3 }{ 2 } } x^2 { \left( x^3-x+2 \right) }^{- { \frac{ 1 }{ 2 } } } - { \frac{ 1 }{ 2 } } { \left( x^3-x+2 \right) }^{- { \frac{ 1 }{ 2 } } }
}
{ } {
}
{ } {
}
}
{}
{}{}
und insbesondere
\mavergleichskettedisp
{\vergleichskette
{ f'(2)
}
{ =} { { \frac{ 1 }{ 2 } } 8^{- { \frac{ 1 }{ 2 } } } \cdot 11
}
{ =} { { \frac{ 11 }{ 2 \cdot 8^{ { \frac{ 1 }{ 2 } } } } }
}
{ =} { { \frac{ 11 }{ 4 \sqrt{2} } }
}
{ =} { { \frac{ 11 \sqrt{2} }{ 8 } }
}
}
{}{}{.}
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ f^{\prime \prime } (x)
}
{ =} { 3 x { \left( x^3-x+2 \right) }^{- { \frac{ 1 }{ 2 } } } - { \frac{ 3 }{ 4 } } x^2 { \left( x^3-x+2 \right) }^{- { \frac{ 3 }{ 2 } } } { \left( 3x^2-1 \right) } + { \frac{ 1 }{ 4 } } { \left( x^3-x+2 \right) }^{- { \frac{ 3 }{ 2 } } } { \left( 3x^2-1 \right) }
}
{ =} { 3 x { \left( x^3-x+2 \right) }^{- { \frac{ 1 }{ 2 } } } + { \frac{ -3 x^2 +1 }{ 4 } } { \left( x^3-x+2 \right) }^{- { \frac{ 3 }{ 2 } } } { \left( 3x^2-1 \right) }
}
{ } {
}
{ } {
}
}
{}
{}{}
und insbesondere
\mavergleichskettealign
{\vergleichskettealign
{ f^{\prime \prime }(2)
}
{ =} { 6 \cdot 8^{- { \frac{ 1 }{ 2 } } } - { \frac{ 11 }{ 4 } } \cdot 8^{- { \frac{ 3 }{ 2 } } } \cdot 11
}
{ =} { { \frac{ 3 }{ \sqrt{2} } } - { \frac{ 121 }{ 4 \cdot 8^{ { \frac{ 3 }{ 2 } } } } }
}
{ =} { { \frac{ 3 \sqrt{2} }{ 2 } } - { \frac{ 121 }{ 64 \cdot \sqrt{ 2 } } }
}
{ =} { { \frac{ 192 \sqrt{2} }{ 128 } } - { \frac{ 121 \sqrt{2} }{ 128 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 71 \sqrt{2} }{ 128 } }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Somit ist das Taylorpolynom vom Grad $2$ im Entwicklungspunkt $2$ gleich
\mathdisp {2 \sqrt{2} + { \frac{ 11 \sqrt{2} }{ 8 } } (x-2) + { \frac{ 71 \sqrt{2} }{ 256 } } (x-2)^2} { . }
}
\inputaufgabeklausurloesung
{8 (2+4+2)}
{
Wir betrachten die Sinusfunktion
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} { \sin x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf
\mathl{[0, \pi]}{} und den oberen Halbkreis
\zusatzklammer {mit Radius ${ \frac{ \pi }{ 2 } }$} {} {}
oberhalb dieses Intervalls.
\aufzaehlungdrei{Skizziere die Situation. Beschreibe den oberen Halbkreis als den Graphen einer Funktion
\mathl{g(x)}{.}
}{Zeige, dass
\mavergleichskettedisp
{\vergleichskette
{g(x)
}
{ \geq} {f(x)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{[0, \pi]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Tipp: Betrachte die Situation für
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{x
}
{ \leq }{ \pi/6
}
{ }{
}
{ }{
}
}
{}{}{}
und für
\mavergleichskette
{\vergleichskette
{ \pi/6
}
{ \leq }{x
}
{ \leq }{ \pi/2
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Berechne den Flächeninhalt zwischen dem Halbkreis und dem Sinusbogen.
}
}
{
\aufzaehlungdrei{Es handelt sich um den oberen Halbkreis mit dem Mittelpunkt
\mathl{( \pi/2,0)}{} und dem Radius $\pi/2$. Für die Punkte
\mathl{(x,y)}{} auf dem Kreisbogen gilt
\mavergleichskettedisp
{\vergleichskette
{ { \left( x - { \frac{ \pi }{ 2 } } \right) }^2 +y^2
}
{ =} { { \frac{ \pi^2 }{ 4 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
somit ist der obere Halbbogen der Graph der Funktion
\mavergleichskettedisp
{\vergleichskette
{g(x)
}
{ =} { \sqrt{ { \frac{ \pi^2 }{ 4 } } - { \left( x - { \frac{ \pi }{ 2 } } \right) }^2 }
}
{ =} { \sqrt{ -x^2 +x \pi }
}
{ =} { \sqrt{ x( \pi -x) }
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \sqrt{ x( \pi -x) }
}
{ \geq} { \sin x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
auf
\mathl{[0, \pi]}{} zu zeigen, wobei die Situation symmetrisch zur Achse durch
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \pi/2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Da beide Funktionen nichtnegativ sind, genügt es, die quadrierte Abschätzung nachzuweisen, also
\mavergleichskettedisp
{\vergleichskette
{ x( \pi -x)
}
{ \geq} { \sin^{ 2 } x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Beide Funktionen sind auf
\mathl{[0, \pi/2]}{} streng wachsend und haben im Nullpunkt den Wert $0$. Für
\mavergleichskette
{\vergleichskette
{ \pi/6
}
{ \leq }{x
}
{ \leq }{ \pi/2
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ x( \pi -x)
}
{ \geq} { { \frac{ \pi }{ 6 } } { \left( \pi - { \frac{ \pi }{ 6 } } \right) }
}
{ =} { { \frac{ \pi }{ 6 } } \cdot { \frac{ 5 \pi }{ 6 } }
}
{ =} { { \frac{ 5 \pi^2 }{ 36 } }
}
{ >} { 1
}
}
{
\vergleichskettefortsetzung
{ \geq} { \sin^{ 2 } x
}
{ } {}
{ } {}
{ } {}
}{}{.}
Für
\mavergleichskette
{\vergleichskette
{0
}
{ \leq }{ x
}
{ \leq }{ \pi/6
}
{ }{
}
{ }{
}
}
{}{}{}
vergleichen wir die Ableitungen der quadrierten FUnktionen. Es ist
\mavergleichskettedisp
{\vergleichskette
{( -x^2+ \pi x )'
}
{ =} {- 2x + \pi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ ( \sin^{ 2 } x )'
}
{ =} { 2 \sin x \cos x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Im angegebenen Bereich ist
\mavergleichskettedisp
{\vergleichskette
{-2x + \pi
}
{ \geq} { -2 { \frac{ \pi }{ 6 } } + \pi
}
{ =} { { \frac{ 2 }{ 3 } } \pi
}
{ >} {2
}
{ \geq} { 2 \sin x \cos x
}
}
{}{}{,}
die Funktion $g^2$ wächst also schneller als
\mathl{\sin^{ 2 } x}{} und somit gilt auch in diesem Abschnitt die Abschätzung.
}{Der Flächeninhalt unter dem Kreisbogen ist der halbe Flächeninhalt eines Kreises mit Radius $\pi/2$, also gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ 2 } } \pi \left( \frac{ \pi }{ 2 } \right)^2
}
{ =} { { \frac{ \pi^3 }{ 8 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Der Flächeninhalt unter dem Sinusbogen ist
\mavergleichskettedisp
{\vergleichskette
{\int_0^{\pi} \sin x dx
}
{ =} { - \cos x | _{ 0 } ^{ \pi }
}
{ =} { 1 +1
}
{ =} {2
}
{ } {
}
}
{}{}{.}
Der eingeschlossene Flächeninhalt ist somit gleich
\mathdisp {{ \frac{ \pi^3 }{ 8 } } -2} { . }
}
}
\inputaufgabeklausurloesung
{3}
{
Zeige, dass auf die Differentialgleichung
\mavergleichskettedisp
{\vergleichskette
{y'
}
{ =} {t+y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nicht der Lösungsansatz für getrennte Variablen anwendbar ist.
}
{
Wir zeigen, dass es keine Produktzerlegung
\mavergleichskettedisp
{\vergleichskette
{t+y
}
{ =} { f(t,y)
}
{ =} { g(t) h(y)
}
{ } {
}
{ } {
}
}
{}{}{}
mit Funktionen
\mathkor {} {g(t)} {und} {h(y)} {}
geben kann. Nehmen wir an, es gibt eine solche Darstellung. Die Funktion $t+y$ hat an der Stelle $(0,0)$ eine Nullstelle. Deshalb ist
\mavergleichskettedisp
{\vergleichskette
{g(0)
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
oder
\mavergleichskettedisp
{\vergleichskette
{h(0)
}
{ =} {0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Im ersten Fall ist
\mavergleichskettedisp
{\vergleichskette
{f(0,y)
}
{ =} { g(0) h(y)
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $y$ und im zweiten Fall ist
\mavergleichskettedisp
{\vergleichskette
{ f(t,0)
}
{ =} { g(t) h(0)
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
für alle $t$. Beide Eigenschaften gelten aber für
\mathl{t+y}{} definitiv nicht.
}