Kurs:Analysis I/Kapitel III: Die elementaren Funktionen/§2 Die trigonometrischen Funktionen

Aus Wikiversity

< Kurs:Analysis I | Kapitel III: Die elementaren Funktionen

Wechseln zu: Navigation, Suche

[Bearbeiten] Definition 1

Für alle $z \in \mathbb{C}$ erklären wir die Cosinusfunktion

(1) $\cos z := \frac{1}{2} (e^{iz} + e^{-iz})$ ,

sowie die Sinusfunktion

(2) $\sin z := \frac{1}{2i} (e^{iz} - e^{-iz})$ .

[Bearbeiten] Hilfssatz 1

Für alle $x \in (0,2]$ gilt $sin x > 0$ .

[Bearbeiten] Beweis

Für alle $x \in \mathbb{R}$ mit $0 < x \le 2$ ist die Abschätzung

$\sin x = \sum^\infty_{m=0} \frac{(-1)^m}{(2m+1)!} x^{2m+1}= x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \frac{x^9}{9!} - \frac{x^{11}}{11!}+\ldots-\ldots$

$= x \left( 1-\frac{x^2}{6} \right) + \frac{x^5}{5!} \left( 1-\frac{x^2}{42} \right) + \frac{x^9}{9!} \left( 1-\frac{x^2}{110} \right)+ \ldots > 0$

richtig. Wegen $\left( 1-\frac{x^2}{6} \right) > 0, \left( 1-\frac{x^2}{42} \right) >0$ usw. für $x \in (0,2]$ sind nämlich alle alle Summanden positiv.

q.e.d.

[Bearbeiten] Hilfssatz 2

Es gilt $\cos 2 < - \frac{1}{3} < 0$ .

[Bearbeiten] Beweis

Wir ermitteln

$\cos x = \sum^\infty_{m=0} \frac{(-1)^m}{(2m)!} x^{2m}= 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \frac{x^8}{8!} - \frac{x^{10}}{10!} + \frac{x^{12}}{12!} -\ldots+\ldots$

$= \left( 1-\frac{x^2}{2} - \frac{x^4}{24} \right) - \frac{x^6}{6!} \left( 1-\frac{x^2}{56} \right) - \frac{x^{10}}{10!} \left( 1-\frac{x^2}{132} \right) -\ldots > 0$

An der Stelle $x = 2$ folgt wegen $\left( 1 - 2 + \frac{2}{3} \right) = - \frac{1}{3}, \left( 1-\frac{1}{14} \right) > 0, \left( 1-\frac{1}{33} \right)> 0$ usw. die Behauptung $\cos 2 < - \frac{1}{3}$ .

q.e.d.

[Bearbeiten] Hilfssatz 3

Die Gleichung $cos x = 0$ besitzt für $x \in (0,2)$ genau eine Lösung.

[Bearbeiten] Beweis

Zuerst weisen wir die Existenz einer Lösung $\xi \in (0,2)$ nach. Es ist $cos0 = 1 > 0$ erfüllt und gemäß Hilfssatz 2 gilt $\cos 2 < -\frac{1}{3} <0$ . Nach dem Zwischenwertsatz von Bolzano-Weierstraß aus §1 in Kapitel II existiert ein $\xi \in (0,2)$ mit $cosξ = 0$ . Wir zeigen jetzt die Eindeutigkeit der Lösung. Gemäß Hilfssatz 2 gilt

$\frac{d}{dx} \cos x = -\sin x < 0$ , für alle

0 < x < 2

Somit ist die Cosinusfunktion streng monoton fallend im Intervall $\left[ 0, 2 \right]$ , wie der Mittelwertsatz der Differentialrechnung lehrt. Damit ist $ξ$ die einzige Nullstelle von $f\left(x\right)=\cos x$ im Intervall $\left( 0, 2 \right)$ .

[Bearbeiten] Definition 2

Für die gemäß Hilfssatz 3 existierende kleinste positive Nullstelle $\xi \in (0,2)$ der Cosinusfunktion $f(x)=\cos x, \quad x >0$ setzen wir

$\frac{\pi}{2}:=\xi$ .

[Bearbeiten] Satz 1

Die Funktion $f:\left[- \frac{\pi}{2}, \frac{\pi}{2} \right] \to \mathbb{R}$ vermöge $x \mapsto f(x)=\sin x$ ist im Intervall $- \frac{\pi}{2} \le x \le \frac{\pi}{2}$ streng monoton steigend und wir haben $\sin\left(- \frac{\pi}{2} \right) = -1$ und $\sin\left( \frac{\pi}{2} \right) = 1$ .

[Bearbeiten] Beweis

Mit der Definition 2 ergibt sich

$\frac{d}{dx} \sin x = \cos x > 0$ für alle $x \in \left[ 0, \frac{\pi}{2} \right)$ .

Da die Cosinusfunktion gerade ist, folgt auch für $- \frac{\pi}{2} < x \le 0$ die Ungleichung $cos x > 0$ . Also gilt

$\frac{d}{dx} \sin x > 0$ für alle $x \in \left( -\frac{\pi}{2}, \frac{\pi}{2} \right)$

und somit ist $f$ im Intervall $- \frac{\pi}{2} \le x \le \frac{\pi}{2}$ streng monoton wachsend. Formel (12) liefert

$\sin^2 \left( \frac{\pi}{2} \right) = 1- \cos^2 \left( \frac{\pi}{2} \right) =1$

und zusammen mit Hilfssatz 1 folgt $\sin \left( \frac{\pi}{2} \right) = +1$ sowie

$\sin \left( \frac{-\pi}{2} \right) = - \sin \left( \frac{\pi}{2} \right) =-1$ .

q.e.d.

[Bearbeiten] Bemerkungen

Für die Exponentialfunktion gilt

(15) $\exp \left( \frac{i \pi}{2} \right) = \cos \left( \frac{\pi}{2} \right) + i \cdot \sin \left( \frac{\pi}{2} \right)= 0 + i \cdot 1 =i$

und somit folgt

(16) $\exp \left( \frac{ik \pi}{2} \right) = i^k$ für alle $k \in \mathbb{Z}$ .

[Bearbeiten] Satz 2

Die Funktionen (1) und (2) sind holomorph und es gilt

(17) $\frac{d}{dz} \cos z = - \sin z$ und $\frac{d}{dz} \sin z = \cos z$ für alle $z \in \mathbb{C}$ .

Sie sind darstellbar durch die konvergenten Potenzreihen

(18) $\cos z = \sum^\infty_{m=0}\frac{(-1)^m}{(2m)!} \cdot z^{2m}, z \in \mathbb{C}$

und

(19) $\cos z = \sum^\infty_{m=0}\frac{(-1)^m}{(2m+1)!} \cdot z^{2m+1}, z \in \mathbb{C}$ .

Sie sind miteinander verknüpft durch die Eulersche Formel (3) und es gilt die Identität

(20) $\cos^2z + \sin^2z=1, z \in \mathbb{C}$ .

Schließlich geben wir die Gesamtheit der Stammfunktionen an

(21) $\int \cos z dz=\sin z + c_1$ und $\int \sin z dz=-\cos z + c_2,z \in \mathbb{C}$ mit $c_1,c_2 \in \mathbb{C}$ .

[Bearbeiten] Beweis

1. Für alle $z \in \mathbb{C}$ gilt

(22) $\frac{d}{dz} \cos z = \frac{1}{2} (e^{iz} + e^{-iz}) '= \frac{1}{2} i(e^{iz} - e^{-iz}) = \frac{i^2}{2i} (e^{iz} - e^{-iz}) = - \sin z$ .

Analog zeigt man $\frac{d}{dz} \sin z = \cos z$ .

2. Da die komplexe Exponentialfunktion eine konvergente Potenzreihe in $\mathbb{C}$ darstellt, müssen nach Definition 1 auch die Sinus- und Cosinusfunktion dort durch eine konvergente Potenzreihe gegeben sein. Deren Koeffizienten bestimmen wir mit den Überlegungen in §6 von Kapitel II als Taylor-Koeffizienten ihrer Einschränkung auf die reelle Achse $\mathbb{R}$ . Eben diese reellen Taylor-Reihen kennen wir schon aus (10) bzw. (11). Also stellen die Reihen (18) und (19), welche nach Satz 14 aus Kapitel I in $\mathbb{C}$ absolut konvergieren, die entsprechenden trigonometrischen Funktionen dar.

3. Nach Formel (12) gilt die Identität (20) bereits für alle reellen Argumente. Zumal die angegebene Funktion aus (20) in eine konvergente Potenzreihe in $\mathbb{C}$ entwickelbar ist, liefert der nachfolgende Satz – spezialisiert auf einfache Reihen – die angegebene Identität.

4. Die Stammfunktionen verifizieren wir sofort mit den obigen Differentiationsregeln.

q.e.d.

[Bearbeiten] Satz 3 (Identitätssatz für Doppelreihen)

Es sei in $\mathbb{C} \times \mathbb{C}$ die absolut konvergente Doppelreihe

(23) $f(z_1,z_2):=\sum^\infty_{k_1,k_2 =0} a_{k_1k_2} z_1^{k_1} z_2^{k_2}$ für $z_1 = x_1 + iy_1, z_2 = x_2 + iy_2 \in \mathbb{C}$

mit den Koeffizienten $a_{k_1k_2} \in \mathbb{C}$ für $k_1,k_2=0,1,2,\ldots$ gegeben. Wenn auf der reellen Ebene $f\left(x_1,x_2\right)=0$ verschwindet, so folgt die Identität $f(z_1,z_2) \equiv 0$ für alle $(z_1,z_2) \in \mathbb{C} \times \mathbb{C}$ . Stimmen also zwei durch absolut konvergente Doppelreihen dargestellte Funktionen auf der reellen Ebene $\mathbb{R} \times \{0\} \times \mathbb{R} \times \{0\}$ überein, so ist dieses auch auf der komplexen Ebene $\mathbb{C} \times \mathbb{C}$ der Fall.

[Bearbeiten] Beweis

Wie in §6 von Kapitel II differenzieren wir die Doppelreihe (23) $l_1 \in \mathbb{N}_0$ mal reel nach $x 1$ sowie $l_2 \in \mathbb{N}_0$ mal reel nach $x 2$ und erhalten

(24) $0=\sum_{k_1 \ge l_1,k_2 \ge l_2} l_1! \cdot l_2! \cdot a_{k_1k_2} \cdot x_1^{k_1-l_1} \cdot x_2^{k_2-l_2}$ .

Setzen wir dann die Stelle $x 1 = 0 = x 2$ ein, so folgt

(25) $0=l_1! \cdot l_2! \cdot a_{l_1l_2}$ bzw. $a_{l_1l_2}=0$ für alle Indices $l_1,l_2 \in \mathbb{N}_0$ .

Der Potenzreihendarstellung (23) entnehmen wir schließlich die Behauptung.

q.e.d.

[Bearbeiten] Satz 4

Für alle $z_1,z_2 \in \mathbb{C}$ gelten die Additionstheoreme:

(26) $\cos(z_1+z_2)=\cos z_1 \cdot \cos z_2 - \sin z_1 \cdot \sin z_2$ und

(27) $\sin(z_1+z_2)=\sin z_1 \cdot \cos z_2 - \cos z_1 \cdot \sin z_2$ .

Desweiteren gelten für alle $z \in \mathbb{C}$ folgende Duplikationsformeln:

(28) $\cos^2 z - \sin^2 z = \cos\left(2z\right)$

(29) $2 \cos z \cdot \sin z = \sin(2z)$ .

[Bearbeiten] Beweis von (26) und (27)

Wegen Satz 3 reicht es aus, die Additionstheoreme nur für reelle Argumente nachzuweisen – zumal die darin erscheinenden Funktionen in absolut konvergente Doppelreihen entwickelbar sind. Mit der Funktionalgleichung der Exponentialfunktion berechnen wir für alle $x_1,x_2 \in \mathbb{R}$ :

(30) $\cos (x_1+x_2) + i \sin (x_1+x_2)=\exp \bigg( i(x_1+x_2) \bigg) = \exp(ix_1) \cdot \exp(ix_2)$

$= (\cos x_1 + i \sin x_1) \cdot (\cos x_2 + i \sin x_2)$

$=\bigg( \cos x_1 \cdot \cos x_2 - \sin x_1 \cdot \sin x_2 \bigg) + i \bigg( \sin x_1 \cdot \cos x_2 + \cos x_1 \cdot \sin x_2 \bigg)$ .

Der Vergleich von Real- und Imaginärteil liefert die o. a. Additionstheoreme.

[Bearbeiten] Beweis von (28) und (29)

Wir setzen in (26) $z 1 = z 2 = z$ ein und erhalten

$\cos \left(2z) = \cos (z+z\right)=\cos^2 z - \sin^2 z$ .

Analog folgt aus (27) die Duplikationsformel (29).

q.e.d.

[Bearbeiten] Bemerkungen

Sehr praktisch zum Integrieren sind die Identitäten

(31) $1+\cos\left(2z\right)=2 \cos^2 z$ und $1 - \cos(2z) = 2 \sin^2z, \quad z \in \mathbb{C}$ ,

welche man leicht nachweist.

[Bearbeiten] Satz 5 (Phasenverschiebung)

Für alle $z \in \mathbb{C}$ gelten

(32) $\cos \left( \frac{\pi}{2}-z \right) = \sin z$ und $\sin \left( \frac{\pi}{2}-z \right) = \cos z$ .

[Bearbeiten] Beweis

Mit dem Additionstheorem (27) erhalten wir

$\sin \left( \frac{\pi}{2}-z \right) = \sin \left( \frac{\pi}{2} \right) \cdot \cos(-z) + \cos \left( \frac{\pi}{2} \right) \sin(-z) = \cos z$ .

Setzen wir in diese Identität $z:= \frac{\pi}{2} - w$ mit $w \in \mathbb{C}$ , so folgt

$\cos \left( \frac{\pi}{2}-w \right) = \sin \left[ \frac{\pi}{2} - \left( \frac{\pi}{2}-w \right) \right] = \sin w$ .

q.e.d.

[Bearbeiten] Satz 6

Die Funktion $g:[0, \pi] \to \mathbb{R}$ vermöge $x \mapsto g(x)=\cos x$ ist im Intervall $0 \le x \le \pi$ streng monoton fallend und es gilt $cos0 = 1$ und $cosπ = - 1$ .

[Bearbeiten] Beweis

Nach Satz 5 ist die Identität

$\cos x = \sin \left( \frac{\pi}{2}-x \right)$ mit $x \in [0,\pi]$

gültig. Damit können wir alle Aussagen dem obigen Satz 1 entnehmen.

q.e.d.

[Bearbeiten] Hilfssatz 4

Alle Lösungen von der Gleichung $exp z = 1$ mit $z \in \mathbb{C}$ sind in der Form $z = 2 k π i$ mit $k \in \mathbb{Z}$ darstellbar.

[Bearbeiten] Beweis

Der Formel (16) entnehmen wir, dass die angegebenen komplexen Zahlen die Gleichung lösen. Sei nun umgekehrt $z = x + i y$ mit $x,y \in \mathbb{R}$ eine Lösung der Gleichung

$1 = e^z = e^{x + iy} = e^x e^{iy} = e^x (\cos y + i \cdot \sin y)$ ,

so folgt $1 = e^x\left|e^{iy}\right|= e^x$ und damit $x = 0$ . Wir ermitteln

$1= \overbrace{e^x}^{1}e^{iy} = e^{iy} = e^{i(y-2k\pi} \stackrel{t:=y-2k\pi}{=} e^{it} = \cos t + i \overbrace{\sin t}^{0}= \cos t$

und wählen $k \in \mathbb{Z}$ so, dass $|t| \le \pi$ erfüllt ist. Nach Satz 1 folgt aus der Bedingung $sin t = 0$ dann $t = 0$ und wir finden $y = 2 k π$ bzw. $z = 2 k π i$ , wie es oben behauptet wurde.

q.e.d.

[Bearbeiten] Satz 7 (Periodizität der Exponentialfunktion)

Die komplexe Exponentialfunktion hat die Periode $2π i$ . Die Gleichung $exp w = exp z$ mit $w,z \in \mathbb{C}$ ist genau dann erfüllt, falls $w - z = 2 k π i$ mit geeignetem $k \in \mathbb{Z}$ gültig ist.

[Bearbeiten] Beweis

Seien $w,z \in \mathbb{C}$ mit $e w = e z$ , so ist äquivalent $e w - z = 1$ erfüllt. Gemäß Hilfssatz 4 bedeutet dieses $w - z = 2 k π i$ mit geeignetem $k \in \mathbb{Z}$ .

q.e.d.

[Bearbeiten] Satz 8

Die Komplexen trigonometrischen Funktionen $cos z$ und $sin z$ haben die Periode $2π$ . Alle komplexen Nullstellen von $cos z$ sind durch $\left( k + \frac{1}{2} \right) \pi$ und von $sin z$ durch $k π$ mit $k \in \mathbb{Z}$ gegeben.

[Bearbeiten] Beweis

Für alle $z \in \mathbb{C}$ und $k \in \mathbb{Z}$ gilt nach Hilfssatz 4 für die Cosinusfunktion

(33) $\cos(z+2k\pi) = \frac{1}{2} \left( e^{i(z+2k\pi)} + e^{-i(z+2k\pi)} \right) = \frac{1}{2} \left( e^{iz} + e^{-iz} \right) = \cos z$ .

Wir berechnen jetzt alle Nullstellen der Cosinusfunktion. Für alle $z \in \mathbb{C}$ gilt

(34) $0 = \cos z = \frac{1}{2} \left( e^{iz} + e^{-iz} \right) \Leftrightarrow 0 = e^{2iz} + 1$

$\quad \Leftrightarrow e^{2iz} = -1 = e^{i\pi}$

$\quad \Leftrightarrow e^{(2z-\pi)i} = 1 \Leftrightarrow (2z-\pi)i = 2k\pi i \wedge k \in \mathbb{Z}$

$\quad \Leftrightarrow z = \frac{\pi}{2}(2 k+1) \wedge k \in \mathbb{Z}$ .

Die angegebenen Eigenschaften der Sinusfunktion ergeben sich aus der Phasenverschiebung gegenüber der Cosinusfunktion.

q.e.d.

[Bearbeiten] Definition 3

Für alle $z \in \{w \in \mathbb{C}:w \neq \left( k + \frac{1}{2} \right) \pi \wedge k \in \mathbb{Z}\}$ erklären wir die Tangensfunktion

(35) $\tan z :=\frac{\sin z}{\cos z}$

und für alle $z \in \{w \in \mathbb{C}:w \neq k \pi \wedge k \in \mathbb{Z}\}$ erklären wir die Cotangensfunktion

(36) $\cot z :=\frac{\cos z}{\sin z}$ .

[Bearbeiten] Satz 9

Die Funktionen aus Definition 3 sind holomorph in ihren Definitionsbereichen und es gilt

(37) $\frac{d}{dz} \tan z = \frac{1}{\cos^2 z} = 1 + \tan^2 z$ für $z \in \mathbb{C}$ und $z \neq \left( k + \frac{1}{2} \right) \pi \ (k \in \mathbb{Z})$ ,

(38) $\frac{d}{dz} \cot z = -\frac{1}{\sin^2 z} = -(1 + \cot^2 z)$ für $z \in \mathbb{C}$ und $z \neq k\pi \ (k \in \mathbb{Z})$ .

[Bearbeiten] Beweis

Die komplexen trigonometrischen Funktionen (35) und (36) sind holomorph, da sie als Quotient holomorpher Funktionen definiert sind. Für alle $z \in \mathbb{C}$ und $z \neq (2k + 1) \frac{\pi}{2}$ mit $k \in \mathbb{Z}$ gilt

$\frac{d}{dz} \tan z = \frac{d}{dz} \left( \frac{\sin z}{\cos z} \right) = \frac{\cos^2 z - \sin z (- \sin z)}{\cos^2 z} = \frac{1}{\cos^2 z} = 1 + \tan^2 z$ .

Für alle $z \in \mathbb{C}$ und $z \neq (2k + 1) \frac{\pi}{2}$ mit $k \in \mathbb{Z}$ berechnen wir

$\frac{d}{dz} \cot z = \frac{d}{dz} \left( \frac{\cos z}{\sin z} \right) = \frac{(- \sin z)\sin z - \cos^2 z}{\cos^2 z} = \frac{-1}{\sin^2 z} = -(1 + \cot^2 z)$ .

[Bearbeiten] Satz 10 (Additionstheorem für $tan$ und $cot$ )

Für alle $z_1, z_2, z_1+z_2 \in \{w \in \mathbb{C}:w \neq \left( k + \frac{1}{2} \right) \pi \wedge k \in \mathbb{Z}\}$ gilt

(39) $\tan(z_1+z_2) :=\frac{\tan z_1+\tan z_2}{1-\tan z_1\tan z_2}$ .

Für alle $z_1, z_2, z_1+z_2 \in \{w \in \mathbb{C}:w \neq k \pi \wedge k \in \mathbb{Z}\}$ gilt

(40) $\cot(z_1+ z_2) :=\frac{-1+\cot z_1\cot z_2}{\cot z_1+\cot z_2}$ .

[Bearbeiten] Beweis

Für alle $z_1, z_2, z_1+z_2 \in \{w \in \mathbb{C}:w \neq \left( k + \frac{1}{2} \right) \pi \wedge k \in \mathbb{Z}\}$ gilt

(41) $\tan(z_1+z_2) = \frac{\sin (z_1+z_2)}{\cos(z_1 + z_2)} =\frac{\sin z_1 \cos z_2 + \cos z_1 \sin z_2} {\cos z_1 \cos z_2 - \sin z_1 \sin z_2}$

$= \frac{\frac{\sin z_1}{\cos z_1}+\frac{\sin z_2}{\cos z_2}}{1-\frac{\sin z_1}{\cos z_1}\cdot \frac{\sin z_2}{\cos z_2}}= \frac{\tan z_1+\tan z_2}{1-\tan z_1\tan z_2}$ .

Analog beweisen wir (40).

q.e.d.

[Bearbeiten] Satz 11

Für alle $z \in \mathbb{C}$ mit $z \neq k \pi \quad (k \in \mathbb{Z})$ haben wir

(42) $\frac{1}{\tan z} = \cot z = \tan \left( \frac{\pi}{2}-z \right)$ .

[Bearbeiten] Beweis

Mit Hilfe von Satz 5 berechnen wir

$\frac{1}{\tan z} = \cot z = \frac{\cos z}{\sin z} = \frac{\sin \left( \frac{\pi}{2}-z \right)}{\cos \left( \frac{\pi}{2}-z \right)} = \tan \left( \frac{\pi}{2}-z \right)$ .

q.e.d.

Wir wollen schließlich die reelle Tangens- und Cotangensfunktion untersuchen.

[Bearbeiten] Satz 12

Die Funktion $f:\left( - \frac{\pi}{2}, \frac{\pi}{2} \right) \to \mathbb{R}$ vermöge $x\mapsto f(x)=\tan x$ ist im Intervall $- \frac{\pi}{2} < x < \frac{\pi}{2}$ streng monoton steigend. Diese Funktion ist ungerade, erfüllt $tan0 = 0$ und besitzt folgendes asymptotische Verhalten: