Kurs:Analysis/Teil I/23/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}{ 3 }
\renewcommand{\asechs}{ 3 }
\renewcommand{\asieben}{ 4 }
\renewcommand{\aacht}{ 3 }
\renewcommand{\aneun}{ 2 }
\renewcommand{\azehn}{ 4 }
\renewcommand{\aelf}{ 6 }
\renewcommand{\azwoelf}{ 5 }
\renewcommand{\adreizehn}{ 4 }
\renewcommand{\avierzehn}{ 4 }
\renewcommand{\afuenfzehn}{ 12 }
\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{Das \stichwort {Urbild} {} zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{ T
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
unter einer Abbildung
\maabb {F} {L} {M} {.}
}{Die \stichwort {Konvergenz} {} einer Folge
\mathl{{ \left( x_n \right) }_{n \in \N }}{} in einem angeordneten Körper $K$ gegen $x \in K$.
}{Die
\stichwort {Summierbarkeit} {}
einer Familie
\mathbed {a_i} {}
{i \in I} {}
{} {} {} {,}
komplexer Zahlen.
}{Die $n$-fache
\stichwort {stetige Differenzierbarkeit} {}
einer Funktion
\maabbdisp {f} {D} { {\mathbb K}
} {}
auf einer offenen Teilmenge
\mathl{D \subseteq {\mathbb K}}{.}
}{Der \stichwort {Epigraph} {} einer Funktion \maabb {f} {I} {\R } {} auf einem Intervall $I$.
}{Die \stichwort {Lösung} {} zu einer gewöhnlichen Differentialgleichung
\mathdisp {y'= f(t,y)} { , }
wobei
\maabbeledisp {f} {U} {\R
} {(t,y)} {f(t,y)
} {,}
eine
\definitionsverweis {Funktion}{}{}
auf einer offenen Teilmenge
\mathl{U \subseteq \R^2}{} ist.
}
}
{
\aufzaehlungsechs{Zu einer Teilmenge
\mathl{T \subseteq M}{} heißt
\mathdisp {F^{-1}(T)={ \left\{ x \in L \mid F(x) \in T \right\} }} { }
das Urbild von $T$ unter $F$.
}{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.
}{Die Familie
\mathbed {a_i} {}
{i \in I} {}
{} {} {} {,}
heißt summierbar, wenn es ein
\mathl{s \in {\mathbb C}}{} gibt mit folgender Eigenschaft: Zu jedem
\mathl{\epsilon > 0}{} gibt es eine
\definitionsverweis {endliche}{}{}
\definitionsverweis {Teilmenge}{}{}
\mathl{E_0 \subseteq I}{} derart, dass für alle endlichen Teilmengen
\mathl{E \subseteq I}{} mit
\mathl{E_0 \subseteq E}{} die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { a_E -s }
}
{ \leq} {\epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Dabei ist
\mathl{a_E= \sum_{i \in E} a_i}{.}
}{Man sagt, dass $f$ $n$-mal stetig differenzierbar ist, wenn $f$
\definitionsverweis {n-mal differenzierbar}{}{}
ist und die
\definitionsverweis {n-te Ableitung}{}{}
$f^{(n)}$
\definitionsverweis {stetig}{}{}
ist.
}{Man nennt die Menge
\mavergleichskette
{\vergleichskette
{ E(f)
}
{ = }{{ \left\{ (x,y) \in T \times \R \mid y \geq f(x) \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den Epigraphen der Funktion.
}{Unter einer Lösung der Differentialgleichung versteht man eine
\definitionsverweis {Funktion}{}{}
\maabbeledisp {y} {I} {\R
} {t} {y(t)
} {,}
auf einem mehrpunktigen
\definitionsverweis {Intervall}{}{}
\mathl{I\subseteq \R}{,} die folgende Eigenschaften erfüllt.
\aufzaehlungdrei{Es ist
\mathl{(t,y(t)) \in U}{} für alle
\mathl{t \in I}{.}
}{Die Funktion $y$ ist differenzierbar.
}{Es ist
\mathl{y'(t)=f(t,y(t))}{} für alle
\mathl{t \in I}{.}
}
}
}
\inputaufgabeklausurloesung
{3}
{
Formuliere die folgenden Sätze.
\aufzaehlungdrei{Der
\stichwort {Satz über die Intervallschachtelung} {.}}{Der
\stichwort {Identitätssatz für Potenzreihen} {.}}{Die
\stichwort {Produktregel} {}
für differenzierbare Funktionen
\maabbdisp {f,g} { {\mathbb K} } { {\mathbb K}
} {}
in einem Punkt
\mavergleichskette
{\vergleichskette
{a
}
{ \in }{ {\mathbb K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
}
{
\aufzaehlungdrei{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}{.}}{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}{.}}{Es seien
\mathkor {} {f} {und} {g} {}
in $a$ differenzierbar. Dann ist das Produkt
\mathl{f \cdot g}{} differenzierbar in $a$ mit
\mavergleichskettedisp
{\vergleichskette
{ (f \cdot g)'(a)
}
{ =} { f'(a) g(a) + f(a) g'(a)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
}
\inputaufgabeklausurloesung
{3}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Squares in a square grid.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Squares in a square grid.svg } {} {David Epstein} {Commons} {gemeinfrei} {}
Wie viele Teilquadrate mit positiver Seitenlänge gibt es in einem Quadrat der Seitenlänge $5$? Die Seiten der Teilquadrate sollen wie im Bild auf dem \anfuehrung{Gitter}{} liegen, ein einzelner Punkt gelte nicht als Quadrat.
}
{
Die möglichen Seitenlängen sind
\mathl{1,2,3,4,5}{.} Ein Unterquadrat ist durch die Lage des Eckes links oben eindeutig bestimmt, man muss bei fixierter Seitenlänge nur berücksichtigen, dass das Teilquadrat ganz im Grundquadrat liegt. Somit gibt es für die Seitenlänge $5$ eine Möglichkeit, für die Seitenlänge $4$ vier Möglichkeiten, für die Seitenlänge $3$ neun Möglichkeiten, für die Seitenlänge $2$ $16$ Möglichkeiten und für die Seitenlänge $1$ $25$ Möglickeiten, Insgesamt gibt es also
\mavergleichskettedisp
{\vergleichskette
{ 1+4+9+16+25
}
{ =} {55
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Unterquadrate.
}
\inputaufgabeklausurloesung
{2 (1+1)}
{
Wir betrachten auf der Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \{a,b,c,d \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die durch die Tabelle
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\star$ }
\renewcommand{\leitzeileeins}{ $a$ }
\renewcommand{\leitzeilezwei}{ $b$ }
\renewcommand{\leitzeiledrei}{ $c$ }
\renewcommand{\leitzeilevier}{ $d$ }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ $a$ }
\renewcommand{\leitspaltezwei}{ $b$ }
\renewcommand{\leitspaltedrei}{ $c$ }
\renewcommand{\leitspaltevier}{ $d$ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ c }
\renewcommand{\aeinsxzwei}{ a }
\renewcommand{\aeinsxdrei}{ a }
\renewcommand{\aeinsxvier}{ a }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ d }
\renewcommand{\azweixzwei}{ d }
\renewcommand{\azweixdrei}{ b }
\renewcommand{\azweixvier}{ b }
\renewcommand{\azweixfuenf}{ }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ a }
\renewcommand{\adreixzwei}{ b }
\renewcommand{\adreixdrei}{ c }
\renewcommand{\adreixvier}{ c }
\renewcommand{\adreixfuenf}{ }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ b }
\renewcommand{\avierxzwei}{ a }
\renewcommand{\avierxdrei}{ d }
\renewcommand{\avierxvier}{ d }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ }
\renewcommand{\afuenfxzwei}{ }
\renewcommand{\afuenfxdrei}{ }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitvierxvier
gegebene Verknüpfung $\star$.
\aufzaehlungzwei {Berechne
\mathdisp {b \star ( c \star (d \star a))} { . }
} {Besitzt die Verknüpfung $\star$ ein neutrales Element?
}
}
{
\aufzaehlungzwei {Es ist
\mavergleichskettedisp
{\vergleichskette
{b \star ( c \star (d \star a))
}
{ =} {b \star ( c \star b)
}
{ =} {b \star b
}
{ =} { d
}
{ } {
}
}
{}{}{}
} {Die Verknüpfung besitzt kein neutrales Element, da die Leitzeile in der Verknüpfungstabelle nicht als Ergebniszeile wiederkehrt.
}
}
\inputaufgabeklausurloesung
{3}
{
Beweise die \stichwort {Nichtnullteilereigenschaft} {} für einen Körper $K$.
}
{
Nehmen wir an, dass
\mathkor {} {a} {und} {b} {}
beide von $0$ verschieden sind. Dann gibt es dazu
\definitionsverweis {inverse Elemente}{}{}
\mathkor {} {a^{-1}} {und} {b^{-1}} {}
und daher ist
\mavergleichskette
{\vergleichskette
{ (ab) { \left( b^{-1} a^{-1} \right) }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Andererseits ist aber nach Voraussetzung
\mavergleichskette
{\vergleichskette
{ ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und daher ist nach
[[Ring/Elementare Eigenschaften/Fakt|Satz . (Analysis (Osnabrück 2021-2023)) (1)]]
\mavergleichskettedisp
{\vergleichskette
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,} sodass sich der Widerspruch
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ergibt.
}
\inputaufgabeklausurloesung
{3}
{
Eine
\definitionsverweis {reelle Folge}{}{}
\mathl{{ \left( x_n \right) }_{n \in \N }}{} sei durch einen Anfangswert
\mavergleichskette
{\vergleichskette
{x_0
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und durch die Rekursionsvorschrift
\mavergleichskettedisp
{\vergleichskette
{x_{n+1}
}
{ =} {- x_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Bestimme die Anfangswerte, für die diese Folge konvergiert.
}
{
Bei
\mavergleichskette
{\vergleichskette
{x_0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Folge konstant gleich $0$. Diese Folge konvergiert gegen $0$. Für jeden anderen Startwert
\mathl{x_0 \neq 0}{} konvergiert die Folge nicht. Wegen
\mavergleichskettedisp
{\vergleichskette
{ - { \left( -x \right) }
}
{ =} { x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wechseln sich in der Folge $x_0$ und $- x_0$ ab, sodass abwechselnd eine feste positive und eine feste negative Zahl auftreten. Eine solche Folge kann aber nicht konvergieren.
}
\inputaufgabeklausurloesung
{4}
{
Berechne
\mathdisp {{ \left( { \frac{ 2 }{ 5 } } - { \frac{ 1 }{ 6 } } \sqrt[3]{2} + { \frac{ 1 }{ 5 } } { \left( \sqrt[3]{2} \right) }^2 \right) } \cdot { \left( - { \frac{ 2 }{ 5 } } +7 \sqrt[3]{2 }+ { \frac{ 1 }{ 4 } } { \left( \sqrt[3]{2} \right) }^2 \right) }} { . }
}
{
Es ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{{ \left( { \frac{ 2 }{ 5 } } - { \frac{ 1 }{ 6 } } \sqrt[3]{2} + { \frac{ 1 }{ 5 } } { \left( \sqrt[3]{2} \right) }^2 \right) } \cdot { \left( - { \frac{ 2 }{ 5 } } +7 \sqrt[3]{2 }+ { \frac{ 1 }{ 4 } } { \left( \sqrt[3]{2} \right) }^2 \right) }
}
{ =} { { \left( { \frac{ 2 }{ 5 } } - { \frac{ 1 }{ 6 } } \cdot 2^{ { \frac{ 1 }{ 3 } } } + { \frac{ 1 }{ 5 } } \cdot 2^{ { \frac{ 2 }{ 3 } } } \right) } \cdot { \left( - { \frac{ 2 }{ 5 } } +7 \cdot 2^{ { \frac{ 1 }{ 3 } } }+ { \frac{ 1 }{ 4 } } \cdot 2^{ { \frac{ 2 }{ 3 } } } \right) }
}
{ =} { - { \frac{ 4 }{ 25 } } + { \left( { \frac{ 14 }{ 5 } } + { \frac{ 1 }{ 15 } } \right) } \cdot 2^{ { \frac{ 1 }{ 3 } } } + { \left( { \frac{ 1 }{ 10 } } - { \frac{ 7 }{ 6 } } - { \frac{ 2 }{ 25 } } \right) } \cdot 2^{ { \frac{ 2 }{ 3 } } } + { \left( - { \frac{ 1 }{ 24 } } + { \frac{ 7 }{ 5 } } \right) } \cdot 2 + { \frac{ 1 }{ 20 } } \cdot 2^{ { \frac{ 4 }{ 3 } } }
}
{ =} { - { \frac{ 4 }{ 25 } } - { \frac{ 1 }{ 12 } } + { \frac{ 14 }{ 5 } } + { \left( { \frac{ 14 }{ 5 } } + { \frac{ 1 }{ 15 } } + { \frac{ 1 }{ 10 } } \right) } \cdot 2^{ { \frac{ 1 }{ 3 } } } + { \left( { \frac{ 1 }{ 10 } } - { \frac{ 7 }{ 6 } } - { \frac{ 2 }{ 25 } } \right) } \cdot 2^{ { \frac{ 2 }{ 3 } } }
}
{ =} { { \frac{ - 48 - 25+ 840 }{ 300 } } + { \frac{ 84 + 2+3 }{ 30 } } \cdot 2^{ { \frac{ 1 }{ 3 } } } + { \frac{ 15- 175 - 12 }{ 150 } } \cdot 2^{ { \frac{ 2 }{ 3 } } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 767 }{ 300 } } + { \frac{ 89 }{ 30 } } \cdot 2^{ { \frac{ 1 }{ 3 } } } - { \frac{ 86 }{ 75 } } \cdot 2^{ { \frac{ 2 }{ 3 } } }
}
{ } {}
{ } {}
{ } {}
}{}{.}
}
\inputaufgabeklausurloesung
{3 (1+1+1)}
{
Es seien
\mathl{a,b}{} positive reelle Zahlen und
\mavergleichskette
{\vergleichskette
{m,n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige mit
geeigneten Potenzgesetzen
die folgenden Aussagen.
\aufzaehlungdrei{Es ist
\mavergleichskettedisp
{\vergleichskette
{\sqrt[m] { \sqrt[n] {b} }
}
{ =} { \sqrt[mn]{b}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \sqrt[m]{ab}
}
{ =} { \sqrt[m]{a} \sqrt[m]{b}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Es ist
\mavergleichskettedisp
{\vergleichskette
{ \sqrt[m]{b^{-1} }
}
{ =} { { \left( \sqrt[m]{b} \right) }^{-1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
}
{
Wegen
der Eindeutigkeit der Wurzeln
stimmen zwei positive reellen Zahlen überein, sobald eine gewisse Potenz davon übereinstimmt. Damit kann man die Aussagen auf die Potenzgesetze mit ganzzahligen Exponenten zurückführen.
\aufzaehlungdrei{Es ist unter Verwendung von
Aufgabe 3.15 (Analysis (Osnabrück 2021-2023)) (4)
\mavergleichskettedisp
{\vergleichskette
{ { \left( \sqrt[m]{ \sqrt[n] {b} } \right) }^{mn}
}
{ =} { { \left( { \left( \sqrt[m]{\sqrt[n] {b} } \right) }^{m} \right) }^n
}
{ =} { { \left( \sqrt[n] {b} \right) }^n
}
{ =} { b
}
{ } {
}
}
{}{}{,}
was auch herauskommt, wenn man von der rechten Seite die $mn$-te Potenz nimmt.
}{Nach
Aufgabe 3.15 (Analysis (Osnabrück 2021-2023)) (5)
ist
\mavergleichskettedisp
{\vergleichskette
{ { \left( \sqrt[m]{a} \sqrt[m]{b} \right) }^m
}
{ =} { { \left( \sqrt[m]{a} \right) }^m { \left( \sqrt[m]{b} \right) }^m
}
{ =} { ab
}
{ } {
}
{ } {
}
}
{}{}{,}
was auch links herauskommt.
}{Dies folgt aus Teil (2) mit
\mavergleichskette
{\vergleichskette
{a
}
{ = }{b^{-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
\inputaufgabeklausurloesung
{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.
}
\inputaufgabeklausurloesung
{4}
{
Beweise das Cauchy-Kriterium für Reihen komplexer Zahlen.
}
{
Wir setzen
\mavergleichskette
{\vergleichskette
{x_n
}
{ \defeq }{ \sum_{k = 0}^n a_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Konvergenz der Reihe bedeutet die Konvergenz dieser Folge der Partialsummen. Eine komplexe Folge konvergiert genau dann, wenn es sich um eine Cauchyfolge handelt. Eine solche liegt vor, wenn es zu jedem
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein $n_0$ derart gibt, dass zu jedem
\mavergleichskettedisp
{\vergleichskette
{ n
}
{ \geq} { m
}
{ \geq} { n_0
}
{ } {
}
{ } {
}
}
{}{}{}
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n -x_m }
}
{ \leq} { \epsilon
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Im Reihenfall bedeutet dies einfach
\mavergleichskettedisp
{\vergleichskette
{ \betrag { x_n -x_m }
}
{ =} { \betrag { \sum_{k = 0}^n a_k-\sum_{k = 0}^m a_k }
}
{ =} { \betrag { \sum_{k = m+1}^n a_k }
}
{ \leq} { \epsilon
}
{ } {
}
}
{}{}{}
\zusatzklammer {die Verschiebung um $1$ in der Indexmenge macht keinen Unterschied} {} {.}
}
\inputaufgabeklausurloesung
{6}
{
Es sei $K$ ein Körper und es seien $n$ verschiedene Elemente
\mavergleichskette
{\vergleichskette
{ a_1 , \ldots , a_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $n$ Elemente
\mavergleichskette
{\vergleichskette
{ b_1 , \ldots , b_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Zeige, dass es ein eindeutiges Polynom
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vom Grad $\leq n-1$ derart gibt, dass
\mavergleichskette
{\vergleichskette
{ P(a_i)
}
{ = }{ b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $i$ ist.
}
{
Wir beweisen die Existenz und betrachten zuerst die Situation, wo
\mavergleichskette
{\vergleichskette
{b_j
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist für alle
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für ein festes $i$. Dann ist
\mathdisp {(X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
ein Polynom vom Grad $n-1$, das an den Stellen
\mathl{a_1 , \ldots , a_{i-1}, a_{i+1} , \ldots , a_n}{} den Wert $0$ hat. Das Polynom
\mathdisp {{ \frac{ b_i }{ (a_i-a_1) \cdots (a_{i}-a_{i-1}) (a_{i} -a_{i+1}) \cdots (a_i-a_n) } } (X-a_1) \cdots (X-a_{i-1}) (X-a_{i+1}) \cdots (X-a_n)} { }
hat an diesen Stellen ebenfalls eine Nullstelle, zusätzlich aber noch bei $a_i$ den Wert $b_i$. Nennen wir dieses Polynom $P_i$. Dann ist
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} {P_1 + P_2 + \cdots + P_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das gesuchte Polynom. An der Stelle $a_i$ gilt ja
\mavergleichskettedisp
{\vergleichskette
{ P_j(a_i)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ P_i(a_i)
}
{ = }{b_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Eindeutigkeit folgt aus Korollar 11.7 (Analysis (Osnabrück 2021-2023)).
}
\inputaufgabeklausurloesung
{5}
{
Beweise den Satz über die Ableitung in einem Extremum.
}
{
Wir können annehmen, dass $f$ ein lokales Maximum in $c$ besitzt. Es gibt also ein
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f(x)
}
{ \leq }{f(c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ [c - \epsilon, c + \epsilon]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mathl{{ \left( s_n \right) }_{n \in \N }}{} eine Folge mit
\mavergleichskette
{\vergleichskette
{ c- \epsilon
}
{ \leq }{s_n
}
{ < }{ c
}
{ }{
}
{ }{
}
}
{}{}{,}
die gegen $c$
\zusatzklammer {\anfuehrung{von unten}{}} {} {}
konvergiere. Dann ist
\mavergleichskette
{\vergleichskette
{ s_n- c
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{f(s_n) -f(c)
}
{ \leq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist der Differenzenquotient
\mavergleichskettedisp
{\vergleichskette
{ \frac{ f (s_n )-f (c) }{ s_n -c }
}
{ \geq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
was sich dann
nach Lemma 6.3 (Analysis (Osnabrück 2021-2023))
auf den Limes, also den Differentialquotienten, überträgt. Also ist
\mavergleichskette
{\vergleichskette
{f'(c)
}
{ \geq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für eine Folge
\mathl{{ \left( t_n \right) }_{n \in \N }}{} mit
\mavergleichskette
{\vergleichskette
{ c + \epsilon
}
{ \geq }{ t_n
}
{ > }{ c
}
{ }{
}
{ }{
}
}
{}{}{}
gilt andererseits
\mavergleichskettedisp
{\vergleichskette
{ \frac{ f (t_n )-f (c) }{ t_n -c }
}
{ \leq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist auch
\mavergleichskette
{\vergleichskette
{f'(c)
}
{ \leq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist insgesamt
\mavergleichskette
{\vergleichskette
{f'(c)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputaufgabeklausurloesung
{4}
{
Es sei
\maabbeledisp {f} {\R} { \R
} {z} {f(z)
} {,}
eine Funktion, die die Funktionalgleichung
\mavergleichskettedisp
{\vergleichskette
{ f(z+w)
}
{ =} { f(z) \cdot f(w)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mathl{z,w \in \R}{} erfülle und die in
\mathl{0}{} differenzierbar sei. Zeige, dass dann $f$ in jedem Punkt differenzierbar ist und die Beziehung
\mavergleichskette
{\vergleichskette
{ f'(z)
}
{ = }{ \lambda f(z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem festen
\mathl{\lambda \in \R}{} gilt.
}
{
Bei
\mavergleichskette
{\vergleichskette
{ f(0)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskette
{\vergleichskette
{ f(z)
}
{ = }{ f(z+0)
}
{ = }{ f(z) f(0)
}
{ = }{ 0
}
{ }{
}
}
{}{}{,}
sodass die Nullfunktion vorliegt, die die angegebene Ableitungseigenschaft (mit einem beliebigen $\lambda$) erfüllt. Es sei also
\mavergleichskette
{\vergleichskette
{ f(0)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskette
{\vergleichskette
{ f(0)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wegen
\mavergleichskette
{\vergleichskette
{ f(0)
}
{ = }{ f(0+0)
}
{ = }{ f(0) f(0)
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Differenzenquotient ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ f(z+h) -f(z) }{ h } }
}
{ =} { { \frac{ f(z) f(h) -f(z) }{ h } }
}
{ =} { f(z) { \frac{ f(h) - 1 }{ h } }
}
{ =} { f(z) { \frac{ f(h) - f(0) }{ h } }
}
{ } {
}
}
{}{}{.}
Der rechte Faktor ist der Differenzenquotient im Nullpunkt. Dieser konvergiert nach Voraussetzung für $h \rightarrow 0$ gegen
\mathl{f'(0)}{.} Also konvergiert der Differenzenquotient gegen
\mathl{f(z) f'(0)}{} und die Ableitungseigenschaft ist mit
\mavergleichskette
{\vergleichskette
{ \lambda
}
{ = }{ f'(0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erfüllt.
}
\inputaufgabeklausurloesung
{4}
{
Zeige, dass die \definitionsverweis {reelle Sinusfunktion}{}{} eine \definitionsverweis {bijektive}{}{,} \definitionsverweis {streng wachsende}{}{} Funktion \maabbdisp {} {[- \pi/2, \pi/2]} {[-1,1] } {} induziert, und dass die \definitionsverweis {reelle Kosinusfunktion}{}{} eine bijektive, streng fallende Funktion \maabbdisp {} {[0,\pi]} {[-1,1] } {} induziert.
}
{
Die Ableitung des Sinus ist nach
[[Reelle Sinus und Kosinusfunktion/Ableitung/Fakt|Kurs:Analysis/Komplexe Sinus und Kosinusfunktion/Ableitung/Fakt/Faktreferenznummer (Analysis (Osnabrück 2021-2023))]]
der Kosinus. Dieser hat im Innern von
\mathl{[- \pi/2, \pi/2]}{} keine Nullstelle, da ja $\pi/2$ als kleinste positive Nullstelle des Kosinus definiert ist und da der Kosinus gerade ist. Ferner besitzt der Kosinus an der Stelle $0$ den Wert $1$. Nach dem Zwischenwertsatz muss als der Kosinus im Innern des Intervalls positiv sein. Nach
Satz 19.5 (Analysis (Osnabrück 2021-2023))
ist daher der Sinus im angegebenen Intervall streng wachsend und damit injektiv. Wegen
\mavergleichskette
{\vergleichskette
{ \sin \left( - \pi/2 \right)
}
{ = }{ -1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ \sin \left( \pi/2 \right)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist aufgrund des Zwischenwertsatzes das Bild gleich dem Intervall
\mathl{[-1,1]}{} und der Sinus ist bijektiv.
Die Aussage für den Kosinus folgt daraus mittels [[Sinus und Kosinus/R/Periodizitätseigenschaften/Fakt|Satz . (Analysis (Osnabrück 2021-2023)) (3)]].
}
\inputaufgabeklausurloesung
{weiter}
{
Wir betrachten die Funktion
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {x^3+x^2-x+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\aufzaehlungsieben{Bestimme die erste und die zweite Ableitung von $f$.
}{Bestimme die lokalen Extrema von $f$.
}{Wie viele reelle Nullstellen hat $f$?
}{Wie viele komplexe Nullstellen hat $f$?
}{Bestimme eine Gleichung für die Tangente durch das lokale Maximum der Funktion.
}{Bestimme die Schnittpunkte der Tangente mit dem Funktionsgraphen.
}{Die Tangente und der Funktionsgraph beschränken ein endliches Gebiet. Berechne dessen Flächeninhalt.
}
}
{
\aufzaehlungsieben{Es ist
\mavergleichskettedisp
{\vergleichskette
{f'(x)
}
{ =} { 3x^2+2x-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{f^{\prime \prime} (x)
}
{ =} { 6x+2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Wir bestimmen die Nullstellen der ersten Ableitung. Die Gleichung
\mavergleichskette
{\vergleichskette
{3x^2+2x-1
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bzw.
\mavergleichskette
{\vergleichskette
{x^2+ { \frac{ 2 }{ 3 } } x- { \frac{ 1 }{ 3 } }
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
führt auf
\mavergleichskettealign
{\vergleichskettealign
{x_1,x_2
}
{ =} { { \frac{ - { \frac{ 2 }{ 3 } } \pm \sqrt{ { \frac{ 4 }{ 9 } } + { \frac{ 4 }{ 3 } } } }{ 2 } }
}
{ =} { { \frac{ - { \frac{ 2 }{ 3 } } \pm { \frac{ 4 }{ 3 } } }{ 2 } }
}
{ =} { - { \frac{ 1 }{ 3 } } \pm { \frac{ 2 }{ 3 } }
}
{ =} { -1, { \frac{ 1 }{ 3 } }
}
}
{}
{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{f^{\prime \prime} (-1)
}
{ =} { -4
}
{ <} {0
}
{ } {
}
{ } {
}
}
{}{}{}
liegt an der Stelle $-1$ ein isoliertes lokales Maximum mit dem Wert $2$ vor und wegen
\mavergleichskettedisp
{\vergleichskette
{f^{\prime \prime} { \left( { \frac{ 1 }{ 3 } } \right) }
}
{ =} { 4
}
{ >} {0
}
{ } {
}
{ } {
}
}
{}{}{}
liegt an der Stelle ${ \frac{ 1 }{ 3 } }$ ein isoliertes lokales Minimum mit dem Wert ${ \frac{ 22 }{ 27 } }$ vor.
}{Aufgrund der Berechnung aus Teil (2) wissen wir, dass für
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \geq} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Funktion positiv ist. Für
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \leq} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist die Funktion streng wachsend und somit gibt es dort genau eine Nullstelle
\zusatzklammer {da ein Polynom vom Grad $3$ vorliegt oder wegen
\mavergleichskettedisp
{\vergleichskette
{f(-2)
}
{ =} {-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
wissen wir, dass es negative Werte gibt} {} {.}
}{Aufgrund des Fundamentalsatzes der Algebra gibt es über ${\mathbb C}$ eine Zerlegung des Polynoms in drei Linearfaktoren. Die reelle Nullstelle ist wegen dem dortigen strengen Wachstum keine mehrfache Nullstelle, somit muss es zumindest eine nichtreelle komplexe Nullstelle geben. Zu dieser ist auch die konjugiert-komplexe Zahl eine Nullstelle, also gibt es genau drei komplexe Nullstellen.
}{Die Tangente am lokalen Maximum
\mathl{(-1,2)}{} hat die konstante Funktionsbeschreibung
\mavergleichskettedisp
{\vergleichskette
{t(x)
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
da ja die Ableitung von $f$ an dieser Stelle $0$ ist.
}{Es geht um die
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{f(x)
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
bzw. mit
\mavergleichskettedisp
{\vergleichskette
{f(x)-2
}
{ =} {x^3+x^2-x-1
}
{ =} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Da wir die Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ = }{-1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schon kennen, können wir die Division mit Rest durchführen und erhalten
\mavergleichskettedisp
{\vergleichskette
{ x^3+x^2-x-1
}
{ =} { (x+1)(x^2 - 1)
}
{ =} { (x+1)(x+1)(x-1 )
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Schnittpunkte sind also
\mathkor {} {(-1,2)} {und} {(1,2)} {.}
}{Im eingeschlossenen Gebiet verläuft der Funktionsgraph unterhalt der Tangente. Ihr Flächeninhalte berechnen wir, indem wir vom Inhalt des Rechteckes
\mathl{[-1,1] \times[0,2]}{} den Flächeninhalt unterhalb des Graphen abziehen. Wegen der lokalen Minimumsberechnung wissen wir, dass auf
\mathl{[-1,1]}{} die Funktion positiv ist. Eine Stammfunktion zu $f$ ist
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} { { \frac{ 1 }{ 4 } } x^4 + { \frac{ 1 }{ 3 } } x^3 - { \frac{ 1 }{ 2 } } x^2 +x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit ist
\mavergleichskettedisp
{\vergleichskette
{ \int_{-1}^1 { \frac{ 1 }{ 4 } } x^4 + { \frac{ 1 }{ 3 } } x^3 - { \frac{ 1 }{ 2 } } x^2 +x dx
}
{ =} { \left( { \frac{ 1 }{ 4 } } x^4 + { \frac{ 1 }{ 3 } } x^3 - { \frac{ 1 }{ 2 } } x^2 +x \right) | _{ -1 } ^{ 1 }
}
{ =} { { \frac{ 1 }{ 3 } } \cdot 2 +2
}
{ =} { { \frac{ 8 }{ 3 } }
}
{ } {
}
}
{}{}{}
und damit ist der gesuchte Flächeninhalt gleich
\mavergleichskettedisp
{\vergleichskette
{2 \cdot 2 - { \frac{ 8 }{ 3 } }
}
{ =} { { \frac{ 4 }{ 3 } }
}
{ } {
}
{ } {
}
{ } {}
}
{}{}{.}
}
}
\inputaufgabeklausurloesung
{3}
{
Löse das
\definitionsverweis {Anfangswertproblem}{}{}
\mathdisp {y'= (-4t^3+2t^2+3t+1)y \text{ mit } y(-2) = -5} { . }
}
{
Eine Stammfunktion zu
\mavergleichskette
{\vergleichskette
{ g(t)
}
{ = }{ -4t^3+2t^2+3t+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ G(t)
}
{ =} { -t^4 + { \frac{ 2 }{ 3 } } t^3 + { \frac{ 3 }{ 2 } } t^2 +t
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Nach
Satz 29.2 (Analysis (Osnabrück 2021-2023))
sind die Lösungen der Differentialgleichung gleich
\mathdisp {c e^{ -t^4 + { \frac{ 2 }{ 3 } } t^3 + { \frac{ 3 }{ 2 } } t^2 +t }} { }
mit einer Konstanten
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Anfangsbedingung führt auf
\mavergleichskettedisp
{\vergleichskette
{ c e^{-16 - { \frac{ 16 }{ 3 } } +6 -2 }
}
{ =} { c e^{ - { \frac{ 52 }{ 3 } } }
}
{ =} { -5
}
{ } {
}
{ } {
}
}
{}{}{,}
also ist
\mavergleichskettedisp
{\vergleichskette
{ c
}
{ =} { -5 e^{ { \frac{ 52 }{ 3 } } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Lösung des Anfangswertproblems ist also
\mavergleichskettedisp
{\vergleichskette
{ y(t)
}
{ =} { -5 e^{ { \frac{ 52 }{ 3 } } } e^{ -t^4 + { \frac{ 2 }{ 3 } } t^3 + { \frac{ 3 }{ 2 } } t^2 +t }
}
{ =} { -5 e^{ -t^4 + { \frac{ 2 }{ 3 } } t^3 + { \frac{ 3 }{ 2 } } t^2 +t + { \frac{ 52 }{ 3 } } }
}
{ } {
}
{ } {
}
}
{}{}{.}
}