Kegelschnitt

Ein Kegelschnitt (lateinisch sectio conica) ist eine Kurve, die entsteht, wenn man die Oberfläche eines Doppelkegels mit einer Ebene schneidet. Enthält die Schnittebene die Kegelspitze, so entsteht als Schnitt entweder ein Punkt oder eine Gerade oder ein sich schneidendes Geradenpaar. Ist die Spitze nicht enthalten, so entstehen die nicht ausgearteten Kegelschnitte Ellipse, Kreis (eine Sonderform der Ellipse), Parabel oder Hyperbel.

Der Nachweis, dass im nicht ausgearteten Fall wirklich diese in der Ebene als Ortskurven definierten Kurven entstehen, lässt sich ohne Rechnung mit Hilfe der Dandelinschen Kugeln führen.^[1] Der rechnerische Nachweis wird hier im Abschnitt Ebene Schnitte des Einheitskegels gegeben.

Ein Kegelschnitt kann auch als zweidimensionaler Sonderfall einer Quadrik angesehen werden und durch eine Gleichung 2. Grades, die allgemeine Kegelschnittgleichung, beschrieben werden.

Bettet man Ellipse, Hyperbel und Parabel in eine projektive Ebene ein, so entstehen projektive Kegelschnitte, die alle zueinander äquivalent sind, d. h., man kann sie durch geradentreue Abbildungen ineinander überführen.

Gleichungen der Kegelschnitte

Die Kegelschnitte können in einem geeigneten x-y-Koordinatensystem durch Gleichungen 2. Grades beschrieben werden:

• Ellipse mit Mittelpunkt M im Punkt (0,0) und der Hauptachse auf der x-Achse:

  ${\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1,\quad b=|MS_{3}|,\qquad a,b\neq 0\quad ,}$ (s. Bild). (Für ${\displaystyle a=b=r}$ ergibt sich ein Kreis.)

• Parabel mit Scheitel im Punkt (0,0) und der Achse auf der y-Achse:

  ${\displaystyle y=ax^{2},\quad a={\frac {1}{4|SF|}},\qquad a\neq 0\quad ,}$ (s. Bild).

• Hyperbel mit Mittelpunkt M im Punkt (0,0) und der Hauptachse auf der x-Achse:

  ${\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1,\quad b^{2}=|MF_{1}|^{2}-a^{2},\qquad a,b\neq 0\quad ,}$ (s. Bild).

• Sich schneidendes Geradenpaar mit Schnittpunkt im Punkt (0,0):

  ${\displaystyle a^{2}x^{2}-y^{2}=0,\ a\neq 0.}$

• Gerade durch den Punkt (0,0):

  ${\displaystyle x^{2}=0.}$

• Punkt, der Punkt (0,0):

  ${\displaystyle a^{2}x^{2}+b^{2}y^{2}=0,\ a,b\neq 0.}$

Der Vollständigkeit halber werden noch zwei weitere Fälle hinzugenommen, die nicht als eigentliche Kegelschnitte auftreten, aber auch durch Gleichungen 2. Grades beschrieben werden:

• Paralleles Geradenpaar:

  ${\displaystyle x^{2}=a^{2},\ a\neq 0.}$

• Die leere Menge:

  ${\displaystyle x^{2}+y^{2}=-1}$ oder ${\displaystyle x^{2}=-1}$.

Die letzten beiden Fälle können als ebene Schnitte eines geraden Kreiszylinders auftreten. Ein Kreiszylinder lässt sich als Grenzfall eines Kegels mit Kegelspitze im Unendlichen auffassen. Deshalb nimmt man diese beiden Fälle mit zu den Kegelschnitten.

Ebene Schnitte des Einheitskegels

Um festzustellen, dass die oben als Kegelschnitte bezeichneten Kurven/Punkte tatsächlich beim Schnitt eines Kegels mit einer Ebene auftreten, schneiden wir hier den Einheitskegel (gerader Kreiskegel) ${\displaystyle K_{1}\colon x^{2}+y^{2}=z^{2}}$ mit einer Ebene, die parallel zur y-Achse ist. Dies ist keine Einschränkung, da der Kegel rotationssymmetrisch ist. Ein beliebiger gerader Kreiskegel ist das affine Bild des Einheitskegels ${\displaystyle K_{1}}$ und Ellipsen/Hyperbeln/Parabeln/… gehen bei einer affinen Abbildung wieder in ebensolche über.

Gegeben: Ebene ${\displaystyle \varepsilon \colon ax+cz=d\ ,}$ Kegel ${\displaystyle K_{1}\colon x^{2}+y^{2}=z^{2}}$.

Gesucht: Schnitt ${\displaystyle \varepsilon \cap K_{1}}$.

• Fall I: ${\displaystyle c=0}$ In diesem Fall ist die Ebene senkrecht und ${\displaystyle a\neq 0}$ und ${\displaystyle x=d/a}$. Eliminiert man ${\displaystyle x}$ aus der Kegelgleichung, so erhält man ${\displaystyle z^{2}-y^{2}=d^{2}/a^{2}}$.
  • Fall Ia: ${\displaystyle d=0}$. In diesem Fall besteht der Schnitt aus dem Geradenpaar ${\displaystyle t(0,1,\pm 1),\ t\in \mathbb {R} .}$.
  • Fall Ib: ${\displaystyle d\neq 0}$. Die obige Gleichung beschreibt jetzt eine Hyperbel in der y-z-Ebene. Also ist auch die Schnittkurve ${\displaystyle \varepsilon \cap K_{1}}$ selbst eine Hyperbel.
• Fall II: ${\displaystyle c\neq 0}$. Eliminiert man ${\displaystyle z}$ aus der Kegelgleichung mit Hilfe der Ebenengleichung, so erhält man das Gleichungssystem ${\displaystyle (1)\quad (c^{2}-a^{2})x^{2}+2adx+c^{2}y^{2}=d^{2},\qquad (2)\quad ax+cz=d.}$
  • Fall IIa: Für ${\displaystyle d=0}$ geht die Ebene durch die Kegelspitze ${\displaystyle (0,0,0)}$ und Gleichung (1) hat jetzt die Gestalt ${\displaystyle (c^{2}-a^{2})x^{2}+c^{2}y^{2}=0}$.

    Für ${\displaystyle c^{2}>a^{2}}$ ist der Schnitt der Punkt ${\displaystyle P_{0}=(0,0,0)}$.

    Für ${\displaystyle c^{2}=a^{2}}$ ist der Schnitt die Gerade ${\displaystyle t(c,0,-a),\ t\in \mathbb {R} .}$

    Für ${\displaystyle c^{2}<a^{2}}$ ist der Schnitt das Geradenpaar ${\displaystyle t(c/\pm {\sqrt {a^{2}-c^{2}}},1,-a/\pm {\sqrt {a^{2}-c^{2}}}),\ t\in \mathbb {R} .}$

  • Fall IIb: Für ${\displaystyle d\neq 0}$ geht die Ebene nicht durch die Kegelspitze und ist nicht senkrecht.

    Für ${\displaystyle c^{2}=a^{2}}$ geht (1) in ${\displaystyle x=-{\frac {c^{2}}{2ad}}y^{2}+{\frac {d}{2a}}}$ über und die Schnittkurve ist eine Parabel.

    Für ${\displaystyle c^{2}\neq a^{2}}$ formen wir (1) um in ${\displaystyle {\frac {(c^{2}-a^{2})^{2}}{d^{2}c^{2}}}\left(x+{\frac {ad}{c^{2}-a^{2}}}\right)^{2}+{\frac {c^{2}-a^{2}}{d^{2}}}y^{2}=1}$.

    Für ${\displaystyle c^{2}>a^{2}}$ ergibt sich als Schnittkurve eine Ellipse und

    für ${\displaystyle c^{2}<a^{2}}$ ergibt sich eine Hyperbel.

Parameterdarstellungen der Schnittkurven findet man in Weblink CDKG, S. 106–107.

Zusammenfassung:

• Enthält die Schnittebene die Kegelspitze nicht, entstehen die nicht ausgearteten Kegelschnitte (s. Bild zu Ib, IIb), nämlich eine Parabel, eine Ellipse oder eine Hyperbel, je nachdem, ob die Kegelachse von der Schnittebene unter dem gleichen, einem größeren oder einem kleineren Winkel geschnitten wird als von den Mantellinien des Kegels.
• Liegt hingegen die Kegelspitze in der Schnittebene, entstehen die ausgearteten Kegelschnitte (s. Bild zu Ia, IIa), und zwar ein Punkt (nämlich die Kegelspitze), eine Gerade (nämlich eine Mantellinie) oder ein sich schneidendes Geradenpaar, (nämlich zwei Mantellinien).

• 

  Parabel
  Entsteht, wenn der Neigungswinkel ${\displaystyle \beta }$ der Schnittebene gleich dem Neigungswinkel ${\displaystyle \alpha }$ der Mantellinie des Kegels ist.

• 

  Ellipse
  Entsteht, wenn der Neigungswinkel ${\displaystyle \beta }$ der Schnittebene kleiner ist als der Neigungswinkel ${\displaystyle \alpha }$ der Mantellinie des Kegels.

• 

  Hyperbel
  Entsteht, wenn der Neigungswinkel ${\displaystyle \beta }$ der Schnittebene größer ist als der Neigungswinkel ${\displaystyle \alpha }$ der Mantellinie des Kegels.

• 

  Kreis
  Entsteht, wenn die Achse des Kegels eine Orthogonale zur Schnittebene ist.

• 

  Punkt
  Entsteht, wenn die Schnittebene durch die Kegelpitze verläuft.
  Gerade
  Entsteht, wenn die Schnittebene entlang der Mantellinie durch die Kegelspitze verläuft.

• 

  Geradenpaar
  Entsteht, wenn die Schnittebene durch die Kegelspitze und Mantelfläche verläuft.

Allgemeine Kegelschnittgleichung

Die allgemeine Gleichung für Kegelschnitte lautet

${\displaystyle ax^{2}+bxy+cy^{2}+dx+ey+f=0}$

(Man beachte, dass die Parameter a und b nicht diejenigen des vorhergehenden Abschnitts sind.)

Die Parameter ${\displaystyle a,b,c}$ sind im Speziellen nicht alle 0. Falls ${\displaystyle a=b=c=0}$ ist, beschreibt die Gleichung eine Gerade oder ganz ${\displaystyle \mathbb {R} ^{2}}$.

Es soll jetzt nachgewiesen werden, dass als Lösungsmengen der allgemeinen Kegelschnittgleichung nur die obigen 8 Fälle auftreten. Das Ziel erreichen wir in zwei wesentlichen Schritten, der Hauptachsentransformation:

1. Drehung des Koordinatensystems zur Beseitigung des Terms ${\displaystyle xy}$.
2. Verschiebung des Nullpunktes (Translation) so, dass möglichst die linearen Terme ${\displaystyle \dots x+\dots y}$ verschwinden.

1. Schritt: Falls ${\displaystyle b\neq 0}$, führen wir die Drehung

${\displaystyle (x,y)=(x'\cos \alpha -y'\sin \alpha ,x'\sin \alpha +y'\cos \alpha )}$

um den Winkel ${\displaystyle \alpha }$ mit ${\displaystyle \tan(2\alpha )={\tfrac {b}{a-c}}}$ bzw. ${\displaystyle \alpha =45^{\circ }}$, falls ${\displaystyle a=c}$, durch.

Die Kegelschnittgleichung hat danach die Form

${\displaystyle Ax^{2}+By^{2}+Cx+Dy+E=0,}$ (statt ${\displaystyle x',y'}$ wurde wieder ${\displaystyle x,y}$ benutzt).

2.Schritt:

Falls ${\displaystyle A\neq 0}$ ist, führt eine quadratische Ergänzung zum Term ${\displaystyle A\left(x+{\tfrac {C}{2A}}\right)^{2}}$ und damit zur Verschiebung ${\displaystyle x'=x+{\tfrac {C}{2A}}}$.

Falls ${\displaystyle B\neq 0}$ ist, führt eine quadratische Ergänzung zum Term ${\displaystyle B\left(y+{\tfrac {D}{2B}}\right)^{2}}$ und damit zur Verschiebung ${\displaystyle y'=y+{\tfrac {D}{2B}}}$.

Nach diesen beiden Schritten hat die Kegelschnittgleichung (x’ und y’ werden wieder durch x,y ersetzt) schließlich die Form

I: ${\displaystyle ux^{2}+vy^{2}+w=0}$ mit ${\displaystyle u,v\neq 0}$ oder

II: ${\displaystyle ux^{2}+vy+w=0}$ oder ${\displaystyle uy^{2}+vx+w=0}$ mit ${\displaystyle u\neq 0}$.

Es können nur die obigen 8 Fälle auftreten:

Im Fall I ergeben sich eine Ellipse oder eine Hyperbel oder die leere Menge, falls ${\displaystyle w\neq 0}$ ist, oder ein Punkt oder ein sich schneidendes Geradenpaar, falls ${\displaystyle w=0}$ ist.

Im Fall II ergeben sich eine Parabel, falls ${\displaystyle v\neq 0}$ ist, oder ein paralleles Geradenpaar oder eine Gerade oder die leere Menge, falls ${\displaystyle v=0}$ ist.

Bei den hier durchgeführten Transformationen (Drehung, Verschiebung) wird die geometrische Form des durch die ursprüngliche Gleichung beschriebenen Kegelschnitts nicht verändert. Parameter wie Halbachsen bei Ellipsen und Hyperbel oder Brennweite bei der Parabel oder Winkel/Abstand zwischen sich schneidenden/parallelen Geraden lassen sich an dem transformierten Kegelschnitt ablesen.

Bemerkung: Der quadratische Anteil der allgemeinen Kegelschnittgleichung lässt sich auch mit Hilfe einer 2×2-Matrix schreiben:

${\displaystyle {\begin{pmatrix}x&y\end{pmatrix}}{\begin{pmatrix}a&b/2\\b/2&c\end{pmatrix}}{\begin{pmatrix}x\\y\end{pmatrix}}+dx+ey+f=0.}$

Da eine Drehung und eine Verschiebung das Vorzeichen der Determinante ${\displaystyle \delta =ac-{\tfrac {b^{2}}{4}}}$ der 2×2-Matrix nicht verändert, führt ${\displaystyle \delta \neq 0}$ auf den Fall I und ${\displaystyle \delta =0}$ auf den Fall II. Weiß man, dass die ursprüngliche Kegelschnittgleichung einen nicht ausgearteten Kegelschnitt darstellt, kann man an der Determinante ${\displaystyle \delta }$ schon erkennen, ob es sich um eine Ellipse (${\displaystyle \delta >0}$) oder eine Hyperbel (${\displaystyle \delta <0}$) oder eine Parabel (${\displaystyle \delta =0}$) handelt.

Bemerkung:

• Da die allgemeine Kegelschnittgleichung nur bis auf einen Faktor durch die 6 Koeffizienten bestimmt ist, sind für die Bestimmung der Koeffizienten 5 Punkte (Gleichungen) nötig. Aber: Nicht jede Wahl von 5 Punkten bestimmen einen Kegelschnitt eindeutig. (Gegenbeispiel: 4 Punkte auf einer Gerade, 1 Punkt nicht auf der Gerade.) Ein nicht ausgearteter Kegelschnitt (Ellipse, Hyperbel, Parabel) ist durch 5 Punkte, wobei keine 3 auf einer Gerade liegen, eindeutig bestimmt. Eine elegante Formel für den nicht ausgearteten Fall benutzt eine 6×6-Determinante:

  ${\displaystyle {\begin{vmatrix}x^{2}&xy&y^{2}&x&y&1\\x_{1}^{2}&x_{1}y_{1}&y_{1}^{2}&x_{1}&y_{1}&1\\x_{2}^{2}&x_{2}y_{2}&y_{2}^{2}&x_{2}&y_{2}&1\\x_{3}^{2}&x_{3}y_{3}&y_{3}^{2}&x_{3}&y_{3}&1\\x_{4}^{2}&x_{4}y_{4}&y_{4}^{2}&x_{4}&y_{4}&1\\x_{5}^{2}&x_{5}y_{5}&y_{5}^{2}&x_{5}&y_{5}&1\\\end{vmatrix}}=0\quad ,}$ (${\displaystyle (x_{i},y_{i}),i=1,\dots ,5}$ sind die vorgegebenen Punkte. Siehe ^[2].)

• Ein Kreis ist schon durch 3 Punkte (nicht auf einer Geraden) eindeutig bestimmt. Die Gleichung erhält man durch die 4×4-Determinante

  ${\displaystyle {\begin{vmatrix}x^{2}+y^{2}&x&y&1\\x_{1}^{2}+y_{1}^{2}&x_{1}&y_{1}&1\\x_{2}^{2}+y_{2}^{2}&x_{2}&y_{2}&1\\x_{3}^{2}+y_{3}^{2}&x_{3}&y_{3}&1\\\end{vmatrix}}=0}$.

Beispiel: Der Kegelschnitt durch die 5 Punkte ${\displaystyle (1,0),(-1,0),(0,1),(-1,-1),(1,1)}$ hat nach Ausrechnen obiger Determinante die Gleichung ${\displaystyle -4x^{2}+4xy-4y^{2}+4=0}$ oder nach Vereinfachung: ${\displaystyle x^{2}-xy+y^{2}-1=0}$. Die Hauptachsentransformation erfolgt mit einer Drehung um ${\displaystyle 45^{\circ }}$. Eine Verschiebung ist nicht nötig. Der Kegelschnitt hat die transformierte Gleichung ${\displaystyle {\tfrac {x^{2}}{2}}+{\tfrac {3}{2}}y^{2}-1=0}$ und ist eine Ellipse.

Scheitelgleichung einer Kegelschnittschar

Die Schar der nicht ausgearteten Kegelschnitte, deren Achse die ${\displaystyle x}$-Achse ist und die im Punkt (0,0) einen Scheitel haben, lässt sich durch die Gleichung

• ${\displaystyle y^{2}=2px+(\varepsilon ^{2}-1)x^{2}\qquad ,\ p>0\ ,\varepsilon \geq 0}$

beschreiben (zum Beweis siehe Leitlinien-Eigenschaft der Hyperbel). Für

${\displaystyle \varepsilon =0}$ erhält man einen Kreis,

für ${\displaystyle 0<\varepsilon <1}$ eine Ellipse,

für ${\displaystyle \varepsilon =1}$ eine Parabel und

für ${\displaystyle \varepsilon >1}$ eine Hyperbel.

${\displaystyle \varepsilon }$ ist die numerische Exzentrizität.

${\displaystyle 2p}$ ist die Weite des Kegelschnitts, gemessen am Brennpunkt senkrecht zur Achse.

${\displaystyle p}$ ist der Scheitelkrümmungskreisradius im Scheitel ${\displaystyle (0,0)}$.

Für Ellipsen und Hyperbeln ist ${\displaystyle \varepsilon =e/a}$, wobei ${\displaystyle a}$ die große Halbachse und ${\displaystyle e}$ die lineare Exzentrizität ist. Im Fall einer Ellipse ist ${\displaystyle (a,0)}$ der Mittelpunkt und ${\displaystyle (a-e,0)}$ ein Brennpunkt. Im Fall einer Hyperbel ist ${\displaystyle (-a,0)}$ der Mittelpunkt und ${\displaystyle (e-a,0)}$ ein Brennpunkt. Im Fall einer Parabel ist ${\displaystyle ({\tfrac {p}{2}},0)}$ der Brennpunkt. Für den Kreis (mit ${\displaystyle \varepsilon =0}$) liegt der Mittelpunkt bei ${\displaystyle (p,0)}$ und der Radius ist ${\displaystyle p}$.

Polargleichung einer Kegelschnittschar

Die Leitlinieneigenschaft der nicht ausgearteten Kegelschnitte lautet:

• Die Menge der Punkte der euklidischen Ebene, deren Abstände zu einer vorgegebenen Geraden ${\displaystyle l}$ und einem vorgegebenen Punkt ${\displaystyle F}$ die Bedingung ${\displaystyle {\frac {|PF|}{|Pl|}}=\varepsilon >0}$ ist konstant, erfüllen, ist eine Ellipse, falls ${\displaystyle 0<\varepsilon <1}$, eine Parabel, falls ${\displaystyle \varepsilon =1}$, eine Hyperbel, falls ${\displaystyle \varepsilon >1}$ ist.

Ist der Punkt ${\displaystyle F}$ der Nullpunkt und hat die Gerade ${\displaystyle l}$ die Gleichung ${\displaystyle x=-d}$, so gilt in Polarkoordinaten (s. Bild):

${\displaystyle {\frac {|PF|}{|Pl|}}={\frac {r}{r\cos \varphi +d}}=\varepsilon \ .}$

Auflösen nach ${\displaystyle r}$ liefert zunächst ${\displaystyle r={\frac {\varepsilon d}{1-\varepsilon \cos \varphi }}}$. Setzt man ${\displaystyle p=r(\pi /2)=\varepsilon d}$, so erhält man die Polardarstellung der nichtausgearteten Kegelschnitte:

• ${\displaystyle r={\frac {p}{1-\varepsilon \cos \varphi }}}$.

${\displaystyle p}$ ist dabei der Halbparameter (halbe Breite des Kegelschnitts am Brennpunkt) und ${\displaystyle \varepsilon }$ die numerische Exzentrizität. Wählt man den Halbparameter ${\displaystyle p}$ fest, so erhält man Kegelschnitte mit dem Nullpunkt als gemeinsamen Brennpunkt, und zwar

für ${\displaystyle \varepsilon =0}$ den Kreis mit Mittelpunkt ${\displaystyle M=(0,0)}$ und Radius ${\displaystyle R=p}$,

für ${\displaystyle 0<\varepsilon <1}$ die Ellipse mit dem Mittelpunkt ${\displaystyle M=(e,0),\ e={\frac {p\;\varepsilon }{1-\varepsilon ^{2}}}}$ und den Halbachsen ${\displaystyle a={\frac {e}{\varepsilon }},\ b={\sqrt {a^{2}-e^{2}}}}$,

für ${\displaystyle \varepsilon =1}$ die Parabel mit dem Scheitel ${\displaystyle S=(-{\frac {p}{2}},0)}$ und der Gleichung ${\displaystyle x={\frac {y^{2}-p^{2}}{2p}}}$,

für ${\displaystyle \varepsilon >1}$ die Hyperbel mit dem Mittelpunkt ${\displaystyle M=(-e,0),\ e={\frac {p\;\varepsilon }{\varepsilon ^{2}-1}}}$ und den Halbachsen ${\displaystyle a={\frac {e}{\varepsilon }},\ b={\sqrt {e^{2}-a^{2}}}}$.

Kegelschnittbüschel

Sind die Gleichungen ${\displaystyle f_{1}(x,y)=0,\ f_{2}(x,y)=0}$ zweier Kegelschnitte gegeben, so lassen sich durch die Linearkombination

• ${\displaystyle a_{1}f_{1}(x,y)+a_{2}f_{2}(x,y)=0}$

der Gleichungen neue Kegelschnitte erzeugen. Da proportionale Paare ${\displaystyle (a_{1},a_{2})}$ und ${\displaystyle (ta_{1},ta_{2})}$ äquivalente Gleichungen ergeben und daher zum selben Kegelschnitt gehören, schreibt man die Linearkombination oft so:

• ${\displaystyle (1-\mu )f_{1}(x,y)-\mu f_{2}(x,y)=0}$

Diese Gleichung beschreibt in eindeutiger Weise durch den Parameter ${\displaystyle \mu }$ jeweils einen Kegelschnitt.

Beispiel Kreisbüschel:

Für die zwei Kreisgleichungen

${\displaystyle f_{1}(x,y)=(x-2)^{2}+y^{2}-1=0}$

${\displaystyle f_{2}(x,y)=(x+2)^{2}+y^{2}-1=0}$

beschreibt ${\displaystyle (1-\mu )f_{1}(x,y)-\mu f_{2}(x,y)=0}$ mit ${\displaystyle \mu \neq 1/2}$ ein Büschel von Kreisen (s. Bild). (Für ${\displaystyle \mu =1/2}$ heben sich die quadratischen Terme auf und es ergibt sich die Gerade ${\displaystyle x=0}$.)

Beispiel Kegelschnittbüschel durch 2 Punkte mit vorgegebenen Tangenten:

Das folgende Beispiel baut aus 3 Geraden ${\displaystyle g_{1},g_{2},g_{3}}$ ein Büschel von Kegelschnitten auf. Es sei:

${\displaystyle g_{0}:f_{0}(x,y)=y=0}$

${\displaystyle g_{1}:f_{1}(x,y)=y/2-x-1=0}$

${\displaystyle g_{2}:f_{2}(x,y)=y/2+x-1=0}$

Dann beschreibt die Gleichung

${\displaystyle (1-\mu )f_{1}(x,y)\cdot f_{2}(x,y)-\mu f_{0}(x,y)^{2}=0}$

mit dem Scharparameter ${\displaystyle \mu }$ ein Büschel von Kegelschnitten durch die beiden Punkte ${\displaystyle P_{1}=g_{0}\cap g_{1}}$ und ${\displaystyle P_{2}=g_{0}\cap g_{2}}$. Jeder Kegelschnitt berührt die beiden Geraden ${\displaystyle g_{1},g_{2}}$ in diesen Punkten. Das Kegelschnittbüschel ist also durch die beiden Punkte ${\displaystyle P_{1},P_{2}}$ und die beiden Tangenten ${\displaystyle g_{1},g_{2}}$ in diesen Punkten bestimmt. (Ein Kegelschnitt ist immer durch 5 Vorgaben eindeutig bestimmt!) Beide Kegelschnitte, mit der die Linearkombination gebildet wird, sind ausgeartete Kegelschnitte (${\displaystyle f_{1}f_{2}=0}$ ist ein Geradenpaar und ${\displaystyle f_{0}^{2}=0}$ ist eine Doppelgerade).

Beispiel Kegelschnittbüschel durch 4 Punkte:

In diesem Fall ist das Büschel eine Linearkombination zweier paralleler Geradenpaare, die sich in den 4 Punkten ${\displaystyle (\pm 1,\pm 1)}$ schneiden (s. Bild):

${\displaystyle a_{1}(x^{2}-1)+a_{2}(y^{2}-1)=0}$

Durch jeden Punkt der Ebene, der von den Grundpunkten des Büschels verschieden ist, geht genau ein (eventuell ausgearteter) Kegelschnitt des Büschels. Z. B. erhält man zum Nullpunkt ${\displaystyle (0,0)}$ für ${\displaystyle a_{1}=1,a_{2}=-1}$ das Geradenpaar ${\displaystyle y^{2}=x^{2}}$.

Kegelschnittbüschel werden in der Literatur ausführlich untersucht.^[3]

Äquivalenz nicht ausgearteter Kegelschnitte

• Alle Ellipsen sind affine Bilder des Einheitskreises (s. Ellipse).
• Alle Parabeln sind affine Bilder der Normalparabel (s. Parabel).
• Alle Hyperbeln sind affine Bilder der Einheitshyperbel (s. Hyperbel).

Eine Ellipse ist aber mit einer affinen Abbildung nicht (z. B.) auf eine Parabel abbildbar. Ergänzt man aber die affine Koordinatenebene zu einer projektiven Ebene und fügt einer Parabel den Fernpunkt ihrer Achse hinzu, so lässt sich eine Ellipse mit einer projektiven Abbildung auf eine so erweiterte Parabel abbilden. Das Analoge gilt für eine um die zwei Fernpunkte ihrer Asymptoten ergänzte Hyperbel.

• Vom projektiven Standpunkt aus sind also alle nicht ausgearteten projektiven Kegelschnitte zueinander äquivalent^[4] (s. auch Weblink CDKG, S. 251).

Beispiele:

1. Die projektive Abbildung mit ${\displaystyle (x,y)\to ({\tfrac {x}{1+y}},{\tfrac {1-y}{1+y}})}$ bildet den Einheitskreis ${\displaystyle x^{2}+y^{2}=1}$ auf die Parabel ${\displaystyle y=x^{2}}$ ab.
2. Die projektive Abbildung mit ${\displaystyle (x,y)\to ({\tfrac {1}{x}},{\tfrac {y}{x}})}$ bildet die Parabel ${\displaystyle y=x^{2}}$ auf die Hyperbel ${\displaystyle y={\tfrac {1}{x}}}$ ab.

Anwendungen und Beispiele

Eine Anwendung finden die Kegelschnitte in der Astronomie, da die Bahnen der Himmelskörper genäherte Kegelschnitte sind.

Auch in der Optik werden sie verwendet – als Rotationsellipsoid für Autoscheinwerfer, als Paraboloid oder Hyperboloid für Spiegelteleskope usw.

In der Darstellenden Geometrie treten Kegelschnitte als Bilder von Kreisen bei Parallel- und Zentralprojektionen auf. Siehe Ellipse (Darstellende Geometrie).

Geschichte

Der griechische Mathematiker Menaichmos untersuchte an Platons Akademie die Kegelschnitte mit Hilfe eines Kegelmodells. Er fand dabei heraus, dass sich das delische Problem auf die Bestimmung des Schnittpunkts zweier Kegelschnitte zurückführen lässt. Danach behandelte Aristaios von Samos (Aristaios der Ältere) in einem nicht mehr erhaltenen Buch das Problem der Konstruktion von Kegelschnitten in Bezug auf drei oder vier Geraden, was später in der Begründung der analytischen Geometrie von René Descartes wieder aufgenommen wurde. Euklid schrieb vier Bücher über Kegelschnitte, die uns aber nicht erhalten sind. Die gesamten Kenntnisse der antiken Mathematiker über die Kegelschnitte fasste Apollonios von Perge in seinem achtbändigen Werk Konika zusammen, wobei Apollonios wie Euklid den synthetischen Zugang zur Geometrie bevorzugte. Die Werke von Euklid, Apollonios und Aristaios wurden ab der Renaissance in Westeuropa wieder aufgegriffen und weiterentwickelt. Die Beschreibung von Kegelschnitten durch Koordinatengleichungen wurde von Fermat und Descartes eingeführt.

Kegelschnitte über beliebigen Zahl-Körpern

Kegelschnitte lassen sich auch über beliebigen Körpern definieren. Es bleiben dabei erstaunlich viele Inzidenz- und Symmetrieeigenschaften erhalten. Siehe Weblink Projektive Geometrie, projektiver Kegelschnitt und für Kegelschnitte über endlichen Körpern den Artikel Quadratische Menge.

Kegelschnitte und Benz-Ebenen

Kegelschnitte spielen bei den Benz-Ebenen, das sind Möbius-Ebenen (Geometrie der Kreise), Laguerre-Ebenen (Geometrie der Parabeln) und Minkowski-Ebenen (Geometrie der Hyperbeln), eine wichtige Rolle.

Siehe auch

• Korbbogen, Himmelsmechanik, Zweikörperproblem, projektive Geometrie, Drehquadrik, Formelsammlung analytische Geometrie.
• Fokalkegelschnitt
• Kegelschnitte als rationale Bezierkurven
• Konfokale Kegelschnitte

Weblinks

Wiktionary: Kegelschnitt – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Des Apollonius von Perga sieben Bücher über Kegelschnitte.
• Computerunterstützte Darstellende und Konstruktive Geometrie. (CDKG) Uni Darmstadt (PDF; 3,4 MB).
• Kegelschnitte. (Memento vom 5. März 2016 im Internet Archive). Uni Wien.
• A. Coffman: Linear systems of Conics.
• Projektive Geometrie. Kurzskript. Uni Darmstadt (PDF; 180 kB), S. 12–16.
• J. Casey: A treatise on the analytical geometry of the point, line, circle and conic sections. 1893.

Literatur

• Karl Rohn, Erwin Papperitz: Kegelschnitte, Flächen zweiten Grades, regel-, abwickelbare und andere Flächen, Flächenkrümmung, in: Lehrbuch der darstellenden Geometrie. 3., umgearb. Aufl. De Gruyter Verlag, Berlin und Leipzig 1906 Reprint 2020. ISBN 978-3-11-238373-5.
• Max Koecher, Aloys Krieg: Ebene Geometrie. 3. Aufl., Springer-Verlag, Berlin 2007, ISBN 978-3-540-49327-3.
• Burg, Haf, Wille: Höhere Mathematik für Ingenieure. Band II, Teubner-Verlag Stuttgart, ISBN 3-519-22956-0, S. 338.
• Hans Schupp: Kegelschnitte. Bibliographische Institut-Wissenschaftsverlag, Mannheim, Wien, Zürich 1988, ISBN 978-3-411-03208-2.

Belege

1. ↑ Kleine Enzyklopädie Mathematik. VEB Verlag Enzyklopädie, Leipzig, 1977, S. 325 f.
2. ↑ Meyberg & Vachenauer: Höhere Mathematik 1. Springer-Verlag, Berlin, ISBN 3-540-59188-5, S. 309.
3. ↑ Z. B. Barry Spain: Analytical Conics. Dover Publications, 2007, ISBN 0-486-45773-7, S. 91.
4. ↑ Projektive Geometrie. Kurzskript, Uni Darmstadt (PDF; 180 kB), S. 12.