Fokalkegelschnitt

Fokalkegelschnitte: Ellipse, Hyperbel
A,C: Hauptscheitel der Ellipse und Brennpunkte der Hyperbel
E,F: Brennpunkte der Ellipse und Scheitel der Hyperbel

Fokalkegelschnitte: zwei Parabeln
A: Scheitel der roten Parabel und Brennpunkt der blauen Parabel
F: Brennpunkt der roten Parabel und Scheitel der blauen Parabel

In der Geometrie sind Fokalkegelschnitte ein Kurvenpaar bestehend aus [1][2] entweder

• einer Ellipse und einer Hyperbel, wobei die Hyperbel in einer zur Ellipsenebene senkrechten Ebene liegt und deren Scheitel die Brennpunkte der Ellipse und deren Brennpunkte die Hauptscheitel der Ellipse sind (siehe Bild).

oder

• zwei Parabeln in zueinander senkrechten Ebenen, wobei der Scheitel der einen der Brennpunkt der anderen ist.

Fokalkegelschnitte ergeben sich in natürlicher Weise bei der Beantwortung der Frage „Welche Rotationskegel enthalten als Schnitt eine vorgegebene Ellipse bzw. Hyperbel bzw. Parabel?“ (siehe unten)

Weiterhin spielen sie in der Geometrie eine wesentliche Rolle

1. bei der Erzeugung von Dupinschen Zykliden.[3][4] Sie sind dort Leitkurven für die Darstellung einer Zyklide als Kanalfläche.
2. bei der Fadenkonstruktion von 3-achsigen Ellipsoiden.[5]

In der physikalischen Chemie verwendet man Fokalkegelschnitte (engl.: focal conics) bei der Beschreibung von geometrischen Eigenschaften von Flüssigkristallen.[6]

Man sollte Fokalkegelschnitte nicht mit konfokalen Kegelschnitten verwechseln. Bei letzteren haben alle Kegelschnitte dieselben Brennpunkte.

Gleichungen und Parameterdarstellungen

Ellipse und Hyperbel

Gleichungen

Beschreibt man die Ellipse in der x-y-Ebene wie üblich durch die Gleichung

${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\;,}$

genügt die zugehörige Fokalhyperbel in der x-z-Ebene der Gleichung

${\displaystyle {\frac {x^{2}}{c^{2}}}-{\frac {z^{2}}{b^{2}}}=1\;,}$

wobei ${\displaystyle c}$ die lineare Exzentrizität der Ellipse ist, d. h. es gilt ${\displaystyle \;c^{2}=a^{2}-b^{2}\;.}$

Parameterdarstellungen

Ellipse: ${\displaystyle \quad {\vec {u}}(\varphi )=(a\cos \varphi ,b\sin \varphi ,0)^{T}\ }$ und

Hyperbel: ${\displaystyle \ {\vec {v}}(\psi )=(c\cosh \psi ,0,b\sinh \psi )^{T}\ .}$

Zwei Parabeln

Zwei Parabeln in der x-y-Ebene bzw. x-z-Ebene:

1. Parabel: ${\displaystyle \ y^{2}=p^{2}-2px\ }$ und

2. Parabel: ${\displaystyle \ z^{2}=2px\ .}$

Dabei ist ${\displaystyle p}$ der Halbparameter der beiden Parabeln.

Kreiskegel (grün) durch eine Ellipse (blau)

Rotationskegel durch eine Ellipse bzw. eine Hyperbel

• Die Spitzen der Rotationskegel durch eine vorgegebene Ellipse (Hyperbel) liegen auf der zur Ellipse (Hyperbel) gehörenden Fokalhyperbel (Fokalellipse).

Oben: Rotationskegel (grün, Spitze S) durch die Ellipse (blau),
k: Dandelinsche Kugel (lila, Mittelpunkt K)

Nachweis

Gegeben: Ellipse mit Hauptscheitel ${\displaystyle A,B}$ und Brennpunkten ${\displaystyle E,F}$ und ein die Ellipse enthaltender Rotationskegel (im Bild grün) mit Spitze ${\displaystyle S}$.

Aus Symmetriegründen muss die Rotationsachse des Kegels in der zur Ellipsenebene senkrechten Ebene durch die Hauptachse der Ellipse liegen. Es gibt eine Dandelinsche Kugel ${\displaystyle k}$, die die Ellipsenebene in dem Brennpunkt ${\displaystyle F}$ und den Kegel in einem Kreis berührt. Mit Hilfe des Bildes und der Tatsache, dass alle tangentialen Abstände eines Punktes von einer Kugel gleich sind, erkennt man:

${\displaystyle |AS|=|AA_{1}|+|A_{1}S|=|AF|+|B_{1}S|}$

${\displaystyle |BS|=|BB_{1}|+|B_{1}S|=|BF|+|B_{1}S|}$

Also ist:

${\displaystyle |AS|-|BS|=|AF|-|BF|=|EF|=const.}$

und die Menge aller möglichen Kegelspitzen ${\displaystyle S}$ liegen auf der Hyperbel mit den Scheiteln ${\displaystyle E,F}$ und den Brennpunkten ${\displaystyle A,B}$.

Lässt man die Kegelspitze ins Unendliche wandern, geht der Kegel in einen Zylinder über mit der Asymptote der Hyperbel als Achse und mit der kleinen Ellipsenhalbachse (= kleine Hyperbelhalbachse) als Radius.

Analog beweist man den Fall, dass eine Hyperbel gegeben ist.[7]

Schnitt der Kegel durch Fokalkegelschnitte

Orthogonale Kegel (grün, braun) durch ${\displaystyle {\overline {ST}}}$ (lila)

Die einem Paar von Fokalkegelschnitten zugeordneten senkrechten Kreiskegel durch die Kegelschnitte (s. vorigen Abschnitt) spielen bei der Anwendung des Satzes von Dupin auf Dupinsche Zykliden eine wichtige Rolle. Denn es gilt

Wählt man einen beliebigen Punkt ${\displaystyle S}$ der Hyperbel und einen beliebigen Punkt ${\displaystyle T}$ der Ellipse und ist ${\displaystyle k_{S}}$ der Kreiskegel (grün) durch die Ellipse mit Spitze ${\displaystyle S}$ und ${\displaystyle k_{T}}$ der Kreiskegel (braun) durch die Hyperbel mit Spitze ${\displaystyle T}$, so schneiden sich beide Kegel in der gemeinsamen Gerade ${\displaystyle {\overline {ST}}}$ senkrecht.

Der Schlüssel zum Beweis liegt in der Tatsache, dass die Kegelachse ${\displaystyle a_{S}}$ von ${\displaystyle k_{S}}$ die Tangente an die Hyperbel im Punkt ${\displaystyle S}$ ist. Analog gilt: Die Achse ${\displaystyle a_{T}}$ des Kegels ${\displaystyle k_{T}}$ ist Tangente an die Ellipse in ${\displaystyle T}$. Beide Aussagen folgen aus den Brennstrahleigeneschaften einer Ellipse bzw. Hyperbel (siehe Bild).

Da es sich um senkrechte Kreiszylinder handelt, genügt es zu zeigen, dass die Normalebenen der Kegel durch ${\displaystyle {\overline {ST}}}$ sich orthogonal schneiden:

Ist

${\displaystyle S:{\vec {s}}=(c\cosh \psi ,0,b\sinh \psi )^{T}\ }$ und ${\displaystyle \ T:{\vec {t}}=(a\cos \varphi ,b\sin \varphi ,0)^{T}\ }$, so ist

${\displaystyle {\vec {s}}'=(c\sinh \psi ,0,b\cosh \psi )^{T}\ }$ und ${\displaystyle \ {\vec {t}}'=(-a\sin \varphi ,b\cos \varphi ,0)^{T}\ }$.

Es gilt: ${\displaystyle \ c^{2}=a^{2}-b^{2}\ }$ (s. oben).

Es ist nachzuweisen, dass die Normalenvektoren der beiden Normalebenen senkrecht zueinander stehen, d. h., dass

${\displaystyle ({\vec {s}}'\times ({\vec {s}}-{\vec {t}}))\cdot ({\vec {t}}'\times ({\vec {s}}-{\vec {t}}))=0\ }$ ist.

Beim Nachrechnen kann man das Kreuzprodukt mit Hilfe der Lagrange-Identität vermeiden:

${\displaystyle ({\vec {s}}'\times ({\vec {s}}-{\vec {t}}))\cdot ({\vec {t}}'\times ({\vec {s}}-{\vec {t}}))=({\vec {s}}'\cdot {\vec {t}}')\;({\vec {s}}-{\vec {t}})^{2}-({\vec {t}}'\cdot ({\vec {s}}-{\vec {t}}))\;({\vec {s}}'\cdot ({\vec {s}}-{\vec {t}}))\ }$

Literatur

• Georg Glaeser, Hellmuth Stachel, Boris Odehnal: The Universe of Conics, Springer, 2016, ISBN 3-662-45450-5.
• E. Müller, E. Kruppa: Lehrbuch der darstellenden Geometrie, Springer-Verlag, Wien, 1961, ISBN 978-3-211-80589-3.

Einzelnachweise

1. Müller-Kruppa, S. 104
2. Glaeser-Stachel-Odehnal, S. 137
3. Felix Klein: Vorlesungen Über Höhere Geometrie, Herausgeber: W. Blaschke, Richard Courant, Springer-Verlag, 2013, ISBN 3-642-49848-5, S. 58.
4. Glaeser-Stachel-Odehnal: S. 147
5. D. Hilbert & S Cohn-Vossen: Anschauliche Geometrie, Springer-Verlag, 2013, ISBN 3-662-36685-1, S. 18.
6. Thomas Andrew Waigh: The Physics of Living Processes, Verlag John Wiley & Sons, 2014, ISBN 1-118-69827-4, S. 128.
7. Glaeser-Stachel-Odehnal S. 139