Kurs:Analysis/Teil I/17/Klausur mit Lösungen

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	${}\sum$
Punkte	3	3	2	1	4	2	2	3	2	5	4	4	6	6	8	4	5	64

Aufgabe (3 Punkte)

Definiere die folgenden (kursiv gedruckten) Begriffe.

1. Der Körper der reellen Zahlen.
2. Der Grad eines Polynoms ${}P\in K[X]$, ${}P\neq 0$, über einem Körper ${}K$.
3. Ein lokales Minimum einer Funktion

   $f\colon D\longrightarrow \mathbb {R}$

   ($D\subseteq \mathbb {R}$ eine Teilmenge) in einem Punkt ${}x\in D$.

4. Die Zahl ${}\pi$ (gefragt ist nach der analytischen Definition).
5. Die Potenzreihe in ${}z\in {\mathbb {C} }$ zu den Koeffizienten ${}c_{n}\in {\mathbb {C} }$, ${}n\in \mathbb {N}$.
6. Die Zeitunabhängigkeit einer gewöhnlichen Differentialgleichung

   $y'=f(t,y).$

Lösung

1. Einen archimedisch angeordneten vollständigen Körper nennt man Körper der reellen Zahlen.
2. Der Grad eines von ${}0$ verschiedenen Polynoms

   ${}P=a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}\,$

   mit ${}a_{n}\neq 0$ ist ${}n$.

3. Man sagt, dass ${}f$ in ${}x\in D$ ein lokales Minimum besitzt, wenn es ein ${}\epsilon >0$ derart gibt, dass für alle ${}x'\in D$ mit ${}\vert {x-x'}\vert \leq \epsilon$ die Abschätzung

   ${}f(x)\leq f(x')\,$

   gilt.

4. Es sei ${}s$ die eindeutig bestimmte reelle Nullstelle der Kosinusfunktion auf dem Intervall ${}[0,2]$. Die Kreiszahl ${}\pi$ ist definiert durch

   ${}\pi :=2s\,.$

5. Die Potenzreihe in ${}z$ ist die Reihe

   $\sum _{n=0}^{\infty }c_{n}z^{n}.$

6. Die gewöhnliche Differentialgleichung

   $y'=f(t,y)$

   heißt zeitunabhängig, wenn die Funktion ${}f$ nicht von ${}t$ abhängt, wenn also ${}f(t,y)=h(y)$ gilt mit einer Funktion ${}h$ in der einen Variablen ${}y$.

Aufgabe (3 Punkte)

Formuliere die folgenden Sätze.

1. Der Satz über den Vergleich zwischen Stammbrüchen und positiven Zahlen.
2. Die Konvergenzaussage für die geometrische Reihe in ${}{\mathbb {C} }$.
3. Das Lösungsverfahren für homogene lineare gewöhnliche Differentialgleichungen.

Lösung

1. Es sei ${}K$ ein archimedisch angeordneter Körper und es sei ${}x>0$. Dann gibt es eine natürliche Zahl ${}n\in \mathbb {N}$ mit ${}{\frac {1}{n}}\leq x$.
2. Für alle komplexen Zahlen ${}z$ mit ${}{|z|}<1$ konvergiert die Reihe ${}\sum _{k=0}^{\infty }z^{k}$ absolut und es gilt

   ${}\sum _{k=0}^{\infty }z^{k}={\frac {1}{1-z}}\,.$

3. Es sei

   ${}y'=g(t)y\,$

   eine homogene lineare gewöhnliche Differentialgleichung mit einer stetigen Funktion

   $g\colon I\longrightarrow \mathbb {R} ,\,t\longmapsto g(t),$

   die auf einem Intervall ${}I\subseteq \mathbb {R}$ definiert sei. Es sei ${}G$ eine Stammfunktion zu ${}g$ auf ${}I$. Dann sind die Lösungen der Differentialgleichung gleich

   $y(t)=c\cdot \exp(G(t)){\text{ mit }}c\in \mathbb {R} .$

Aufgabe (2 Punkte)

Im September besteht die Zeitdifferenz zwischen Deutschland und Chile ${}6$ Stunden (in Chile wird es ${}6$ Stunden später hell). Anfang Oktober wird in Deutschland die Uhr von der Sommerzeit auf die Winterzeit umgestellt, die Uhr wird also um eine Stunde nachts von ${}3$ auf ${}2$ zurückgestellt. In der gleichen Nacht wird die Uhr in Chile umgestellt. Wie groß ist die Zeitdifferenz nach der Umstellung?

Lösung

Da Chile auf der Südhalbkugel liegt, wird dort Anfang Oktober von der dortigen Winterzeit auf die dortige Sommerzeit umgestellt, dort wird also die Uhr vorgestellt. Daher beträgt die Zeitdifferenz zwischen Deutschland und Chile nur noch ${}4$ Stunden.

Aufgabe (1 Punkt)

Es sei ${}M$ eine Menge. Wir betrachten die Verknüpfung

${\mathfrak {P}}\,(M)\times {\mathfrak {P}}\,(M)\longrightarrow {\mathfrak {P}}\,(M),\,(A,B)\longmapsto A\setminus B.$

Ist diese Verknüpfung assoziativ?

Lösung

Diese Verknüpfung ist nicht assoziativ. Um dies zu zeigen, kann man einfach

${}A=B=C=M\,$

nehmen, wobei ${}M$ eine nichtleere Menge sei. Dann ist ${}M\setminus M=\emptyset$ und somit ist einerseits

${}(M\setminus M)\setminus M=\emptyset \setminus M=\emptyset \,$

und andererseits

${}M\setminus (M\setminus M)=M\setminus \emptyset =M\,.$

Aufgabe (4 (2+2) Punkte)

Wir betrachten das kommutative Diagramm

${\begin{matrix}A&{\stackrel {\varphi }{\longrightarrow }}&B&\\\!\!\!\!\!g\downarrow &&\downarrow h\!\!\!\!\!&\\L&{\stackrel {\psi }{\longrightarrow }}&M&\!\!\!\!\!\\\end{matrix}}$

von Mengen und Abbildungen, d.h. es gilt

${}h\circ \varphi =\psi \circ g\,.$

Es seien ${}g$ und ${}h$ bijektiv.

1. Zeige, dass ${}\varphi$ genau dann injektiv ist, wenn ${}\psi$ injektiv ist.
2. Zeige, dass ${}\varphi$ genau dann surjektiv ist, wenn ${}\psi$ surjektiv ist.

Lösung

1. Es sei ${}\varphi$ injektiv, es ist zu zeigen, dass auch ${}\psi$ injektiv ist. Aufgrund der Kommutativität des Diagramms und der Bijektivität von ${}g$ ist

   ${}\psi =h\circ \varphi \circ g^{-1}\,.$

   Somit ist ${}\psi$ als Verknüpfung von drei injektiven Abbildungen wieder injektiv. Wenn man im Diagramm ${}g$ und ${}h$ durch ihre Umkehrabbildungen ersetzt, so sieht man, dass auch die andere Implikation gilt.

2. Es sei ${}\varphi$ surjektiv, es ist zu zeigen, dass auch ${}\psi$ surjektiv ist. Aufgrund der Kommutativität des Diagramms und der Bijektivität von ${}g$ ist

   ${}\psi =h\circ \varphi \circ g^{-1}\,.$

   Somit ist ${}\psi$ als Verknüpfung von drei surjektiven Abbildungen wieder surjektiv. Wenn man im Diagramm ${}g$ und ${}h$ durch ihre Umkehrabbildungen ersetzt, so sieht man, dass auch die andere Implikation gilt.

Aufgabe (2 Punkte)

Berechne

$(x+{\mathrm {i} }y)^{n}.$

Lösung

Nach dem binomischen Lehrsatz ist

${}{\begin{aligned}(x+{\mathrm {i} }y)^{n}&=\sum _{k=0}^{n}{\binom {n}{k}}x^{n-k}{\mathrm {i} }^{k}y^{k}\\&=\sum _{k\leq n{\text{ gerade}}}(-1)^{k/2}{\binom {n}{k}}x^{n-k}y^{k}+{\mathrm {i} }{\left(\sum _{k\leq n{\text{ ungerade}}}(-1)^{(k-1)/2}{\binom {n}{k}}x^{n-k}y^{k}\right)}.\end{aligned}}$

Aufgabe (2 Punkte)

Berechne

$(-x^{2}+x-1)^{3}.$

Lösung

Es ist

${}{\begin{aligned}(-x^{2}+x-1)^{3}&=(-x^{2}+x-1)(-x^{2}+x-1)^{2}\\&=(-x^{2}+x-1)(x^{4}-2x^{3}+3x^{2}-2x+1)\\&=-x^{6}+3x^{5}-6x^{4}+7x^{3}-6x^{2}+3x-1\end{aligned}}$

Aufgabe (3 Punkte)

Zeige, dass in einem angeordneten Körper jede konvergente Folge eine Cauchy-Folge ist.

Lösung

Es sei ${}{\left(x_{n}\right)}_{n\in \mathbb {N} }$ die konvergente Folge mit Grenzwert ${}x$. Sei ${}\epsilon >0$ gegeben. Wir wenden die Konvergenzeigenschaft auf ${}\epsilon /2$ an. Daher gibt es ein ${}n_{0}$ mit

$\vert {x_{n}-x}\vert \leq \epsilon /2{\text{ für alle }}n\geq n_{0}.$

Für beliebige ${}n,m\geq n_{0}$ gilt dann aufgrund der Dreiecksungleichung

${}\vert {x_{n}-x_{m}}\vert \leq \vert {x_{n}-x}\vert +\vert {x-x_{m}}\vert \leq \epsilon /2+\epsilon /2=\epsilon \,.$

  Also liegt eine Cauchy-Folge vor.

Aufgabe (2 Punkte)

Es sei

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

eine stetig differenzierbare Funktion, die mit der Diagonalen zwei Schnittpunkte ${}P\neq Q$ besitze. Zeige, dass der Graph der Ableitung ${}f'$ einen Schnittpunkt mit der durch ${}y=1$ definierten Geraden besitzt.

Lösung

Die beiden Schnittpunkte seien ${}P=(a,a)$ und ${}Q=(b,b)$ mit ${}b>a$. Es ist also ${}f(a)=a$ und ${}f(b)=b$. Nach dem Mittelwertsatz der Differentialrechnung gibt es ein ${}c\in [a,b]$ mit

${}f'(c)={\frac {f(b)-f(a)}{b-a}}={\frac {b-a}{b-a}}=1\,.$

Der Graph der Ableitung ${}f'$ schneidet also im Punkt ${}(c,1)$ die beschriebene Gerade.

Aufgabe (5 Punkte)

Bestimme die lokalen und die globalen Extrema der Funktion

$f\colon [-2,5]\longrightarrow \mathbb {R} ,\,x\longmapsto f(x)=2x^{3}-5x^{2}+4x-1.$

Lösung

Die Ableitung der Funktion ist

${}f'(x)=6x^{2}-10x+4\,.$

Man sieht direkt, dass ${}1$ eine Nullstelle der Ableitung ist, und es ergibt sich die Faktorzerlegung

${}6x^{2}-10x+4=(x-1)(6x-4)\,,$

weshalb bei ${}{\frac {2}{3}}$ eine weitere Nullstelle vorliegt. Die zweite Ableitung ist

${}f^{\prime \prime }(x)=12x-10\,.$

Diese hat bei ${}x=1$ einen positiven Wert, sodass dort nach Korollar 19.7 (Analysis (Osnabrück 2021-2023)) ein lokales isoliertes Minimum mit dem Wert

${}f(1)=2-5+4-1=0\,$

vorliegt. Wegen

${}f^{\prime \prime }{\left({\frac {2}{3}}\right)}=12\cdot {\frac {2}{3}}-10=-2\,$

liegt in ${}{\frac {2}{3}}$ ein isoliertes lokales Maximum mit dem Wert

${}2{\left({\frac {2}{3}}\right)}^{3}-5{\left({\frac {2}{3}}\right)}^{2}+4\cdot {\frac {2}{3}}-1={\frac {2\cdot 8-5\cdot 12+4\cdot 18-27}{27}}={\frac {1}{27}}\,.$

An den Intervallgrenzen hat die Funktion die Werte

${}f(-2)=2(-2)^{3}-5(-2)^{2}+4(-2)-1=-45\,$

bzw.

${}f(5)=2\cdot 5^{3}-5\cdot 5^{2}+4\cdot 5-1=144\,.$

Daher liegt am linken Rand das absolute Minimum und am rechten Rand das absolute Maximum vor.

Aufgabe (4 Punkte)

Zeige, dass die reelle Exponentialfunktion

$\mathbb {R} \longrightarrow \mathbb {R} ,\,x\longmapsto e^{x},$

keine rationale Funktion ist.

Lösung

Nehmen wir an, es gelte

${}e^{x}={\frac {P}{Q}}\,$

mit Polynomen ${}P,Q\in \mathbb {R} [X]$, ${}Q\neq 0$. Die Ableitung der Exponentialfunktion ist wieder die Exponentialfunktion. Es muss also

${}{\left({\frac {P}{Q}}\right)}'={\frac {P'Q-PQ'}{Q^{2}}}={\frac {P}{Q}}\,$

gelten. Damit ist auch

${}P'Q-PQ'=PQ\,$

Es sei ${}d=\operatorname {grad} \,(P)$ (${}P=0$ ist nicht möglich) und ${}e=\operatorname {grad} \,(Q)$. Beim Ableiten reduziert sich der Grad eines Polynoms um ${}1$. Der Grad rechts ist somit ${}d+e$ und links ${}\leq d+e-1$, es liegt also ein Widerspruch vor.

Aufgabe (4 Punkte)

Zeige, dass eine reelle Polynomfunktion

$f\colon \mathbb {R} \longrightarrow \mathbb {R}$

vom Grad ${}d\geq 1$ maximal ${}d-1$ lokale Extrema besitzt, und die reellen Zahlen sich in maximal ${}d$ Intervalle unterteilen lassen, auf denen abwechselnd ${}f$ streng wachsend oder streng fallend ist.

Lösung

Die Ableitung ${}f'$ ist ein Polynom vom Grad ${}d-1$. Dieses besitzt nach Korollar 11.7 (Analysis (Osnabrück 2021-2023)) höchstens ${}d-1$ Nullstellen. Nach Satz 19.1 (Analysis (Osnabrück 2021-2023)) besitzt daher ${}f$ höchstens ${}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 ${}\mathbb {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.

Aufgabe (6 Punkte)

Wir betrachten ein normiertes Polynom vom Grad ${}4$,

${}F(x)=x^{4}+rx^{3}+sx^{2}+tx+u\,$

mit ${}r,s,t,u\in \mathbb {R}$. Zeige, dass es Zahlen ${}a,b,c,d\in \mathbb {R}$ mit

${}F(x)=(x-a)^{2}(x-b)^{2}+cx+d\,$

gibt.

Lösung

Es ist

${}{\begin{aligned}(x-a)^{2}(x-b)^{2}&={\left(x^{2}-2ax+a^{2}\right)}{\left(x^{2}-2bx+b^{2}\right)}\\&=x^{4}-2(a+b)x^{3}+{\left(a^{2}+b^{2}+4ab\right)}x^{2}+{\left(-2a^{2}b-2ab^{2}\right)}x+a^{2}b^{2}.\end{aligned}}$

Der Vergleich mit ${}x^{4}+rx^{3}+sx^{2}$ führt auf das Gleichungssystem

${}-2(a+b)=r\,$

und

${}a^{2}+b^{2}+4ab=s\,.$

Wir lösen die erste Gleichung nach ${}a$ auf und erhalten

${}a=-b-{\frac {r}{2}}\,.$

Dies eingesetzt in die zweite Gleichung ergibt

${}{\begin{aligned}{\left(-b-{\frac {r}{2}}\right)}^{2}+b^{2}+4{\left(-b-{\frac {r}{2}}\right)}b&=b^{2}+br+{\frac {r^{2}}{4}}+b^{2}-4b^{2}-2rb\\&=-2b^{2}-rb+{\frac {r^{2}}{4}}\\&=0.\end{aligned}}$

Somit muss die quadratische Gleichung

${}b^{2}+{\frac {r}{2}}b-{\frac {r^{2}}{8}}=0\,$

gelöst werden. Dies führt auf

${}{\left(b+{\frac {r}{4}}\right)}^{2}={\frac {r^{2}}{8}}+{\frac {r^{2}}{16}}={\frac {3r^{2}}{16}}\,,$

was stets eine Lösung besitzt. Die Lösungen sind

${}b={\frac {\pm {\sqrt {3}}r}{4}}-{\frac {r}{4}}\,,$

wobei ${}a$ dann die andere Lösung ist (${}a$ und ${}b$ sind in der Fragestellung und in dem Gleichungssystem gleichberechtigt). Mit diesen ${}a$ und ${}b$ hat man Übereinstimmung in den höheren Koeffizienten und durch Wahl des linearen Terms ${}cx+d$ kann man überhaupt Übereinstimmung erreichen.

Aufgabe (6 (1+1+1+3) Punkte)

Wir betrachten die Funktion

$f\colon ]0,1[\longrightarrow \mathbb {R} ,\,x\longmapsto {\frac {1}{\ln x}}.$

a) Skizziere ${}f$.

b) Bestimme die Ableitung von ${}f$.

c) Bestimme die zweite Ableitung von ${}f$.

d) Untersuche ${}f$ auf Extrema, Monotonieverhalten und Wendepunkte.

Lösung

a) Skizze.

b) Es ist

${}f'(x)=-{\frac {1}{x{\left(\ln x\right)}^{2}}}\,.$

c) Es ist

${}f^{\prime \prime }(x)={\frac {{\left(\ln x\right)}^{2}+x2{\left(\ln x\right)}{\frac {1}{x}}}{x^{2}{\left(\ln x\right)}^{4}}}={\frac {{\left(\ln x\right)}+2}{x^{2}{\left(\ln x\right)}^{3}}}\,.$

d) Wegen ${}0<x<1$ ist ${}f'(x)<0$ und daher ist die Funktion streng fallend und besitzt im offenen Einheitsintervall keine Extrema. Der Nenner von ${}f^{\prime \prime }$ ist stets negativ. Für den Zähler gilt

${}{\left(\ln x\right)}+2=0\,$

genau dann, wenn

${}x=e^{-2}\,.$

Für ${}x<e^{-2}$ ist die zweite Ableitung negativ und für

${}x>e^{-2}$ ist die zweite Ableitung positiv. Daher liegt bei ${}x=e^{-2}$ ein Wendepunkt vor.

Aufgabe (8 (2+5+1) Punkte)

Es sei ${}f\colon I\rightarrow \mathbb {R} _{+}$ eine auf einem offenen Intervall definierte Funktion. Wir interessieren uns für den Limes

$\operatorname {lim} _{h\rightarrow 0}\,{\left({\frac {f(x+h)}{f(x)}}\right)}^{\frac {1}{h}}$

zu einem Punkt ${}x\in I$.

1. Bestimme diesen Limes für die Funktion

   ${}f(x)=a^{x}\,$

   mit einem ${}a\in \mathbb {R} _{+}$.

2. Es sei ${}f$ in ${}x\in I$ differenzierbar. Zeige

   ${}\operatorname {lim} _{h\rightarrow 0}\,{\left({\frac {f(x+h)}{f(x)}}\right)}^{\frac {1}{h}}=\exp \left({\frac {f'(x)}{f(x)}}\right)\,$

3. Überprüfe das Ergebnis aus (1) mit Hilfe der Formel aus (2).

Lösung

1. Unter Verwendung von Rechenregeln für Exponentialfunktionen ist

   ${}{\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 ${}h\rightarrow 0$ gleich ${}a$.

2. Wir betrachten den natürlichen Logarithmus des funktionalen Ausdrucks, also

   ${}\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 ${}\ln f$ im Punkt ${}x$. Da ${}f$ differenzierbar ist, ist auch diese Verknüpfung differenzierbar mit der Ableitung

   ${}{\left(\ln f(x)\right)}^{'}={\frac {f'(x)}{f(x)}}\,.$

   Somit ist

   ${}\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

   ${}{\begin{aligned}\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}}.\end{aligned}}$

3. Für

   ${}f(x)=a^{x}\,$

   ist die Ableitung gleich ${}{\left(\ln \left(a\right)\right)}a^{x}$. Somit ist

   ${}{\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$.

Aufgabe (4 Punkte)

Bestimme eine Stammfunktion für die Funktion

$(\ln(1+\sin x))\cdot \sin x.$

Lösung

Wir verwenden partielle Integration und leiten den linken Faktor ab, das ergibt ${}{\frac {\cos x}{1+\sin x}}$ und nehmen für den rechten Faktor die Stammfunktion ${}-\cos x$. Das ergibt

${}\int \ln \left(1+\sin x\right)\sin xdx=-\ln \left(1+\sin x\right)\cos x+\int {\frac {\cos x}{1+\sin x}}\cos xdx\,.$

Das rechte Integral ist

${}{\begin{aligned}\int {\frac {\cos x}{1+\sin x}}\cos xdx&=\int {\frac {\cos ^{2}x}{1+\sin x}}dx\\&=\int {\frac {1-\sin ^{2}x}{1+\sin x}}dx\\&=\int {\frac {(1-\sin x)(1+\sin x)}{1+\sin x}}dx\\&=\int 1-\sin xdx\\&=x+\cos x.\end{aligned}}$

Eine Stammfunktion ist somit

$-\ln \left(1+\sin x\right)\cos x+x+\cos x,$

was man durch ableiten bestätigt (deshalb mussten wir uns oben keine Gedanken über die Integrationsgrenzen machen).

Aufgabe (5 Punkte)

Beweise den Satz über das Lösungsverfahren für homogene lineare gewöhnliche Differentialgleichungen.

Lösung

Zunächst gibt es eine Stammfunktion ${}G$ von ${}g$ aufgrund von Korollar 24.5 (Analysis (Osnabrück 2021-2023)), sodass die angegebenen Funktionen existieren.
Durch Ableiten bestätigt man direkt, dass diese Funktionen wirklich Lösungen sind.
Es sei ${}y$ eine beliebige Lösungsfunktion. Wir betrachten den Quotienten

${}{\begin{aligned}{\left({\frac {y(t)}{\exp(G(t))}}\right)}'&={\frac {y'(t)\exp \left(G(t)\right)-y(t)\cdot {\left(\exp(G(t))\cdot g(t)\right)}}{\exp ^{2}(G(t))}}\\&={\frac {y(t)g(t)\exp \left(G(t)\right)-y(t)\cdot {\left(\exp(G(t))\cdot g(t)\right)}}{\exp ^{2}(G(t))}}\\&=0,\end{aligned}}$

sodass aufgrund von Lemma 24.6 (Analysis (Osnabrück 2021-2023)) der Quotient ${}{\frac {y(t)}{\exp(G(t))}}$ konstant sein muss, woraus die Behauptung folgt.
Die Bedingung ${}y(t_{0})=y_{0}$ legt den Skalar ${}c={\frac {y_{0}}{\exp(G(t_{0}))}}$ eindeutig fest.