Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 18/latex
\setcounter{section}{18}
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} {}
{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 18.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 {}
}
{
Siehe Aufgabe 18.2 und Aufgabe 18.13.
\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}{.}
}
\zwischenueberschrift{Der Kreis und die trigonometrischen Funktionen}
\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} {}
Die trigonometrischen Funktionen \stichwort {Sinus} {} und \stichwort {Kosinus} {} werden in einem naiven Zugang am Einheitskreis definiert. Es sei
\mavergleichskettedisp
{\vergleichskette
{E
}
{ \defeq} { { \left\{ (x,y) \in \R^2 \mid x^2+y^2 = 1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \stichwort {Einheitskreis} {,} also der Kreis mit dem Radius $1$ und dem Mittelpunkt
\mavergleichskette
{\vergleichskette
{0
}
{ = }{(0,0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für einen Punkt in der Ebene mit den Koordinaten
\mathl{(x,y)}{} ist aufgrund des Satzes des Pythagoras
\mathl{\sqrt{x^2+y^2}}{} der Abstand zum Nullpunkt. 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
{ \cos \alpha) ^2 + (\sin \alpha)^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, nämlich Polarkoordinaten und Drehungen, 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$.
}
\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 18.6
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.
}
\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 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.
\zwischenueberschrift{Drehungen}
Eine Drehung der reellen Ebene $\R^2$ um den Nullpunkt um den Winkel $\alpha$ gegen den Uhrzeigersinn bildet
\mathl{\begin{pmatrix} 1 \\0 \end{pmatrix}}{} auf
\mathl{\begin{pmatrix} \cos \alpha \\ \sin \alpha \end{pmatrix}}{} und
\mathl{\begin{pmatrix} 0 \\1 \end{pmatrix}}{} auf
\mathl{\begin{pmatrix} - \sin \alpha \\ \cos \alpha \end{pmatrix}}{} ab. Daher werden ebene Drehungen folgendermaßen beschrieben.
\inputdefinition
{
}
{
Eine
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {D(\alpha)} {\R^2} {\R^2
} {,}
die durch eine
\definitionswort {Drehmatrix}{}
\mathl{\begin{pmatrix}
\operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha
\end{pmatrix}}{}
\zusatzklammer {mit einem
\mavergleichskettek
{\vergleichskettek
{ \alpha
}
{ \in }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {} bezüglich der Standardbasis gegeben ist, heißt
\definitionswort {Drehung}{.}
}
Eine \stichwort {Raumdrehung} {} ist eine lineare Abbildung des $\R^3$ in sich, bei der um eine Drehachse
\zusatzklammer {durch den Nullpunkt} {} {}
um einen bestimmten Winkel gedreht wird. Wenn der Vektor
\mavergleichskette
{\vergleichskette
{ v_1
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Drehachse definiert und $u_2$ und $u_3$ auf $v_1$ und aufeinander senkrecht stehen und alle die Länge $1$ haben, so wird die Drehung bezüglich der Basis
\mathl{v_1,u_2,u_3}{} durch die Matrix
\mathdisp {\begin{pmatrix} 1 & 0 & 0 \\ 0 & \operatorname{cos} \, \alpha & - \operatorname{sin} \, \alpha \\
0 &\operatorname{sin} \, \alpha & \operatorname{cos} \,\alpha \end{pmatrix}} { }
beschrieben.
\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 := \sum_{ n = 0}^\infty \frac{ (-1)^{ n } x^{2n} }{(2n)!} \text{ und } \sin x = \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
\mathl{z=ix}{}
\zusatzklammer {wobei $x$ reell oder komplex sein kann} {} {}
ist
\zusatzklammer {wir verwenden Rechenregeln für Potenzreihen, die wir 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{ (ix)^{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 Satz 17.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 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}{.}
}
| << | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >> |
|---|