aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/030-geometrie
diff options
context:
space:
mode:
authorAndreas Müller <andreas.mueller@ost.ch>2021-11-22 20:57:40 +0100
committerAndreas Müller <andreas.mueller@ost.ch>2021-11-22 20:57:40 +0100
commitdd95c65a823843e439b930fc8dad050003413e32 (patch)
tree5c0aa9893b6db301f8935263548923f87897acc1 /buch/chapters/030-geometrie
parentupdate cover design (diff)
downloadSeminarSpezielleFunktionen-dd95c65a823843e439b930fc8dad050003413e32.tar.gz
SeminarSpezielleFunktionen-dd95c65a823843e439b930fc8dad050003413e32.zip
new stuff
Diffstat (limited to 'buch/chapters/030-geometrie')
-rw-r--r--buch/chapters/030-geometrie/chapter.tex21
-rw-r--r--buch/chapters/030-geometrie/images/Makefile9
-rw-r--r--buch/chapters/030-geometrie/images/deftrig.pdfbin0 -> 9734 bytes
-rw-r--r--buch/chapters/030-geometrie/images/deftrig.tex36
-rw-r--r--buch/chapters/030-geometrie/images/einheitskreis.pdfbin0 -> 19706 bytes
-rw-r--r--buch/chapters/030-geometrie/images/einheitskreis.tex86
-rw-r--r--buch/chapters/030-geometrie/trigonometrisch.tex524
7 files changed, 672 insertions, 4 deletions
diff --git a/buch/chapters/030-geometrie/chapter.tex b/buch/chapters/030-geometrie/chapter.tex
index 974a3a4..7cb790d 100644
--- a/buch/chapters/030-geometrie/chapter.tex
+++ b/buch/chapters/030-geometrie/chapter.tex
@@ -13,8 +13,27 @@ Die ältesten geometrisch definierten speziellen Funktionen
sind die Wurzeln.
Sie haben ermöglicht, die Kantenlänge eines Quadrates mit vorgegebenem
Flächeninhalt zu bestimmen.
-Sie werden unmittelbar gefolgt von den trigonometrischen Funktionen,
+Die Formel von Pythagoras über die Seitenlängen eines rechtwinkligen
+Dreiecks ermöglicht, mit Hilfe von Quadratwurzeln aus zwei Seiten
+die dritte zu berechnen.
+Der Strahlensatz schliesslich reduziert alle rechtwinkligen
+Dreiecke auf spezielle Dreiecke, deren eine Seite Einheitslänge
+hat.
+Die Seitenverhältnisse in einem rechtwinkligen Dreieck hängen nur
+vom Winkel ab.
+Dies führt auf eine neue Klasse von speziellen Funktionen,
+die trigonometrischen Funktionen,
die ebenfalls bereits im Altertum bekannt waren.
+
+Mindestens ebenso wichtig wie die Berechnung ebener Dreieck
+war im Altertum aber die Berechnung von Dreiecken am Himmel.
+Auf einer Kugeloberfläche funktioniert Ähnlichkeit nicht mehr,
+der Strahlensatz muss durch den Satz von Menelaos ersetzt werden.
+Es ergibt sich eine Methode, beliebige Dreiecke auf einer Kugeloberfläche
+ganz analog zum Vorgehen bei ebenen Dreiecken zu berechnen.
+Diese sphärische Trigonometrie ist die Basis der Navigation
+und aller astrometrischer Berechnungen.
+
Die Analysis hat die Möglichkeit geschaffen, die Länge von Kurven
zu definieren und zu berechnen, wie auch den Flächeninhalt von
Gebieten, die von Kurven berandet sind.
diff --git a/buch/chapters/030-geometrie/images/Makefile b/buch/chapters/030-geometrie/images/Makefile
index 8796cf6..d9e660f 100644
--- a/buch/chapters/030-geometrie/images/Makefile
+++ b/buch/chapters/030-geometrie/images/Makefile
@@ -4,7 +4,7 @@
# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
#
-all: hyperbelflaeche.pdf polargleichung.pdf
+all: hyperbelflaeche.pdf polargleichung.pdf deftrig.pdf einheitskreis.pdf
hyperbelflaeche.pdf: hyperbelflaeche.tex
pdflatex hyperbelflaeche.tex
@@ -12,3 +12,10 @@ hyperbelflaeche.pdf: hyperbelflaeche.tex
polargleichung.pdf: polargleichung.tex
pdflatex polargleichung.tex
+deftrig.pdf: deftrig.tex
+ pdflatex deftrig.tex
+
+einheitskreis.pdf: einheitskreis.tex
+ pdflatex einheitskreis.tex
+
+
diff --git a/buch/chapters/030-geometrie/images/deftrig.pdf b/buch/chapters/030-geometrie/images/deftrig.pdf
new file mode 100644
index 0000000..4f08ec5
--- /dev/null
+++ b/buch/chapters/030-geometrie/images/deftrig.pdf
Binary files differ
diff --git a/buch/chapters/030-geometrie/images/deftrig.tex b/buch/chapters/030-geometrie/images/deftrig.tex
new file mode 100644
index 0000000..b7d0748
--- /dev/null
+++ b/buch/chapters/030-geometrie/images/deftrig.tex
@@ -0,0 +1,36 @@
+%
+% deftrig.tex -- Definition der trigonometrischen Funktionen
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\documentclass[tikz]{standalone}
+\usepackage{amsmath}
+\usepackage{times}
+\usepackage{txfonts}
+\usepackage{pgfplots}
+\usepackage{csvsimple}
+\usetikzlibrary{arrows,intersections,math,calc}
+\begin{document}
+\def\skala{1}
+\begin{tikzpicture}[>=latex,thick,scale=\skala]
+
+\coordinate (B) at (0,0);
+\coordinate (C) at (4,0);
+\coordinate (A) at (4,3);
+\fill[color=gray] (B) -- (0:1.5) arc (0:{atan(3/4)}:1.5) -- cycle;
+\node at ({0.5*atan(3/4)}:1) {$\alpha$};
+\draw (A) -- (B) -- (C) -- cycle;
+\fill (A) circle[radius=0.04];
+\fill (B) circle[radius=0.04];
+\fill (C) circle[radius=0.04];
+\node at ($0.5*(A)+0.5*(B)$) [above left] {$c$};
+\node at ($0.5*(B)+0.5*(C)$) [below] {$a$};
+\node at ($0.5*(C)+0.5*(A)$) [right] {$b$};
+\node at (A) [above right] {$A$};
+\node at (B) [below left] {$B$};
+\node at (C) [below right] {$C$};
+
+\end{tikzpicture}
+\end{document}
+
+---
diff --git a/buch/chapters/030-geometrie/images/einheitskreis.pdf b/buch/chapters/030-geometrie/images/einheitskreis.pdf
new file mode 100644
index 0000000..0b514eb
--- /dev/null
+++ b/buch/chapters/030-geometrie/images/einheitskreis.pdf
Binary files differ
diff --git a/buch/chapters/030-geometrie/images/einheitskreis.tex b/buch/chapters/030-geometrie/images/einheitskreis.tex
new file mode 100644
index 0000000..c38dc19
--- /dev/null
+++ b/buch/chapters/030-geometrie/images/einheitskreis.tex
@@ -0,0 +1,86 @@
+%
+% einheitskreis.tex -- trigonometrische Funktionen und Einheitskreis
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\documentclass[tikz]{standalone}
+\usepackage{amsmath}
+\usepackage{times}
+\usepackage{txfonts}
+\usepackage{pgfplots}
+\usepackage{csvsimple}
+\usetikzlibrary{arrows,intersections,math,calc}
+\begin{document}
+\def\skala{1}
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+\begin{tikzpicture}[>=latex,thick,scale=\skala]
+
+\def\a{33}
+\def\b{142}
+\def\r{3}
+\def\R{2}
+\draw[color=red,line width=1.4pt] (0,0) circle[radius=\r];
+
+\fill[color=darkgreen!10] (0,0) -- ({\r*cos(\b)},0) -- (\b:\r) -- cycle;
+\node[color=darkgreen] at ({\b+0.5*(180-\b)}:{0.6*\r}) {$\Delta$};
+\fill[color=darkgreen!20] (0,0) -- (0:{0.6*\R}) arc (0:\b:{0.6*\R}) -- cycle;
+\node[color=darkgreen] at ({0.5*\b}:{0.4*\R}) {$\beta$};
+
+\fill[color=blue!20,opacity=0.5] (0,0) -- ({\r*cos(\a)},0) -- (\a:\r) -- cycle;
+\fill[color=blue!40,opacity=0.5] (0,0) -- (0:{0.45*\R}) arc (0:\a:{0.45*\R}) -- cycle;
+\node[color=blue] at ({0.5*\a}:{0.3*\R}) {$\alpha$};
+\node[color=blue] at ({0.5*\a}:{0.6*\r}) {$\Delta$};
+
+\node[color=blue] at ($(\a:\r)+(0.1,0)$) [above] {$P$};
+\node[color=darkgreen] at ($(\b:\r)+(-0.05,-0.05)$) [left] {$Q$};
+
+\begin{scope}
+\clip (-5,-4) rectangle (5,4);
+\draw[color=blue,line width=1.0pt] (0,0) -- (\a:\r);
+\draw[color=blue,line width=0.4pt] (\a:\r) -- (\a:10);
+\fill[color=blue] (\a:\r) circle[radius=0.05];
+
+\draw[color=blue,line width=1.4pt] (\r,0) -- (\r,{\r*tan(\a)});
+\node[color=blue] at (\r,{0.5*\r*tan(\a)}) [right] {$\tan\alpha$};
+
+\draw[color=blue,line width=0.4pt] ({\r*cos(\a)},0) -- (\a:\r);
+\node[color=blue] at ({\r*cos(\a)},0) [below] {$\cos\alpha\mathstrut$};
+\draw[color=blue] ({\r*cos(\a)},-0.1) -- ({\r*cos(\a)},0.1);
+
+\draw[color=blue,line width=0.4pt] (0,{\r*sin(\a)}) -- (\a:\r);
+\node[color=blue] at (0.05,{\r*sin(\a)+0.1})
+ [below left] {$\sin\alpha\mathstrut$};
+\draw[color=blue] (-0.1,{\r*sin(\a)}) -- (0.1,{\r*sin(\a)});
+
+\draw[color=blue,line width=1.4pt] (0,\r) -- ({\r/tan(\a)},\r);
+\node[color=blue] at ({0.5*\r/tan(\a)},\r) [above] {$\cot\alpha$};
+
+\draw[color=darkgreen,line width=1pt] (0,0) -- (\b:\r);
+\draw[color=darkgreen,line width=0.4pt] (\b:\r) -- (\b:10);
+\draw[color=darkgreen,line width=0.4pt] (0,0) -- (\b:-10);
+\fill[color=darkgreen] (\b:\r) circle[radius=0.05];
+
+\draw[color=darkgreen,line width=1.4pt] (0,\r) -- ({\r/tan(\b)},\r);
+\node[color=darkgreen] at ({0.5*\r/tan(\b)},\r) [above] {$\cot\beta$};
+
+\draw[color=darkgreen,line width=1.4pt] (\r,0) -- (\r,{\r*tan(\b)});
+\node[color=darkgreen] at (\r,{0.5*\r*tan(\b)}) [right] {$\tan\beta$};
+
+\draw[color=darkgreen,line width=0.4pt] (\b:\r) -- (0,{\r*sin(\b)});
+\node[color=darkgreen] at (-0.05,{\r*sin(\b)-0.1})
+ [above right] {$\sin \beta\mathstrut$};
+\draw[color=darkgreen] (-0.1,{\r*sin(\b)}) -- (0.1,{\r*sin(\b)});
+
+\draw[color=darkgreen,line width=0.4pt] (\b:\r) -- ({\r*cos(\b)},0);
+\node[color=darkgreen] at ({\r*cos(\b)},0) [below] {$\cos\beta\mathstrut$};
+\draw[color=darkgreen] ({\r*cos(\b)},-0.1) -- ({\r*cos(\b)},0.1);
+
+\end{scope}
+
+\draw[->] (-5.1,0) -- (5.4,0) coordinate[label={$x$}];
+\draw[->] (0,-4.1) -- (0,4.4) coordinate[label={right:$y$}];
+\node at (0,0) [below left] {$O$};
+
+\end{tikzpicture}
+\end{document}
+
diff --git a/buch/chapters/030-geometrie/trigonometrisch.tex b/buch/chapters/030-geometrie/trigonometrisch.tex
index c639b5c..a2426a7 100644
--- a/buch/chapters/030-geometrie/trigonometrisch.tex
+++ b/buch/chapters/030-geometrie/trigonometrisch.tex
@@ -6,10 +6,530 @@
\section{Trigonometrische Funktionen
\label{buch:geometrie:section:trigonometrisch}}
\rhead{Trigonometrische Funktionen}
+Die Navigation zur See wie auch die Landvermessung hängen davon ab,
+dass man Winkel zwischen Himmelskörpern, Landmarken oder dem Horizont
+messen kann.
+Aus solchen Messungen können dann mittels bekannter Beziehungen
+zwischen den Winkeln und Seitenlängen in Dreiecken weitere Seitenlängen
+und Winkel berechnet werden.
+Schon in rechtwinkligen Dreiecken sind die Beziehungen zwischen Winkel
+und Seitenlängen von einer Art, die sich nicht durch algebraische
+Ausdrücke berechnen lässt.
+Es ist daher notwendig, neue spezielle Funktionen zu definieren,
+die trigonometrischen Funktionen.
+
+\subsection{Definition der trigonometrischen Funktionen}
+% XXX Abbildung Jakobsstab
+Eines der ältesten Messgeräte für Winkel ist der Jakobsstab,
+dargestellt in Abbildung~\ref{}.
+Der Querstab kann entlang des Stabs verschoben werden.
+Die beiden Punkte, deren Zwischenwinkel bestimmt werden soll,
+werden so anvisiert, dass sie sich auf den Enden des Querstabs
+zu befinden scheinen.
+Abgelesen wird dann die Strecke $l$ zwischen dem Auge des Beobachters
+und dem Querstab.
+Daraus und aus der Länge $l_Q$ des Querstabes lässt sich jetzt der Winkel
+mit der Formel
+\[
+\tan\frac{\alpha}2 = \frac{l_Q}{2l}
+\]
+berechnen.
+Um nun einen numerischen Wert für $\alpha$ zu bekommen, braucht man
+eine Tabelle der Funktionswerte der Funktion auf der linken Seite.
+
+\begin{figure}
+\centering
+\begin{tikzpicture}[>=latex,thick]
+\def\r{3}
+\def\a{53}
+\fill[color=red!20] (0,0) -- (-\a:1) arc (-\a:\a:1) -- cycle;
+\draw (0,0) -- (\a:\r);
+\draw (0,0) -- (-\a:\r);
+\node[color=red] at ({cos(\a/2)},0) [above left] {$\alpha$};
+\draw (0,0) circle[radius=\r];
+\draw[color=red,line width=1.4pt] (\a:\r) -- (-\a:\r);
+\fill[color=red] (\a:\r) circle[radius=0.05];
+\fill[color=red] (-\a:\r) circle[radius=0.05];
+\node[color=red] at ({\r*cos(\a)},0)
+ [above,rotate=-90] {$\operatorname{chord}\alpha$};
+\draw[color=gray,line width=1.0pt] (0,0) -- ({\r*cos(\a)},0);
+\fill[color=white] (0,0) circle[radius=0.08];
+\draw (0,0) circle[radius=0.08];
+\node at (\a:{0.5*\r}) [above,rotate=\a] {$r=1$};
+\node at ({\r*cos(\a)},{0.35*\r*sin(\a)})
+ [above,rotate=90] {$\sin\frac{\alpha}2$};
+\end{tikzpicture}
+\caption{Definition der Chord-Funktion $\operatorname{chord}\alpha$
+am Einheitskreis.
+\label{buch:geometrie:trigo:chorddef}}
+\end{figure}
+
+Die älteste bekannt Tabelle von Funktionswerten trigonometrischer
+Funktionen stammt von Hipparchus aus dem 2.~Jahrhundert BCE und
+enthält Werte der sogenannten Chord-Funktion $\operatorname{chord}\alpha$,
+welche die Länge der Sehne eines Bogens $\alpha$ des Einheitskreises
+berechnet.
+Aus der Abbildung~\ref{buch:geometrie:trigo:chorddef} ergibt sich
+\[
+\operatorname{chord}\alpha = 2\sin\frac{\alpha}2.
+\]
+Die Verwendung der Chord-Funktion war bis ins 19.~Jahrhundert in der
+Landvermessung üblich.
+Neben der Chord-Funktion waren auch noch andere heute weitgehend
+vergessen Funktionen im Einsatz wie zum Beispiel der Sinus versus
+\[
+\operatorname{vers}\alpha=1-\cos\alpha
+=
+2\sin^2\frac{\alpha}2
+\]
+oder der Semiversus
+\[
+\operatorname{sem}\alpha
+=
+\frac{\operatorname{vers}\alpha}{2}
+=
+\sin^2\frac{\alpha}2,
+\]
+der besonders nützlich bei der Berechnung der Entfernung
+zweier in geographischer Länge und Breite gegebener Punkte
+auf der Erdoberfläche ist und daher in der Navigation lange
+üblich war.
+
+Eine neue spezielle Funktion sollte sowohl möglichst
+universell einsetzbar sein als auch gut und effizient
+berechnet werden können.
+Aus dieser Forderung haben sich die Funktion $\sin\alpha$,
+$\cos\alpha$ und $\tan\alpha$ als die nützlichsten herausgestellt.
+Mit ihnen lassen sich a
+
+%
+% Rechtwinklige Dreiecke
+%
+\subsubsection{Rechtwinklige Dreiecke}
+Ähnliche Dreiecke haben gleiche Seitenverhältnisse und Winkel.
+Rechtwinklige Dreiecke sind daher bis auf Ähnlichkeit vollständig
+durch die Angabe eines Winkels beschrieben.
+Die Seitenverhältnisse müssen daher aus den Winkeln berechnet werden
+können.
+Genau dies ist die Aufgabe, die die trigonometrischen Funktionen lösen.
+
+\begin{figure}
+\centering
+\includegraphics{chapters/030-geometrie/images/deftrig.pdf}
+\caption{Rechtwinkliges Dreieck zur Definition der trigonometrischen
+Funktionen.
+\label{buch:geometrie:trigo:fig:definition}}
+\end{figure}
+
+\begin{definition}
+\label{buch:geometrie:def:trigo}
+In einem rechtwinkligen Dreieck mit Winkel $\alpha$, $0<\alpha < \frac{\pi}2$,
+sind die Seitenverhältnisse gegeben durch die trigonometrischen Funktionen,
+die wie folgt definiert sind:
+\begin{align*}
+\sin\alpha &= \frac{\text{Gegenkatete}}{\text{Hypothenuse}} = \frac{b}{c},
+&
+\cos\alpha &= \frac{\text{Ankatete}}{\text{Hypothenuse}} = \frac{a}{c}
+&&\text{und}
+&
+\tan\alpha &= \frac{\text{Gegenkatete}}{\text{Ankatete}} = \frac{a}{b}
+\intertext{mit den Kehrwerten}
+\sec\alpha &= \frac{\text{Hypothenuse}}{\text{Gegenkatete}} = \frac{c}{b},
+&
+\csc\alpha &= \frac{\text{Hypothenuse}}{\text{Ankatete}} = \frac{c}{a}
+&&\text{und}
+&
+\cot\alpha &= \frac{\text{Ankatete}}{\text{Gegenkatete}} = \frac{b}{a}
+\end{align*}
+(siehe auch Abbildung~\ref{buch:geometrie:trigo:fig:definition}).
+\end{definition}
+
+Aus der Definition und dem Satz von Pythagoras kann eine grosse Zahl
+von Beziehungen zwischen den trigonometrischen Funktionen abgeleitet
+werden.
+Zum Beispiel folgt sofort
+\[
+\sin^2\alpha+\cos^2\alpha
+=
+\biggl(\frac{b}{c}\biggr)^2
++
+\biggl(\frac{a}{c}\biggr)^2
+=
+\frac{a^2+b^2}{c^2}
+=
+1.
+\]
+Insbesondere lässt sich $\sin\alpha$ durch $\cos\alpha$ ausdrücken
+und umgekehrt:
+\[
+\sin\alpha
+=
+\sqrt{1-\cos^2\alpha}
+\qquad\text{und}\qquad
+\cos\alpha
+=
+\sqrt{1-\sin^2\alpha}
+\]
+Da sich alle Funktionen durch $\cos\alpha$ und $\sin\alpha$ ausdrücken
+lassen, können alle auch nur durch eine ausgedrückt werden.
+Durch Umkehrung dieser Beziehung kann man jede der trigonometrischen
+Funktionen durch jede andere ausdrücken, wie dies in
+Tabelle~\ref{buch:geometrie:tab:trigo} zusammengestellt ist.
+
+\begin{figure}
+\centering
+\renewcommand{\arraystretch}{2.5}
+\renewcommand{\tabcolsep}{5pt}
+\begin{tabular}{|>{$}c<{$}|>{$}c<{$}>{$}c<{$}>{$}c<{$}>{$}c<{$}>{$}c<{$}>{$}c<{$}|}
+\hline
+%\downarrow\text{ ausgedrückt durch }\rightarrow
+&\sin\alpha&\cos\alpha&\tan\alpha&\cot\alpha&\sec\alpha&\csc\alpha\\[5pt]
+\hline
+\sin\alpha
+ &\sin\alpha
+ &\sqrt{1-\cos^2}
+ &\displaystyle\frac{\tan\alpha}{\sqrt{1+\tan^2\alpha}}
+ &\displaystyle\frac{1}{\sqrt{1+\cot^2\alpha}}
+ &\displaystyle\frac{1}{\sec\alpha}
+ &\displaystyle\frac{\sqrt{\csc^2\alpha-1}}{\csc\alpha}
+\\
+\cos\alpha
+ &\sqrt{1-\sin^2\alpha}
+ &\cos\alpha
+ &\displaystyle\frac{1}{\sqrt{1+\tan^2\alpha}}
+ &\displaystyle\frac{\cot\alpha}{\sqrt{1+\cot^2\alpha}}
+ &\displaystyle\frac{\sqrt{\sec^2\alpha-1}}{\sec\alpha}
+ &\displaystyle\frac{1}{\csc\alpha}
+\\
+\tan\alpha
+ &\displaystyle\frac{\sin\alpha}{\sqrt{1-\sin^2\alpha}}
+ &\displaystyle\frac{\sqrt{1-\cos^2\alpha}}{\cos\alpha}
+ &\tan\alpha
+ &\displaystyle\frac{1}{\cot\alpha}
+ &\displaystyle\frac{1}{\sqrt{\sec^2\alpha-1}}
+ &\displaystyle\sqrt{\csc^2\alpha-1}
+\\
+\cot\alpha
+ &\displaystyle\frac{\sqrt{1-\sin^2\alpha}}{\sin\alpha}
+ &\displaystyle\frac{\cos\alpha}{\sqrt{1-\cos^2\alpha}}
+ &\displaystyle\frac{1}{\tan\alpha}
+ &\cot\alpha
+ &\displaystyle\sqrt{\sec^2\alpha-1}
+ &\displaystyle\frac{1}{\sqrt{\sec^2\alpha-1}}
+\\
+\sec\alpha
+ &\displaystyle\frac{1}{\sin\alpha}
+ &\displaystyle\frac{1}{\sqrt{1-\cos^2\alpha}}
+ &\displaystyle\frac{\sqrt{1+\tan^2\alpha}}{\tan\alpha}
+ &\displaystyle\sqrt{1+\cot^2\alpha}
+ &\sec\alpha
+ &\displaystyle\frac{\csc\alpha}{\sqrt{\csc^2\alpha-1}}
+\\
+\csc\alpha
+ &\displaystyle\frac{1}{\sqrt{1-\sin^2\alpha}}
+ &\displaystyle\frac{1}{\cos\alpha}
+ &\displaystyle\sqrt{1+\tan^2\alpha}
+ &\displaystyle\frac{\sqrt{1+\cot^2\alpha}}{\cot\alpha}
+ &\displaystyle\frac{\sec\alpha}{\sqrt{\sec^2\alpha-1}}
+ &\csc\alpha
+\\[8pt]
+\hline
+\end{tabular}
+\caption{Darstellung aller trigonometrischen Funktionen durch jede beliebige
+andere Funktion.
+Für Winkel ausserhalb des 1.~Quadranten müssen die Vorzeichen der
+Quadratwurzeln so gewählt werden, dass die Funktion das richtige
+Vorzeichen erhält.
+\label{buch:geometrie:tab:trigo}}
+\end{figure}
+
+Diese Definition~\ref{buch:geometrie:def:trigo}
+ist auf spitze Winkel und damit auf nichtnegative Werte der
+trigonometrischen Funktionen beschränkt.
+
+%
+% Definition am Einheitskreis
+%
+\subsubsection{Einheitskreis}
+Im vorangegangen Abschnitt wurden die rechtwinkligen Dreiecke durch
+einen Winkel charakterisiert und die trigonometrischen
+Funktionen als Verhältnis von Seiten des Dreiecks abgeleitet.
+Dabei wurde die Schwierigkeit übergangen, wie überhaupt der Winkel
+definiert werden soll.
+Ein Winkel war im Wesentlichen durch die Eigenschaft
+definiert, dass ähnliche Dreiecke den gleichen Winkel haben.
+Die Definition~\ref{buch:geometrie:def:trigo} ist in diesem Licht
+nichts anderes als eine Namenskonvention für die Seitenverhältnisse
+einer Klasse von ähnlichen rechtwinkligen Dreiecken.
+
+\begin{figure}
+\centering
+\includegraphics{chapters/030-geometrie/images/einheitskreis.pdf}
+\caption{Definition der trigonometrischen Funktion mit Hilfe des
+Einheitskreises
+\label{buch:geometrie:trigo:fig:einheitskreis}}
+\end{figure}
+
+Eine alternative Charakterisierung rechtwinkliger Dreiecke
+geht von Punkten auf dem Einheitskreis aus.
+Die Lote von einem Punkt $P$ auf dem Einheitskreis definieren
+zwei ähnliche Dreiecke, mit dem Ursprung $O$, dem Punkt $P$
+und dem Fusspunkt des Lotes.
+Die Koordinaten des Punktes $P$ können im Gegensatz zu den Seiten
+des rechtwinkligen Dreiecks in
+Abbildung~\ref{buch:geometrie:trigo:fig:definition}
+auch negativ sein.
+Ein Punkt im zweiten Quadranten hat zum Beispiel eine negative
+$x$-Koordinate.
+Die trigonometrischen Funktionen können nun analog zu
+Definition~\ref{buch:geometrie:def:trigo} aber unter Verwendung
+der Koordinaten $x$ und $y$.
+
+Auch das Argument $\alpha$ der trigonometrischen Funktionen kann
+jetzt auf natürlichere Art und Weise definiert werden.
+Es ist die Länge des Bogens auf dem Einheitskreis zwischen dem
+Punkt $(1,0)$ und $P$.
+Damit lassen sich die trigonometrischen Funktionen jetzt
+für beliebige Winkel $\alpha\in\mathbb{R}$ definieren.
+
+\begin{definition}
+\label{buch:geometrie:def:trigeinheitskreis}
+Die trigonometrischen Funktionen des Winkels $\alpha$ zwischen der
+$x$-Achse und der Richtung durch den Punkt $P$ sind
+\begin{align*}
+\sin\alpha &= x, &\cos\alpha &= y&&\text{und}& \tan\alpha=\frac{y}{x}
+\intertext{mit den Kehrwerten}
+\sec\alpha &= \frac{1}{x}, &\csc\alpha &= \frac{1}{y}&&\text{und}& \tan\alpha=\frac{x}{y}.
+\end{align*}
+(siehe auch Abbildung~\ref{buch:geometrie:trigo:fig:einheitskreis}).
+\end{definition}
+
+Die Beziehungen der Tabelle~\ref{buch:geometrie:tab:trigo}
+zwischen den trigonometrischen Funktionen bleibt auch für
+diese erweiterten Funktionen gültig, wenn das Vorzeichen der
+Quadratwurzel falls vorhanden geeignet gewählt wird.
+
+%
+% Drehungen in der Ebene
+%
+\subsection{Drehungen der Ebene}
+Die Funktionen $\sin\alpha$ und $\cos\alpha$ sind in den Anwendungen
+besonders nützlich, weil sich damit die Kreisbewegung parametrisieren
+lässt.
+Etwas allgemeiner kann man damit Drehungen der Ebene beschreiben.
+Damit entstehen die Funktion als Nebenprodukt einer Parametrisierung
+der Drehgruppe $\operatorname{SO}(2)$.
+Daraus werden sich später Ableitungseigenschaften und
+Potenzreihendarstellungen der trigonometrischen Funktionen ableiten
+lassen.
+
+\subsubsection{Drehmatrizen und Additionstheoreme}
+Eine Drehung der Ebenen $\mathbb{R}^2$ um den Winkel $\alpha$ bildet
+die Standardbasisvektoren auf die Vektoren
+\[
+e_1=\begin{pmatrix}1\\0\end{pmatrix}
+\mapsto
+\begin{pmatrix}
+\cos\alpha\\\sin\alpha
+\end{pmatrix}
+\qquad\text{und}\qquad
+e_2=\begin{pmatrix}0\\1\end{pmatrix}
+\mapsto
+\begin{pmatrix}
+-\sin\alpha
+\\
+\cos\alpha
+\end{pmatrix}
+\]
+ab.
+Die Abildungsmatrix der Drehung ist daher
+\[
+D_\alpha
+=
+\begin{pmatrix*}[r]
+\cos\alpha&-\sin\alpha\\
+\sin\alpha& \cos\alpha
+\end{pmatrix*}.
+\]
+Die Zusammensetzung zweier Drehungen um die Winkel $\alpha$ und $\beta$
+ist wieder eine Drehung um den Winkel $\alpha+\beta$, es gilt
+also
+\[
+D_{\alpha+\beta}
+=
+D_{\alpha}D_{\beta},
+\]
+oder in Matrizenform
+\begin{align*}
+D_{\alpha+\beta}
+&=
+\begin{pmatrix*}[r]
+\cos(\alpha+\beta)&-\sin(\alpha+\beta) \\
+\sin(\alpha+\beta)& \cos(\alpha+\beta)
+\end{pmatrix*}
+\\
+=
+D_{\alpha}D_{\beta}
+&=
+\begin{pmatrix*}[r]
+\cos\alpha&-\sin\alpha\\
+\sin\alpha&\cos\alpha
+\end{pmatrix*}
+\begin{pmatrix*}[r]
+\cos\beta&-\sin\beta\\
+\sin\beta&\cos\beta
+\end{pmatrix*}
+\\
+&=
+\begin{pmatrix}
+\cos\alpha\cos\beta-\sin\alpha\sin\beta
+ & -\cos\alpha\sin\beta -\sin\alpha\cos\beta\\\
+\cos\alpha\sin\beta+\sin\alpha\cos\beta
+ & \cos\alpha\cos\beta-\sin\alpha\sin\beta
+\end{pmatrix}
+\end{align*}
+Aus dem Vergleich der beiden Matrizen liest man die Additionstheoreme.
+
+\begin{satz}
+Für $\alpha,\beta\in\mathbb{R}$ gilt
+\begin{align*}
+\sin(\alpha\pm\beta)
+&=
+\cos\alpha\cos\beta\mp\sin\alpha\sin\beta
+\\
+\cos(\alpha\pm\beta)
+&=
+\cos\alpha\cos\beta\pm\sin\alpha\sin\beta
+\end{align*}
+\end{satz}
+
+Ein besonders einfacher Spezialfalls ist $\alpha=\beta$, es ergben sich die
+Doppelwinkelformeln
+\begin{align*}
+\cos2\alpha &= \cos^2\alpha-\sin^2\alpha
+\\
+\sin2\alpha &= 2\cos\alpha\sin\alpha.
+\end{align*}
+In der Formel für $\cos2\alpha$ kann die rechte Seite durch nur
+eine Winkelfunktion ausdrücken:
+\begin{align*}
+\cos2\alpha &= \cos^2\alpha - (1-\cos^2\alpha) = 2\cos^2\alpha -1
+\\
+\cos2\alpha &= (1-\sin^2\alpha) - \sin^2\alpha = 1-2\sin^2\alpha.
+\end{align*}
+Beide Ausdrücke lassen sich leicht nach den Funktionen auf der rechten
+Seite auflösen, so erhält man die Halbwinkelformeln
+\begin{align*}
+\cos^2\alpha &= \frac{1+\cos2\alpha}2
+&&\Rightarrow&
+\cos^2\frac{\alpha}2 &=\frac{1+\cos\alpha}2
+\\
+\sin^2\alpha &= \frac{1-\sin2\alpha}2
+&&\Rightarrow&
+\sin^2\frac{\alpha}2 &= \frac{1-\sin\alpha}2.
+\end{align*}
+Der letzte Ausdruck ist auch bekannt als der Semiversus.
+
+\subsubsection{Funktionen für mehrfache Winkel}
+Die Additionstheoreme können dazu verwendet werden, Formeln für
+die Werte der trigonometrischen Funktionen mehrfacher Winkel zu
+finden.
+Die Berechnung kann etwas vereinfacht werden, wenn man die Drehmatrix
+mit Hilfe der Matrix
+\[
+J=\begin{pmatrix}0&-1\\1&0\end{pmatrix}
+\]
+als
+\[
+D_{\alpha}
+=
+E
+\cos\alpha
++
+J
+\sin\alpha
+\]
+schreiben.
+Die Potenzen von $J$ sind
+\[
+J^2 = -E,\quad
+J^3 = -J \quad\text{und}\quad
+J^4 = E.
+\]
+Daraus ergibt sich
+\begin{align*}
+D_{n\alpha}
+=
+(D_{\alpha})^n
+&=
+(E\cos\alpha+J\sin\alpha)^n
+\\
+&=
+\sum_{k=0}^n \binom{n}{k}\cos^{n-k}\alpha\sin^{k}\alpha J^k
+\\
+&=
+\sum_{l=0}^{\lfloor\frac{n}2\rfloor}
+(-1)^l
+\binom{n}{2l}\cos^{n-2l}\alpha \sin^{2l}\alpha
+-
+J
+\sum_{l=0}^{\lfloor\frac{n}2\rfloor}
+(-1)^l
+\binom{n}{2l+1}\cos^{n-2l-1}\alpha \sin^{2l+1}\alpha
+\intertext{Durch Vergleich mit der Matrix $D_{n\alpha}$ findet man die
+Formeln für die Funktionen des $n$-fachen Winkels:}
+\cos n\alpha
+&=
+\sum_{l=0}^{\lfloor\frac{n}2\rfloor}
+(-1)^l
+\binom{n}{2l}\cos^{n-2l}\alpha \sin^{2l}\alpha
+\\
+\sin n\alpha
+&=
+-
+\sum_{l=0}^{\lfloor\frac{n}2\rfloor}
+(-1)^l
+\binom{n}{2l+1}\cos^{n-2l-1}\alpha \sin^{2l+1}\alpha
+\end{align*}
+Für kleine Werte von $n$ sind die Formeln einigermassen übersichtlich,
+zum Beispiel für $n=3$:
+\begin{align*}
+\cos 3\alpha
+&=
+\cos^3\alpha-3\cos\alpha\sin^2\alpha
+=
+\cos^3\alpha-3\cos\alpha(1-\cos^2\alpha)
+\\
+&=
+4\cos^3\alpha-3\cos\alpha
+\\
+\sin 3\alpha
+&=
+-3\cos^2\alpha\sin\alpha
++
+\sin^3\alpha
+=
+-3(1-\sin^2\alpha)\sin\alpha+\sin^3\alpha
+\\
+&=
+4\sin^3\alpha
+-3\sin\alpha
+\end{align*}
+Indem man diese Formeln als kubische Gleichungen für die
+Unbekannte $\cos\alpha$ bzw.~$\sin\alpha$ betrachtet, kann
+man durch Lösung der Gleichung zum Beispiel mit der Formel von
+Cardano
+% XXX Verweis auf die Formel von Cardano
+zu gegebenen Werten von $\cos 3\alpha$ und $\sin 3 \alpha$
+die Werte von $\cos\alpha$ und $\sin\alpha$ durch rein
+algebraische Operationen bestimmen.
+
+\subsubsection{Eine Tabelle der Werte der trigonometrischen Funktionen
+aufstellen}
+
+\subsection{Differentialgleichungen}
-\subsection{Rechtwinklige Dreiecke}
-\subsection{Einheitskreis}