Datei:01-Ellipse-vertikal.svgEllipse mit Mittelpunkt <math>M</math>, Brennpunkten <math>F_1</math> und <math>F_2</math>, Scheitelpunkten <math>S_1, \dotsc, S_4</math>, Hauptachse (rot) und Nebenachse (grün)Datei:01-Ellipse-Kegelschnitt.svgEllipse als Kegelschnitt. Die Mittelachse des Kegels ist so weit geneigt, dass sich die Ellipse in der Seitenansicht von rechts in wahrer Größe zeigt.
Ellipsen (von Vorlage:GrcS) sind in der Geometrie spezielle geschlossene ovaleKurven. Sie zählen neben den Parabeln und den Hyperbeln zu den Kegelschnitten. Eine anschauliche Definition verwendet die Eigenschaft, dass die Summe der Abstände eines Ellipsenpunktes von zwei vorgegebenen Punkten, den Brennpunkten, für alle Punkte gleich ist. Sind die Brennpunkte identisch, erhält man einen Kreis.
Jede Ellipse lässt sich in einem geeigneten kartesischen Koordinatensystem durch eine Gleichung
<math>\frac{x^2}{a^2}+\frac{y^2}{b^2} = 1</math>
oder eine Parameterdarstellung
<math>x(t) = a\cos(t)</math>
<math>y(t) = b\sin(t)</math>
beschreiben. Hieran erkennt man, dass man eine Ellipse als einen an der <math>x</math>-Achse um <math>a</math> und an der <math>y</math>-Achse um <math>b</math> gestreckten Einheitskreis auffassen kann.
Die Ellipse wurde von Apollonios von Perge (etwa 262–190 v. Chr.)<ref>Peter Proff: Die Deutung der Begriffe „Ellipse“, „Parabel“ und „Hyperbel“ nach Apollonios v. Perge. In: „gelêrter der arzeniê, ouch apotêker“. Beiträge zur Wissenschaftsgeschichte. Festschrift zum 70. Geburtstag von Willem F. Daems. Hrsg. von Gundolf Keil, Horst Wellm Verlag, Pattensen/Hannover 1982 (= Würzburger medizinhistorische Forschungen, 24), ISBN 3-921456-35-5, S. 17–34; hier S. 17.</ref> eingeführt und benannt, die Bezeichnung bezieht sich auf die Exzentrizität <math>\varepsilon < 1</math>.<ref>I. N. Bronstein, K. A. Semendjajew (Begründer), Günter Grosche (Bearb.), Eberhard Zeidler (Hrsg.): Teubner-Taschenbuch der Mathematik. Teubner, Stuttgart 1996, ISBN 3-8154-2001-6, S. 24.</ref>
Es gibt verschiedene Möglichkeiten, Ellipsen zu definieren. Neben der üblichen Definition über gewisse Abstände von Punkten ist es auch möglich, eine Ellipse als Schnittkurve zwischen einer entsprechend geneigten Ebene und einem Kegel zu bezeichnen (siehe 1. Bild) oder als affines Bild des Einheitskreises.
Eine Ellipse ist der geometrische Ort aller Punkte <math>P</math> der Ebene, für die die Summe der Abstände zu zwei gegebenen Punkten <math>F_1</math> und <math>F_2</math> gleich einer gegebenen Konstante ist. Diese Konstante wird üblicherweise mit <math>2a</math> bezeichnet. Die Punkte <math>F_1</math> und <math>F_2</math> heißen Brennpunkte:
<math>E = \{P \mid |PF_2| + |PF_1| = 2a\}</math>
Um eine Strecke auszuschließen, setzt man voraus, dass <math>2a</math> größer als der Abstand <math>|F_1F_2|</math> der Brennpunkte ist.
Falls die beiden Brennpunkte zusammenfallen, ist <math>E</math> ein Kreis mit Radius <math>a</math>. Dieser einfache Fall wird in den folgenden Überlegungen oft stillschweigend ausgeschlossen, da die meisten Aussagen über Ellipsen im Kreisfall trivial werden.
Der Mittelpunkt <math>M</math> der Strecke <math>\overline{F_1F_2}</math> heißt Mittelpunkt der Ellipse. Die Gerade durch die Brennpunkte ist die Hauptachse und die dazu orthogonale Gerade durch <math>M</math> die Nebenachse. Die beiden Ellipsenpunkte <math>S_1</math> und <math>S_2</math> auf der Hauptachse sind die Hauptscheitel. Der Abstand der Hauptscheitel zum Mittelpunkt ist <math>a</math> und heißt die große Halbachse. Die beiden Ellipsenpunkte <math>S_3</math> und <math>S_4</math> auf der Nebenachse sind die Nebenscheitel, und ihr Abstand zum Mittelpunkt ist jeweils die kleine Halbachse <math>b</math>. Den Abstand <math>e</math> der Brennpunkte zum Mittelpunkt nennt man die lineare Exzentrizität und <math>\varepsilon=e/a</math> die numerische Exzentrizität. Mit dem Satz des Pythagoras gilt <math>a^2=e^2+b^2</math> (siehe rechts in der oberen Zeichnung, wo <math>a</math> (grün) die Hypotenuse und <math>b</math> und <math>e</math> die Katheten des entsprechenden rechtwinkligen Dreiecks sind).
Die Gleichung <math>|PF_2| + |PF_1| = 2a</math> kann man auch so interpretieren (siehe Zeichnung Definition mit Leitkreis):
Wenn <math>c_2</math> der Kreis um <math>F_2</math> mit Radius <math>2a</math> ist, dann ist der Abstand des Punktes <math>P</math> zum Kreis <math>c_2</math> gleich dem Abstand des Punktes zum Brennpunkt <math>F_1</math>:
<math>|PF_1|=|Pc_2|</math>
<math>c_2</math> heißt Leitkreis der Ellipse bzgl. des Brennpunktes <math>F_2</math>.
Diese Eigenschaft sollte man nicht verwechseln mit der Leitlinieneigenschaft einer Ellipse (s. unten). Aufgrund der Leitkreis-Eigenschaft ist eine Ellipse die Äquidistanz-Kurve zu jedem ihrer Brennpunkte und dem Leitkreis mit dem anderen Brennpunkt als Mittelpunkt.
Jeder Schnitt eines Kegels mit einer Ebene, die die Kegelspitze nicht enthält, und deren Neigung kleiner als die der Mantellinien des Kegels ist, ist eine Ellipse.
Ellipse in kartesischen Koordinaten
Gleichung
A. Führt man kartesische Koordinaten so ein, dass der Mittelpunkt der Ellipse im Ursprung liegt und die <math>x</math>-Achse entlang der Hauptachse verläuft, so haben die Brennpunkte die Koordinaten <math>F_1=(e,0)</math> und <math>F_2=(-e,0)</math>. Für einen beliebigen Punkt <math>(x,y)</math> ergibt sich mithilfe des Satz des Pythagoras der Abstand zu <math>F_1</math> als <math>\sqrt{ (x-e)^2 + y^2 }</math> und zu <math>F_2</math> als <math>\sqrt{ (x+e)^2 + y^2 }</math>. Also liegt der Punkt <math>(x,y)</math> genau dann auf der Ellipse, wenn die Bedingung
erfüllt ist. Nach Beseitigung der Wurzeln durch Quadrieren und Verwenden der Beziehung <math>b^2 = a^2-e^2</math> (s. o.) erhält man die Mittelpunktsgleichung
<math>\frac{x^2}{a^2}+\frac{y^2}{b^2}= 1</math>
oder nach <math>y</math> aufgelöst
<math>y=\pm\frac{b}{a}\sqrt{a^2-x^2}.</math>
Aus der Beziehung
<math>b^2 = a^2-e^2</math> erhält man die Gleichungen
<math>e = \sqrt{a^2-b^2}</math> und <math>\varepsilon = \frac{\sqrt{a^2-b^2}}{a} \ .</math>
Daraus ergeben sich noch die Beziehungen
<math>b = a \sqrt{1 - \varepsilon^2}</math>
<math>p = a \cdot (1 - \varepsilon^2)</math>
Ist <math>a = b</math>, so ist <math>\varepsilon = 0</math> und die Ellipse ein Kreis.
Ist <math>b = e</math>, so ist <math>\varepsilon = \tfrac{1}{\sqrt{2}}</math>, und man nennt die Ellipse eine gleichseitige Ellipse oder Ellipse schönster Form. Diese entsteht z. B., wenn man einen Drehzylinder mit einer gegen die Zylinderachse um 45° geneigten Ebene schneidet: Die Länge der kleinen Halbachse der Ellipse ist dabei gleich dem Radius des Zylinders.
B. Die Ellipse in A. lässt sich auch mithilfe einer Bilinearform als Lösungsmenge der Gleichung <math>\vec x^\mathrm{T}M\,\vec x=1</math> auffassen.<ref>Vgl. z. B. Annette Werner: Skript zur Vorlesung Geometrie. (PDF; 241 kB). Bei: Uni-Frankfurt.de.</ref> Hierbei werden die Vektoren <math>x</math> und <math>x^\mathrm{T}</math> mit dem gleichen Punkt <math>X</math> identifiziert. Bei Einführung kartesischer Koordinaten ist <math>M</math> die Matrix
<math>
\begin{pmatrix}
\frac{1}{a^2} & 0 \\
0 & \frac{1}{b^2}
\end{pmatrix}</math>, <math>\vec x^\mathrm{T} = (x,y)</math> ein Zeilenvektor und <math>\vec x = \begin{pmatrix} x \\ y\end{pmatrix}</math> ein Spaltenvektor.
C. Eine Ellipse mit dem Mittelpunkt im Ursprung und den Brennpunkten auf der <math>x</math>-Achse heißt auch in 1. Hauptlage. Wenn hier die obige Ellipsengleichung erwähnt wird, wird immer angenommen, dass <math>a\ge b</math> und damit die Ellipse in 1. Hauptlage ist, was im „realen Leben“ aber nicht sein muss. Da kann durchaus auch <math>a<b</math> vorkommen, was bedeutet, dass die Ellipse sich in 2. Hauptlage befindet (die Brennpunkte liegen auf der <math>y</math>-Achse).
Aufgrund der Definition einer Ellipse gilt:
Eine Ellipse ist symmetrisch zu ihren Achsen und damit auch zu ihrem Mittelpunkt.
(Die Symmetrieeigenschaft lässt sich auch leicht an der hier abgeleiteten Gleichung einer Ellipse erkennen.)
Halbparameter
Die halbe Länge <math>p</math> einer Ellipsensehne, die durch einen Brennpunkt geht und zur Hauptachse senkrecht verläuft, nennt man den Halbparameter, manchmal auch nur Parameter <math>p</math> oder auch semi-latus rectum (die Hälfte des latus rectum = <math>2 \cdot p</math>) der Ellipse.
Durch Einsetzen von <math>x^2 = e^2 = a^2 - b^2</math> in die nach <math>y</math> aufgelöste Mittelpunktsgleichung ergibt sich
<math>y = p = \frac{b^2}a</math>.
<math>p</math> ist auch der Krümmungsradius in den Hauptscheiteln (s. weiter unten).
Tangente
A. Für den Hauptscheitel <math>(a,0)</math> bzw. <math>(-a,0)</math> hat die Tangente die Gleichung <math>x = a</math> bzw. <math>x = -a</math>. Die einfachste Weise, die Gleichung der Tangente in einem Ellipsenpunkt <math>(x_0,y_0\neq0)</math> zu bestimmen, ist, die Gleichung <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}= 1</math> der Ellipse implizit zu differenzieren. Hiermit ergibt sich für die Ableitung
B. Die in A. eingeführte Tangentengleichung <math>\tfrac{x_0}{a^2}x+\tfrac{y_0}{b^2}y = 1</math> lässt sich auch ohne Differentialrechnung als Spezialfall einer Polarengleichung einführen (s. u. Herleitung der Lagebeziehungen von Pol und Polare, D.). Sie entspricht einer Normalenform mit dem Normalenvektor <math>\vec n = \left(\tfrac{x_0}{a^2}, \tfrac{y_0}{b^2}\right)</math>. Von diesem lässt sich ein dazu rechtwinkeliger Richtungsvektor <math>\vec u</math> von <math>t</math> ablesen. Da <math>\vec u</math> nur bis auf einen Skalar eindeutig ist, hat er die Formen
<math>\vec u = \begin{pmatrix} -y_0/b^2 \\ x_0/a^2 \end{pmatrix} =</math><math> \frac{1}{ab} \begin{pmatrix} -a y_0/b\\ b x_0/a \end{pmatrix} = </math><math>-\frac{y_0}{b^2} \begin{pmatrix} 1 \\ \frac{- x_0}{y_0} \frac{b^2}{a^2}\end{pmatrix}</math>;
dies liefert den Richtungsvektor der in A. angegebenen Vektorform und auch die Steigung der dort angegebenen Punktsteigungsform.
Verschiebt man die obige Ellipse so, dass der Mittelpunkt der Punkt <math>(m_1, m_2)</math> ist, ergibt sich die Mittelpunktsform einer Ellipse, deren Achsen parallel zu den Koordinatenachsen sind:
Die rationale Parameterdarstellung hat folgende Eigenschaften (s. Bild):
Für <math>u=0</math> wird der positive Hauptscheitel dargestellt: <math>x(0) = a, y(0) = 0</math>; für <math>u=1</math> der positive Nebenscheitel: <math>x(1) = 0, y(1) = b</math>.
Übergang zur Gegenzahl des Parameters spiegelt den dargestellten Punkt an der <math>x</math>-Achse: <math>x(-u) = x(u), y(-u) = -y(u)</math>.
Übergang zum Kehrwert des Parameters spiegelt den dargestellten Punkt an der <math>y</math>-Achse: <math>x \left(\tfrac{1}{u}\right) = -x(u), y\left(\tfrac{1}{u}\right) = y(u)</math>.
Der negative Hauptscheitel kann mit keinem reellen Parameter <math>u</math> dargestellt werden. Die Koordinaten desselben sind die Grenzwerte der Parameterdarstellung für unendliches positives oder negatives <math>u</math>: <math>\lim_{u \to \pm \infty} x(u)=-a, \lim_{u \to \pm \infty} y(u)=0</math>.
Rationale Parameterdarstellungen der Kegelschnitte (Ellipse, Hyperbel, Parabel) spielen im CAD-Bereich bei quadratischen rationalen Bezierkurven eine wichtige Rolle.<ref>J. Hoschek, D. Lasser: Grundlagen der geometrischen Datenverarbeitung. Springer-Verlag, 1989, ISBN 3-519-02962-6, S. 147.</ref>
Tangentensteigung als Parameter
Eine Parameterdarstellung, die die Tangentensteigung <math>m</math> in dem jeweiligen Ellipsenpunkt verwendet, erhält man durch Differentiation der Parameterdarstellung <math>\vec x(t)=(a \cos t, b \sin t)^\mathrm{T}</math>:
<math>\vec x'(t) = (-a\sin t, b\cos t)^\mathrm{T} \quad \rightarrow \quad m = -\frac{b}{a}\cot t\quad \rightarrow \quad \cot t = -\frac{ma}{b}.</math>
<math>\cos t = \frac{\cot t}{\pm\sqrt{1+\cot^2t}} = \frac{-ma}{\pm\sqrt{m^2a^2+b^2}}\ ,\quad\quad
\sin t = \frac{1}{\pm\sqrt{1+\cot^2t}} = \frac{b}{\pm\sqrt{m^2a^2+b^2}}.</math>
Ersetzt man in der Standarddarstellung <math>\cos t</math> und <math>\sin t</math>, erhält man schließlich
<math>\vec c_\pm(m) = \left(-\frac{ma^2}{\pm\sqrt{m^2a^2+b^2}}\;,\;\frac{b^2}{\pm\sqrt{m^2a^2+b^2}}\right)^\mathrm{T},\, m \in \R.</math>
Dabei ist <math>m</math> die Tangentensteigung im jeweiligen Ellipsenpunkt, <math>\vec c_+</math> die obere und <math>\vec c_-</math> die untere Hälfte der Ellipse. Die Punkte mit senkrechten Tangenten (Scheitel <math>(\pm a,0)</math>) werden durch diese Parameterdarstellung nicht erfasst.
Die Gleichung der Tangente im Punkt <math>\vec c_\pm(m)</math> hat die Form <math>y=mx+n</math>. Der <math>y</math>-Abschnitt <math>n</math> ergibt sich durch Einsetzen der Koordinaten des zugehörigen Ellipsenpunktes <math>\vec c_\pm(m)</math>:
<math>y = m x \pm\sqrt{m^2a^2+b^2}</math>
Diese Hauptform der Tangentengleichung ist ein wesentliches Hilfsmittel bei der Bestimmung der orthoptischen Kurve einer Ellipse.
Bemerkung: Die Hauptform der Tangentengleichung und die Koordinaten von <math>\vec c_\pm(m)</math> lassen sich auch ohne Differentialrechnung und ohne trigonometrische Formeln herleiten, indem die Tangente als Spezialfall einer Polare aufgefasst wird (s. u. Herleitung der Lagebeziehungen von Pol und Polare, D.)
Verschobene Ellipse
Eine verschobene Ellipse mit Mittelpunkt <math>(m_1,m_2)</math> wird durch
<math>(m_1+a \cos t\; ,\; m_2+ b \sin t),\ 0\le t<2\pi</math>
Die Verbindungslinie zwischen einem Brennpunkt und einem Punkt der Ellipse heißt Brennlinie, Leitstrahl oder Brennstrahl. Ihren Namen erhielten Brennpunkte und Brennstrahlen aufgrund der folgenden Eigenschaft:
Der Winkel zwischen den beiden Brennstrahlen in einem Punkt der Ellipse wird durch die Normale in diesem Punkt halbiert.
Anwendungen
Der Einfallswinkel, den der eine Brennstrahl mit der Tangente bildet, ist gleich dem Ausfallswinkel, den die Tangente mit dem anderen Brennstrahl bildet. Ein Lichtstrahl, der von einem Brennpunkt ausgeht, wird demnach an der Ellipsentangente so reflektiert, dass er den anderen Brennpunkt trifft. Bei einem ellipsenförmigen Spiegel treffen sich demnach alle von einem Brennpunkt ausgehenden Lichtstrahlen in dem anderen Brennpunkt.
Da alle Wege von einem zum anderen Brennpunkt (entlang zusammengehöriger Brennstrahlen) gleich lang sind, wird z. B. Schall durch konstruktive Interferenz „verstärkt“ übertragen.
Die Tangente im Ellipsenpunkt ist die Winkelhalbierende des Außenwinkels. Da Winkelhalbierenden leicht zu konstruieren sind, bietet die Brennpunkteigenschaft eine einfache Methode, die Tangente in einem Ellipsenpunkt zu konstruieren (Eine weitere Tangentenkonstruktion wird in Ellipse (Darstellende Geometrie) beschrieben.).
Zwei Ellipsen mit denselben Brennpunkten <math>F_1,\; F_2</math> nennt man konfokal. Durch jeden Punkt, der nicht zwischen den Brennpunkten liegt, gibt es genau eine Ellipse mit den Brennpunkten <math>F_1,\; F_2</math>. Zwei konfokale Ellipsen haben keinen Schnittpunkt (s. Definition einer Ellipse).
Beweis der Brennpunkteigenschaft
Da die Tangente senkrecht zur Normalen verläuft, ist die obige Behauptung bewiesen, wenn die analoge Aussage für die Tangente gilt:
Der Außenwinkel der Brennstrahlen <math>\overline{PF_1}, \overline{PF_2}</math> in einem Ellipsenpunkt <math>P</math> wird von der Tangente in diesem Punkt halbiert (s. Bild).
Es sei <math>L</math> der Punkt auf der Geraden <math>\overline{PF_2}</math> mit dem Abstand <math>2a</math> zum Brennpunkt <math>F_2</math> (<math>a</math> ist die große Halbachse der Ellipse). Die Gerade <math>w</math> sei die Winkelhalbierende der Außenwinkel der Brennstrahlen <math>\overline{PF_1}, \overline{PF_2}</math>. Um nachzuweisen, dass <math>w</math> die Tangente ist, zeigt man, dass auf <math>w</math> kein weiterer Ellipsenpunkt liegen kann. Anhand der Zeichnung und der Dreiecksungleichung erkennt man, dass
<math>|QF_2|+|QF_1|=|QF_2|+|QL|>|LF_2|=2a</math>
gilt. Dies bedeutet, dass <math>|QF_2|+|QF_1|>2a</math> ist. Wenn <math>Q</math> ein Punkt der Ellipse wäre, müsste die Summe aber gleich <math>2a</math> sein.
Natürliches Vorkommen und Anwendung in der Technik:
Die Decken mancher Höhlen ähneln einer Ellipsenhälfte. Befindet man sich – mit den Ohren – in einem Brennpunkt dieser Ellipse, hört man jedes Geräusch, dessen Ursprung im zweiten Brennpunkt liegt, verstärkt („Flüstergewölbe“). Diese Art der Schallübertragung funktioniert in einigen Stationen der Pariser Métro sogar von Bahnsteig zu Bahnsteig.
Das gleiche Prinzip der Schallfokussierung wird heute zur Zertrümmerung von Nierensteinen mit Stoßwellen verwendet (s. Dornier-Nierensteinzertrümmerer).
Auch im lampengepumpten Nd:YAG-Laser wird ein Reflektor in Form einer Ellipse verwendet. Die Pumpquelle – entweder eine Blitzlampe oder eine Bogenlampe – wird in dem einen Brennpunkt positioniert, und der dotierte Kristall wird in den anderen Brennpunkt gelegt.
Für eine echte Ellipse, d. h. <math>e > 0</math>, bezeichnet man eine Parallele zur Nebenachse im Abstand <math>a^2/e</math> als Direktrix oder Leitlinie. Für einen beliebigen Punkt <math>P</math> der Ellipse ist das Verhältnis seines Abstands von einem Brennpunkt zu dem Abstand von der Direktrix <math>d</math> auf der entsprechenden Seite der Nebenachse gleich der numerischen Exzentrizität:
<math>|P F_1| : |P d_1| = |P F_2| : |P d_2| = \varepsilon.</math> Es ist <math>\varepsilon>0.</math>
Beweis:
Mit <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1 \Leftrightarrow y^2 = b^2 -\tfrac{b^2x^2}{a^2}</math> sowie <math>e^2+b^2=a^2</math> und den binomischen Formeln ist
Die Umkehrung dieser Aussage gilt auch und kann zu einer weiteren Definition
einer Ellipse benutzt werden (ähnlich wie bei einer Parabel):
Für einen Punkt <math>F</math> (Brennpunkt), eine Gerade <math>d</math> (Leitlinie) nicht durch <math>F</math> und eine reelle Zahl <math>\varepsilon</math> mit <math>0 < \varepsilon < 1</math> ist die Menge der Punkte (geometrischer Ort), für die der Quotient der Abstände zu dem Punkt <math>F</math> und der Geraden <math>d</math> gleich <math>\varepsilon</math> ist, eine Ellipse:
Die Wahl <math>\varepsilon=0</math>, also die Exzentrizität eines Kreises, ist in diesem Zusammenhang nicht erlaubt. Man kann als Leitlinie eines Kreises die unendlich entfernte Gerade auffassen.
Datei:Kegelschnitt-Schar.svgKegelschnittschar mit einem gemeinsamen Scheitel und einem gemeinsamen Halbparameter
Beweis:
Es sei <math>F=(f,0) ,\ \varepsilon>0</math> und <math>(0,0)</math> ein Punkt der Kurve.
Die Leitlinie <math>d</math> hat die Gleichung <math>x=-\tfrac{f}{\varepsilon}</math>. Mit <math>P=(x,y)</math> und der Beziehung <math>|PF|^2=\varepsilon^2|Pd|^2</math> ergibt sich
<math>(x-f)^2+y^2=\varepsilon^2(x+\tfrac{f}{\varepsilon})^2=(\varepsilon x+f)^2</math> und <math>x^2(\varepsilon^2-1)+2xf(1+\varepsilon)-y^2=0.</math>
Die Substitution <math>p=f(1+\varepsilon)</math> liefert
<math>x^2(\varepsilon^2-1)+2px-y^2=0.</math>
Dies ist die Gleichung einer Ellipse (<math>\varepsilon<1</math>) oder einer Parabel (<math>\varepsilon=1</math>) oder einer Hyperbel (<math>\varepsilon>1</math>). All diese nicht-ausgearteten Kegelschnitte haben den Ursprung als Scheitel gemeinsam (s. Bild).
Für <math>\varepsilon<1</math> führt man neue Parameter <math>a = \tfrac{p}{1 -\varepsilon^2}</math> und <math>b^2= a p \Rightarrow 1-\varepsilon^2 =\tfrac{b^2}{a^2}</math> ein; die obige Gleichung wird dann zu
Wegen <math>e\cdot\tfrac{a^2}{e}=a^2</math> sind der Punkt <math>D_1</math> der Leitlinie (siehe Bild) und der Brennpunkt <math>F_1</math> bezüglich der Spiegelung am großen Scheitelkreis (im Bild grün) invers. Damit kann <math>D_1</math> wie im Bild gezeigt aus <math>F_1</math> mit Hilfe des großen Scheitelkreises konstruiert werden. Eine weitere Begründung für die Konstruktion liefert die Tatsache, dass der Brennpunkt <math>F_1</math> und die Leitlinie <math>d_1</math> sowohl bezüglich der Ellipse als auch bezüglich des großen Scheitelkreises ein Pol-Polare-Paar (siehe unten) bilden.
Betrachtet man zu einem beliebigen Ellipsendurchmesser (einer Ellipsensehne durch den Ellipsenmittelpunkt) <math>\overline{PP'}</math> alle parallelen Sehnen, so liegen deren Mittelpunkte ebenfalls auf einem Ellipsendurchmesser <math>\overline{QQ'}</math>. Man nennt <math>\overline{QQ'}</math> den zu <math>\overline{PP'}</math> konjugierten Durchmesser.<ref>Diese und die folgenden Aussagen finden sich in Bosch: Mathematik-Taschenbuch. Dritte Auflage. R. Oldenbourg Verlag, München/Wien 1991, S. 227 f.).</ref>
Bildet man zum konjugierten Durchmesser erneut den konjugierten Durchmesser, so erhält man wieder den ursprünglichen. In der Zeichnung stimmt also der zu <math>\overline{QQ'}</math> konjugierte Durchmesser mit dem ursprünglichen Durchmesser <math>\overline{PP'}</math> überein.
Die Tangenten in den Endpunkten eines Durchmessers (etwa <math>\overline{PP'}</math>) sind parallel zum konjugierten Durchmesser (im Beispiel <math>\overline{QQ'}</math>).
Haupt- und Nebenachse sind das einzige Paar orthogonaler konjugierter Durchmesser.
Ist die Ellipse ein Kreis, so sind genau die orthogonalen Durchmesser (auch) konjugiert.
Sind konjugierte Durchmesser nicht orthogonal, so ist das Produkt ihrer Steigungen <math>\tfrac{-b^2}{a^2}</math>.
Seien <math>d_1</math>, <math>d_2</math> konjugierte Durchmesser. Dann ist <math>\left(\tfrac{d_1}{2}\right)^2 + \left(\tfrac{d_2}{2}\right)^2 = a^2 + b^2</math>. (Satz des Apollonius)
Für die Ellipse mit der Gleichung <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1</math> und der Parameterdarstellung <math>(a\cos t,b\sin t)</math> gilt:
Im Fall eines Kreises gilt <math>x_1x_2+y_1y_2=0\ . </math>
Konjugierte Durchmesser (erstrangig von Ellipsen) werden auch auf einer eigenen Wikipedia-Seite behandelt, ebenso der Satz des Apollonius (samt Beweis). Ein analytischer Gesamt-Beweis sämtlicher hier aufgeführter Aussagen, der von der gemeinsamen Bilinearform zweier Ursprungsgeraden ausgeht, findet sich im Beweisarchiv. Dieser Beweis benötigt weder trigonometrische Funktionen noch Parameterdarstellungen noch eine affine Abbildung.<ref>Wikibooks: Beweisarchiv: Geometrie: Konjugierte Durchmesser.</ref>
Eine Anwendungsmöglichkeit im Bereich des technischen Zeichnens besteht in der Möglichkeit, den höchsten Punkt einer Ellipse oder eines Ellipsenbogens beliebiger Lage über einer Linie zu finden – nützlich z. B. für korrekte 2D-Darstellungen nicht-orthogonaler Ansichten zylindrischer Körper oder abgerundeter Kanten ohne Verwendung von 3D-Programmen. Wichtig ist dies für den sauberen Anschluss tangential von der Ellipse weg laufender Linien. Hierzu sind in die Ellipse oder den Ellipsenbogen zwei Sehnen parallel zur gewünschten Tangentenrichtung und die durch die Mittelpunkte der beiden Sehnen definierte Linie des zugehörigen konjugierten Durchmessers einzuzeichnen. Der Schnittpunkt dieser Linie mit der Ellipse oder dem Ellipsenbogen definiert den Anschlusspunkt der Tangente (und normalerweise den Endpunkt des Ellipsenbogens).
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Für die Ellipse <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1</math> liegen die Schnittpunkteorthogonaler Tangenten auf dem Kreis <math>x^2+y^2=a^2+b^2</math>.
Diesen Kreis nennt man die orthoptische Kurve der gegebenen Ellipse, es ist der Umkreis des Rechtecks, das die Ellipse umschreibt.
Pol-Polare-Beziehung
Führt man kartesische Koordinaten so ein, dass der Mittelpunkt der Ellipse im Ursprung liegt, so kann eine beliebige Ellipse mit der Gleichung <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2} = 1</math> beschrieben werden (s. o. Abschnitt Gleichung). Weiter ordnet für eine vorgegebene Ellipse eine Funktion <math>f</math> je einem Punkt <math>P_0=(x_0,y_0)</math> die Gerade <math>\frac{x_0x}{a^2}+\frac{y_0y}{b^2} = 1</math> zu. Bezüglich <math>f</math> heißt <math>P_0</math> Pol, die zugeordnete Gerade Polare.
<math>f</math> ist eine Bijektion; die inverse Funktion bildet je eine Polare auf einen Pol ab. Der Ellipsenmittelpunkt <math>(0,0)</math> ist in keiner so definierten Polare enthalten, entsprechend existiert zu <math>(0,0)</math> keine Polare. Die angegebene Gleichung der Polare lässt sich als Normalenform mit dem zugehörigen Normalenvektor <math>\left(\tfrac{x_0}{a^2},\tfrac{y_0}{b^2}\right)</math> auffassen.
Eine solche Beziehung zwischen Punkten und Geraden, die durch einen Kegelschnitt vermittelt wird, nennt man Pol-Polare-Beziehung oder einfach Polarität. Pol-Polare-Beziehungen gibt es auch für Hyperbeln und Parabeln, siehe auch Pol und Polare.
Zu Pol und Polare gelten folgende Lagebeziehungen:
Der Brennpunkt <math>(e,0)</math> und die Leitlinie <math>x=\tfrac{a^2}{e}</math> sind polar zueinander. Da beide auch polar bezüglich des Scheitelkreises <math>x^2+y^2=a^2</math> sind, lässt sich die Leitlinie auch mit Hilfe von Zirkel und Lineal konstruieren (siehe hierzu auch Kreisspiegelung). (1)
Genau dann, wenn der Pol außerhalb der Ellipse liegt, hat die Polare zwei Punkte mit der Ellipse gemeinsam (s. Bild: <math>P_2,\ p_2</math>). (2)
Genau dann, wenn der Pol auf der Ellipse liegt, hat die Polare genau einen Punkt mit der Ellipse gemeinsam (= die Polare ist eine Tangente; s. Bild: <math>P_1,\ p_1</math>). (3)
Genau dann, wenn der Pol innerhalb der Ellipse liegt, hat die Polare keinen Punkt mit der Ellipse gemeinsam (s. Bild: <math>F_1,\ l_1</math>). (4)
Jeder gemeinsame Punkt einer Polare und einer Ellipse ist Berührpunkt einer Tangente vom zugehörigen Pol <math>P</math> an die Ellipse (s. Bild: <math>P_2,\ p_2</math>). (5)
Der Schnittpunkt zweier Polaren ist der Pol der Geraden durch die Pole. (6)
Herleitung der Lagebeziehungen von Pol und Polare; alternative Herleitung einer Tangenten- und einer Ellipsengleichung
A. Ist eine Polare parallel zur <math>y</math>-Achse, so hat sie auch die Form <math>0 \ne c = x \Leftrightarrow \frac{1}{c} \cdot x +0 \cdot y = 1</math>. Mit dem zugehörigen Normalenvektor <math>\left(\tfrac{x_0}{a^2} = \tfrac{1}{c}, \tfrac{y_0}{b^2} = 0\right)</math> ist der zugehörige Pol <math>\left(x_0 = \tfrac{a^2}{c}, y_0 = 0\right).</math> Insbesondere folgt für <math>x_0 = \tfrac{a^2}{c} = e \Leftrightarrow c = \tfrac{a^2}{e}</math> die Polarität (1) von Brennpunkt und Direktrix.
Einsetzen der betrachteten Polare in die Mittelpunktform einer Ellipse ergibt für die Ordinate <math>y</math> eines beliebigen Schnittpunkts die Bedingung <math>\tfrac{c^2}{a^2} + \tfrac{y^2}{b^2} = 1</math>; die Diskriminante dieser quadratischen Gleichung in <math>y</math> hat bis auf einen positiven Faktor die Form
B. Ist eine Polare nicht parallel zur <math>y</math>-Achse, so hat sie die Hauptform <math>y = mx+n</math>. Wegen <math>n \neq 0</math> lässt sich diese in die Normalenform <math>-mx/n +y/n= 1</math> umformen. Vergleich mit der Normalenform ergibt als Darstellung Koordinaten des Pols mit den Parametern der Hauptform:
Einsetzen der Hauptform <math>y = mx +n</math> in die Mittelpunktform einer Ellipse ergibt für die Abszisse <math>x</math> eines beliebigen Schnittpunkts die Bedingung <math>\tfrac{x^2}{a^2} + \tfrac{(mx +n)^2}{b^2} = 1</math>; die Diskriminante dieser quadratischen Gleichung in <math>x</math> hat bis auf einen positiven Faktor die Form
C. Insgesamt erlaubt der Term <math>T=T_1</math> bzw. <math>T=T_2</math> für eine beliebige Polare folgende Unterscheidung paarweise disjunkter Fälle:
Für <math>T<0</math> hat die Polare mit der Ellipse keinen Punkt gemeinsam, und der Pol liegt innerhalb der Ellipse. Hieraus folgt (2).
Für <math>T=0</math> hat die Polare mit der Ellipse genau einen Punkt gemeinsam, und der Pol liegt auf der Ellipse. Also ist die Polare eine Tangente an die Ellipse, der Pol ihr Berührpunkt (s. Bild: <math>P_1,\ p_1</math>). Hieraus folgt (3).
Für <math>T>0</math> hat die Polare mit der Ellipse zwei Punkte gemeinsam, und der Pol liegt außerhalb der Ellipse. Hieraus folgt (4).
D. Ist eine Tangente nicht senkrecht, so ergibt Auflösung der Gleichung <math>T_2=0</math> nach <math>n</math> und Einsetzen von <math>n</math> die Hauptform der Tangente:
<math>\quad\ y = m x \pm\sqrt{m^2a^2+b^2}</math>;
Einsetzen von <math>n</math> in die Koordinaten <math>x_0 = -\tfrac{ma^2}{n}, y_0=\tfrac{b^2}{n}</math> des Berührpunkts ergibt die Koordinaten der Parameterdarstellung einer Ellipse mit der Steigung <math>m</math> als Parameter:
<math>\quad\ \vec c_\pm(m) = \left(-\frac{ma^2}{\pm\sqrt{m^2a^2+b^2}}\;,\;\frac{b^2}{\pm\sqrt{m^2a^2+b^2}}\right)^\mathrm{T},\, m \in \R</math>;
diese Parameterdarstellung erfasst die Hauptscheitel nicht.
E. Ausgehend von der im Abschnitt „Gleichung“, B. aufgeführten Bilinearform der Ellipse hat die Polare zum Punkt <math>P</math> die Normalenformen
<math>\vec p^\mathrm{T} M \vec x = 1</math> mit dem Normalenvektor <math>\vec n^\mathrm{T} = \vec p^\mathrm{T} M</math> und
<math>\vec x^\mathrm{T} M \vec p = 1</math> mit dem Normalenvektor <math>M \vec p = \vec n</math>.
Ist <math>P</math> ein Punkt der Ellipse, so beschreiben auch diese Gleichungen eine Tangente.
Diese koordinatenfreie rechnerische Darstellung der Polare eignet sich für Beweise. Mit den Koordinatendarstellungen <math>P(x_0, y_0)</math> und <math>X(x,y)</math> sowie den im Abschnitt „Gleichung“ angegebenen Matrizenkoordinaten für <math>M</math> entsteht durch Auswertung der Matrizenprodukte wieder die im Abschnitt Pol-Polare-Beziehung angegebene Gleichung <math>\tfrac{x_0}{a^2}x+\tfrac{y_0}{b^2}y = 1</math>.
Beweis von (5) („Jeder gemeinsame Punkt einer Polare und einer Ellipse ist Berührpunkt einer Tangente vom zugehörigen Pol <math>P</math> an die Ellipse.“):
Da die Ellipsenpunkte <math>S_1, S_2</math> auf der Polare zu <math>P</math> liegen, gilt <math>\vec s_1^\mathrm{T} M \vec p = 1</math> und <math>\vec s_2^\mathrm{T} M \vec p = 1</math>. Fasst man in diesen Gleichungen nicht <math>M \vec p</math>, sondern <math>\vec s_1^\mathrm{T} M</math> bzw. <math>\vec s_2^\mathrm{T} M</math> als Normalenvektor auf, so besagen sie, dass die Tangenten in den Ellipsenpunkten <math>S_1, S_2</math> den Punkt <math>P</math> gemeinsam haben.
Beweis von (6) („Der Schnittpunkt zweier Polaren ist der Pol der Gerade durch die Pole.“):
Für einen Schnittpunkt <math>S</math> zweier Polaren zu <math>P_1</math> und <math>P_2</math> gilt <math>\vec s^\mathrm{T} M \vec p_1 = 1</math> und <math>\vec s^\mathrm{T} M \vec p_2 = 1</math>. Fasst man in diesen Gleichungen nicht <math>M \vec p_1</math> bzw. <math>M \vec p_2</math>, sondern <math>\vec s^\mathrm{T} M = \vec n^\mathrm{T}</math> als Normalenvektor auf, so besagen sie, dass auf der Polare zu <math>S</math> die Punkte <math>P_1</math>, <math>P_2</math> liegen. Weiter zeigt die Betrachtung der Parameterform <math>\vec x = \vec p_1 + \lambda (\vec p_2 -\vec p_1)</math> mit
Eine andere Definition der Ellipse benutzt eine spezielle geometrische Abbildung, nämlich die Affinität. Hier ist die Ellipse als affines Bild des Einheitskreises definiert.<ref>Siehe: Cornelie Leopold, S. 55.</ref>
Parameterdarstellung
Eine affine Abbildung in der reellen Ebene hat die Form <math>\vec x \to \vec f_0+A\vec x</math>, wobei <math>A</math> eine reguläre Matrix (Determinante nicht 0) und <math>\vec f_0</math> ein beliebiger Vektor ist. Sind <math>\vec f_1,\; \vec f_2</math> die Spaltenvektoren der Matrix <math>A</math>, so wird der Einheitskreis <math>(\cos t,\sin t), 0\le\ t \le 2\pi,</math> auf die Ellipse
<math>\vec x = \vec p(t)= \vec f_0 +\vec f_1 \cos t +\vec f_2 \sin t</math>
abgebildet. <math>\vec f_0</math> ist der Mittelpunkt und <math>\vec f_1,\; \vec f_2</math> sind zwei konjugierte Halbmesser (s. u.) der Ellipse. <math>\vec f_1,\; \vec f_2</math> stehen i. A. nicht senkrecht aufeinander. D. h., <math>\vec f_0\pm \vec f_1</math> und <math>\vec f_0\pm \vec f_2</math> sind i. A. nicht die Scheitel der Ellipse. Diese Definition einer Ellipse liefert eine einfache Parameterdarstellung (s. u.) einer beliebigen Ellipse.
Scheitel, Scheitelform
Da in einem Scheitel die Tangente zum zugehörigen Ellipsendurchmesser senkrecht steht und die Tangentenrichtung in einem Ellipsenpunkt <math>\vec p'(t) = -\vec f_1\sin t + \vec f_2\cos t</math> ist, ergibt sich der Parameter <math>t_0</math> eines Scheitels aus der Gleichung
und damit aus <math>\cot (2t_0)= \tfrac{\vec f_1^{\, 2}-\vec f_2^{\, 2}}{2\vec f_1 \cdot \vec f_2}</math>.
(Es wurden die Formeln <math>\cos^2 t -\sin^2 t=\cos 2t,\ 2\sin t \cos t = \sin 2t</math> benutzt.)
Falls <math>\vec f_1 \cdot \vec f_2=0</math> ist, ist <math>t_0=0</math> und die Parameterdarstellung schon in Scheitelform.
Die 4 Scheitel der Ellipse sind <math>\vec p(t_0),\vec p(t_0\pm\frac{\pi}{2}),\vec p(t_0+\pi).</math>
Die Scheitelform der Parameterdarstellung der Ellipse ist
Aus dem zweiten Satz von Apollonios folgt:
Der Flächeninhalt einer Ellipse <math>\;\vec x = \vec f_0 +\vec f_1 \cos t +\vec f_2 \sin t\; </math> ist
<math>A=\pi|\det(\vec f_1, \vec f_2)| \ .</math>
Für Beispiel 3 ist <math>\ A=\pi\;2\sqrt 3\ .</math>
Beispiele
<math>\vec f_0=\begin{pmatrix} 0 \\ 0 \end{pmatrix},\ \vec f_1=\begin{pmatrix} a \\ 0 \end{pmatrix},\ \vec f_2=\begin{pmatrix} 0 \\ b \end{pmatrix}</math> liefert die übliche Parameterdarstellung der Ellipse mit der Gleichung <math>\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 :\quad \vec x=\vec p(t)=\begin{pmatrix} a\cos t \\ b\sin t \end{pmatrix}</math>.Datei:Ellipsen-rot-skal.svgFolge von Ellipsen: rotiert und so skaliert, dass zwei aufeinanderfolgende Ellipsen sich berühren
<math>\vec f_0=\begin{pmatrix} x_0 \\ y_0 \end{pmatrix},\ \vec f_1=\begin{pmatrix} a\cos \varphi \\ a\sin \varphi\end{pmatrix},\ \vec f_2=\begin{pmatrix} -b\sin \varphi \\ b \cos \varphi\end{pmatrix}</math> liefert die Parameterdarstellung der Ellipse, die aus <math>\tfrac{x^2}{a^2} + \tfrac{y^2}{b^2} = 1</math> durch Drehung um den Winkel <math>\varphi</math> und anschließende Verschiebung um <math>\vec f_0</math> hervorgeht. Die Parameterdarstellung ist schon in Scheitelform. D. h., <math>\vec f_0\pm \vec f_1</math> und <math>\vec f_0\pm \vec f_2</math> sind die Scheitel der Ellipse.Datei:Ellipse-sf.svgTransformation auf Scheitelform (Beispiel 3)
Die Scheitel sind: <math>(1,-1),(-1,1),(\sqrt{3},\sqrt{3}),(-\sqrt{3},-\sqrt{3})</math> und
die Halbachsen: <math>a=\sqrt{2},\ b=\sqrt{6}.</math>
Implizite Darstellung
Löst man die Parameterdarstellung mit Hilfe der Cramerschen Regel nach <math>\; \cos t,\sin t\;</math> auf und verwendet <math>\;\cos^2t+\sin^2t -1=0\; </math>, erhält man die implizite Darstellung
Für Beispiel 3 ergibt sich: <math>\ x^2-xy+y^2-3=0\ .</math>
Dreht man die Ellipse mit der Gleichung <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1</math> um den Nullpunkt (Mittelpunkt), hat ihre Gleichung die Form
<math>x^2+2cxy+d^2y^2-e^2=0\ ,</math> wobei <math>d^2-c^2 >0 \; </math> ist.
Liegt umgekehrt die Gleichung einer gedrehten Ellipse vor und man möchte die Vorteile der hier beschriebenen Parameterdarstellung nutzen, bestimmt man die Ortsvektoren zweier konjugierter Punkte. Wählt man als ersten Punkt <math>(e,0)</math>, ergibt sich:
Sind die Vektoren <math>\vec f_0,\; \vec f_1,\; \vec f_2</math> aus dem <math>\R^3</math>, so erhält man eine Parameterdarstellung einer Ellipse im Raum.
Peripheriewinkelsatz und 3-Punkteform für Ellipsen
Ein Kreis mit der Gleichung <math>(x-c)^2+(y-d)^2=r^2,\ r> 0</math> ist durch drei Punkte <math>(x_1,y_1),\; (x_2,y_2),\; (x_3,y_3)</math> nicht auf einer Geraden eindeutig bestimmt. Eine einfache Methode, die Parameter <math>c,d,r</math> zu bestimmen, benutzt den Peripheriewinkelsatz für Kreise:
Vier Punkte <math>P_i=(x_i,y_i),\ i=1,2,3,4</math> (s. Bild) liegen genau dann auf einem Kreis, wenn die Winkel bei <math>P_3</math> und <math>P_4</math> gleich sind.
Üblicherweise misst man einen einbeschriebenen Winkel in Grad oder Radiant. Um die Gleichung eines Kreises durch 3 Punkte zu bestimmen, ist das folgende Winkelmaß geeigneter:
Um den Winkel zwischen zwei Geraden mit den Gleichungen <math>y=m_1x+d_1, \ y=m_2x + d_2, \ m_1\ne m_2</math> zu messen, wird hier der folgende Quotient benutzt:
<math>\frac{1+m_1\cdot m_2}{m_2-m_1}</math>
Dieser Quotient ist der Kotangens des Schnittwinkels der beiden Geraden.
Peripheriewinkelsatz für Kreise:
Für vier Punkte <math>P_i=(x_i,y_i),\ i=1,2,3,4</math>, keine drei auf einer Geraden (s. Bild), gilt:
Die vier Punkte liegen genau dann auf einem Kreis, wenn die Winkel bei <math>P_3</math> und <math>P_4</math> im obigen Winkelmaß gleich sind, d. h., wenn:
Das Winkelmaß ist zunächst nur für Sekanten, die nicht parallel zur <math>y</math>-Achse sind, verfügbar. Die angegebene vereinfachte Formel ist aber schließlich auch für diese Ausnahmen gültig.
Eine Folge des Peripheriewinkelsatzes in dieser Form ist:
3-Punkteform einer Kreisgleichung:
Die Gleichung des Kreises durch die 3 Punkte <math>P_i=(x_i,y_i)</math> nicht auf einer Geraden ergibt sich durch Umformung der Gleichung (Beseitigung der Nenner und quadratische Ergänzung):
für die der Quotient <math>\tfrac{a^2}{b^2}</math> fest (invariant) ist.
Mit der Abkürzung <math>{\color{blue}q} = \tfrac{a^2}{b^2}</math> erhält man die geeignetere Form
<math>(x-c)^2+{\color{blue}q}\; (y-d)^2=a^2,\quad c,d \in \R,\quad a> 0</math> und <math>q>0</math> fest.
Die Achsen solcher Ellipsen sind parallel zu den Koordinatenachsen und ihre Exzentrizität (s. oben) ist fest.
Die Hauptachse ist parallel zur <math>x</math>-Achse, falls <math>q>1</math> ist, und parallel zur <math>y</math>-Achse, falls <math>q<1</math> ist.
Um den Winkel zwischen zwei Geraden mit den Gleichungen <math>y=m_1x+d_1, \ y=m_2x + d_2, \ m_1\ne m_2</math> zu messen, wird hier der folgende Quotient benutzt:
Peripheriewinkelsatz für Ellipsen:
Für vier Punkte <math>P_i=(x_i,y_i),\ i=1,2,3,4</math> keine drei auf einer Geraden (s. Bild) gilt:
Die vier Punkte liegen genau dann auf einer Ellipse mit der Gleichung <math>(x-c)^2+q\; (y-d)^2=a^2</math>, wenn die Winkel bei <math>P_3</math> und <math>P_4</math> im obigen Winkelmaß gleich sind, d. h., wenn:
Das Winkelmaß ist zunächst nur für Sekanten, die nicht parallel zur <math>y</math>-Achse sind, verfügbar. Die angegebene vereinfachte Formel ist aber schließlich auch für diese Ausnahmen gültig.
Der Beweis ergibt sich durch einfaches Nachrechnen. Dabei kann man im Fall „Punkte auf einer Ellipse …“ annehmen, dass der Mittelpunkt der Ellipse der Ursprung ist.
Eine Folge des Peripheriewinkelsatzes in dieser Form ist:
3-Punkteform einer Ellipsengleichung:
Die Gleichung der Ellipse durch die 3 Punkte <math>P_i=(x_i,y_i)</math> nicht auf einer Geraden ergibt sich durch Umformung der Gleichung (Beseitigung der Nenner und quadratische Ergänzung):
Ellipsen treten in der darstellenden Geometrie als Bilder von Kreisen auf.
Es ist also wichtig, geeignete Werkzeuge zur Verfügung zu haben, mit denen man Ellipsen zeichnen kann. Es gibt im Wesentlichen drei Typen von Verfahren, mit denen Ellipsen gezeichnet werden:
einzelne Punkte, die man mit einem Kurvenlineal zu einer glatten Kurve verbindet,
stetige Konstruktionen, die man technisch als Ellipsenzirkel realisieren kann und
eine Approximation einer Ellipse mit Hilfe ihrer Scheitelkrümmungskreise und eines Kurvenlineals.
Den meisten Ellipsenzirkeln liegen die unten beschriebenen zwei Papierstreifenmethoden zugrunde. Diese waren schon den Griechen (Archimedes und Proklos) bekannt, wie man auch und vieles andere mehr in dem eigenständigen Artikel Ellipsograph des Archimedes nachlesen kann. Wenn kein Ellipsenzirkel zur Verfügung steht, ist die Approximation mit Hilfe der Scheitelkrümmungskreise die schnellste und beste Methode, eine Ellipse zu zeichnen.
Für jede hier beschriebene Methode ist die Kenntnis der beiden (Symmetrie-)Achsen und der Halbachsen <math>a,b</math> erforderlich.
Ist dies nicht der Fall, was in der darstellenden Geometrie oft vorkommt, so muss man wenigstens den Mittelpunkt und zwei konjugierte Halbmesser kennen. Mit Hilfe der Rytz-Konstruktion lassen sich dann die Scheitel und damit die Achsen und Halbachsen ermitteln. Nur die Parallelogramm-Methode (s. unten) bietet die Möglichkeit, zu zwei konjugierten Halbmessern direkt (ohne Rytz) einzelne Punkte einer Ellipse zu konstruieren.
Gärtnerkonstruktion
Die definierende Eigenschaft einer Ellipse – die Summe der Abstände zu zwei Punkten ist konstant – nutzt die Gärtnerkonstruktion als einfache Möglichkeit, eine Ellipse zu zeichnen. Hierzu benötigt man einen Faden der Länge <math>2a</math> und zwei Reißbrettstifte (oder Nägel, Stifte, …), um die beiden Enden des Fadens in den Brennpunkten der zu zeichnenden Ellipse zu befestigen. Führt man einen Stift mit Hilfe des gespannten Fadens (s. Bild) über die Zeichenfläche, so entsteht die durch die Länge des Fadens und die Lage der Brennpunkte definierte Ellipse. Diese einfache Methode gibt Gärtnern die Möglichkeit, ellipsenförmige Beete anzulegen, was der Methode den Namen gab.
Beim Abrollen eines Antiparallelogramms zeichnet der Schnittpunkt der beiden langen Stäbe eine Ellipse (blau im Bild). Die Enden des kurzen statischen Stabs definieren die Brennpunkte der Ellipse. Durch die symmetrische Geometrie ergibt sich theoretisch auch um den kurzen umlaufenden Stab eine Ellipse (im Bild grün). Diese Konstruktionsvariante ist mit der Gärtnerkonstruktion verwandt. Betrachtet man nur den Anteil innerhalb der statischen Ellipse und ersetzt die beiden inneren Teilstücke der Stäbe mit einer Schnur, ergibt sich die äquivalente Gärtnerkonstruktion. Die Mechanik des bewegten Antiparallelogramms ist ein Koppelgetriebe. Die innere Ellipse entspricht der Rastpolbahn, die äußere Ellipse ist die Gangpolbahn des umlaufenden kurzen Stabs.
Im Jahr 1657 veröffentlichte Frans van Schooten in seinem Werk EXERCITATIONUM MATHEMATICARUM LIBRI QUINQUE<ref>Frans van Schooten: EXERCITATIONUM MATHEMATICARUM LIBRI QUINQUE. Lugdunum Batavorum [= Leiden]: Johannes Elsevirius, 1656–1657, Inhaltsübersicht, S. 7 Online-Kopie (Google).</ref> in LIBER IV<ref>Frans van Schooten: EXERCITATIONUM MATHEMATICARUM, LIBER IV. SIVE DE ORGANICA CONICARUM SECTIONUM IN PLANO DESCRIPTIONE, … Titelseite, S. 293 Online-Kopie (Google).</ref> die Methode Gärtnerkonstruktion<ref>Frans van Schooten: EXERCITATIONUM MATHEMATICARUM LIBER IV … Gärtnerkonstruktion, S. 325–326 Online-Kopie (Google).</ref> und ein paar Seiten weiter einen Ellipsenzirkel.<ref>Frans van Schooten: EXERCITATIONUM MATHEMATICARUM LIBER IV … Ellipsenzirkel, S. 341–343 Online-Kopie (Google).</ref> Basis für den Ellipsenzirkel ist die Gärtnerkonstruktion.
Anzumerken ist: In der nebenstehenden originären Darstellung Ellipsenzirkel des Frans van Schooten kann die Ellipsenlinie nicht durch den Scheitelpunkt <math>K</math> gezogen werden, sondern nur, z. B. im Uhrzeigersinn, bis die Führungsschiene <math>|GH|</math> an der Zirkelnadel im Punkt <math>I</math> der Raute anliegt. Damit der Ellipsenzirkel eine komplette Ellipsenlinie zeichnen kann (auch durch die Scheitelpunkte <math>L</math> und <math>K</math>), ist es erforderlich, dass zumindest einmal die Einstechposition der Zirkelnadeln <math>H</math> und <math>I</math> in den Brennpunkten der Ellipse getauscht wird.
Die Hauptelemente des rautenförmigen Ellipsenzirkels sind die fünf gleich langen Stäbe mit ihren Gelenkpunkt-Abständen <math>|OI|</math>, <math>|IP|</math>, <math>|PG|</math>, <math>|GO|</math> und <math>|GH|</math> als Führungsschiene sowie der deutlich längere Diagonalstab ab <math>O</math> durch <math>P</math> mit dem Klemmelement <math>Q</math> für den Spielausgleich. Die Führungsschiene mit dem Gelenkpunkt-Abstand <math>|GH|</math> und der Diagonalstab überkreuzen sich im Punkt <math>E</math> und sind über Führungsnuten mithilfe eines sogenannten Gleitsteins dreh- und schiebbar verbunden. In diesem Gleitstein ist auch der Zeichenstift und ggf. der Handgriff montiert. Der zweite Gleitstein befindet sich im Gelenkpunkt <math>P</math>. In den Gelenkpunkten <math>H</math> und <math>I</math> des Ellipsenzirkels sind die Zirkelnadeln befestigt.
Die Länge z. B. des Stabes <math>|IO|</math> ist gleich der Länge der Hauptachse <math>|KL|</math>. Der Abstand der Gelenkpunkte <math>H</math> und <math>I</math> bestimmt die Länge der Nebenachse. Je kleiner dieser Abstand ist, umso mehr ähnelt die Ellipse einem Kreis.
Betrachtet man eine Hälfte der Raute <math>OIPG</math>, d. h. das gleichschenklige Dreieck <math>IGO</math>, so ist der Diagonalstab ab <math>O</math> durch <math>P</math> als Mittelsenkrechte <math>M_S</math> des Gelenkpunkt-Abstandes <math>|GI|</math> erkennbar, die den Stab mit Gelenkpunkt-Abstand <math>|GH|</math> in <math>E</math> schneidet. Dadurch entsteht das zweite gleichschenklige Dreieck <math>EIG</math> mit den Schenkeln <math>|EG|</math> und <math>|EI|</math>. Wird nun der Ellipsenzirkel von Hand bewegt, durchläuft der Punkt <math>G</math> den Kreis <math>k_1</math> um den Punkt <math>H</math> mit dem Radius <math>|GH|</math> (gleich <math>|KL|</math>), dabei wirkt der Diagonalstab mit seinem Gelenkpunkt-Abstand <math>|OP|</math> konstant als Mittelsenkrechte der sich kontinuierlich verändernden gleichschenkligen Dreiecke <math>IGO</math> und <math>EIG</math>. Daraus folgt: In jeder gedrehten Stellung des Ellipsenzirkels gilt
<math>|GH| = |EH| + |EG| = |EH| + |EI|.</math>
Werden in die weiter oben beschriebene Definition einer Ellipse als geometrischer Ort die Bezeichnungen der betreffenden Punkte, u. a. die Brennpunkte <math>H</math> und <math>I</math>, aus der Darstellung des Ellipsenzirkels eingesetzt, ergibt sich
Damit wird aufgezeigt: Die mit dem rautenförmigen Ellipsenzirkel gezogenen Kurven sind Ellipsen.
Um eine Ellipse zu zeichnen, sticht man zuerst zur Lagefixierung des Ellipsenzirkels die Zirkelnadeln der Gelenkpunkte <math>H</math> und <math>I</math> in die Brennpunkte der Ellipse und zieht anschließend mithilfe des Handgriffs oder ggf. nur mit dem Zeichenstift die Ellipsenlinie.
Parameterdarstellung mit Sinus und Kosinus
Die übliche Parameterdarstellung einer Ellipse verwendet die Sinus- und Kosinusfunktion. Wegen <math>\cos^2 t +\sin^2 t =1</math> beschreibt
<math>(a \cos t, b \sin t),\ 0\le t<2\pi</math>
die Ellipse <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}= 1\ .</math>
Mit Hilfe dieser Darstellung lassen sich die folgenden Ellipsenkonstruktionen leicht verstehen.
Punktkonstruktion nach de La Hire
Die nach Philippe de La Hire (1640–1718) benannte Punktkonstruktion benutzt die beiden Scheitelkreise,<ref>Karl Strubecker: Vorlesungen über darstellende Geometrie. Vandenhoeck & Ruprecht, Göttingen, 1967, S. 25–26 (Online-Kopie)</ref> das sind die Kreise um den Mittelpunkt der Ellipse mit den Halbachsen <math>a,\; b</math> als Radien. Der Parameter <math>t</math> wird hier als der Steigungswinkel eines von <math>M</math> ausgehenden Strahls interpretiert. Mit der in der Zeichnung angegebenen Methode wird ein Punkt mit den Koordinaten <math>(a \cos t, b \sin t)</math>, also ein Ellipsenpunkt, konstruiert. Dieses Konstruktionsverfahren war allerdings auch schon in der Spätantike bekannt und ging damals auf Proklos Diadochos (412–485) zurück.<ref>{{#invoke:Vorlage:Literatur|f}} zitiert nach {{#invoke:Vorlage:Literatur|f}}</ref>
Die beiden Papierstreifenmethoden verwenden zwei weitere Möglichkeiten der geometrischen Interpretation des Parameters <math>t</math> der obigen Parameterdarstellung einer Ellipse. Sie liefern die Grundlagen der meisten Ellipsenzirkel.
1. Methode
Die erste Methode verwendet einen Papierstreifen der Länge <math>a+b</math>. Der Punkt, in dem sich die Halbachsen treffen, wird mit <math>P</math> markiert. Wenn der Streifen nun so bewegt wird, dass die beiden Enden jeweils auf einer Achse gleiten, überstreicht der Punkt <math>P</math> die zu zeichnende Ellipse. Der Beweis ergibt sich aus der Parameterdarstellung <math>(a\cos t,\;b\sin t)</math> und der Interpretation des Parameters als Winkel des Papierstreifens mit der <math>x</math>-Achse (s. Bild).
Eine weitere technische Realisierung des gleitenden Streifens kann man auch mit Hilfe eines Paares cardanischer Kreise erreichen (s. Animation). Der große Kreis hat den Radius <math>a+b</math>.
Eine Variation der 1. Papierstreifenmethode<ref>J. van Mannen: Seventeenth century instruments for drawing conic sections. In: The Mathematical Gazette. Vol. 76, 1992, S. 222–230.</ref> geht von der Beobachtung aus, dass der Mittelpunkt <math>N</math> des Papierstreifens sich auf dem Kreis mit Mittelpunkt <math>M</math> und Radius <math>\tfrac{a+b}{2}</math> bewegt. Man kann also den Papierstreifen in der Mitte (Punkt <math>N</math>) trennen und an dieser Stelle ein Gelenk einfügen und den zuvor auf der <math>y</math>-Achse gleitenden Punkt in den Mittelpunkt der Ellipse verlegen. Nach dieser Operation bleibt das abgeknickte Ende des Papierstreifens fest (im Punkt <math>M</math>) und der unveränderte Teil des Streifens samt dem Punkt <math>P</math> bewegt sich wie zuvor. Der Vorteil dieser Variation ist: Man benötigt nur einen technisch anspruchsvollen Gleitschuh. Auch gegenüber der cardanischen Realisierung der 1. Papierstreifenmethode ist diese Variation technisch einfacher.
Man beachte, dass immer dasjenige Ende des Streifens, das auf der Nebenachse gleitet, in den Mittelpunkt verlegt wird!
Die zweite Papierstreifenmethode geht von einem Papierstreifen der Länge <math>a</math> aus. Man markiert den Punkt, der den Streifen in zwei Teile der Längen <math>b</math> und <math>a-b</math> zerlegt. Der Streifen wird so auf den Achsen positioniert, wie im Bild zu sehen ist. Der Teil, der die Länge <math>a-b</math> besitzt, liegt zwischen den Achsen. Das freie Ende <math>P</math> beschreibt dann die zu zeichnende Ellipse. Der Beweis ergibt sich aus der Zeichnung: Der Punkt <math>P</math> kann durch die Parameterdarstellung <math>(a\cos t,\;b\sin t)</math> beschrieben werden. Dabei ist <math>t</math> der Steigungswinkel des Papierstreifens.
Diese Methode benötigt zu ihrer technischen Realisierung auch zwei Gleitschuhe, ist aber flexibler als die erste Papierstreifenmethode. Sie ist die Grundlage für viele Ellipsenzirkel (s. Weblink Ellipsenzirkel).
Bemerkung: Auch hier ist eine Variation durch Abknicken des Streifenteils zwischen den Achsen möglich. Es ist dann, wie bei der ersten Methode, nur ein Gleitschuh nötig.
Datei:Ellipse-skm.svgApproximation einer Ellipse mit Hilfe der Scheitelkrümmungskreise
Approximation mit Scheitelkrümmungskreisen
Aus der Formelsammlung (s. unten) ergibt sich:
Der Krümmungsradius für die Hauptscheitel <math>S_1,\; S_2</math> ist <math>\tfrac{b^2}{a}\ ,</math>
der Krümmungsradius für die Nebenscheitel <math>S_3,\; S_4</math> ist <math>\tfrac{a^2}{b}\ .</math>
Die Zeichnung zeigt eine einfache Methode, die Krümmungsmittelpunkte <math>M_1=(a-\tfrac{b^2}{a},0),\; M_3=(0,b-\tfrac{a^2}{b})</math> des Scheitels <math>S_1</math> und des Nebenscheitels <math>S_3</math> zeichnerisch zu bestimmen:
Markiere den Hilfspunkt <math>H=(a,b)</math> und zeichne die Gerade <math>S_1S_3</math>.
Zeichne die Gerade durch <math>H</math>, die senkrecht zur Geraden <math>S_1S_3</math> verläuft.
Die Schnittpunkte <math>M_1,\; M_3</math> dieser Geraden mit den Ellipsenachsen sind die gesuchten Krümmungsmittelpunkte (Beweis: einfache Rechnung).
Die Krümmungsmittelpunkte der restlichen Scheitel ergeben sich aus Symmetrie. Man zeichnet die beiden restlichen Scheitelkrümmungskreise. Mit Hilfe eines Kurvenlineals lässt sich dann eine gute Näherung der Ellipse zeichnen.
Steiner-Erzeugung einer Ellipse (Parallelogramm-Methode)
Hat man für zwei Geradenbüschel in zwei Punkten <math>S_1,\; S_2</math> (alle Geraden durch den Punkt <math>S_1</math> bzw. <math>S_2</math>) eine projektive, aber nicht perspektive Abbildung <math>\pi</math> des einen Büschels auf das andere, so bilden die Schnittpunkte zugeordneter Geraden einen nichtausgearteten Kegelschnitt.<ref name="hartmann">Erich Hartmann: Projektive Geometrie. (PDF; 180 kB). Kurzskript, TU Darmstadt, S. 12–16.</ref><ref name="books-jCgPAAAAQAAJ-">Jacob Steiner’s Vorlesungen über synthetische Geometrie. B. G. Teubner, Leipzig 1867. 2. Teil, S. 96. ({{#if: jCgPAAAAQAAJ
| {{#if: {{#if: ||1}} {{#if: jCgPAAAAQAAJ ||1}}
| <0|&pg={{#if:|RA{{{Band}}}-}}PAPA96|&pg=PA96}}{{#if:|&q=}}#v=onepage|{{#if:|&pg=|}}{{#if:|&q=}}}}{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}|{{#if:|q=%7B%7B%7BSuchbegriff%7D%7D%7D}}}} {{#if:|{{#invoke:WLink|getEscapedTitle|{{{Linktext}}}}}|eingeschränkte Vorschau}}{{#if:|| in der Google-Buchsuche}}{{#ifeq:|US|-USA}}{{#if: jCgPAAAAQAAJ |{{#invoke: Vorlage:GoogleBook|fine |id=jCgPAAAAQAAJ |errN=Parameter „BuchID“ hat falsche Länge |errC=Parameter „BuchID“ enthält ungültige Zeichen |errH=# in der „BuchID“ |errP=Parameterzuweisungen in der „BuchID“ |class=editoronly |cat={{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}} |template= Vorlage:Google Buch}}
}}
| Es darf nur genau einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}
| Es muss mindestens einer der beiden Parameter „Suchbegriff“ oder „BuchID“ ausgefüllt werden. Bitte beachte die in der Vorlage:Google Buch befindliche Dokumentation und prüfe die verwendeten Parameter.{{#ifeq: 0 | 0 | }}}}{{#invoke:TemplatePar|check
|all=
|opt= Suchbegriff= BuchID= Seite= Band= SeitenID= Hervorhebung= Linktext= Land= KeinText=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Google Buch}}
|template= Vorlage:Google Buch
|format= @@@
}}{{#if:|{{#if:{{#invoke:WLink|isBracketedLink|{{{Linktext}}}}}| Linktext ungültig}}}}).</ref>
Für die Erzeugung einzelner Punkte der Ellipse <math>\tfrac{x^2}{a^2}+\tfrac{y^2}{b^2}=1</math> gehen wir von den Geradenbüscheln in den Scheiteln <math>S_1,\; S_2</math> aus. Sei nun <math>P=(0,b)</math> der obere Nebenscheitel der Ellipse und <math>A=(-a,2b), B=(a,2b)</math>. Dann ist <math>P</math> der Mittelpunkt des Rechtecks <math>S_1,\; S_2,\; B,\; A</math>. Wir unterteilen die Rechteckseite <math>\overline{AB}</math> in <math>n</math> gleiche Stücke, übertragen diese Unterteilung mittels einer Parallelprojektion in Richtung der Diagonalen <math>AS_2</math> auf die Strecke <math>\overline{S_2B}</math> (s. Bild) und nummerieren die Unterteilungen wie im Bild. Die benutzte Parallelprojektion zusammen mit der Umkehrung der Orientierung vermittelt die nötige projektive Abbildung der Büschel in <math>S_1</math> und <math>S_2</math>. Die Schnittpunkte der zugeordneten Geraden <math>S_1B_i</math> und <math>S_2A_i</math> liegen dann auf der durch die Vorgaben (3 Punkte, 2 Tangenten) eindeutig bestimmten Ellipse. Mit Hilfe der Punkte <math>C_1, \dotsc</math> lassen sich Punkte auf dem 2. Viertel der Ellipse bestimmen. Analog erhält man Punkte der unteren Hälfte der Ellipse.
Bemerkung:
a) Benutzt man statt der Scheitel zwei Punkte eines anderen Durchmessers, so muss man für <math>P</math> einen Punkt des konjugierten Durchmessers wählen und arbeitet dann mit einem Parallelogramm statt eines Rechtecks. Daher rührt auch der manchmal gebräuchliche Name Parallelogramm-Methode.
b) Den Beweis dieser Methode kann man auch am Einheitskreis nachrechnen. Da Teilverhältnisse und Parallelität bei affinen Abbildungen invariant bleiben, ist der Beweis dann auch allgemeingültig. (Eine Ellipse ist ein affines Bild des Einheitskreises!)
Besonders in der Computergrafik lohnt sich die Ableitung einer Ellipse aus einer Kreisform. Eine achsenparallele Ellipse ist dabei einfach ein Kreis, der in einer der Koordinatenrichtungen gestaucht oder gedehnt, mit anderen Worten: anders skaliert wurde. Eine allgemeine, in beliebigem Winkel gedrehte Ellipse kann man aus so einer achsenparallelen Ellipse durch Scherung erhalten, s. a. Bresenham-Algorithmus. Die Punkte werden also numerisch berechnet und gezeichnet.
Beispiele
Schaut man schräg auf einen Kreis (beispielsweise auf die Deckfläche eines Kreiszylinders), so erscheint dieser Kreis als Ellipse, präziser: Eine Parallelprojektion bildet Kreise im Allgemeinen auf Ellipsen ab.
Dabei bezeichnet <math>t</math> den Parameter dieser Darstellung. Dieser entspricht nicht dem Polarwinkel <math>\varphi</math> zwischen der <math>x</math>-Achse und der Geraden, die durch den Ursprung und den jeweiligen Ellipsenpunkt führt, sondern z. B. dem Polarwinkel zwischen der <math>x</math>-Achse und der Geraden, die durch den Ursprung und den affinen Punkt <math>A</math> des Ellipsenpunktes <math>P</math> auf dem Umkreis der Ellipse führt (vgl. nebenstehende Abbildung zur Konstruktion nach Proklos Diadochos / Philippe de la Hire).
<math>y'=\frac{a}{b}y=x\frac{a}{b}\tan\varphi=x\tan t=a\sin t\quad\Longrightarrow\quad\begin{pmatrix}x\\ y' \end{pmatrix}=a\begin{pmatrix}\cos t\\ \sin t \end{pmatrix}</math>
Für nicht rotierte Ellipsen, also <math>\alpha=0</math>, hängt der Polarwinkel <math>\varphi</math>, der durch <math>\tan\varphi=y/x</math> definiert ist, mit dem Parameter <math>t</math> zusammen über:
Datei:Ellipse Angles Relation.svgExzentrische Anomalie <math>t</math> und wahre Anomalie <math>\varphi {\mathrm{R}}</math> bzgl. des rechten Brennpunkts sowie wahre Anomalie <math>\varphi {\mathrm{L}}</math> bzgl. des linken Brennpunkts als Funktion des Polarwinkels <math>\varphi</math> für verschiedene numerische Exzentrizitäten <math>\varepsilon</math>
In kartesischen Koordinaten ausgedrückt, parametrisiert durch den Winkel der Polarkoordinaten, wobei der Mittelpunkt der Ellipse bei <math>(0|0)</math> und ihre Hauptachse entlang der <math>x</math>-Achse liegt:
Aus der Ellipsengleichung in kartesischen Koordinaten <math>(x/a)^2+(y/b)^2=1</math> und der Parametrisierung der kartesischen in Polarkoordinaten <math>x=r\cos\varphi</math> und <math>y=r\sin\varphi</math> folgt:
Der Wertebereich der Radien erstreckt sich von der Periapsisdistanz <math>r_{\mathrm{peri}}</math> bis zur Apoapsisdistanz <math>r_{\mathrm{apo}}</math>, die folgende Werte haben:
In kartesischen Koordinaten ausgedrückt, parametrisiert durch den Winkel <math>\varphi_{\mathrm R}</math> bzw. <math>\varphi_{\mathrm L}</math> der Polarkoordinaten, wobei der rechte Brennpunkt der Ellipse bei <math>(e|0)</math>, der linke Brennpunkt bei <math>(-e|0)</math> liegt:
Der Winkel <math>\varphi_{\mathrm{R}}</math> bzw. <math>\varphi_{\mathrm{L}}</math>, je nachdem, welcher Pol Bezugspunkt ist, heißt in der Astronomie die wahre Anomalie.
Herleitung
Man betrachtet ein Dreieck, das von den beiden Fixpunkten <math>F_{\mathrm L}</math>, <math>F_{\mathrm R}</math> und einem beliebigen Punkt <math>P</math> auf der Ellipse aufgespannt wird.
Die Abstände zwischen diesen Punkten betragen: <math>\overline{F_{\mathrm L} F_{\mathrm R}}=2e</math> sowie <math>\overline{F_{\mathrm L} P}=r_{\mathrm L}</math> und nach der Definition der Ellipse <math>\overline{F_{\mathrm R} P}=2a-r_{\mathrm L}</math>. Der Winkel bei <math>F_{\mathrm L}</math> sei <math>\varphi_{\mathrm L}=\angle F_{\mathrm R}F_{\mathrm L}P</math>. Mit dem Kosinussatz gilt nun:
Analog verläuft die Herleitung für den rechten Pol. Die Abstände lauten <math>\overline{F_{\mathrm L} F_{\mathrm R}}=2e</math> und <math>\overline{F_{\mathrm R} P}=r_{\mathrm R}</math> und <math>\overline{F_{\mathrm L} P}=2a-r_{\mathrm R}</math>. Der Winkel bei <math>F_{\mathrm R}</math> sei <math>\pi-\varphi_{\mathrm R}=\angle PF_{\mathrm R}F_{\mathrm L}</math>, da <math>\varphi_{\mathrm R}= \angle (S_{\mathrm R},F_{\mathrm R},P)</math> definiert ist, wobei <math>S_{\mathrm R}</math> den rechten Hauptscheitel markiert.
Ein (unnormierter) Tangentenvektor an die Ellipse hat die Gestalt:
<math>\vec{T}=\frac{\mathrm{d}}{\mathrm{d}t}\begin{pmatrix}a\cos t\\ b\sin t \end{pmatrix}=\begin{pmatrix}-a\sin t\\ b\cos t \end{pmatrix}=\begin{pmatrix}-ay/b\\ bx/a \end{pmatrix}</math>
Die Tangentengleichung lautet in vektorieller Darstellung mit Mittelpunkt bei <math>(0|0)</math>, Hauptachse als <math>x</math>-Achse und Berührpunkt bei <math>(x_B|y_B)</math>:
<math>\begin{pmatrix}x\\ y \end{pmatrix}=\begin{pmatrix}x_{B}\\ y_{B} \end{pmatrix}+\mu\begin{pmatrix}-ay_{B}/b\\ bx_{B}/a \end{pmatrix}\quad\text{mit}\quad\mu\in\mathbb{R}</math>
Zwischen Polarwinkel <math>\varphi</math> und Normalenwinkel <math>\beta</math> und Ellipsenparameter <math>t</math> besteht folgender Zusammenhang (siehe nebenstehende Grafik)
Der Zusammenhang des Polarwinkels <math>\varphi</math> und dem Steigungswinkel der Normalen <math>\beta</math> (siehe Grafik rechts) lässt sich z. B. so finden:
Auflösen der Tangentengleichung nach <math>y</math>
Ein (unnormierter) Normalenvektor an die Ellipse hat die Gestalt:
<math>\vec{N}=\begin{pmatrix}b\cos t\\ a\sin t \end{pmatrix}=\begin{pmatrix}bx/a\\ ay/b \end{pmatrix}</math>
Die Normalengleichung lautet in vektorieller Darstellung mit Mittelpunkt bei <math>(0|0)</math>, Hauptachse als <math>x</math>-Achse und Berührpunkt bei <math>(x_B|y_B)</math>:
<math>\begin{pmatrix}x\\ y \end{pmatrix}=\begin{pmatrix}x_{B}\\ y_{B} \end{pmatrix}+\mu\begin{pmatrix}bx_{B}/a\\ ay_{B}/b \end{pmatrix}\quad\text{mit}\quad\mu\in\mathbb{R}</math>
Für eine Ellipse mit den Halbachsen <math>a</math> und <math>b</math> und einen Sektor, der mit der großen Halbachse den Winkel <math>\varphi \in \left]0, \frac{\pi}{2} \right[</math> einschließt, gilt:
Beschreibt man den Ellipsensektor statt durch den Polarwinkel durch den Parameter <math>t</math> aus der Parameterdarstellung <math>(x,y) = (a \cos t, b \sin t)</math>, so erhält man die Formel
Datei:Ellipsenumfang.svgDiagramm zur Berechnung des Ellipsenumfangs <math>U = k \cdot a</math> mit <math>k = 4 E(\varepsilon)</math>
Man beachte, dass bei der numerischen Berechnung elliptischer Integrale mittels Funktionsbibliotheken verschiedene Parameterkonventionen Verwendung finden.
Der Umfang <math>U</math> einer Ellipse kann nicht exakt durch elementare Funktionen ausgedrückt werden. Er kann aber mithilfe eines Integrals dargestellt werden, das daher elliptisches Integral genannt wird.
Die Formel für die Bogenlänge <math>L</math> einer Kurve <math>\mathcal C</math> lautet
Für die Ellipse mit der Parameterdarstellung <math>\;(a\cos t,b\sin t),\; 0\le t \;<2\pi,\;</math> ergibt sich unter Berücksichtigung der Symmetrie für den Umfang <math>U</math>
Durch die Substitution <math>\vartheta = \frac{\pi}{2} - t,\;\mathrm dt = -\mathrm d\vartheta</math> erhalten wir die folgende Form:<ref>Das Minuszeichen wird durch die Substitution der Integrationsgrenzen eliminiert.</ref>
Der Umfang <math>U</math> hängt also von der numerischen Exzentrizität <math>\varepsilon</math> und der großen Halbachse <math>a</math> ab. Mithilfe des nebenstehenden Diagramms kann bei gegebener Exzentrizität <math>\varepsilon</math> der Wert des Faktors <math>k = 4 E(\varepsilon)</math> für den Umfang <math>U = k \cdot a</math> abgelesen werden. <math>k</math> liegt für jede Ellipse zwischen den Extremfällen <math>k = 4</math> (<math>\varepsilon = 1</math>, entartete Ellipse als Linie) und <math>k = 2\pi</math> (<math>\varepsilon = 0</math>, Ellipse wird zum Kreis).
}}}}{{#invoke:TemplatePar|check
|all= url= titel=
|opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline=
|cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}}
|template= Vorlage:Internetquelle
|format=0
|preview=1
}}</ref> für den Umfang, die sowohl für den Fall a > b als auch für den Fall a < b reell ist:
Das Integral K nennt man vollständiges elliptisches Integral erster Art.
Reihenentwicklung
<math>\begin{align}
U &= 4a E(\varepsilon) =\\ &= 2 a \pi \left( 1 - \sum_{i=1}^\infty \left( \prod_{j=1}^i \frac{2j-1}{2j} \right)^2 \frac{\varepsilon^{2i}}{2i-1} \right) =\\
& = 2a \pi \left[1 - \left(\frac 12\right)^2 \varepsilon^2 - \left(\frac{1 \cdot 3}{2 \cdot 4}\right)^2 \frac{\varepsilon^4}3 - \ldots - \left(\frac{1 \cdot 3 \cdot 5 \dotsm (2n-1)}{2 \cdot 4 \cdot 6 \dotsm 2n}\right)^2 \frac{\varepsilon^{2n}}{2n-1} - \ldots \right]
\end{align}</math>
Die numerische Exzentrizität <math>\varepsilon</math> ist gleich dem elliptischen Modul vom vollständigen Elliptischen Integral zweiter Art!
Für <math>\varepsilon</math> nahe 1 konvergiert diese Reihenentwicklung extrem langsam. Es empfiehlt sich daher eine numerische Integration, z. B. nach dem Romberg-Verfahren.
Eine Reihe, die schneller konvergiert, beruht auf der Gauß-Kummer-Reihe.<ref>Eine von der hier aufgeführten Formel abweichende Form (die natürlich die gleichen Werte erzeugt) ist auf math.wolfram.com angeführt.</ref> Für eine Ellipse mit den Halbachsen <math>a</math> und <math>b</math> (mit <math>a>b</math>) wird der Landensche Tochtermodul von der numerischen Exzentrizität <math>\varepsilon</math>, also der Modul <math>\lambda := \tfrac{a-b}{a+b} = (1 - \sqrt{1 - \varepsilon^2})(1 + \sqrt{1 - \varepsilon^2})^{-1}</math> definiert. Dann ergibt sich:<ref>Gérard P. Michon: Perimeter of an Ellipse. Abschnitt Very Precise Fast Computations. Auf: numericana.com. Abgerufen am 26. Juli 2015.</ref>
<math>\begin{align}
U &= \pi (a + b) \sum_{n = 0}^\infty \binom{\frac{1}{2}}{n}^2 \lambda^{2 n}\\
Diese Näherung ist in einem weiten <math>\varepsilon</math>-Bereich von <math>0 \leq \varepsilon \leq 0{,}9</math> sehr genau und ergibt im ganzen Bereich stets einen etwas zu kleinen Wert, der monoton mit <math>\varepsilon</math> zunimmt.
Der relative Fehler beträgt:
Bereich
rel. Fehler
0,0000 ≤ ε ≤ 0,8820
< 10−9
0,8820 < ε ≤ 0,9242
< 10−8
0,9242 < ε ≤ 0,9577
< 10−7
0,9577 < ε ≤ 0,9812
< 10−6
0,9812 < ε ≤ 0,9944
< 10−5
0,9944 < ε ≤ 0,9995
< 10−4
0,9995 < ε ≤ 1,0000
< 0,000403
Für <math>\varepsilon=\lambda=1</math> erhält man statt 4 den nur geringfügig zu kleinen Wert <math>\tfrac {14}{11} \pi = 3,99839\dots</math>
{{#switch: Vorlage:Str match |[|] = ERROR |(Direkteingabe der Klammern)}}
{{#switch: Vorlage:Str match |91|93 = ERROR |(HTML-Entität dezimal)}}
{{#switch: Vorlage:Str match |5b|5d = ERROR |(HTML-Entität hexadezimal)}}
{{#switch: Vorlage:Str match |lbrack|rbrack = ERROR |(benannte HTML-Entität)}}
=Vorlage:FN, Fehler in Parameter 1: Keine eckigen Klammern verwenden, das führt sonst zu Verwechslungen mit dem offiziellen MediaWiki-Belegsystem.
}}}}
U+2B2F
⬯
white vertical ellipse | Vorlage:Kapitälchen – Text fehlt}} (Hohle vertikale Ellipse)
{{#switch: Vorlage:Str match |[|] = ERROR |(Direkteingabe der Klammern)}}
{{#switch: Vorlage:Str match |91|93 = ERROR |(HTML-Entität dezimal)}}
{{#switch: Vorlage:Str match |5b|5d = ERROR |(HTML-Entität hexadezimal)}}
{{#switch: Vorlage:Str match |lbrack|rbrack = ERROR |(benannte HTML-Entität)}}
=Vorlage:FN, Fehler in Parameter 1: Keine eckigen Klammern verwenden, das führt sonst zu Verwechslungen mit dem offiziellen MediaWiki-Belegsystem.
}}}}
}}<{{#if: |span|div}} class="fussnoten-inhalt references {{#if: ||{{#if: {{#invoke:TemplUtl|faculty|}}|fussnoten-floatfix}} }}">{{#invoke:TemplUtl|nowiki1|Anm.}}{{#if: | | }}{{#ifeq: Durch Rotation der horizontalen Variante mit Hilfe des Paketes rotating, das bei den üblichen LaTeX-Distributionen vorinstalliert ist.|-||<{{#if: |span|div}} class="reference-text">Durch Rotation der horizontalen Variante mit Hilfe des Paketes rotating, das bei den üblichen LaTeX-Distributionen vorinstalliert ist.</{{#if: |span|div}}>}}</{{#if: |span|div></div}}>{{#switch:0|10|11=|#default={{#invoke:TemplatePar|match
|{{#switch: Vorlage:Str match |[|] = ERROR |(Direkteingabe der Klammern)}}
|{{#switch: Vorlage:Str match |91|93 = ERROR |(HTML-Entität dezimal)}}
|{{#switch: Vorlage:Str match |5b|5d = ERROR |(HTML-Entität hexadezimal)}}
|{{#switch: Vorlage:Str match |lbrack|rbrack = ERROR |(benannte HTML-Entität)}}
=Vorlage:FNZ, Fehler in Parameter 1: Keine eckigen Klammern verwenden, das führt sonst zu Verwechslungen mit dem offiziellen MediaWiki-Belegsystem.
}}}} |
|Vorlage:FNBox, Parameter 1 leer oder nicht korrekt angegeben.
}}}}
<templatestyles src="FN/styles.css" />{{#if: ||
}}<{{#if: |span|div}} class="fussnoten-inhalt references {{#if: ||{{#if: {{#invoke:TemplUtl|faculty|}}|fussnoten-floatfix}} }}">{{#invoke:TemplUtl|nowiki1|Anm.}}{{#if: | | }}{{#ifeq: Durch Rotation der horizontalen Variante mit Hilfe des Paketes rotating, das bei den üblichen LaTeX-Distributionen vorinstalliert ist.|-||<{{#if: |span|div}} class="reference-text">Durch Rotation der horizontalen Variante mit Hilfe des Paketes rotating, das bei den üblichen LaTeX-Distributionen vorinstalliert ist.</{{#if: |span|div}}>}}</{{#if: |span|div></div}}>{{#switch:0|10|11=|#default={{#invoke:TemplatePar|match
|{{#switch: Vorlage:Str match |[|] = ERROR |(Direkteingabe der Klammern)}}
|{{#switch: Vorlage:Str match |91|93 = ERROR |(HTML-Entität dezimal)}}
|{{#switch: Vorlage:Str match |5b|5d = ERROR |(HTML-Entität hexadezimal)}}
|{{#switch: Vorlage:Str match |lbrack|rbrack = ERROR |(benannte HTML-Entität)}}
=Vorlage:FNZ, Fehler in Parameter 1: Keine eckigen Klammern verwenden, das führt sonst zu Verwechslungen mit dem offiziellen MediaWiki-Belegsystem.
}}}}
LaTeX kennt außerdem noch eine hohle horizontale Ellipse mit Schatten rechts: \EllipseShadow.<ref name="LSym" />
|X|x=
|0|-=
|S|s= – Sammlung von Bildern
|1|= – Sammlung von Bildern{{#if:
| {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
|1/= und Videos
|1/1=, Videos und Audiodateien
|/1= und Audiodateien}}
| , Videos und Audiodateien
}}
Achim Ilchmann: Die Ellipse im protestantischen Kirchenbau: Die Kirche „Zur Gotteshilfe“ in Waltershausen. In: Insitu 2024/2, S. 241–247.
Cornelie Leopold: Geometrische Grundlagen der Architekturdarstellung. Verlag W. Kohlhammer, Stuttgart 2005, ISBN 3-17-018489-X, S. 55–66.
Peter Proff: Die Deutung der Begriffe „Ellipse“, „Parabel“ und „Hyperbel“ nach Apollonios v. Perge. In: „Gelêrter der arzeniê, ouch apotêker“. Beiträge zur Wissenschaftsgeschichte. Festschrift zum 70. Geburtstag von Willem F. Daems. Hrsg. von Gundolf Keil, Horst Wellm Verlag, Pattensen/Hannover 1982 (= Würzburger medizinhistorische Forschungen, 24), ISBN 3-921456-35-5, S. 17–34.
