Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Vorlesung 13/latex

Aus Wikiversity

\setcounter{section}{13}


\epigraph { If you don't know how to fix it, please stop breaking it } { Severn Suzuki }

In dieser Vorlesung führen wir weitere wichtige Funktionen über ihre Potenzreihen ein.






\zwischenueberschrift{Die Hyperbelfunktionen}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sinh-cosh-r-28pt.svg} }
\end{center}
\bildtext {Der Verlauf der Hyperbelfunktionen} }

\bildlizenz { Sinh-cosh-r-28pt.svg } {} {Emdee} {Commons} {CC-by-sa 3.0} {}





\inputdefinition
{}
{

Die für
\mavergleichskette
{\vergleichskette
{x }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \sinh x }
{ \defeq} { { \frac{ 1 }{ 2 } } { \left( e^x - e^{-x} \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} definierte \definitionsverweis {Funktion}{}{} heißt \definitionswort {Sinus hyperbolicus}{.}

}




\inputdefinition
{}
{

Die für
\mavergleichskette
{\vergleichskette
{x }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} durch
\mavergleichskettedisp
{\vergleichskette
{ \cosh x }
{ \defeq} { { \frac{ 1 }{ 2 } } { \left( e^x + e^{-x} \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} definierte \definitionsverweis {Funktion}{}{} heißt \definitionswort {Kosinus hyperbolicus}{.}

}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Catenary-pm.svg} }
\end{center}
\bildtext {Der Kosinus hyperbolicus
\mathl{a \cosh x/a}{} \zusatzklammer {mit Parameter $a$} {} {} beschreibt eine sogenannte \stichwort {Kettenlinie} {,} das ist diejenige Kurve, die ein durchhängendes Seil einnimmt.} }

\bildlizenz { Catenary-pm.svg } {} {Geek3} {Commons} {CC-by-sa 3.0} {}


\inputfaktbeweis
{Hyperbelfunktion/R/Elementare Eigenschaften/Fakt}
{Lemma}
{}
{

\faktsituation {Die Funktionen \definitionsverweis {Sinus hyperbolicus}{}{} und \definitionsverweis {Kosinus hyperbolicus}{}{} besitzen die folgenden Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{
\mavergleichskettedisp
{\vergleichskette
{ \cosh x + \sinh x }
{ =} { e^x }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{
\mavergleichskettedisp
{\vergleichskette
{ \cosh x - \sinh x }
{ =} { e^{-x} }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{
\mavergleichskettedisp
{\vergleichskette
{ ( \cosh x )^2 - ( \sinh x )^2 }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 13.1. }





\inputfaktbeweis
{Hyperbelfunktion/R/Monotonieeigenschaften/Fakt}
{Lemma}
{}
{

\faktsituation {}
\faktfolgerung {Die Funktion \definitionsverweis {Sinus hyperbolicus}{}{} ist \definitionsverweis {streng wachsend}{}{} und die Funktion \definitionsverweis {Kosinus hyperbolicus}{}{} ist auf
\mathl{\R_{\leq 0}}{} streng fallend und auf
\mathl{\R_{\geq 0}}{} streng wachsend.}
\faktzusatz {}
\faktzusatz {}

}
{

}







\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Hyperbolic_Tangent.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Hyperbolic Tangent.svg } {} {Geek3} {Commons} {CC-by-sa 3.0} {}




\inputdefinition
{}
{

Die durch \maabbeledisp {} {\R} {\R } {x} { \tanh x = { \frac{ \sinh x }{ \cosh x } } = { \frac{ e^x - e^{-x} }{ e^x + e^{-x } }} } {,} definierte \definitionsverweis {Funktion}{}{} heißt \definitionswort {Tangens hyperbolicus}{.}

}




\inputdefinition
{}
{

Eine \definitionsverweis {Funktion}{}{} \maabb {f} {\R} {\R } {} heißt \definitionswort {gerade}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x }
{ \in }{\R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ f(x) }
{ =} { f(-x) }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

Eine Funktion \maabb {f} {\R} {\R } {} heißt \definitionswort {ungerade}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ f(x) }
{ =} { -f(-x) }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt.

}

Der Kosinus hyperbolicus ist eine gerade und der Sinus hyperbolicus ist eine ungerade Funktion.






\zwischenueberschrift{Der Kreis und die trigonometrischen Funktionen}

Im $\R^2$ ist der Abstand zwischen zwei Punkten
\mavergleichskette
{\vergleichskette
{P,Q }
{ \in }{ \R^2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine positive reelle Zahl \zusatzklammer {bzw. gleich $0$, falls die Punkte zusammenfallen} {} {.} Wenn die beiden Punkte in Koordinaten gegeben sind, also \mathkor {} {P=(x_1,y_1)} {und} {Q=(x_2,y_2)} {,} so ist der Abstand gleich
\mavergleichskettedisp
{\vergleichskette
{ d(P,Q) }
{ =} { \sqrt{ (x_2-x_1)^2+ (y_2-y_1)^2 } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Diese Gleichung beruht auf dem Satz des Pythagoras. Speziell besitzt jeder Punkt
\mavergleichskette
{\vergleichskette
{P }
{ = }{ (x,y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} zum Nullpunkt
\mathl{(0,0)}{} den Abstand
\mathdisp {\sqrt{x^2 +y^2}} { . }
Weil die Koordinaten reelle Zahlen sind, sind auch die Abstände reelle Zahlen. Wenn ein Punkt $M$ und eine positive reelle Zahl $r$ fixiert sind, so nennt man die Menge aller Punkte der Ebene, die zu $M$ den Abstand $r$ besitzen, den Kreis um $M$ mit Radius $r$. In Koordinaten sieht die Definition folgendermaßen aus.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Disk 1.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Disk 1.svg } {} {Paris 16} {Commons} {CC-by-sa 4.0} {}




\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{M }
{ = }{(a,b) }
{ \in }{\R^2 }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ r }
{ \in }{ \R_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Dann nennt man die Menge
\mathdisp {{ \left\{ (x,y) \in \R^2 \mid (x-a)^2+(y-b)^2 = r^2 \right\} }} { }
den \definitionswort {Kreis}{} \zusatzklammer {oder die \definitionswort {Kreislinie}{} oder die $1$-\definitionswort {Sphäre}{}} {} {} mit dem \stichwort {Mittelpunkt} {} $M$ und dem \stichwort {Radius} {} $r$.

} Von Kreislinie spricht man, um zu betonen, dass man nicht den Vollkreis \zusatzklammer {die Kreisscheibe} {} {} meint, sondern nur den Rand. Alle Kreise sind wesensgleich, es kommt für die wichtigsten Eigenschaften des Kreises nicht auf den Mittelpunkt und nicht auf den Radius an. Von daher ist der Einheitskreis der einfachste Kreis, der alle Kreise repräsentiert.




\inputdefinition
{}
{

Die Menge
\mavergleichskettedisp
{\vergleichskette
{E }
{ \defeq} { { \left\{ (x,y) \in \R^2 \mid x^2+y^2 = 1 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} heißt der \stichwort {Einheitskreis} {.}

}




\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Unit_circle.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Unit circle.svg } {} {Gustavb} {Commons} {CC-by-sa 3.0} {}


Der Einheitskreis besitzt dem Radius $1$ und den Mittelpunkt
\mavergleichskette
{\vergleichskette
{0 }
{ = }{(0,0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Die trigonometrischen Funktionen \stichwort {Sinus} {} und \stichwort {Kosinus} {} werden in einem naiven Zugang am Einheitskreis definiert. Ein \anfuehrung{Winkel}{} $\alpha$ am Nullpunkt \zusatzklammer {und von der positiven \anfuehrung{$x$-Achse}{} aus \anfuehrung{gegen den Uhrzeigersinn}{} gemessen} {.} {} definiert eine vom Nullpunkt ausgehende \anfuehrung{Halbgerade}{} \zusatzklammer {oder \anfuehrung{Strahl}{}} {} {.} Da diese einen eindeutigen Durchstoßungspunkt
\mathl{P(\alpha)=(x,y)}{} mit der Einheitskreislinie besitzt, definiert der Winkel auch einen eindeutigen Punkt auf dem Einheitskreis. Dessen Koordinaten sind nach Definition gleich
\mavergleichskettedisp
{\vergleichskette
{ P(\alpha) }
{ =} { (\cos \alpha, \sin \alpha ) }
{ } { }
{ } { }
{ } { }
} {}{}{,} d.h. die $x$-Koordinate wird durch den Kosinus und die $y$-Koordinate wird durch den Sinus angegeben. Dadurch sind einige wichtige Eigenschaften direkt klar: \aufzaehlungfuenf{Es gilt
\mavergleichskettedisp
{\vergleichskette
{ { \left( \cos \alpha \right) }^2 + { \left( \sin \alpha \right) }^2 }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Es ist \mathkor {} {\cos 0 =1} {und} {\sin 0 =0} {.} }{Wenn der Winkel $\beta$ eine Vierteldrehung bezeichnet, so ist \mathkor {} {\cos \beta = 0} {und} {\sin \beta = 1} {.} }{Es ist \mathkor {} {\cos \left( -\alpha \right) = \cos \alpha} {und} {\sin \left( -\alpha \right) = - \sin \alpha} {.} Dabei bezeichnet $- \alpha$ den durch den gegenläufigen Strahl definierten Winkel\zusatzfussnote {Dieser Winkel ist
\mathl{\alpha + \pi}{} im Bogenmaß} {.} {.} }{Die Werte von Sinus und Kosinus wiederholen sich nach einer Volldrehung. }

Diese Definition ist zwar intuitiv klar, sie ist aber in verschiedener Hinsicht unbefriedigend. \aufzaehlungdrei{Es ist nicht klar, wie der Winkel zu messen ist. }{Es gibt keinen analytischen \anfuehrung{berechenbaren}{} Ausdruck, wie zu einem gegebenen Winkel die Werte von Kosinus und Sinus berechnet werden müssen. }{Damit fehlt die Grundlage, um Gesetzmäßigkeiten dieser Funktionen zu beweisen. }






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Sine_cosine_plot.svg} }
\end{center}
\bildtext {Die Graphen von Kosinus und Sinus. Der qualitative Verlauf ist von der naiven Definition her klar. Mit der unten folgenden analytischen Definition über Reihen kann man die Funktionswerte beliebig genau ausrechnen. Für viele wichtige qualitative Eigenschaften wie die Periodizität mit der Periodenlänge $2 \pi$ muss man aber die analytische Definition genauer studieren.} }

\bildlizenz { Sine cosine plot.svg } {} {Qualc1} {Commons} {CC-by-sa 3.0} {}


Mit diesen Defiziten hängt auch zusammen, dass wir noch keine präzise Definition für die Kreiszahl $\pi$ haben. Diese ist bekanntlich gleich dem Kreisinhalt des Einheitskreises und gleich der Hälfte des Kreisumfanges. Doch sind sowohl der \anfuehrung{Flächeninhalt ebener berandeter Gebiete}{} als auch die \anfuehrung{Länge von gebogenen Kurven}{} problematische Begriffe. Von daher ist es in der höheren Mathematik sinnvoll, die Kreisfunktionen über ihre Potenzreihen einzuführen und nach und nach zu beweisen, dass sie die gewünschten Eigenschaften erfüllen. Sodann kann man auch die Kreiszahl $\pi$ über Eigenschaften dieser Funktionen einführen und letztlich den Winkel als Länge des zugehörigen Kreisbogens einführen, nachdem diese Länge exakt definiert wird \zusatzklammer {was wir erst im zweiten Semester tun} {} {.}

Wir besprechen einige wichtige Anwendungen der trigonometrischen Funktionen wie Polarkoordinaten, wobei wir die Winkel naiv verstehen und die trigonometrischen Funktionen als geometrisch definiert betrachten.






\zwischenueberschrift{Polar- und Zylinderkoordinaten}




\inputbeispiel{}
{

Ein Winkel $\alpha$ und eine positive reelle Zahl $r$ definieren einen eindeutigen Punkt
\mavergleichskettedisp
{\vergleichskette
{P }
{ =} { (x,y) }
{ =} {(r \cos \alpha, r \sin \alpha ) }
{ =} { r ( \cos \alpha, \sin \alpha ) }
{ } { }
} {}{}{} in der reellen Ebene $\R^2$. Dabei bedeutet $r$ den Abstand des Punktes $P$ vom Nullpunkt
\mathl{(0,0)}{} und
\mathl{( \cos \alpha, \sin \alpha )}{} bedeutet den Durchstoßungspunkt der durch $P$ definierten Halbgeraden mit dem Einheitskreis. Jeder Punkt
\mavergleichskette
{\vergleichskette
{ P }
{ = }{ (x,y) }
{ \neq }{ 0 }
{ }{ }
{ }{ }
} {}{}{} besitzt eine eindeutige Darstellung mit
\mavergleichskette
{\vergleichskette
{ r }
{ = }{ \sqrt{x^2+y^2} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und mit einem Winkel $\alpha$, der je nach dem gewählten Winkelmaß geeignet zu wählen ist, also beispielsweise aus
\mathl{[0,2\pi[}{} ist \zusatzklammer {der Nullpunkt wird durch \mathlk{r=0}{} und einen beliebigen Winkel repräsentiert} {} {.} Die Komponenten
\mathl{(r, \alpha)}{} heißen die \stichwort {Polarkoordinaten} {} von $P$.


}




\inputbeispiel{}
{

Jede komplexe Zahl
\mathbed {z \in {\mathbb C}} {}
{z \neq 0} {}
{} {} {} {,} kann man eindeutig schreiben als
\mavergleichskettedisp
{\vergleichskette
{z }
{ =} {r ( \cos \alpha, \sin \alpha ) }
{ =} {(r \cos \alpha , r \sin \alpha ) }
{ =} { r \cos \alpha + (r \sin \alpha) { \mathrm i} }
{ } { }
} {}{}{} mit einer eindeutig bestimmten positiven reellen Zahl $r$, nämlich dem Abstand von $z$ zum Nullpunkt \zusatzklammer {also
\mavergleichskettek
{\vergleichskettek
{ r }
{ = }{ \betrag { z } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} und einem eindeutig bestimmten Winkel $\alpha$ zwischen $0$ \zusatzklammer {einschließlich} {} {} und $360$ Grad \zusatzklammer {ausschließlich} {} {,} der ausgehend von der positiven reellen Achse gegen den Uhrzeigersinn gemessen wird. Man spricht von \stichwort {Polarkoordinaten} {} für die komplexen Zahlen.

Polarkoordinaten der reellen Zahlenebene und für komplexe Zahlen unterscheiden sich nicht. Allerdings erlauben Polarkoordinaten eine Neuinterpretation der Multiplikation von komplexen Zahlen: Wegen
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ (r \cos \alpha + { \mathrm i} r \sin \alpha ) \cdot (s \cos \beta + { \mathrm i} s \sin \beta ) }
{ =} { rs (\cos \alpha \cos \beta - \sin \alpha \sin \beta) + { \mathrm i} rs (\cos \alpha \sin \beta + \sin \alpha \cos \beta) }
{ =} { rs (\cos (\alpha + \beta) + { \mathrm i} \sin (\alpha + \beta) ) }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {dabei wurden im letzten Schritt die Additionstheoreme für Sinus und Kosinus verwendet} {} {} multipliziert man zwei komplexe Zahlen, indem man ihre Beträge multipliziert und ihre Winkel addiert.


}

Diese Neuinterpretation der Multiplikation von komplexen Zahlen führt auch zu einem neuen Verständnis der Wurzeln aus komplexen Zahlen, die es aufgrund des Fundamentalsatzes der Algebra geben muss. Wenn
\mavergleichskette
{\vergleichskette
{z }
{ = }{r \cos \alpha +r { \mathrm i} \sin \alpha }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, so ergibt sich, dass
\mavergleichskettedisp
{\vergleichskette
{w }
{ =} { \sqrt[n]{r}\cos { \frac{ \alpha }{ n } } + \sqrt[n]{r} { \mathrm i} \sin { \frac{ \alpha }{ n } } }
{ } { }
{ } { }
{ } { }
} {}{}{} eine $n$-te Wurzel von $z$ ist. D.h. man muss für den Betrag der komplexen Zahl die reelle $n$-te Wurzel nehmen und den Winkel durch $n$ teilen.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Cylindrical_Coordinates.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Cylindrical Coordinates.svg } {} {Inductiveload} {Commons} {gemeinfrei} {}




\inputbeispiel{}
{

Eine räumliche Variante von Beispiel 13.9 wird durch \stichwort {Zylinderkoordinaten} {} gegeben. Ein Tripel
\mavergleichskette
{\vergleichskette
{ (r, \alpha, z) }
{ \in }{\R_+ \times [0, 2 \pi[ \times \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} wird dabei auf die \definitionsverweis {kartesischen Koordinaten}{}{}
\mavergleichskettedisp
{\vergleichskette
{(x,y,z) }
{ =} { (r \cos \alpha ,r \sin \alpha ,z) }
{ } { }
{ } { }
{ } { }
} {}{}{} abgebildet.


}






\zwischenueberschrift{Die trigonometrischen Reihen}

Wir besprechen nun den analytischen Zugang zu den trigonometrischen Funktionen.




\inputdefinition
{}
{

Für
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt
\mathdisp {\sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n} }{(2n)!}} { }
die \definitionswort {Kosinusreihe}{} und
\mathdisp {\sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n+1} }{(2n +1 )!}} { }
die \definitionswort {Sinusreihe}{} zu $x$.

}

Durch Vergleich mit der Exponentialreihe ergibt sich sofort, dass diese beiden Reihen für jedes $x$ absolut konvergieren. Die zugehörigen Funktionen
\mathdisp {\cos x \defeq \sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n} }{(2n)!} \text{ und } \sin x \defeq \sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n+1} }{(2n +1 )!}} { }
heißen \stichwort {Sinus} {} und \stichwort {Kosinus} {.} Beide Funktionen stehen unmittelbar in Zusammenhang mit der Exponentialfunktion, wobei man allerdings die komplexen Zahlen braucht, um diesen Zusammenhang zu erkennen. Der Hintergrund ist, dass man in Potenzreihen stets auch komplexe Zahlen einsetzen kann \zusatzklammer {der Konvergenzbereich ist dann nicht ein reelles Konvergenzintervall, sondern eine Kreisscheibe} {} {.} Für die Exponentialreihe und
\mavergleichskette
{\vergleichskette
{ z }
{ = }{ { \mathrm i} x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {wobei $x$ reell oder komplex sein kann} {} {} ist \zusatzklammer {wir verwenden Rechenregeln für Potenzreihen, die wir für komplexe Zahlen nicht behandelt haben} {} {}
\mavergleichskettealign
{\vergleichskettealign
{ \exp \left( { \mathrm i} x \right) }
{ =} { \sum_{k = 0}^\infty { \frac{ ( { \mathrm i} x)^k }{ k! } } }
{ =} { \sum_{k = 0, \, k \text{ gerade} }^\infty { \frac{ ( { \mathrm i}x)^k }{ k! } } + \sum_{k = 0, \, k \text{ ungerade} }^\infty { \frac{ ( { \mathrm i} x)^k }{ k! } } }
{ =} { \sum_{n = 0 }^\infty { \frac{ ( { \mathrm i} x)^{2n} }{ (2n) ! } } + \sum_{n = 0 }^\infty { \frac{ ( { \mathrm i} x)^{2n+1} }{ (2n+1) ! } } }
{ =} { \sum_{n = 0 }^\infty (-1)^n { \frac{ x^{2n} }{ (2n) ! } } + { \mathrm i} (-1)^n \sum_{n = 0 }^\infty { \frac{ (x)^{2n+1} }{ (2n+1) ! } } }
} {
\vergleichskettefortsetzungalign
{ =} { \cos x + { \mathrm i} \sin x }
{ } {}
{ } {}
{ } {}
} {}{.} Mit dieser Beziehung zwischen komplexer Exponentialfunktion und den trigonometrischen Funktionen \zusatzklammer {die die \stichwort {eulersche Formel} {} heißt} {} {} lassen sich viele Eigenschaften der letzteren besonders einfach beweisen. Prominente Spezialfälle dieser Beziehung sind
\mavergleichskettedisp
{\vergleichskette
{ e^{ \pi { \mathrm i}} }
{ =} { -1 }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ e^{2 \pi { \mathrm i}} }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.}

Aufgrund von 12 2. sind Sinus und Kosinus stetige Funktionen. Weitere wichtige Eigenschaften werden in der folgenden Aussage zusammengefasst.




\inputfaktbeweis
{Sinus und Kosinus/Reell/Eigenschaften/Fakt}
{Satz}
{}
{

\faktsituation {Die Funktionen \maabbeledisp {} {\R} {\R } {x} { \cos x } {,} und \maabbeledisp {} {\R} {\R } {x} { \sin x } {,} besitzen für
\mavergleichskette
{\vergleichskette
{ x,y }
{ \in }{ \R }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungvier{Es ist \mathkor {} {\cos 0 =1} {und} {\sin 0 =0} {.} }{Es ist \mathkor {} {\cos \left( -x \right) = \cos x} {und} {\sin \left( -x \right) = - \sin x} {.} }{Es gelten die Additionstheoreme
\mavergleichskettedisp
{\vergleichskette
{ \cos (x+y) }
{ =} { \cos x \cdot \cos y - \sin x \cdot \sin y }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ \sin (x+y) }
{ =} { \sin x \cdot \cos y + \cos x \cdot \sin y }
{ } { }
{ } { }
{ } { }
} {}{}{.} }{Es gilt
\mavergleichskettedisp
{\vergleichskette
{ ( \cos x)^2 + (\sin x)^2 }
{ =} { 1 }
{ } { }
{ } { }
{ } { }
} {}{}{.} }}
\faktzusatz {}
\faktzusatz {}

}
{

\teilbeweis {}{}{}
{(1) und (2) folgen direkt aus der Definition der Reihen.}
{} \teilbeweis {}{}{}
{(3). Der $2n$-te Summand \zusatzklammer {also derjenige Term, der die Potenz mit dem Exponenten $2n$ beinhaltet} {} {} in der Kosinusreihe \zusatzklammer {die Koeffizienten zu $x^{i}$, $i$ ungerade, sind $0$} {} {} von
\mathl{x+y}{} ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \frac{ (-1)^n (x+y)^{2n} }{ (2n)! } } }
{ =} { { \frac{ (-1)^n }{ (2n)! } } \sum_{i = 0}^{2n} \binom { 2n } { i } x^{i} y^{2n-i} }
{ =} { (-1)^n \sum_{i = 0}^{2n} { \frac{ 1 }{ i! (2n-i)! } } x^{i} y^{2n-i} }
{ =} {(-1)^n \sum_{j = 0}^{n} { \frac{ x^{2j } y^{2n-2j} }{ (2j)! (2n-2j )! } } + (-1)^n \sum_{j = 0}^{n-1} { \frac{ x^{2j+1} y^{2n-2j-1} }{ (2j+1)! (2n-2j-1)! } } }
{ } { }
} {} {}{,} wobei wir im letzen Schritt die Indexmenge in gerade und ungerade Zahlen aufgeteilt haben.

Der $2n$-te Summand im \definitionsverweis {Cauchy-Produkt}{}{} von \mathkor {} {\cos x} {und} {\cos y} {} ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \sum_{j = 0}^n { \frac{ (-1)^{j} (-1)^{n-j} }{ (2j)! (2(n-j))! } } x^{2j} y^{2(n-j)} }
{ =} {(-1)^{n} \sum_{j = 0}^n { \frac{ x^{2j} y^{2(n-j)} }{ (2j)! (2(n-j))! } } }
{ } { }
{ } { }
{ } { }
} {} {}{} und der $2n$-te Summand im Cauchy-Produkt von \mathkor {} {\sin x} {und} {\sin y} {} ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \sum_{j = 0}^{n-1} { \frac{ (-1)^{j} (-1)^{n-1-j} }{ (2j+1)! (2(n-1-j)+1)! } } x^{2j+1} y^{2(n-j)+1} }
{ =} {(-1)^{n-1} \sum_{j = 0}^{n-1} { \frac{ x^{2j+1} y^{2(n-1-j)+1} }{ (2j+1)! (2(n-1-j)+1)! } } }
{ } { }
{ } { }
{ } { }
} {} {}{.} Daher stimmen die beiden Seiten des Additionstheorems im geraden Fall überein.

Bei einem ungeraden Index ist die linke Seite gleich $0$. Da in der Kosinusreihe nur gerade Exponenten vorkommen, kommen im Cauchy-Produkt der beiden Kosinusreihen nur Exponenten der Form
\mathl{x^iy^j}{} mit $i,j$ gerade vor. Da in der Sinusreihe nur ungerade Exponenten vorkommen, kommen im Cauchy-Produkt der beiden Sinusreihen nur Exponenten der Form
\mathl{x^iy^j}{} mit
\mathl{i+j}{} gerade vor. Deshalb kommen Ausdrücke der Form
\mathl{x^iy^j}{} mit
\mathl{i+j}{} ungerade weder links noch rechts vor.

Das Additionstheorem für den Sinus folgt ähnlich.}
{} \teilbeweis {}{}{}
{(4). Aus dem Additionstheorem für den Kosinus angewendet auf
\mavergleichskette
{\vergleichskette
{ y }
{ \defeq }{ -x }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und aufgrund von (2) ergibt sich
\mavergleichskettealign
{\vergleichskettealign
{ 1 }
{ =} { \cos 0 }
{ =} { \cos \left( x-x \right) }
{ =} { \cos x \cdot \cos \left( -x \right) - \sin x \cdot \sin \left( -x \right) }
{ =} { \cos x \cdot \cos x + \sin x \cdot \sin x }
} {} {}{.}}
{}

}


Die letzte Aussage im vorstehenden Satz besagt, dass das Paar
\mathl{( \cos x, \sin x )}{} ein Punkt auf dem \stichwort {Einheitskreis} {}
\mathl{{ \left\{ (u,v) \mid u^2+v^2 = 1 \right\} }}{} ist. Wir werden später sehen, dass sich jeder Punkt des Einheitskreises als
\mathl{( \cos x, \sin x)}{} schreiben lässt, wobei man $x$ als Winkel interpretieren kann. Dabei tritt die Periode $2 \pi$ auf, wobei wir die \stichwort {Kreiszahl} {} $\pi$ eben über die trigonometrischen Funktionen einführen werden.






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Tan_proportional.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Tan proportional.svg } {Olaf} {} {Commons} {PD} {}


In der folgenden Definition für Tangens und Kotangens verwenden wir in der Formulierung der Definitionsbereiche bereits die Zahl $\pi$.


\inputdefinition
{}
{

Die Funktion \maabbeledisp {} {\R \setminus { \left( { \frac{ \pi }{ 2 } } + \Z \pi \right) }} {\R } {x} { \tan x = \frac{ \sin x }{ \cos x } } {,} heißt \definitionswort {Tangens}{} und die Funktion \maabbeledisp {} {\R \setminus \Z \pi} {\R } {x} { \cot x = \frac{ \cos x }{ \sin x } } {,} heißt \definitionswort {Kotangens}{.}

}