Sphärische Geometrie - In den Hopfenwiesen

Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Vorlesung über Elementargeometrie
D. Schüth, Sommersemester 2008
Heute zum Thema:
Sphärische Geometrie
Wer?
Wo?
Wann?
Mitschreiben?
Annette Huck
Fakultät für Mathematik
HU Berlin
16. Juli 2008
Unmöglich! Wird online gestellt.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphärische Geometrie ist ...
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Geometrie ist ...
... Geometrie auf der Kugeloberfläche (= Sphäre).
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Geometrie ist ...
... Geometrie auf der Kugeloberfläche (= Sphäre).
Diese Vorlesung soll Ihnen einen ersten Überblick über
diese besondere Geometrie geben,
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Geometrie ist ...
... Geometrie auf der Kugeloberfläche (= Sphäre).
Diese Vorlesung soll Ihnen einen ersten Überblick über
diese besondere Geometrie geben, und dabei
von den folgenden
Fragen geleitet sein:
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
2.
Welchen Abstand haben Punkte auf der
Kugeloberfläche?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
2.
Welchen Abstand haben Punkte auf der
Kugeloberfläche?
3.
Was sind deshalb die Punkte mit gleichem Abstand zu
einem Zentrum, d.h. Kreise auf der Kugeloberfläche?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
2.
Welchen Abstand haben Punkte auf der
Kugeloberfläche?
3.
Was sind deshalb die Punkte mit gleichem Abstand zu
einem Zentrum, d.h. Kreise auf der Kugeloberfläche?
4.
Wie kann uns die Kugeloberfläche als Modell für eine
neue nicht-euklidische Geometrie dienen?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
2.
Welchen Abstand haben Punkte auf der
Kugeloberfläche?
3.
Was sind deshalb die Punkte mit gleichem Abstand zu
einem Zentrum, d.h. Kreise auf der Kugeloberfläche?
4.
Wie kann uns die Kugeloberfläche als Modell für eine
neue nicht-euklidische Geometrie dienen?
5.
Wie übertragen sich die bekannten n-Ecke auf die
Kugeloberfläche? Und welche Eigenschaften haben sie?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Fragestellungen der Vorlesung
1.
Welche bemerkenswerten Punkte und Linien gibt es auf
der Kugeloberfläche?
2.
Welchen Abstand haben Punkte auf der
Kugeloberfläche?
3.
Was sind deshalb die Punkte mit gleichem Abstand zu
einem Zentrum, d.h. Kreise auf der Kugeloberfläche?
4.
Wie kann uns die Kugeloberfläche als Modell für eine
neue nicht-euklidische Geometrie dienen?
5.
Wie übertragen sich die bekannten n-Ecke auf die
Kugeloberfläche? Und welche Eigenschaften haben sie?
6.
Wie berechnet man unbekannte Stücken (d.h. Winkel
und Längen) analog zur euklidischen Trigonometrie?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Motivation
Geometrie auf der Kugeloberfläche ...
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Geometrie auf der Kugeloberfläche ...
... aus welchem Grund
ist das interessant?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
I
Astronomie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
I
Astronomie
I
Geodäsie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
I
Astronomie
I
Geodäsie
I
Nautik
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
I
Astronomie
I
Geodäsie
I
Nautik
I
Kartographie.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zunächst einmal ergeben sich die Problemstellungen der
sphärischen Geometrie auf natürliche Weise in der
I
Astronomie
I
Geodäsie
I
Nautik
I
Kartographie.
Deshalb ist die sphärische Geometrie bereits seit der
Antike Gegenstand mathematischer Forschung.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Scriba und
Schreiber in
5000 Jahre
Geometrie über
die Antike:
[...] Neben der ebenen Trigonometrie benötigt der
”
Astronom aber auch die sphärische, stellt sich doch der
gestirnte Himmel dem Beobachter in Gestalt einer Kugel
dar, so dass die einfachste geometrische Figur das aus
Großkreisbögen gebildete sphärische Dreieck ist. Eine
erste Sammlung von Lehrsätzen aus diesem Bereich
hatte um 100 v. Chr. Theodosios von Pitane angelegt.“
Scriba, Schreiber: 5000 Jahre Geometrie, S.81
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Weiterhin
schreiben sie:
Das Interesse an der Astronomie war seit den ältesten
”
Kulturen bis zum Beginn des 19. Jahrhunderts eine der
stärksten Triebfedern für die Beschäftigung mit
Mathematik. [...]“
Scriba, Schreiber: 5000 Jahre Geometrie, S.253
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Motivation
Zur
Renaissance
bemerken sie:
Seit dem 15. Jahrhundert kommt aber die Rolle der
”
Astronomie als Hilfswissenschaft für die sich
entwickelnde Nautik und Geodäsie hinzu, die im Laufe
von etwa 300 Jahren die Astrologie als Motor‘ der
’
Astronomie fast völlig ablösen werden. Astronomie ist
aus mathematischer Sicht zunächst einmal die
Geometrie der auf einer gedachten Kugel projizierten
Bewegungsabläufe am Himmel. Daher ist es nicht
verwunderlich, dass die sphärische Trigonometrie sich
lange Zeit gleichrangig neben der ebenen Trigonometrie
entwickelte (während sie doch kein Bestandteil heutiger
mathematischer Schul- und Allgemeinbildung mehr ist).“
Scriba, Schreiber: 5000 Jahre Geometrie, S.253
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Literaturempfehlung
Scriba, Schreiber
5000 Jahre Geometrie
Geschichte, Kulturen, Menschen
Springer Berlin Heidelberg
2. erw. Auflage, 2004
Insbesondere: Kapitel 5.2
Geometrie in Astronomie, Geodäsie und
Kartographie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
Wir betrachten
ab jetzt stets:
S 2 := {A ∈ R3 | kAk = 1} die Einheitssphäre in R3
d.h. Radius ist 1
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
Wir betrachten
ab jetzt stets:
S 2 := {A ∈ R3 | kAk = 1} die Einheitssphäre in R3
d.h. Radius ist 1
Auf der Sphäre
führen wir Kugelkoordinaten
ein:
z
ϑ
y
ϕ
x
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
Wir betrachten
ab jetzt stets:
S 2 := {A ∈ R3 | kAk = 1} die Einheitssphäre in R3
d.h. Radius ist 1
Auf der Sphäre
führen wir Kugelkoordinaten
ein:
z
ϑ
y
x = cos ϕ cos ϑ
y = sin ϕ cos ϑ
z = sin ϑ
ϕ
x
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
Wir betrachten
ab jetzt stets:
S 2 := {A ∈ R3 | kAk = 1} die Einheitssphäre in R3
d.h. Radius ist 1
Auf der Sphäre
führen wir Kugelkoordinaten
ein:
z
ϑ
y
x = cos ϕ cos ϑ
y = sin ϕ cos ϑ
z = sin ϑ
ϕ
x
−π ≤ ϕ ≤ π
geographische Länge
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
Wir betrachten
ab jetzt stets:
S 2 := {A ∈ R3 | kAk = 1} die Einheitssphäre in R3
d.h. Radius ist 1
Auf der Sphäre
führen wir Kugelkoordinaten
ein:
z
ϑ
y
x = cos ϕ cos ϑ
y = sin ϕ cos ϑ
z = sin ϑ
ϕ
x
−π ≤ ϕ ≤ π
geographische Länge
− π2 ≤ ϑ ≤ π2
geographische Breite
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Notation
Großkreis :=
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Notation
Großkreis :=
Schnittmenge der
Sphäre S 2 und
einer Ebene, die
durch den
Mittelpunkt 0
geht
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Großkreis :=
Schnittmenge der
Sphäre S 2 und
einer Ebene, die
durch den
Mittelpunkt 0
geht
also
S2
∩E
S2
E
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Großkreis :=
Schnittmenge der
Sphäre S 2 und
einer Ebene, die
durch den
Mittelpunkt 0
geht
also
Antipodale
Punkte :=
S2
∩E
S2
E
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Großkreis :=
Schnittmenge der
Sphäre S 2 und
einer Ebene, die
durch den
Mittelpunkt 0
geht
also
Antipodale
Punkte :=
S2
S2
E
x
y
∩E
zwei Punkte auf S 2 deren Verbindungsstrecke durch den
Mittelpunkt 0 geht
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Großkreis :=
Schnittmenge der
Sphäre S 2 und
einer Ebene, die
durch den
Mittelpunkt 0
geht
also
Antipodale
Punkte :=
S2
S2
E
x
y
∩E
zwei Punkte auf S 2 deren Verbindungsstrecke durch den
Mittelpunkt 0 geht
(heißen auch Antipodenpunkte oder diametrale Punkte)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Lemma:
Durch je zwei
nicht antipodal
gegenüberliegende
Punkte von S 2
verläuft genau ein
Großkreis.
x
y
B
A
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Lemma:
Denn:
Durch je zwei
nicht antipodal
gegenüberliegende
Punkte von S 2
verläuft genau ein
Großkreis.
x
y
A, B ∈ S 2 seien nicht antipodal
B
A
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Lemma:
Denn:
Durch je zwei
nicht antipodal
gegenüberliegende
Punkte von S 2
verläuft genau ein
Großkreis.
x
y
A, B ∈ S 2 seien nicht antipodal
=⇒
A, B, 0 nicht kollinear
B
A
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Lemma:
Denn:
Durch je zwei
nicht antipodal
gegenüberliegende
Punkte von S 2
verläuft genau ein
Großkreis.
x
y
B
A
A, B ∈ S 2 seien nicht antipodal
=⇒
A, B, 0 nicht kollinear
=⇒
ex. genau eine Ebene E : A, B, 0 ∈ E
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Notation
z
Lemma:
Denn:
Durch je zwei
nicht antipodal
gegenüberliegende
Punkte von S 2
verläuft genau ein
Großkreis.
x
y
B
A
A, B ∈ S 2 seien nicht antipodal
=⇒
A, B, 0 nicht kollinear
=⇒
ex. genau eine Ebene E : A, B, 0 ∈ E
und damit genau ein Großkreis E ∩ S 2 : A, B ∈ E ∩ S 2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Abstand
Welchen Abstand
haben Punkte auf der
Kugeloberfläche?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Definition des sphärischen Abstands
Definition des
Abstands von
zwei Punkten
auf der Sphäre:
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Definition des sphärischen Abstands
Definition des
Abstands von
zwei Punkten
auf der Sphäre:
Seien A, B ∈ S 2 und [a, b] Intervall.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Definition des sphärischen Abstands
Definition des
Abstands von
zwei Punkten
auf der Sphäre:
Seien A, B ∈ S 2 und [a, b] Intervall.

c : [a, b] −→ R3



stetig differenzierbar,

dS (A, B) := min L(c) Bild[c] ⊆ S 2 ,




c(a) = A, c(b) = B









Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Definition des sphärischen Abstands
Definition des
Abstands von
zwei Punkten
auf der Sphäre:
Wobei:
Seien A, B ∈ S 2 und [a, b] Intervall.

c : [a, b] −→ R3



stetig differenzierbar,

dS (A, B) := min L(c) Bild[c] ⊆ S 2 ,




c(a) = A, c(b) = B









C 1 [a, b], R3 −→
R
R b 0+
c
7−→ a kc (t)kdt
das aus der Vorlesung bereits bekannte Funktional für
die Länge von Kurven ist.
L :
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Definition des sphärischen Abstands
Definition des
Abstands von
zwei Punkten
auf der Sphäre:
Seien A, B ∈ S 2 und [a, b] Intervall.

c : [a, b] −→ R3



stetig differenzierbar,

dS (A, B) := min L(c) Bild[c] ⊆ S 2 ,




c(a) = A, c(b) = B









Wobei:
C 1 [a, b], R3 −→
R
R b 0+
c
7−→ a kc (t)kdt
das aus der Vorlesung bereits bekannte Funktional für
die Länge von Kurven ist.
Das heißt:
dS (A, B) soll also als die Länge des kürzesten auf
der Sphäre verlaufenden Weges von A nach B
definiert sein.
L :
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
L(c) ≥ ](A, B)
∀c ∈ C 1 [a, b], R3
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
Denn:
L(c) ≥ ](A, B)
∀c ∈ C 1 [a, b], R3
Da Winkel und Kurvenlängen auf der Sphäre invariant unter Drehung um den Nullpunkt sind, drehen wir
oBdA so, dass A und B auf einem Meridian liegen.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
A
ϑ
x
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
B
y
(0,0,−1)
](A, B) = |ϑ(b) − ϑ(a)|
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
c(t) =
(0,0,−1)
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
c(t) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
1
0
B
y
(0,0,−1)
0
c 0 (t) =
− cos ϕ(t) sin ϑ(t)
B
C
B
0
C
B
ϑ0 (t)B
@ − sin ϕ(t) sin ϑ(t) A+ϕ (t) cos ϑ(t)@
cos ϑ(t)
− sin ϕ(t)
1
cos ϕ(t)
C
C
A
0
↑ orthogonale Einheitsvektoren ↑
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
c(t) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
1
0
B
y
(0,0,−1)
0
c 0 (t) =
− cos ϕ(t) sin ϑ(t)
B
C
B
0
C
B
ϑ0 (t)B
@ − sin ϕ(t) sin ϑ(t) A+ϕ (t) cos ϑ(t)@
cos ϑ(t)
− sin ϕ(t)
1
cos ϕ(t)
C
C
A
0
↑ orthogonale Einheitsvektoren ↑
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
c(t) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
1
0
B
y
(0,0,−1)
0
c 0 (t) =
− cos ϕ(t) sin ϑ(t)
B
C
B
0
C
B
ϑ0 (t)B
@ − sin ϕ(t) sin ϑ(t) A+ϕ (t) cos ϑ(t)@
cos ϑ(t)
kc 0 (t)k2
=
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2
− sin ϕ(t)
1
cos ϕ(t)
C
C
A
0
≥
ϑ0 (t)2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
c(t) =
(0,0,−1)
kc 0 (t)k2
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
=
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2
≥
ϑ0 (t)2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c)
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
=
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2
≥
ϑ0 (t)2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c) =
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
=
Rb
a
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2
kc 0 (t)kdt
≥
ϑ0 (t)2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c) =
a
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2
Rb
kc 0 (t)kdt ≥ |ϑ0 (t)|dt
=
Rb
a
≥
ϑ0 (t)2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
Rb
Rb
kc 0 (t)kdt ≥ |ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
=
Rb
a
a
a
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
Rb
Rb
kc 0 (t)kdt ≥ |ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
=
Rb
a
a
a
= |ϑ(b) − ϑ(a)|
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Es gilt:
∀c ∈ C 1 [a, b], R3
L(c) ≥ ](A, B)
Denn:
z
(0,0,1)
c(t) und ](A, B) in Kugelkoordinaten ϕ(t) und ϑ(t)
parametrisiert:
A
ϑ
x
ϕ
](A, B)0 = |ϑ(b) − ϑ(a)|
1
B
y
c(t) =
(0,0,−1)
kc 0 (t)k2
L(c) =
cos ϕ(t) cos ϑ(t)
B
C
B sin ϕ(t) cos ϑ(t) C
@
A
sin ϑ(t)
ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
Rb
Rb
kc 0 (t)kdt ≥ |ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
=
Rb
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
L(c) = ](A, B)
∀c ∈ C 1 [a, b], R3
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Gleichheitsfall
z
(0,0,1)
A
ϑ
x
ϕ
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Gleichheitsfall
z
(0,0,1)
L(c) = ](A, B) ⇐⇒
A
ϑ
x
ϕ
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Gleichheitsfall
z
(0,0,1)
A
L(c) = ](A, B) ⇐⇒
ϑ
(1.) ϕ0 (t) ≡ 0 d. h. c
verläuft auf dem Großkreis
x
ϕ
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Gleichheitsfall
z
(0,0,1)
A
L(c) = ](A, B) ⇐⇒
ϑ
(1.) ϕ0 (t) ≡ 0 d. h. c
verläuft auf dem Großkreis
x
ϕ
B
y
(0,0,−1)
(2.) ϑ0 (t) ohne Vorzeichenwechsel d. h. c verläuft
monoton von A nach B
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Gleichheit?
Nocheinmal die
Abschätzung
von eben:
∀c ∈ C 1 [a, b], R3
L(c) = ](A, B)
kc 0 (t)k2 = ϑ0 (t)2 + ϕ0 (t)2 cos ϑ(t)2 ≥ ϑ0 (t)2
(1.) Rb
(2.) Rb
Rb
L(c) = kc 0 (t)kdt ≥
|ϑ0 (t)|dt ≥ | ϑ0 (t)dt|
a
a
a
= |ϑ(b) − ϑ(a)| = ](A, B)
Gleichheitsfall
z
(0,0,1)
L(c) = ](A, B) ⇐⇒
A
ϑ
x
ϕ
B
y
(0,0,−1)
c verläuft monoton auf
dem kürzeren Stück des
Großkreisbogens
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Resultat
dS (A, B) = ](A, B)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Resultat
dS (A, B) = ](A, B)
Der sphärische Abstand
ist gerade der euklidische
Winkel zwischen A und B
vom Nullpunkt aus im Bogenmaß
z
(0,0,1)
A
x
B
y
(0,0,−1)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Resultat
dS (A, B) = ](A, B)
Der sphärische Abstand
ist gerade der euklidische
Winkel zwischen A und B
vom Nullpunkt aus im Bogenmaß
z
(0,0,1)
A
x
B
y
(0,0,−1)
Definition des
Skalarprodukts:
kAk · kBk · cos ](A, B) = hA|Bi
|{z} |{z}
=1
=1
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Berechnung des sphärischen Abstands
Resultat
dS (A, B) = ](A, B)
Der sphärische Abstand
ist gerade der euklidische
Winkel zwischen A und B
vom Nullpunkt aus im Bogenmaß
z
(0,0,1)
A
x
B
y
(0,0,−1)
Definition des
Skalarprodukts:
ergibt:
kAk · kBk · cos ](A, B) = hA|Bi
|{z} |{z}
=1
=1
dS (A, B) = ](A, B) = arccos hA|Bi
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
(M1) dS (A, B) > 0
∀A 6= B
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
(M1) dS (A, B) > 0
(M2) dS (A, B) = dS (B, A)
∀A 6= B
∀A, B
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
(M1) dS (A, B) > 0
∀A 6= B
(M2) dS (A, B) = dS (B, A)
∀A, B
(M3) dS (A, C ) ≤ dS (A, B) + dS (B, C )
∀A, B, C
[wegen Def. mittels Minimum]
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
(M1) dS (A, B) > 0
∀A 6= B
(M2) dS (A, B) = dS (B, A)
∀A, B
(M3) dS (A, C ) ≤ dS (A, B) + dS (B, C )
∀A, B, C
[wegen Def. mittels Minimum]
I
Der sphärische Abstand ist beschränkt, nämlich
dS (A, B) ≤ π
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Eigenschaften des sphärischen Abstands
I
Der sphärische Abstand ist invariant unter Drehung um
0 und unter Spiegelung an einer Ebene, die durch 0 geht
I
(S 2 , dS ) ist ein metrischer Raum
(M1) dS (A, B) > 0
∀A 6= B
(M2) dS (A, B) = dS (B, A)
∀A, B
(M3) dS (A, C ) ≤ dS (A, B) + dS (B, C )
∀A, B, C
[wegen Def. mittels Minimum]
I
Der sphärische Abstand ist beschränkt, nämlich
dS (A, B) ≤ π
I
dS (A, B) = π
⇐⇒
A, B liegen antipodal
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Was sind die Punkte
mit gleichem Abstand
zu einem Zentrum,
d.h. Kreise auf der
Sphäre?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Als Radius ist nur 0 ≤ r ≤ π möglich.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Als Radius ist nur 0 ≤ r ≤ π möglich.
Kreisumfang:
Umfang = 2π sin r
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Als Radius ist nur 0 ≤ r ≤ π möglich.
Kreisumfang:
Umfang = 2π sin r
Denn der sphärische Kreis
ist ein euklidischer Kreis
mit Radius sin r und demnach Umfang 2π sin r
z
sin
(
r)
r
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Als Radius ist nur 0 ≤ r ≤ π möglich.
Kreisumfang:
Umfang = 2π sin r
Denn der sphärische Kreis
ist ein euklidischer Kreis
mit Radius sin r und demnach Umfang 2π sin r
sin r < r ⇒
z
sin
(
r)
r
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Ein Sphärischer
Kreis ...
... mit Radius r und Mittelpunkt M ∈ S 2 sind alle
Punkte auf S 2 , die zu M den sphärischen Abstand r
haben.
Als Radius ist nur 0 ≤ r ≤ π möglich.
Kreisumfang:
Umfang = 2π sin r
Denn der sphärische Kreis
ist ein euklidischer Kreis
mit Radius sin r und demnach Umfang 2π sin r
sin r < r ⇒
z
sin
(
r)
r
x
y
sphär. Kreis
euklid. Kreis
Umfang
< Umfang
mit Radius r
mit Radius r
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphärische Kreise
Kreisfläche:
Fläche = 2π(1 − cos r ) = 4π sin2
r
2
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
= 4π sin2 2r
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
= 4π sin2 2r
2π(1 − cos r ) <
πr 2
t
cos(t)
Kreisfläche:
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
= 4π sin2 2r
2π(1 − cos r ) <
πr 2
2π(1 − cos r )
Taylor
=
2π(1 − 1 +
t
cos(t)
Kreisfläche:
x
y
r2
2
−
r4
24
+
r6
720
∓ . . .)
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
= 4π sin2 2r
2π(1 − cos r ) <
πr 2
2π(1 − cos r )
Taylor
=
t
cos(t)
Kreisfläche:
x
y
2
4
6
r
r
2π(1 − 1 + r2 − 24
+ 720
∓ . . .)
4
= πr 2 − πr
±
.
.
. < πr 2
12
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Kreise
Fläche = 2π(1 − cos r ) = 4π sin2
Fläche =
= 2π
Rr
2π
Rr
| sin t|
√
r
2
(sin0 t)2 +(cos0 t)2 dt
z
0
sin(t)
sin tdt
0
= 2π[− cos t]r0
= 2π(1 − cos r )
= 2π 1− cos2 ( 2r )−sin2 ( 2r )
= 4π sin2 2r
2π(1 − cos r ) <
πr 2
⇒ Fläche
sphär. Kreis
mit Radius r
t
cos(t)
Kreisfläche:
x
y
< Fläche
euklid. Kreis
mit Radius r
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Elliptische Ebene
Wie kann uns die
Kugeloberfläche als
Modell für eine neue
nicht-euklidische
Geometrie dienen?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Ein Modell der elliptischen Ebene
Äquivalenzrelation:
A ∼ B :⇐⇒ A und B sind Antipodenpunkte
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Ein Modell der elliptischen Ebene
Äquivalenzrelation:
Elliptische
Ebene :=
A ∼ B :⇐⇒ A und B sind Antipodenpunkte
S 2 / ∼ die Sphäre mit
Identifizierung der Antipodenpunkte
z
S2
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Ein Modell der elliptischen Ebene
Äquivalenzrelation:
Elliptische
Ebene :=
A ∼ B :⇐⇒ A und B sind Antipodenpunkte
S 2 / ∼ die Sphäre mit
Identifizierung der Antipodenpunkte
z
S2
Kanonische Projektion:
π :
S2
A
−→
7−→
x
S 2/
∼
[A]
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Ein Modell der elliptischen Ebene
Äquivalenzrelation:
Elliptische
Ebene :=
A ∼ B :⇐⇒ A und B sind Antipodenpunkte
S 2 / ∼ die Sphäre mit
Identifizierung der Antipodenpunkte
z
S2
Kanonische Projektion:
π :
S2
A
Punkte:
[A]
−→
7−→
x
S 2/
∼
[A]
y
die Äquivalenzklassen der Antipodenpunkte
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Ein Modell der elliptischen Ebene
Äquivalenzrelation:
Elliptische
Ebene :=
A ∼ B :⇐⇒ A und B sind Antipodenpunkte
S 2 / ∼ die Sphäre mit
Identifizierung der Antipodenpunkte
z
S2
Kanonische Projektion:
π :
S2
A
Punkte:
Geraden:
[A]
−→
7−→
x
S 2/
∼
[A]
y
die Äquivalenzklassen der Antipodenpunkte
π[Großkreis]
die Bilder der Großkreise
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Elliptische Ebene vs. Euklidische Ebene
Zwei Geraden
schneiden sich:
... immer. Es gibt also keine Parallelen.
... manchmal aber nicht
immer. Es gibt Parallelen.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Elliptische Ebene vs. Euklidische Ebene
... immer. Es gibt also keine Parallelen.
... manchmal aber nicht
immer. Es gibt Parallelen.
... können unterschiedlich
sein.
z
... fallen zusammen.
gemein
sam
Senkrec e
hte
Zwei Geraden
schneiden sich:
Zwei Geraden
die einen Punkt
und eine
Senkrechte
gemeisam
haben:
y
x
gemeinsamer
Punkt
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Elliptische Ebene vs. Euklidische Ebene
... immer. Es gibt also keine Parallelen.
... manchmal aber nicht
immer. Es gibt Parallelen.
... können unterschiedlich
sein.
z
... fallen zusammen.
gemein
sam
Senkrec e
hte
Zwei Geraden
schneiden sich:
Zwei Geraden
die einen Punkt
und eine
Senkrechte
gemeisam
haben:
y
Polardreiseitaxiom:
x
gemeinsamer
Punkt
Es gibt drei verschiede”
ne Geraden, die paarweise
senkrecht aufeinander stehen.“
Es gibt solche Geraden
nicht. Das Polardreiseitaxiom gilt nicht.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
d.h. ein Punkt, wo sich alle Senkrechten zur Geraden
schneiden
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
d.h. ein Punkt, wo sich alle Senkrechten zur Geraden
schneiden
ex.
nicht
ex.!
geg.
geg.
in der
euklid.
Ebene
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
d.h. ein Punkt, wo sich alle Senkrechten zur Geraden
schneiden
ex.
nicht
ex.!
geg.
Polare:
∀P Punkt
geg.
∃ Polare
in der
euklid.
Ebene
in der elliptischen Ebene
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
d.h. ein Punkt, wo sich alle Senkrechten zur Geraden
schneiden
ex.
nicht
ex.!
geg.
Polare:
∀P Punkt
geg.
∃ Polare
in der
euklid.
Ebene
in der elliptischen Ebene
d.h. eine Gerade, so dass P Pol der Geraden ist
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Pol und Polare
Pol:
∀G Gerade
∃ Pol
in der elliptischen Ebene
d.h. ein Punkt, wo sich alle Senkrechten zur Geraden
schneiden
ex.
nicht
ex.!
geg.
Polare:
∀P Punkt
geg.
∃ Polare
in der
euklid.
Ebene
in der elliptischen Ebene
d.h. eine Gerade, so dass P Pol der Geraden ist
geg.
geg.
ex.!
ex.
nicht
in der
euklid.
Ebene
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Dualität der elliptischen Ebene
Elliptische
Ebene:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Dualität der elliptischen Ebene
Elliptische
Ebene:
Punkte:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
π[Großkreis]
die Bilder der Großkreise
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Dualität der elliptischen Ebene
Elliptische
Ebene:
Punkte:
Geraden:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
π[Großkreis]
[A]
die Bilder der Großkreise
die Äquivalenzklassen der Antipodenpunkte
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Dualität der elliptischen Ebene
Elliptische
Ebene:
Punkte:
Geraden:
Dieses Modell:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
π[Großkreis]
[A]
die Bilder der Großkreise
die Äquivalenzklassen der Antipodenpunkte
erfüllt ebenfalls die Axiome der elliptischen Ebene
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Dualität der elliptischen Ebene
Elliptische
Ebene:
Punkte:
Geraden:
Dieses Modell:
Beispiel:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
π[Großkreis]
[A]
die Bilder der Großkreise
die Äquivalenzklassen der Antipodenpunkte
erfüllt ebenfalls die Axiome der elliptischen Ebene
Inzidenzaxiom: Zu zwei verschiedenen Punkten existiert
genau eine Gerade, die mit den beiden Punkten inzidiert.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Dualität der elliptischen Ebene
Elliptische
Ebene:
Punkte:
Geraden:
Dieses Modell:
Beispiel:
S 2 / ∼ die Sphäre mit Identifizierung der
Antipodenpunkte
π[Großkreis]
[A]
die Bilder der Großkreise
die Äquivalenzklassen der Antipodenpunkte
erfüllt ebenfalls die Axiome der elliptischen Ebene
Inzidenzaxiom: Zu zwei verschiedenen Punkten existiert
genau eine Gerade, die mit den beiden Punkten inzidiert.
z
x
Punkt
y
z
Punkt
x
Punkt
ex.!
ex.!
Punkt
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Axiomatik der elliptischen Ebene
I
Inzidenzaxiome werden ergänzt um:
Zwei voneinander verschiedene Geraden haben stets
”
genau einen Punkt gemeinsam.“
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Axiomatik der elliptischen Ebene
I
Inzidenzaxiome werden ergänzt um:
Zwei voneinander verschiedene Geraden haben stets
”
genau einen Punkt gemeinsam.“
I
Kein Parallelenaxiom.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Axiomatik der elliptischen Ebene
I
Inzidenzaxiome werden ergänzt um:
Zwei voneinander verschiedene Geraden haben stets
”
genau einen Punkt gemeinsam.“
I
Kein Parallelenaxiom.
I
Lineare Anordnungsaxiome (Zwischenrelation) der
euklidischen Ebene werden ersetzt durch diverse
zyklische Anordnungsaxiome
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Axiomatik der elliptischen Ebene
I
Inzidenzaxiome werden ergänzt um:
Zwei voneinander verschiedene Geraden haben stets
”
genau einen Punkt gemeinsam.“
I
Kein Parallelenaxiom.
I
Lineare Anordnungsaxiome (Zwischenrelation) der
euklidischen Ebene werden ersetzt durch diverse
zyklische Anordnungsaxiome
Vergleich mit
hyperbolischer
Ebene:
Die hyperbolische Ebene erfüllt alle Axiome einer
geometrischen Ebene, trotz unendlich vieler Parallelel zu
G durch A
Die elliptische Ebene erfüllt ein anderes
Axiomensystem als das der geometrischen Ebene.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Literaturempfehlung
Zum kurz
Nachschlagen:
Dtv-Atlas der Mathematik, 1998, Deutscher
Taschenbuchverlag, Seite 133-137
Lexikon der Mathematik, 2001, Spektrum
Akademischer Verlag, Stichwort: Elliptische Geometrie
Unbekannterweise:
Filler: Euklidische und nichteuklidische Geometrie,
1993
Klotzek: Geometrie, 1971
Zum
Weiterlesen:
Reid, Szendői: Geometry and Topology, 2005,
Cambridge University Press
Kapitel Spherical and hyperbolic non-Euclidean
geometry
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
Es gibt auf der Sphäre
Zweiecke!
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
Sphärisches
Zweieck :=
ist eine Fläche auf der Sphäre, die durch 2 verschiedene
Punkte und zwei verschiedene Großkreisbögen (=Seiten)
zwischen diesen beiden Punkten begrenzt ist.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
Sphärisches
Zweieck :=
ist eine Fläche auf der Sphäre, die durch 2 verschiedene
Punkte und zwei verschiedene Großkreisbögen (=Seiten)
zwischen diesen beiden Punkten begrenzt ist.
Die Ecken eines Zweiecks liegen immer antipodal.
Denn nur dann existiert mehr als ein Großkreis, der
beide Punkte enthält.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
Sphärisches
Zweieck :=
ist eine Fläche auf der Sphäre, die durch 2 verschiedene
Punkte und zwei verschiedene Großkreisbögen (=Seiten)
zwischen diesen beiden Punkten begrenzt ist.
Die Ecken eines Zweiecks liegen immer antipodal.
Denn nur dann existiert mehr als ein Großkreis, der
beide Punkte enthält.
Winkel des
Zweiecks:
z
α
x
y
Bis auf Isometrie ist
ein Zweieck vollständig
durch den Winkel zwischen den beiden Strecken bestimmt.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
y
Fläche des
Zweiecks:
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
α
7−→ Fläche(Z (α))
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
ist stetig
α
7−→ Fläche(Z (α))
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
d. h. F (α + β) = F (α) + F (β)
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
ist stetig und ↑
α
7−→ Fläche(Z (α))
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
d. h. F (α + β) = F (α) + F (β)
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
ist stetig und ↑
α
7−→ Fläche(Z (α))
=⇒ ex. c Konstante : F (α) = c · α
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
d. h. F (α + β) = F (α) + F (β)
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
ist stetig und ↑
α
7−→ Fläche(Z (α))
=⇒ ex. c Konstante : F (α) = c · α
Weil F (π) =
Fläche(S 2 )
2
= 2π
ist c = 2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Zweiecke
z
Winkel des
Zweiecks:
Nenne Z (α) das Zweieck (bis
auf Isomorphie) mit Winkel α.
α
x
Fläche(Z (α)) + Fläche(Z (β))
= Fläche(Z (α + β))
∀α, β : α + β ≤ 2π
y
d. h. F (α + β) = F (α) + F (β)
Fläche des
Zweiecks:
F :
[0, 2π] −→
R+
ist stetig und ↑
α
7−→ Fläche(Z (α))
=⇒ ex. c Konstante : F (α) = c · α
Weil F (π) =
Fläche(S 2 )
2
= 2π
=⇒ Fläche(Z (α)) = 2α
ist c = 2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Dreiecke
Was gilt für
sphärische Dreiecke?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Dreiecke
Sphärisches
Dreieck :=
ist eine Fläche auf der Sphäre, die durch 3 verschiedene
Punkte (die nicht auf einem Großkreis liegen) und drei
verschiedene Seiten (= die jeweils kürzeren
Großkreisbögen) zwischen diesen Punkten begrenzt ist.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Dreiecke
Sphärisches
Dreieck :=
ist eine Fläche auf der Sphäre, die durch 3 verschiedene
Punkte (die nicht auf einem Großkreis liegen) und drei
verschiedene Seiten (= die jeweils kürzeren
Großkreisbögen) zwischen diesen Punkten begrenzt ist.
Auf einem sphärischen Dreieck liegen also insbesondere
keine der Eckpunkte antipodal.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Dreiecke
Sphärisches
Dreieck :=
ist eine Fläche auf der Sphäre, die durch 3 verschiedene
Punkte (die nicht auf einem Großkreis liegen) und drei
verschiedene Seiten (= die jeweils kürzeren
Großkreisbögen) zwischen diesen Punkten begrenzt ist.
Auf einem sphärischen Dreieck liegen also insbesondere
keine der Eckpunkte antipodal.
Skizzen:
← kein
sphärisches
Dreieck
z
x
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Dreiecke
Sphärisches
Dreieck :=
ist eine Fläche auf der Sphäre, die durch 3 verschiedene
Punkte (die nicht auf einem Großkreis liegen) und drei
verschiedene Seiten (= die jeweils kürzeren
Großkreisbögen) zwischen diesen Punkten begrenzt ist.
Auf einem sphärischen Dreieck liegen also insbesondere
keine der Eckpunkte antipodal.
Skizzen:
← kein
sphärisches
Dreieck
z
x
y
z
x
sphärisches
Dreieck →
y
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Seiten:
Länge der Seite a := dS (B, C ) = ^(B, C )
euklidischer Winkel vom Nullpunkt aus
C
a
b
b a
c
A
c
B
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Seiten:
Länge der Seite a := dS (B, C ) = ^(B, C )
euklidischer Winkel vom Nullpunkt aus
Die Seitenlängen sind
beschränkt:
0 < a, b, c < π
C
a
b
b a
c
A
c
B
Es gilt die
Dreiecksungleichung:
a + b > c usw.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Seiten:
Länge der Seite a := dS (B, C ) = ^(B, C )
euklidischer Winkel vom Nullpunkt aus
Die Seitenlängen sind
beschränkt:
0 < a, b, c < π
C
a
b
b a
c
A
Def. Skalarprodukt und
Kreuzprodukt
ergibt:
c
B
cos(a) = hB|C i
cos(b) = hC |Ai
cos(c) = hA|Bi
Es gilt die
Dreiecksungleichung:
a + b > c usw.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Seiten:
Länge der Seite a := dS (B, C ) = ^(B, C )
euklidischer Winkel vom Nullpunkt aus
Die Seitenlängen sind
beschränkt:
0 < a, b, c < π
C
a
b
b a
c
A
Def. Skalarprodukt und
Kreuzprodukt
ergibt:
c
B
Es gilt die
Dreiecksungleichung:
a + b > c usw.
cos(a) = hB|C i
sin(a) = kB × C k
cos(b) = hC |Ai
sin(b) = kC × Ak
cos(c) = hA|Bi
sin(c) = kA × Bk
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Innenwinkel:
C
b
α
A
γ
b a
c
c
a
Innenwinkel zwischen
Seite b und c ist:
β
B
α := ^(A × B, A × C )
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Innenwinkel:
C
b
α
A
γ
b a
c
c
a
Innenwinkel zwischen
Seite b und c ist:
β
B
α := ^(A × B, A × C )
= Winkel zwischen den Normalen der Großkreisebenen
= Winkel zwischen den Großkreisebenen
= Winkel zwischen den Tangenten
denn die Tangenten liegen in den jeweiligen Großkreisebenen
und stehen senkrecht auf der Schnittgeraden der beiden Großkreisebenen
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seiten und Winkel im sphärischen Dreieck
Innenwinkel:
C
b
α
A
Def. Skalarprodukt und
Kreuzprodukt
ergibt:
γ
b a
c
c
a
Innenwinkel zwischen
Seite b und c ist:
β
B
α := ^(A × B, A × C )
cos(α) =
hA×B|A×C i
kA×Bk·kA×C k
sin(α) =
k(A×B)×(A×C )k
kA×Bk·kA×C k
cos(β) =
hB×C |B×C i
kB×C k·kB×Ak
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
sin(β) =
k(B×C )×(B×A)k
kB×C k·kB×Ak
k(C ×A)×(C ×B)k
kC ×Ak·kC ×Bk
cos(γ) =
sin(γ) =
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Fläche(4A,B,C ) = α + β + γ − π
−B b
α
A
γ
b a
c
c
−C
a −A
β
B
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
−B b
α
γ
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
Fläche
(4A,B,C ) +
−B b
α
γ
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
Fläche
(4−A,B,C ) +
Fläche
(4A,−B,C )
+ Fläche(4A,B,−C )
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
α
γ
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
(4A,−B,C )
+ Fläche(4A,B,−C )
= Fläche(4A,B,C ) + Fläche(4−A,B,C ) + Fläche(4−A,B,−C )
+ Fläche(4A,B,−C )
Fläche
(4A,B,C ) +
−B b
Fläche
(4−A,B,C ) +
Fläche
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
α
γ
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
(4A,−B,C )
+ Fläche(4A,B,−C )
= Fläche(4A,B,C ) + Fläche(4−A,B,C ) + Fläche(4−A,B,−C )
+ Fläche(4A,B,−C )
= 12 Fläche(S 2 ) = 2π
Fläche
(4A,B,C ) +
−B b
Fläche
(4−A,B,C ) +
Fläche
Fläche der Halbsphäre, die den Großkreis durch A und C, sowie B enthält
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
α
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
(4A,−B,C )
+ Fläche(4A,B,−C )
= Fläche(4A,B,C ) + Fläche(4−A,B,C ) + Fläche(4−A,B,−C )
+ Fläche(4A,B,−C )
= 12 Fläche(S 2 ) = 2π
Fläche
(4A,B,C ) +
γ
−B b
Fläche
(4−A,B,C ) +
Fläche
Fläche der Halbsphäre, die den Großkreis durch A und C, sowie B enthält
=⇒
2α + 2β + 2γ − 2π = 2Fläche(4A,B,C )
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Flächeninhalt des sphärischen Dreiecks
C
Flächeninhalt:
Denn:
Fläche(4A,B,C ) = α + β + γ − π
(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche(4A,B,C ) +
Fläche
α
b a
c
a −A
β
A
B
c
(4−A,B,C ) = 2α
−C
Fläche(4A,−B,C ) = 2β
Fläche(4A,B,−C ) = 2γ (weil: Zweieckflächen)
Fläche
(4A,−B,C )
+ Fläche(4A,B,−C )
= Fläche(4A,B,C ) + Fläche(4−A,B,C ) + Fläche(4−A,B,−C )
+ Fläche(4A,B,−C )
= 12 Fläche(S 2 ) = 2π
Fläche
(4A,B,C ) +
γ
−B b
Fläche
(4−A,B,C ) +
Fläche
Fläche der Halbsphäre, die den Großkreis durch A und C, sowie B enthält
=⇒
Winkelsumme:
2α + 2β + 2γ − 2π = 2Fläche(4A,B,C )
π < α+β+γ
weil Fläche(4A,B,C ) > 0
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärische Trigonometrie
Wie berechnet man
unbekannte Stücken
(d.h. Winkel und
Längen) analog zur
euklidischen
Trigonometrie?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
= hB|C i · hC |Ai + kB × C k · kC × Ak ·
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
= hB|C i · hC |Ai + kB × C k · kC × Ak ·
= hB|C i · hC |Ai + hC × A|C × Bi
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
= hB|C i · hC |Ai + kB × C k · kC × Ak ·
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
= hB|C i · hC |Ai + hC × A|C × Bi
LagrangeIdentität:
~ |~x × ~y i = h~v |~x i · h~
h~v × w
w |~y i − h~
w |~x i · h~v |~y i
für den Beweise verwenden
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
= hB|C i · hC |Ai + kB × C k · kC × Ak ·
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
= hB|C i · hC |Ai + hC × A|C × Bi
Lagrange
=
hB|C i · hC |Ai + hC |C i · hA|Bi − hA|C i · hC |Bi
| {z }
| {z } | {z }
=1
LagrangeIdentität:
=hC |Ai =hB|C i
~ |~x × ~y i = h~v |~x i · h~
h~v × w
w |~y i − h~
w |~x i · h~v |~y i
für den Beweise verwenden
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Seitenkosinussatz
Es gilt:
cos c = cos a cos b + sin a sin b cos γ
d. h. cos γ =
d. h.
Denn:
cos c−cos a cos b
sin a sin b
die Seitenlängen bestimmen die Innenwinkel
cos a cos b + sin a sin b cos γ
= hB|C i · hC |Ai + kB × C k · kC × Ak ·
hC ×A|C ×Bi
kC ×Ak·kC ×Bk
= hB|C i · hC |Ai + hC × A|C × Bi
Lagrange
=
hB|C i · hC |Ai + hC |C i · hA|Bi − hA|C i · hC |Bi
| {z }
| {z } | {z }
=1
=hC |Ai =hB|C i
= hA|Bi
LagrangeIdentität:
~ |~x × ~y i = h~v |~x i · h~
h~v × w
w |~y i − h~
w |~x i · h~v |~y i
für den Beweise verwenden
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
Sphär. Dreiecke
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sinussatz
Es gilt:
Denn:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
Sphär. Dreiecke
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sinussatz
Es gilt:
Denn:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
=0
=
=
k(A×B)×(A×C )k
sin c·sin b
=Vol[A,B,C ]
z }| { z }| {
k hA|A × Bi C −hC |A × Bi Ak
sin c·sin b
D E
~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
~
a
Denn:
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
z }| { z }| {
k hA|A × Bi C −hC |A × Bi Ak
sin c·sin b
D
bac-cap-Regel: ~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
~
b
E
~
c
z}|{ z}|{
k (A×B) ×( A ×
sin c·sin b
=
=Vol[A,B,C ]
=0
=
z }| {
C )k
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
~
a
Denn:
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
=Spatprodukt
~b~a~c −~c~a~b
=
z }| {
A hA×B|C i
z }| {
k (A×B) ×( A ×
sin c·sin b
=
=0
z }| { −C hA×B|Ai sin c·sin b
D
bac-cap-Regel: ~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
~
b
E
~
c
z}|{ z}|{
C )k
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
~
b
~
a
Denn:
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
=Spatprodukt
~b~a~c −~c~a~b
=
z }| {
A hA×B|C i
z }| {
k (A×B) ×( A ×
sin c·sin b
=
=0
=1
z }| { −C hA×B|Ai sin c·sin b
D
bac-cap-Regel: ~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
~
c
z}|{ z}|{
E
z}|{ z
=
C )k
Vol[A,B,C ]
}|
{
kAk khA×B|C ik
sin c·sin b
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
~
b
~
a
Denn:
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
=Spatprodukt
~b~a~c −~c~a~b
=
=
k (A×B) ×( A ×
sin c·sin b
=0
z }| { −C hA×B|Ai sin c·sin b
~
c
z}|{ z}|{
=1
z}|{ z
=
C )k
Vol[A,B,C ]
}|
{
kAk khA×B|C ik
sin c·sin b
sin α
Vol[A, B, C ]
=
symmetrisch in a, b, c
sin a
sin a · sin b · sin c
D E
~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
⇒
bac-cap-Regel:
z }| {
A hA×B|C i
z }| {
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sinussatz
Es gilt:
sin α
sin β
sin γ
=
=
sin a
sin b
sin c
~
b
~
a
Denn:
sin α =
k(A×B)×(A×C )k
kA×Bk·kA×C k
=Spatprodukt
~b~a~c −~c~a~b
=
z }| {
A hA×B|C i
z }| {
=
k (A×B) ×( A ×
sin c·sin b
=0
z }| { −C hA×B|Ai sin c·sin b
=1
z}|{ z
=
Merken:
C )k
Vol[A,B,C ]
}|
{
kAk khA×B|C ik
sin c·sin b
sin α
Vol[A, B, C ]
=
symmetrisch in a, b, c
sin a
sin a · sin b · sin c
D E
~a × (~b × ~c ) = ~b h~a|~c i − ~c ~a|~b
Rechtsklammerung!
⇒
bac-cap-Regel:
~
c
z}|{ z}|{
(A × B) × (A × C ) = hA × B|C i · A
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Sphär. Trigonometrie
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
cos α+cos β cos γ
sin β sin γ
d. h.
cos a =
d. h.
die Innenwinkel bestimmen die Seitenlängen !!!
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
Denn:
cos α+cos β cos γ
sin β sin γ
d. h.
cos a =
d. h.
die Innenwinkel bestimmen die Seitenlängen !!!
cos c
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
Denn:
cos α+cos β cos γ
sin β sin γ
d. h.
cos a =
d. h.
die Innenwinkel bestimmen die Seitenlängen !!!
cos c = hA|Bi
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
d. h.
cos a =
cos α+cos β cos γ
sin β sin γ
d. h.
Denn:
die Innenwinkel bestimmen die Seitenlängen !!!
E Denn hA × B|C i =
D
i·A hB×C |Ai·B
hB × C |Ai. Geteilt
cos c = hA|Bi = hA×B|C
|
|hA×B|C i| |hB×C |Ai|
durch
Betrag
sind
beide
+1
oder
beide
−1.
Außerdem hA|Bi =
h−A| − Bi.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
d. h.
cos a =
cos α+cos β cos γ
sin β sin γ
d. h.
Denn:
die Innenwinkel bestimmen die Seitenlängen !!!
E Denn hA × B|C i =
D
i·A hB×C |Ai·B
hB × C |Ai. Geteilt
cos c = hA|Bi = hA×B|C
|
|hA×B|C i| |hB×C |Ai|
durch
Betrag
E
D
sind
beide
+1
(B×C )×(B×A)
(A×B)×(A×C )
oder
beide
−1.
= k(A×B)×(A×C )k | k(B×C )×(B×A)k
Außerdem hA|Bi =
h−A| − Bi.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
d. h.
d. h.
Denn:
cos a =
cos α+cos β cos γ
sin β sin γ
die Innenwinkel bestimmen die Seitenlängen !!!
E Denn hA × B|C i =
D
i·A hB×C |Ai·B
hB × C |Ai. Geteilt
cos c = hA|Bi = hA×B|C
|
|hA×B|C i| |hB×C |Ai|
durch
Betrag
E
D
sind
beide
+1
(B×C )×(B×A)
(A×B)×(A×C )
oder
beide
−1.
= k(A×B)×(A×C )k | k(B×C )×(B×A)k
Außerdem hA|Bi =
h−A| − Bi.
(A×B)×(A×C )(B×C )×(B×A)
= k(A×B)×(A×C )k·k(B×C )×(B×A)k
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
d. h.
cos a =
cos α+cos β cos γ
sin β sin γ
d. h.
Denn:
die Innenwinkel bestimmen die Seitenlängen !!!
E Denn hA × B|C i =
D
i·A hB×C |Ai·B
hB × C |Ai. Geteilt
cos c = hA|Bi = hA×B|C
|
|hA×B|C i| |hB×C |Ai|
durch
Betrag
E
D
sind
beide
+1
(B×C )×(B×A)
(A×B)×(A×C )
oder
beide
−1.
= k(A×B)×(A×C )k | k(B×C )×(B×A)k
Außerdem hA|Bi =
h−A| − Bi.
(A×B)×(A×C )(B×C )×(B×A)
= k(A×B)×(A×C )k·k(B×C )×(B×A)k
=
hA×B|B×C i·hA×C |B×Ai−hA×C |B×C ihA×B|B×Ai
k(A×B)×(A×C )k·k(B×C )×(B×A)k
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Winkelkosinussatz
Merken:
(A × B) × (A × C ) = hA × B|C i · A
Es gilt:
cos α = − cos β cos γ + sin β sin γ cos a
d. h.
cos a =
cos α+cos β cos γ
sin β sin γ
d. h.
Denn:
die Innenwinkel bestimmen die Seitenlängen !!!
E Denn hA × B|C i =
D
i·A hB×C |Ai·B
hB × C |Ai. Geteilt
cos c = hA|Bi = hA×B|C
|
|hA×B|C i| |hB×C |Ai|
durch
Betrag
E
D
sind
beide
+1
(B×C )×(B×A)
(A×B)×(A×C )
oder
beide
−1.
= k(A×B)×(A×C )k | k(B×C )×(B×A)k
Außerdem hA|Bi =
h−A| − Bi.
(A×B)×(A×C )(B×C )×(B×A)
= k(A×B)×(A×C )k·k(B×C )×(B×A)k
=
=
hA×B|B×C i·hA×C |B×Ai−hA×C |B×C ihA×B|B×Ai
k(A×B)×(A×C )k·k(B×C )×(B×A)k
Erweitern von Zähler und Nenner mit
α+cos γ
1
[. . . kA×Bk·kA×C k·kB×C
. . .] = cos βsincos
k·kB×Ak
β sin γ
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
Folgt aus ...
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
... dem Seitenkosinussatz:
π
cos c = cos a cos b + sin a sin b cos( )
| {z 2}
=0
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
Folgt aus ...
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
... dem Seitenkosinussatz:
π
cos c = cos a cos b + sin a sin b cos( )
| {z 2}
=0
Warum
Pythagoras?
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
Folgt aus ...
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
... dem Seitenkosinussatz:
π
cos c = cos a cos b + sin a sin b cos( )
| {z 2}
=0
Warum
Pythagoras?
Für kleine Winkel ist cos x ≈ 1 −
Näherung des Kosinus.
x2
2
eine gute
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
Folgt aus ...
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
... dem Seitenkosinussatz:
π
cos c = cos a cos b + sin a sin b cos( )
| {z 2}
=0
Warum
Pythagoras?
Für kleine Winkel ist cos x ≈ 1 −
Näherung des Kosinus.
x2
2
eine gute
Damit folgt aus dem sphärischen Pythagoras:
2
2
2
2
2
1 − c2 ≈ 1 − a2 · 1 − b2
≈ 1 − a +b
2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Sphärischer Pythogoras
Es gilt:
Folgt aus ...
γ=
π
2
= 90◦
=⇒
cos c = cos a · cos b
... dem Seitenkosinussatz:
π
cos c = cos a cos b + sin a sin b cos( )
| {z 2}
=0
Warum
Pythagoras?
Für kleine Winkel ist cos x ≈ 1 −
Näherung des Kosinus.
x2
2
eine gute
Damit folgt aus dem sphärischen Pythagoras:
2
2
2
2
2
1 − c2 ≈ 1 − a2 · 1 − b2
≈ 1 − a +b
2
Also: c 2 ≈ a2 + b 2
D.h. für kleine Winkel folgt aus dem sphärischen Phythagoras
näherungsweise der übliche euklidische Pythagoras.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Bestimmen der Entfernung zwischen Berlin und Peking!
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
γ
b
c
λ2 λ1
ϕ1 ϕ2
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
γ
b
c
λ2 λ1
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
Geographische
Daten:
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
=
cos(90◦ −ϕ1 ) cos(90◦ −ϕ2 )+sin(90◦ −ϕ1 ) sin(90◦ −ϕ2 ) cos(λ2 −λ1 )
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
Geographische
Daten:
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
=
cos(90◦ −ϕ1 ) cos(90◦ −ϕ2 )+sin(90◦ −ϕ1 ) sin(90◦ −ϕ2 ) cos(λ2 −λ1 )
≈
cos(37,48◦ ) cos(50,08◦ )+sin(37,48◦ ) sin(50,08◦ ) cos(102,97◦ )
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
Geographische
Daten:
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
=
cos(90◦ −ϕ1 ) cos(90◦ −ϕ2 )+sin(90◦ −ϕ1 ) sin(90◦ −ϕ2 ) cos(λ2 −λ1 )
≈
cos(37,48◦ ) cos(50,08◦ )+sin(37,48◦ ) sin(50,08◦ ) cos(102,97◦ )
≈ 0, 4045
=⇒
c ≈ 66, 14◦
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
cos c ≈ 0, 4045
=⇒
c ≈ 66, 14◦
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
cos c ≈ 0, 4045
=⇒
c ≈ 66, 14◦
Entfernung(Berlin, Peking) = cBogenmaß · RErde
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Anwendung in der Geodäsie
Fragestellung:
Geographische
Daten:
Bestimmen der Entfernung zwischen Berlin und Peking!
Nordpol
a
b
c
λ2 λ1
Seitenkosinussatz:
γ
ϕ1 ϕ2
Berlin:
Berlin:
Peking:
Peking:
ϕ1 = 52◦ 310 N
λ1 = 13◦ 250 O
ϕ2 = 39◦ 550 N
λ2 = 116◦ 230 O
cos c = cos a cos b + sin a sin b cos γ
cos c ≈ 0, 4045
c ≈ 66, 14◦
=⇒
Entfernung(Berlin, Peking) = cBogenmaß · RErde
≈ 66, 14◦ ·
π
180◦
· 6371, 11km ≈ 7354km
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
THE END
Diese Notizen werden auf
mathematik.hu-berlin.de/~huck
sowie auf
www.hopfenwiesen.de
online gestellt.
Einleitung
Sphär. Abstand
Sphär. Kreise
Elliptische Ebene
Sphär. Zweiecke
Sphär. Dreiecke
Sphär. Trigonometrie
Quellen und Referenzen
Inhalt aus:
1.
Vorlesungsvorbereitung von Frau D. Schüth
2.
Agricola, Friedrich: Elementargeometrie, Vieweg Verlag, 2005
3.
Dtv-Atlas der Mathematik, 1998, Deutscher Taschenbuchverlag
4.
Lexikon der Mathematik, 2001, Spektrum Akademischer Verlag,
Stichwort: Elliptische Geometrie u.ä.
5.
Reid, Szendői: Geometry and Topology, 2005, Cambridge University
Press
Graphiken:
Textsatz:
erstellt mit xfig
erstellt mit PdfLaTeX und der Beamer-Klasse von LaTeX, mit dem
LaTeX-Editor Kile