mathproject >> 4.3. Die trigonometrischen Funktionen

sin und cos besitzen eine Fülle von Eigenschaften. Viele ergeben sich zwar direkt aus der Konstruktion über den Einheitskreis, ihre Gültigkeit aber können wir damit nicht sicherstellen. Für die weiteren Ausführungen legen wir daher die Definition aus [5.9] zu Grunde, also:

\begin{array}{l} \sin x = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i + 1}}{(2 i + 1)!} \\ \cos x = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i}}{(2 i)!} \end{array}

[0]

Da durch [0] auch die komplexen Funktionen sin und cos definiert sind, hat dies zudem den Vorteil, dass (fast) jede der hier notierten Aussagen automatisch auch im Komplexen gültig ist.

Allerdings müssen wir erst sicherstellen, dass die durch [0] definierten Funktionen mit den geometrisch eingeführten identisch sind! Wir zeigen dies mit Techniken der Integralrechnung auf einer eigenen Seite. Ferner benötigen wir genauere Informationen über die Zahl $π$ . Dazu vergewissern wir uns zunächst, dass die Sinusfunktion positive Nullstellen besitzt.

Bemerkung: Es gibt eine reelle Zahl $x > 0$ , so dass

\sin x = 0

[4.3.2]

Beweis: Wir benötigen einige Abschätzungen. Zunächst hat man für $i \geq 1$ und $0 < x < \sqrt{6}$ :

\begin{array}{l} {(- 1)}^{2 i} \frac{x^{4 i + 1}}{(4 i + 1)!} + {(- 1)}^{2 i + 1} \frac{x^{4 i + 3}}{(4 i + 3)!} \\ = & \frac{x^{4 i + 1}}{(4 i + 1)!} (1 - \frac{x^{2}}{(4 i + 2) (4 i + 3)}) \\ = & \frac{x^{4 i + 1}}{(4 i + 1)!} \cdot \frac{16 i^{2} + 20 i + 6 - x^{2}}{(4 i + 2) (4 i + 3)} \\ > & \frac{x^{4 i + 1}}{(4 i + 1)!} \cdot \frac{16 i^{2} + 20 i + 6 - 6}{(4 i + 2) (4 i + 3)} > 0 . \end{array}

Für diese x gilt daher:

\sin x = x - \frac{x^{3}}{6} + \sum_{i = 2}^{\infty} {(- 1)}^{i} \frac{x^{2 i + 1}}{(2 i + 1)!} = x - \frac{x^{3}}{6} + \sum_{i = 1}^{\infty} \underset{> 0}{\underset{︸}{{(- 1)}^{2 i} \frac{x^{4 i + 1}}{(4 i + 1)!} + {(- 1)}^{2 i + 1} \frac{x^{4 i + 3}}{(4 i + 3)!}}} \geq x - \frac{x^{3}}{6}

und damit schließlich:

\sin x \geq x - \frac{x^{3}}{6} = \frac{1}{6} x (6 - x^{2}) > 0

für alle

0 < x < \sqrt{6}

.[+]

Somit ist z.B. $\sin 2 > 0$ und mit einer weiteren Abschätzung finden wir:

\begin{array}{l} \sin 4 & = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{4^{2 i + 1}}{(2 i + 1)!} \\ = \sum_{i = 0}^{4} {(- 1)}^{i} \frac{4^{2 i + 1}}{(2 i + 1)!} + \sum_{i = 0}^{\infty} {(- 1)}^{i + 5} \frac{4^{2 i + 11}}{(2 i + 11)!} \\ = \sum_{i = 0}^{4} {(- 1)}^{i} \frac{4^{2 i + 1}}{(2 i + 1)!} + \sum_{i = 0}^{\infty} {(- 1)}^{2 i + 5} \frac{4^{4 i + 11}}{(4 i + 11)!} + {(- 1)}^{2 i + 6} \frac{4^{4 i + 13}}{(4 i + 13)!} \\ = - \frac{268}{405} + \sum_{i = 0}^{\infty} 4^{4 i + 11} \underset{\leq 0}{\underset{︸}{\frac{4^{2} - (4 i + 12) (4 i + 13)}{(4 i + 13)!}}} \leq - \frac{268}{405} < 0 \end{array}

Da sin stetig ist ([6.2.17]), gibt es gemäß Nullstellensatz [6.6.1] eine Nullstelle zwischen 2 und 4.

In $ℝ$ gilt das Vollständigkeitsaxiom, d.h. jede nicht-leere, nach unten beschränkte Teilmenge besitzt eine größte untere Schranke, das Infimum. Mit [4.3.2] können wir daher festsetzen:

π ≔ > \inf {x > 0 | \sin x = 0}

[4.3.3]

Dabei garantieren [+] und die letzte Abschätzung dass $\sqrt{6} \leq π \leq 4$ . Insbesondere ist damit $π > 0$ .

Von entscheidener Bedeutung für die Eigenschaften der trigonometrischen Funktionen sind die sog. Additionstheoreme.

Satz (Additionstheoreme): Für alle $x, y \in ℝ$ ist

$\sin (x + y) = \sin x \cdot \cos y + \sin y \cdot \cos x$
$\cos (x + y) = \cos x \cdot \cos y - \sin x \cdot \sin y$

[4.3.4]

Beweis: Mit den Abkürzungen

a_{i} ≔ {\begin{array}{l} \frac{{(- 1)}^{\frac{i - 1}{2}}}{i!} falls i ungerade \\ 0 falls i gerade \end{array}

und

b_{i} ≔ {\begin{array}{l} \frac{{(- 1)}^{\frac{i}{2}}}{i!} falls i gerade \\ 0 falls i ungerade \end{array}

können wir [0] umschreiben zu

\begin{array}{l} \sin x = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i + 1}}{(2 i + 1)!} = \sum_{i = 0}^{\infty} a_{i} x^{i} \\ \cos x = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i}}{(2 i)!} = \sum_{i = 0}^{\infty} b_{i} x^{i} \end{array}

[1]

Wir beweisen jetzt das Additionstheorem für den Sinus. Der Nachweis für den Cosinus verläuft ähnlich und kann hier aufgerufen werden.

Wir berechnen nun zunächst für $0 \leq k \leq i$ :

a_{k} b_{i - k} + b_{k} a_{i - k} = {\begin{array}{l} \frac{{(- 1)}^{\frac{k - 1}{2}}}{k!} \cdot \frac{{(- 1)}^{\frac{i - k}{2}}}{(i - k)!} falls k unger., i - k gerade \\ \frac{{(- 1)}^{\frac{k}{2}}}{k!} \cdot \frac{{(- 1)}^{\frac{i - k - 1}{2}}}{(i - k)!} falls k gerade, i - k unger. \\ 0 sonst \end{array} = {\begin{array}{l} \frac{{(- 1)}^{\frac{i - 1}{2}}}{k! (i - k)!} falls i unger. \\ 0 sonst \end{array}

Man beachte dabei: $k ungerade, i - k gerade \lor k gerade, i - k ungerade \Leftrightarrow i ungerade$ .

Mit Hilfe des Binomialtheorems [5.2.5] und der Produktregel für konvergente Reihen
i

$\sum_{i = 0}^{\infty} a_{i} \cdot \sum_{i = 0}^{\infty} b_{i} = \sum_{i = 0}^{\infty} \sum_{k = 0}^{i} a_{k} \cdot b_{i - k}$

haben wir jetzt:

\begin{array}{l} \sin x \cdot \cos y + \sin y \cdot \cos x \\ = & \sum_{i = 0}^{\infty} a_{i} x^{i} \cdot \sum_{i = 0}^{\infty} b_{i} y^{i} + \sum_{i = 0}^{\infty} b_{i} x^{i} \cdot \sum_{i = 0}^{\infty} a_{i} y^{i} \\ = & \sum_{i = 0}^{\infty} \sum_{k = 0}^{i} (a_{k} b_{i - k} + b_{k} a_{i - k}) x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} \sum_{k = 0}^{i} {\begin{array}{l} \frac{{(- 1)}^{\frac{i - 1}{2}}}{i!} falls i ungerade \\ 0 falls i gerade \end{array}} \frac{i!}{k! (i - k)!} x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} a_{i} \sum_{k = 0}^{i} (\begin{matrix} i \\ k \end{matrix}) x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} a_{i} {(x + y)}^{i} \\ = & \sin (x + y) . \end{array}

Wir berechnen nun zunächst für $0 \leq k \leq i$ :

b_{k} b_{i - k} - a_{k} a_{i - k} = {\begin{array}{l} \frac{{(- 1)}^{\frac{k}{2}}}{k!} \cdot \frac{{(- 1)}^{\frac{i - k}{2}}}{(i - k)!} falls k, i - k gerade \\ - \frac{{(- 1)}^{\frac{k - 1}{2}}}{k!} \cdot \frac{{(- 1)}^{\frac{i - k - 1}{2}}}{(i - k)!} falls k, i - k ungerade \\ 0 sonst \end{array} = {\begin{array}{l} \frac{{(- 1)}^{\frac{i}{2}}}{k! (i - k)!} falls i gerade \\ 0 sonst \end{array}

Man beachte dabei: $k, i - k gerade \lor k, i - k ungerade \Leftrightarrow i gerade$ .

\begin{array}{l} \cos x \cdot \cos y - \sin x \cdot \sin y \\ = & \sum_{i = 0}^{\infty} b_{i} x^{i} \cdot \sum_{i = 0}^{\infty} b_{i} y^{i} - \sum_{i = 0}^{\infty} a_{i} x^{i} \cdot \sum_{i = 0}^{\infty} a_{i} y^{i} \\ = & \sum_{i = 0}^{\infty} \sum_{k = 0}^{i} (b_{k} b_{i - k} - a_{k} a_{i - k}) x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} \sum_{k = 0}^{i} {\begin{array}{l} \frac{{(- 1)}^{\frac{i}{2}}}{i!} falls i gerade \\ 0 falls i ungerade \end{array}} \frac{i!}{k! (i - k)!} x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} b_{i} \sum_{k = 0}^{i} (\begin{matrix} i \\ k \end{matrix}) x^{k} y^{i - k} \\ = & \sum_{i = 0}^{\infty} b_{i} {(x + y)}^{i} \\ = & \cos (x + y) . \end{array}

Wir stellen nun weitere Eigenschaften der trigonometrischen Funktionen zusammen und beginnen mit einer Information zur Symmetrie: sin ist punkt- und cos achsensymmetrisch.

Bemerkung: Für alle $x \in ℝ$ ist

$\sin (- x) = - \sin x$
$\cos (- x) = \cos x$

[4.3.5]

Beweis:

1. ► $\sin (- x) = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{{(- x)}^{2 i + 1}}{(2 i + 1)!} = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{- x^{2 i + 1}}{(2 i + 1)!} = - \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i + 1}}{(2 i + 1)!} = - \sin x$ .

2. ► $\cos (- x) = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{{(- x)}^{2 i}}{(2 i)!} = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{x^{2 i}}{(2 i)!} = \cos x$ .

Nun gelingt es auch, einige der anschaulich gewonnenen Funktionswerte rechnerisch zu bestätigen.

Bemerkung:

\begin{array}{l} \sin 0 = 0 & \cos 0 = 1 \\ \sin \frac{π}{2} = 1 & \cos \frac{π}{2} = 0 \\ \sin π = 0 & \cos π = - 1 \\ \sin 3 \frac{π}{2} = - 1 & \cos 3 \frac{π}{2} = 0 \\ \sin 2 π = 0 & \cos 2 π = 1 \end{array}

[4.3.6]

Beweis:

Da $0^{n}$ ist gleich 0 für $n > 0$ und gleich 1 für $n = 0$ hat man sofort:

$\sin 0 = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{0^{2 i + 1}}{(2 i + 1)!} = 0$ und $\cos 0 = \sum_{i = 0}^{\infty} {(- 1)}^{i} \frac{0^{2 i}}{(2 i)!} = {(- 1)}^{0} \frac{0^{0}}{0!} = 1$ .
$\sin π = 0$ : Gemäß [4.3.3] kann es unterhalb von $π$ keine positiven Nullstellen des Sinus geben, also ist $\sin x \neq 0$ für alle $0 < x < π$ . Ist nun $\sin π \neq 0$ , so gilt dies aus Stetigkeitsgründen in ganzen Umgebung von $π$ . Es gibt also ein $ε > 0$ , o.E. $ε < π$ , so dass $\sin x \neq 0$ in $] π - ε, π + ε [$ . Damit aber hat man

$\sin x \neq 0$ für alle $0 < x < π + ε$

und folglich: $π + ε \leq π$ - Widerspruch.
$\cos \frac{π}{2} = 0$ : Mit dem Additionstheorem für den Sinus erhält man

$0 = \sin π = \sin (\frac{π}{2} + \frac{π}{2}) = \sin \frac{π}{2} \cdot \cos \frac{π}{2} + \sin \frac{π}{2} \cdot \cos \frac{π}{2} = 2 \underset{\neq 0}{\underset{︸}{\sin \frac{π}{2}}} \cdot \cos \frac{π}{2}$ .
Man beachte, dass $\sin \frac{π}{2} \neq 0$ , da $0 < \frac{π}{2} < π$ (siehe [4.3.3]). Also ist $\cos \frac{π}{2} = 0$ .
$\sin \frac{π}{2} = 1$ : Diesmal setzen wir das Additionstheorem für den Cosinus ein und erhalten unter Beachtung der Symmetrie [4.3.5]:

$1 = \cos (\frac{π}{2} - \frac{π}{2}) = (\cos \frac{π}{2})^{2} + (\sin \frac{π}{2})^{2} = (\sin \frac{π}{2})^{2}$ ,

also $| \sin \frac{π}{2} | = 1$ . Das aber ist nach [+] die Behauptung, denn da $π \leq 4$ , ist $0 < \frac{π}{2} \leq 2 < \sqrt{6}$ .
$\cos π = - 1$ : Wir greifen auf die beiden letzten Ergebnisse und das Additionstheorem zurück:

$\cos π = \cos (\frac{π}{2} + \frac{π}{2}) = (\cos \frac{π}{2})^{2} - (\sin \frac{π}{2})^{2} = - 1$ .
$\sin 3 \frac{π}{2} = - 1$ : $\sin 3 \frac{π}{2} = \sin (π + \frac{π}{2}) = \sin π \cdot \cos \frac{π}{2} + \sin \frac{π}{2} \cdot \cos π = 0 \cdot 0 + 1 \cdot (- 1) = - 1$ .
$\cos 3 \frac{π}{2} = 0$ : $\cos 3 \frac{π}{2} = \cos (π + \frac{π}{2}) = \cos π \cdot \cos \frac{π}{2} - \sin \frac{π}{2} \cdot \sin π = (- 1) \cdot 0 - 1 \cdot 0 = 0$ .
$\sin 2 π = 0$ : $\sin 2 π = \sin (π + π) = 2 \sin π \cdot \cos π = 2 \cdot 0 \cdot (- 1) = 0$ .
$\cos 2 π = 1$ : $\cos 2 π = \cos (π + π) = {(\cos π)}^{2} - {(\sin π)}^{2} = 1 - 0 = 1$ .

Da nun einige markante Funktionswerte sicher sind, lassen sich weitere Eigenschaften nachweisen. Wir haben u.a. eine zusätzliche Notiz zur Symmetrie, zur Periodizität und zum Nullstellenverhalten.

Bemerkung: Für alle $x \in ℝ$ gilt:

$\sin (x + \frac{π}{2}) = \cos x$
$\cos (x - \frac{π}{2}) = \sin x$

[4.3.7]

sin und cos lassen sich durch waagerechtes Verschieben in die jeweils andere Funktion überführen: Verschiebt man sin um $- \frac{π}{2}$ Einheiten erhält man den Cosinus, Verschiebt man cos um $\frac{π}{2}$ Einheiten erhält man den Sinus. In 4.6 wird diese Technik näher beschrieben.

$\sin (\frac{π}{2} + x) = \sin (\frac{π}{2} - x)$
$\cos (\frac{π}{2} + x) = - \cos (\frac{π}{2} - x)$

[4.3.8]

Der Sinus ist symmetrisch zur Senkrechten $x = \frac{π}{2}$ und der Cosinus punktsymmetrisch zu $(\frac{π}{2},0)$ .

$\sin (x + 2 k π) = \sin x$ für jedes $k \in ℤ$
$\cos (x + 2 k π) = \cos x$ für jedes $k \in ℤ$

[4.3.9]

sin und cos wiederholen ihre Werte im Abstand von $2 π$ , sie sind also $2 π$ -periodisch.

$\sin x = 0 \Leftrightarrow x = k π = 2 k \frac{π}{2}$ für ein $k \in ℤ$
$\cos x = 0 \Leftrightarrow x = (2 k - 1) \frac{π}{2}$ für ein $k \in ℤ$

[4.3.10]

Die Nullstellen des (reellen) Sinus sind genau die geraden Vielfachen von $\frac{π}{2}$ , die des Cosinus genau die ungeraden. Im Komplexen gibt es keine weiteren Nullstellen.

${(\sin x)}^{2} + {(\cos x)}^{2} = 1$

[4.3.11]

Diese Gleichheit, oft abgekürzt zu $\sin^{2} x + \cos^{2} x = 1$ , ist der Satz des Pythagoras, denn $| \sin x |$ und $| \cos x |$ sind die Kathetenlängen eines rechtwinkligen Dreiecks dessen Hypotenuse die Länge 1 hat.
i

$- 1 \leq \sin x \leq 1$
$- 1 \leq \cos x \leq 1$

[4.3.12]

Diese Abschätzungen belegen die Beschränktheit von sin und cos, eine Eigenschaft die nur im Reellen gültig ist!

Beweis: Wir benötigen lediglich die Additionstheoreme und das Symmetrieverhalten.

1. ► $\sin (x + \frac{π}{2}) = \sin x \cdot \underset{= 0}{\underset{︸}{\cos \frac{π}{2}}} + \underset{= 1}{\underset{︸}{\sin \frac{π}{2}}} \cdot \cos x = \cos x$ .

$\cos (x - \frac{π}{2}) = \sin (x - \frac{π}{2} + \frac{π}{2}) = \sin x$ .

2. ► $\sin (\frac{π}{2} + x) \underset{1.}{\underset{︸}{=}} \cos x = \cos (- x) \underset{1.}{\underset{︸}{=}} \sin (\frac{π}{2} - x)$ .

$\cos (\frac{π}{2} + x) = \cos (- x - \frac{π}{2}) \underset{1.}{\underset{︸}{=}} \sin (- x) = - \sin x \underset{1.}{\underset{︸}{=}} - \cos (x - \frac{π}{2}) = - \cos (\frac{π}{2} - x)$ .

3. ► Wir zeigen zunächst per Induktion:

\sin (x \pm 2 k π) = \sin x

für alle

k \in ℕ

Für $k = 0$ ist nichts zu zeigen, der Induktionsanfang also trivial. Ist nun die Aussage für ein $k \in ℕ$ bereits gültig, so hat man:

\begin{array}{l} \sin (x \pm 2 (k + 1) π) & = \sin (x \pm 2 k π \pm 2 π) \\ = \sin (x \pm 2 k π) \cdot \underset{= 1}{\underset{︸}{\cos 2 π}} \pm \underset{= 0}{\underset{︸}{\sin 2 π}} \cdot \cos (x \pm 2 k π) \\ = \sin (x \pm 2 k π) \\ = \sin x . \end{array}

Damit ist 3. für den Sinus bewiesen. Weiterhin haben wir damit für ein beliebiges $k \in ℤ$ :

\cos (x + 2 k π) = \sin (x + \frac{π}{2} + 2 k π) = \sin (x + \frac{π}{2}) = \cos x

4. ► Wir betrachten zunächst nur den Sinus und haben hier wegen der Periodizität:

\begin{array}{l} \sin (2 k π) = \sin (0 + 2 k π) = \sin 0 = 0 \\ \sin ((2 k + 1) π) = \sin (π + 2 k π) = \sin π = 0 \end{array}

sin ist also sowohl an den geraden wie auch an den ungeraden Vielfachen von π gleich Null, d.h. jedes Vielfache von π ist eine Nullstelle.

Sei jetzt x eine beliebige Nullstelle des Sinus. Wir müssen zeigen, dass x ein Vielfaches von π ist. O.E. sei dabei $x > 0$ , denn für $x = 0$ ist nichts zu zeigen und nach [4.3.5] ist mit x auch $- x$ eine Nullstelle.

Mit $k ≔ \max {j \in ℕ | 2 j π < x}$ grenzen wir zunächst die Lage von x ein: $2 k π < x \leq 2 (k + 1) π$ . Für

x^{'} ≔ x - 2 k π

ist dann $0 < x^{'} \leq 2 π$ , ja sogar $π \leq x^{'} \leq 2 π$ , denn wegen der Periodizität ist $\sin x^{'} = \sin x = 0$ und gemäß [4.3.3] liegen unterhalb von π keine positiven Nullstellen. Ist nun $x^{'} = π$ , also

x = x^{'} + 2 k π = π + 2 k π = (2 k + 1) π

so ist nichts weiter zu zeigen. Ist dagegen $x^{'} > π$ , so hat man $0 \leq 2 π - x^{'} < π$ , und da

\sin (2 π - x^{'}) = \sin (- x^{'}) = - \sin x^{'} = 0

muss $2 π - x^{'} = 0$ , also $x^{'} = 2 π$ , gelten (wieder mit [4.3.3]) und damit:

x = x^{'} + 2 k π = 2 π + 2 k π = (2 k + 2) π

Die Nullstellen des Cosinus sind jetzt mit [4.3.7] leicht zu beschreiben:

\begin{array}{l} \cos x = 0 & \Leftrightarrow \sin (x + \frac{π}{2}) = 0 \\ \Leftrightarrow x + \frac{π}{2} = k π für ein k \in ℤ \\ \Leftrightarrow x = k π - \frac{π}{2} = (2 k - 1) \frac{π}{2} für ein k \in ℤ \end{array}

5. ► Mit dem Additionstheorem [4.3.4] für den Cosinus und dem Symmetrieverhalten hat man:

1 = \cos (x - x) = \cos x \cdot \cos (- x) - \sin x \cdot \sin (- x) = \cos x \cdot \cos x + \sin x \cdot \sin x

6. ► Da (in $ℝ$ ) Quadrate stets positiv sind, hat man nach 5. z.B. für den Sinus:

{(\sin x)}^{2} = 1 - \underset{\geq 0}{\underset{︸}{{(\cos x)}^{2}}} \leq 1

also: $| \sin x | \leq 1$ . Das ist die Behauptung.

Mit einem kleinen Exkurs in die Physik, und zwar in die Schwingungslehre, stellen wir Modifikationen der Sinusfunktion vor. Dort beschreibt eine Funktion des Typs

f = a \sin (ω X + φ)

eine ungedämpfte Schwingung, wie sie etwa bei einer idealen Pendelbewegung auftritt. Die x-Achse wird hier als "Zeitachse" interpretiert, so dass π als Einheit ungünstig ist; statt dessen kehren wir wieder zu 1 als Einheit zurück und messen mit ihr z.B. Sekunden. Auch die Namen der Parameter haben hier ihren Ursprung:

Die Amplitude | a | gibt die maximale Auslenkung (Elongation) der Schwingung an.
Mit der Kreisfrequenz ω berechnet man die Frequenz ν der Schwingung: $ν = \frac{ω}{2 π}$ ist die Anzahl der Perioden pro Zeiteinheit. Die Schwingungsdauer $T = \frac{1}{ν} = \frac{2 π}{ω}$ gibt die für eine Periode benötigte Zeit an.
Allgemein nennt man $ω X + φ$ den Phasenwinkel und speziell φ den Nullphasenwinkel, bzw. die Phasenverschiebung der Schwingung. Sie bestimmt die Anfangselongation $f (0) = a \sin φ$ .

Unter den Schwingungen kommen Sinus ( $a = ω = 1, φ = 0$ ) und Cosinus ( $a = ω = 1, φ = \frac{π}{2}$ ) natürlich auch vor. Man beachte, dass die Pixelgrafik bei hohen Frequenzen überfordert ist. Die Darstellung entspricht dann nicht mehr der angegebenen Funktion, zeigt aber z.T. eine interessante Periodiztät. Ich habe daher in diesen Fällen auf ein Ausblenden verzichtet.

Mit Hilfe von Sinus und Cosinus führen wir nun zwei weitere trigonometrische Funktionen ein. Allerdings werden bei den Funktionsvorschriften Divisionen durchgeführt, so dass die Definitionsbereiche geeignet zu wählen sind. [4.3.10] gibt uns dabei Auskunft über die Lage der Nullstellen von sin und cos.

Definition: Die Funktionen

$\tan : ℝ \ {(2 k - 1) \frac{π}{2} \| k \in ℤ} \to ℝ$ gegeben durch $\tan (x) ≔ \frac{\sin x}{\cos x}$	[4.3.13]
$\cot : ℝ \ {k π \| k \in ℤ} \to ℝ$ gegeben durch $\cot (x) ≔ \frac{\cos x}{\sin x}$	[4.3.14]

sind der Tangens und der Cotangens.

Auch hier werden die Funktionswerte meist klammerfrei geschrieben: $\tan x$ bzw. $\cot x$ . Man beachte ferner, dass beide Funktionen unendliche viele Definitionslücken besitzen, und zwar Polstellen. Dabei sind die Polstellen des Tangens genau die Nullstellen des Cosinus und die des Cotangens genau die Nullstellen des Sinus.

Die Werte $\tan 0 = 0 = \cot \frac{π}{2}$ sind direkt einsehbar. Mit ein wenig Mühe finden wir auch einen nicht trivialen Wert: Mit dem Additionstheorem hat man zunächst

1 = \sin \frac{π}{2} = \sin (\frac{π}{4} + \frac{π}{4}) = 2 \sin \frac{π}{4} \cdot \cos \frac{π}{4}

und daraus mit Pythagoras:

(\sin \frac{π}{4} - \cos \frac{π}{4})^{2} = \sin^{2} \frac{π}{4} - 2 \sin \frac{π}{4} \cdot \cos \frac{π}{4} + \cos^{2} \frac{π}{4} = 1 - 1 = 0

Also sind $\sin \frac{π}{4}$ und $\cos \frac{π}{4}$ identisch.
i

und zwar ist

$\sin \frac{π}{4} = \frac{1}{\sqrt{2}} = \cos \frac{π}{4}$ ,

denn wieder mit Pythagoras ist

$1 = \sin^{2} \frac{π}{4} + \cos^{2} \frac{π}{4} = 2 \sin^{2} \frac{π}{4}$

Also ist $\sin \frac{π}{4} = | \sin \frac{π}{4} | = \sqrt{\frac{1}{2}}$ , denn nach [+] ist $\sin \frac{π}{4} > 0$ .

Das aber bedeutet:

\tan \frac{π}{4} = 1 = \cot \frac{π}{4}

Wir stellen den Tangens in einer Skizze vor. Dabei verzichten wir auf Bezüge zur Physik und betrachten jetzt Funktionen der Form

f = a \tan (b X - c π) + d

Tangens und Cotangens besitzen zahlreiche Eigenschaften. Naturgemäß sind sie in der Regel direkt auf entsprechende Sachverhalte bei sin und cos zurückzuführen. Die folgende Bemerkung stellt einige Eigenschaften zusammen.

Bemerkung: Für alle $x, y \in ℝ$ mit $x, y \neq (2 k - 1) \frac{π}{2}$ bzw. $x, y \neq k π$ gilt:

$- \tan (x - \frac{π}{2}) = \cot x$ $- \cot (x - \frac{π}{2}) = \tan x$	[4.3.15]
Die beiden Funktionen gehen durch waagerechtes Verschieben um $\frac{π}{2}$ und anschließendes Spiegeln an der x-Achse ineinander über.
$\tan x = 0 \Leftrightarrow x = k π = 2 k \frac{π}{2}$ für ein $k \in ℤ$ $\cot x = 0 \Leftrightarrow x = (2 k - 1) \frac{π}{2}$ für ein $k \in ℤ$	[4.3.16]
Der Tangens hat also dieselben Nullstellen wie sin, der Cotangens dieselben wie cos.
$\tan x \cdot \cot x = 1$	[4.3.17]
Sind beide Funktionswerte gleichzeitig vorhanden, so ist der eine stets Kehrwert des anderen.
$\tan (- x) = - \tan x$ $\cot (- x) = - \cot x$	[4.3.18]
Tangens und Cotangens sind punktsymmetrisch.
$\tan (x + k π) = \tan x$ für jedes $k \in ℤ$ $\cot (x + k π) = \cot x$ für jedes $k \in ℤ$	[4.3.19]
Tangens und Cotangens sind π-periodisch.
$1 + \tan^{2} x = \frac{1}{\cos^{2} x}$ $1 + \cot^{2} x = \frac{1}{\sin^{2} x}$	[4.3.20]

$\tan (x + y) = \frac{\tan x + \tan y}{1 - \tan x \cdot \tan y}$ für $\tan x \cdot \tan y \neq 1$ $\cot (x + y) = \frac{\cot x \cdot \cot y - 1}{\cot x + \cot y}$ für $\cot x + \cot y \neq 0$	[4.3.21]
Das sind die Additionstheoreme für Tangens und Cotangens.

Beweis:

1. ► Mit [4.3.8] und [4.3.7] ergibt sich:

- \tan (x - \frac{π}{2}) = \frac{- \sin (x - \frac{π}{2})}{\cos (x - \frac{π}{2})} = \frac{\sin (- x + \frac{π}{2})}{\cos (x - \frac{π}{2})} = \frac{\sin (x + \frac{π}{2})}{\cos (x - \frac{π}{2})} = \frac{\cos x}{\sin x} = \cot x

und damit:

- \cot (x - \frac{π}{2}) = \frac{1}{- \tan (x - \frac{π}{2})} = \frac{1}{\cot x} = \tan x

2. ► $\tan x$ wird genau dann Null, wenn der Zähler $\sin x$ gleich Null ist. Nach [4.3.10] also genau dann, wenn $x = k π$ ist. Beim Cotangens argumentiert man analog.

3. ► $\tan x \cdot \cot x = \frac{\sin x}{\cos x} \cdot \frac{\cos x}{\sin x} = 1$ .

4. ► Wir benutzen das Symmetrieverhalten [4.3.5]:

\tan (- x) = \frac{\sin (- x)}{\cos (- x)} = \frac{- \sin x}{\cos x} = - \tan x

Die entsprechende Eigenschaft des Cotangens erhält man analog.

5. ► Wir benötigen einige Vorüberlegungen. Zunächst erhält man mit [4.3.8]:

\begin{array}{l} \sin (x + π) = \sin (\frac{π}{2} + x + \frac{π}{2}) = \sin (\frac{π}{2} - x - \frac{π}{2}) = \sin (- x) = - \sin x \\ \cos (x + π) = \cos (\frac{π}{2} + x + \frac{π}{2}) = - \cos (\frac{π}{2} - x - \frac{π}{2}) = - \cos (- x) = - \cos x \end{array}

und über die Periodizität von Sinus und Cosinus dann auch:

\begin{array}{l} \sin (x - π) = \sin (x - π + 2 π) = \sin (x + π) = - \sin x \\ \cos (x - π) = \cos (x - π + 2 π) = \cos (x + π) = - \cos x \end{array}

Damit schließlich haben wir:

\tan (x \pm π) = \frac{\sin (x \pm π)}{\cos (x \pm π)} = \frac{- \sin x}{- \cos x} = \frac{\sin x}{\cos x} = \tan x

.[++]

Nun zeigen wir per Induktion: $\tan (x \pm k π) = \tan x$ für alle $k \in ℕ$ . Da für $k = 0$ offensichtlich nichts zu tun ist, bleibt nur der Induktionsschluss: Mit [++] ergibt sich aus der Induktionsvoraussetzung:

\tan (x \pm (k + 1) π) = \tan (x \pm k π \pm π) = \tan (x \pm k π) = \tan x

Nun zum Cotangens: Ist x, und damit auch $x + k π$ , ein ungerades Vielfaches von $\frac{π}{2}$ , so hat man nach [4.3.16]: $\cot (x + k π) = 0 = \cot x$ . In allen anderen Fällen greift man auf das gerade Bewiesene zurück:

\cot (x + k π) = \frac{1}{\tan (x + k π)} = \frac{1}{\tan x} = \cot x

6. ► Diese Gleichungen ergeben sich aus dem Satz des Pythagoras [4.3.11], z.B. für den Tangens:

1 + \tan^{2} x = 1 + \frac{\sin^{2} x}{\cos^{2} x} = \frac{\cos^{2} x + \sin^{2} x}{\cos^{2} x} = \frac{1}{\cos^{2} x}

7. ► Mit den Additionstheoremen [4.3.4] für Sinus und Cosinus beweisen wir die erste Gleichung:

\begin{array}{l} \frac{\tan x + \tan y}{1 - \tan x \cdot \tan y} & = \frac{\frac{\sin x}{\cos x} + \frac{\sin y}{\cos y}}{1 - \frac{\sin x \cdot \sin y}{\cos x \cdot \cos y}} \\ = \frac{\frac{\sin x \cdot \cos y + \cos x \cdot \sin y}{\cos x \cdot \cos y}}{\frac{\cos x \cdot \cos y - \sin x \cdot \sin y}{\cos x \cdot \cos y}} \\ = \frac{\sin x \cdot \cos y + \cos x \cdot \sin y}{\cos x \cdot \cos y - \sin x \cdot \sin y} \\ = \frac{\sin (x + y)}{\cos (x + y)} \\ = \tan (x + y) . \end{array}

Falls $\cot (x + y) \neq 0$ ( $\Leftrightarrow \cos (x + y) \neq 0 \Leftrightarrow \cos x \cdot \cos y \neq \sin x \cdot \sin y \Leftrightarrow \cot x \cdot \cot y \neq 1$ ), gelingt damit auch der Nachweis der zweiten Gleichung:

\cot (x + y) = \frac{1}{\tan (x + y)} = \frac{1 - \tan x \cdot \tan y}{\tan x + \tan y} = \frac{1 - \frac{1}{\cot x \cdot \cot y}}{\frac{1}{\cot x} + \frac{1}{\cot y}} = \frac{\cot x \cdot \cot y - 1}{\cot x + \cot y}

Ist $\cot (x + y) = 0$ , so steht auf beiden Seiten der Gleichung Null.

4.2. 4.4.