Steiner-Inellipse

In der Geometrie ist die Steiner-Inellipse^[1] eines Dreiecks die eindeutig bestimmte Ellipse, die einem Dreieck einbeschrieben ist und die Seiten dieses Dreiecks in ihren Mittelpunkten berührt. Die Steiner-Inellipse ist ein Beispiel für eine Inellipse. Auch der Inkreis und die Mandart-Inellipse sind Inellipsen; sie berühren die Dreiecksseiten aber im Allgemeinen nicht in den Mittelpunkten – außer wenn es sich um ein gleichseitiges Dreieck handelt. Die Steiner-Inellipse wird nach Dörrie^[2] Jakob Steiner zugeschrieben. Der Eindeutigkeitsnachweis wurde von Kalman geführt.^[3]

Die Steiner-Inellipse ist das Gegenstück zur Steiner-Umellipse (oft nur, so wie im Folgenden, Steiner-Ellipse genannt), die durch die Ecken des gegebenen Dreiecks geht und den Dreiecksschwerpunkt als Mittelpunkt hat.^[4]

Definition

Sind ${\displaystyle M_{1},M_{2},M_{3}}$ die Mittelpunkte der Seiten eines Dreiecks ${\displaystyle ABC}$, so heißt eine Ellipse durch ${\displaystyle M_{1},M_{2},M_{3}}$, die die Seiten des Dreiecks ${\displaystyle ABC}$ dort berührt, Steiner-Inellipse.

Eigenschaften:
Für ein beliebiges Dreieck ${\displaystyle ABC}$ mit den Seitenmittelpunkten ${\displaystyle M_{1},M_{2},M_{3}}$ gilt:
a) Es gibt genau eine Steiner-Inellipse.
b) Der Mittelpunkt der Steiner-Inellipse ist der gemeinsame Schwerpunkt ${\displaystyle S}$ der Dreiecke ${\displaystyle ABC}$ und ${\displaystyle M_{1}M_{2}M_{3}}$. Damit ist die Steiner-Inellipse des Dreiecks ${\displaystyle ABC}$ die Steiner-Ellipse des Dreiecks ${\displaystyle M_{1}M_{2}M_{3}}$.
c) Die Steiner-Inellipse des Dreiecks ${\displaystyle ABC}$ (im Bild blau) geht durch eine zentrische Streckung mit dem Faktor ${\displaystyle {\tfrac {1}{2}}}$ aus der Steiner-Ellipse (rot) hervor. Beide Ellipsen besitzen also dieselbe Exzentrizität (sind ähnlich).
d) Der Flächeninhalt der Steiner-Inellipse ergibt sich durch Multiplikation der Dreiecksfläche mit ${\displaystyle {\tfrac {\pi }{3{\sqrt {3}}}}}$. Der Flächeninhalt beträgt ein Viertel des Inhalts der Steiner-Ellipse.
e) Die Steiner-Inellipse eines Dreiecks hat den größten Flächeninhalt unter allen einbeschriebenen Ellipsen des Dreiecks.

Beweis

Da ein beliebiges Dreieck durch eine affine Abbildung aus einem gleichseitigen Dreieck hervorgeht, eine affine Abbildung Mittelpunkte von Strecken und den Schwerpunkt eines Dreiecks auf die Mittelpunkte der Bildstrecken und den Schwerpunkt des Bilddreiecks sowie eine Ellipse und deren Mittelpunkt auf eine Ellipse und deren Mittelpunkt abbildet, genügt es, die Eigenschaften an einem gleichseitigen Dreieck nachzuweisen.
Zu a): Der Inkreis eines gleichseitigen Dreiecks berührt die Seiten in deren Mittelpunkten. Dies folgt entweder aus Symmetrieüberlegungen oder durch Nachrechnen. Es gibt keinen weiteren Kegelschnitt, der die Dreiecksseiten in den Seitenmittelpunkten berührt. Denn ein Kegelschnitt ist schon durch 5 Bestimmungsstücke (Punkte, Tangenten) eindeutig bestimmt.
Zu b): Nachrechnen
Zu c) Der Umkreis geht durch die Streckung mit dem Faktor ${\displaystyle {\tfrac {1}{2}}}$ am gemeinsamen Mittelpunkt in den Inkreis über. Die Exzentrizität ist eine Invariante bei einer Punktstreckung (Ähnlichkeitsabbildung).
Zu d): Verhältnisse von Flächen bleiben bei einer affinen Abbildung invariant.
Zu e): Siehe Inellipse oder Literatur.^{[5]: S. 146}

Parameterdarstellung:

• Da die Steiner-Inellipse eines Dreiecks ${\displaystyle ABC}$ durch eine zentrisch Streckung mit dem Faktor ${\displaystyle {\tfrac {1}{2}}}$ aus der Steiner-Ellipse hervorgeht, erhält man die Parameterdarstellung (siehe Steiner-Ellipse):

${\displaystyle {\vec {x}}={\vec {p}}(t)={\overrightarrow {OS}}\;+\;{\color {blue}{\frac {1}{2}}}{\overrightarrow {SC}}\;\cos t\;+\;{\frac {1}{{\color {blue}2}{\sqrt {3}}}}{\overrightarrow {AB}}\;\sin t\;,\quad 0\leq t<2\pi }$

• Die 4 Scheitel der Ellipse sind

${\displaystyle {\vec {p}}(t_{0}),\;{\vec {p}}(t_{0}\pm {\frac {\pi }{2}}),\;{\vec {p}}(t_{0}+\pi ),}$

wobei sich ${\displaystyle t_{0}}$ aus

${\displaystyle \cot(2t_{0})={\tfrac {{\vec {f}}_{1}^{\,2}-{\vec {f}}_{2}^{\,2}}{2{\vec {f}}_{1}\cdot {\vec {f}}_{2}}}\quad }$ mit ${\displaystyle \quad {\vec {f}}_{1}={\frac {1}{2}}{\vec {SC}},\quad {\vec {f}}_{2}={\frac {1}{2{\sqrt {3}}}}{\vec {AB}}}$

ergibt.

Halbachsen:

• Mit den Abkürzungen

${\displaystyle M:={\color {blue}{\frac {1}{4}}}({\vec {SC}}^{2}+{\frac {1}{3}}{\vec {AB}}^{2})}$

${\displaystyle N:={\frac {1}{{\color {blue}4}{\sqrt {3}}}}\left|\det({\vec {SC}},{\vec {AB}})\right|}$

ergibt sich für die beiden Halbachsen ${\displaystyle a,b,\;a>b}$:

${\displaystyle a={\frac {1}{2}}({\sqrt {M+2N}}+{\sqrt {M-2N}})}$

${\displaystyle b={\frac {1}{2}}({\sqrt {M+2N}}-{\sqrt {M-2N}})}$

• Für die lineare Exzentrizität ${\displaystyle e}$ der Steiner-Inellipse ergibt sich daraus:

${\displaystyle e={\sqrt {a^{2}-b^{2}}}=\dotsb ={\sqrt {\sqrt {M^{2}-4N^{2}}}}}$

Die Gleichung der Steiner-Inellipse in trilinearen Koordinaten für ein Dreieck mit den Seitenlängen ${\displaystyle a,b,c}$ ist:^[1]

${\displaystyle a^{2}x^{2}+b^{2}y^{2}+c^{2}z^{2}-2abxy-2bcyz-2cazx=0}$

und in baryzentrischen Koordinaten

${\displaystyle \quad x^{2}+y^{2}+z^{2}-2(xy+yz+zx)=0\ .}$

Die Längen der großen und kleinen Halbachse für ein Dreieck mit Seitenlängen ${\displaystyle a,b,c}$ sind^[1]

${\displaystyle {\frac {1}{6}}{\sqrt {a^{2}+b^{2}+c^{2}\pm 2Z}}}$

mit der Abkürzung

${\displaystyle Z:={\sqrt {a^{4}+b^{4}+c^{4}-a^{2}b^{2}-b^{2}c^{2}-c^{2}a^{2}}}.}$

Stellt man ein Dreieck in der komplexen Zahlenebene dar, das heißt, die Koordinaten seiner Eckpunkte entsprechen komplexen Zahlen, dann gilt für jedes Polynom dritten Grades, das diese Eckpunkte als Nullstellen besitzt, dass die Nullstellen seiner Ableitung die Brennpunkte der Steiner-Inellipse sind (Satz von Marden).^[3]

Für die Darstellung der Steiner-Inellipse genügen fünf generierte Punkte. Das beliebig gewählte Dreieck kann alternativ drei ungleich lange Seiten oder nur zwei gleiche Schenkel haben. In einem gleichseitigen Dreieck, das nach der modernen Definition ein Spezialfall des gleichschenkligen Dreiecks ist, ergeben die gleichen fünf Punkte den Inkreis des Dreiecks.

Die Steiner-Inellipse ist eine algebraische Kurve zweiten Grades. Mit Ausnahme des Kreises können solche Kurven nicht mit Zirkel und Lineal konstruiert werden. Es gibt aber für jede der beiden, im Folgenden beschriebenen, konstruktiven Methoden zur Ermittlung der entsprechenden fünf Ellipsenpunkte, Hilfsmittel, mit denen die Ellipsenlinie approximiert bzw. exakt gezeichnet werden kann.

Im gewählten Dreieck ${\displaystyle ABC}$ (Bild 1) mit drei ungleich langen Seiten werden die drei Seitenhalbierenden mit ihren Schnittpunkten ${\displaystyle D,E}$ und ${\displaystyle F}$ konstruiert. Sie treffen sich im Schwerpunkt ${\displaystyle S}$ der späteren Ellipse. Es folgt das Festlegen der Halbmesser ${\displaystyle {\overline {SD'}}}$ und ${\displaystyle {\overline {SF'}}}$ durch Verdoppelung der Strecken ${\displaystyle {\overline {SD}}}$ bzw. ${\displaystyle {\overline {SD}}}$ auf den Seitenhalbierenden innerhalb des Dreiecks. Die gesuchten fünf Ellipsenpunkte sind somit ${\displaystyle D,F',E,D'}$ und ${\displaystyle F}$. Für das abschließende Zeichnen der Ellipsenlinie, je nachdem, ob die Konstruktion im Computer erfolgte oder mit Zirkel und Lineal erstellt wurde, finden folgende Hilfsmittel Verwendung:

• Eine Dynamische-Geometrie-Software (DGS) zeichnet die Ellipse als (exakte) parametrisierte Kurve.
• Verbindet man dagegen die fünf Ellipsenpunkte einfach mithilfe eines Kurvenlineals, erhält man eine approximierte Ellipse.

Um in ein Dreieck mit drei ungleich langen Seiten das Zeichnen einer exakten Ellipsenlinie mithilfe eines mechanischen Hilfsmittels zu ermöglichen, bedarf es einer bzw. zweier der folgenden Gegebenheiten:

• Haupt- und Nebenachse der Ellipse mit deren Scheitelpunkten ${\displaystyle S_{1}\ldots S_{4},}$ erforderlich bei Verwendung eines Ellipsographen
• Brennpunkte der Ellipse ${\displaystyle F_{1}}$ und ${\displaystyle F_{2},}$ zusätzlich erforderlich bei Verwendung eines Ellipsenzirkels

Beide Voraussetzungen sind konstruierbar, wenn zuerst in dem gewählten Dreieck mindestens zwei sogenannte konjugierte Halbmesser der Inellipse, ähnlich der Konstruktion von konjugierten Halbmessern für die Steiner-Ellipse, bestimmt sind.

Vorgehensweise

Im gewählten Dreieck ${\displaystyle ABC}$ (Bild 2) mit drei ungleich langen Seiten werden zwei Seitenhalbierende mit ihren Schnittpunkten ${\displaystyle D_{1}}$ und ${\displaystyle E}$ konstruiert. Sie treffen sich im Schwerpunkt ${\displaystyle S}$ der späteren Ellipse. Anschließend wird der erste relevante Halbmesser ${\displaystyle {\overline {SD_{2}}}}$ durch Verdoppelung der Strecke ${\displaystyle {\overline {SD_{1}}}}$ innerhalb des Dreiecks bestimmt. Es folgt die Scherung des Dreiecks ${\displaystyle ABC}$ in ein gleichschenkliges und flächengleiches Dreieck ${\displaystyle A'B'C'}$ mit (gleicher) Höhe ${\displaystyle {\overline {D_{1}'C'}}}$

Es geht weiter im gleichschenkligen Dreieck mit der Seitenhalbierenden ${\displaystyle {\overline {A'E'}},}$ die im Schwerpunkt ${\displaystyle S'}$ die Strecke ${\displaystyle {\overline {D_{1}'C'}}}$ schneidet, und der Verbindung ${\displaystyle S'}$ mit ${\displaystyle B'.}$ Anschließend wird, gemäß der Ellipsen-Konstruktion von de La Hire,^[6] ein Kreis mit dem Radius ${\displaystyle {\overline {S'E'}}}$ um ${\displaystyle S'}$ mit Schnittpunkt ${\displaystyle F}$ auf ${\displaystyle {\overline {B'S'}}}$ gezogen und eine Parallele zu ${\displaystyle {\overline {AB'}}}$ von ${\displaystyle S}$ durch ${\displaystyle S'}$ gezeichnet. Der darauf folgende Kreis mit dem Radius ${\displaystyle {\overline {S'D_{1}'}}}$ um ${\displaystyle S'}$ schneidet ${\displaystyle {\overline {D_{1}'C'}}}$ in ${\displaystyle D_{2}'.}$ Die nächste Parallele zu ${\displaystyle {\overline {A'B'}}}$ ab ${\displaystyle F}$ bis zum Kreis, der durch ${\displaystyle D_{1}'}$ verläuft, ergibt den Schnittpunkt ${\displaystyle G,}$ der jetzt mit ${\displaystyle S'}$ verbunden wird. Eine Parallele zu ${\displaystyle {\overline {D_{1}'S'}}}$ durch ${\displaystyle F}$ und durch die Strecke ${\displaystyle {\overline {GS'}}}$ ergibt darauf den Schnittpunkt ${\displaystyle H,}$ der mithilfe des Kreises mit Radius ${\displaystyle {\overline {S'H}}}$ um ${\displaystyle S'}$ auf die Schwerpunktachse ${\displaystyle {\overline {SS'}}}$ projiziert, mit ${\displaystyle {\overline {S'H'}}}$ den zweiten relevanten Halbmesser liefert. Somit sind die zwei konjugierten Halbmesser ${\displaystyle {\overline {SD_{2}}}}$ und ${\displaystyle {\overline {S'H'}}}$ ermittelt.

Die Weiterführung der Konstruktion erfolgt im gewählten Dreieck. Zuerst wird der soeben gefundene Halbmesser ${\displaystyle {\overline {S'H'}}}$ auf der Schwerpunktachse ${\displaystyle {\overline {SS'}}}$ ab ${\displaystyle S}$ mit Schnittpunkt ${\displaystyle H''}$ abgetragen. Die hiermit ermöglichte Konstruktion der Haupt- und Nebenachse der Ellipse wird anhand der sechs bildlich dargestellten Schritte der Rytzschen Achsenkonstruktion erstellt.^[7] Danach werden die beiden Brennpunkte ${\displaystyle F_{1}}$ und ${\displaystyle F_{2}}$ bestimmt, indem man den Halbmesser ${\displaystyle a}$ in den Zirkel nimmt, damit in den Scheitelpunkt ${\displaystyle S_{3},}$ oder wie dargestellt in ${\displaystyle S_{4},}$ einsticht und die Abstände ${\displaystyle \left|S_{4}F_{1}\right|}$ und ${\displaystyle \left|S_{4}F_{2}\right|}$ erzeugt.

Abschließend wird mithilfe eines Ellipsographen oder eines Ellipsenzirkels die Ellipsenlinie (exakt) eingezeichnet.

Zuerst erfolgt die Berechnung des Halbmessers ${\displaystyle {\overline {SH}}.}$ Als Ansatz dient die allgemeine Formel für die Höhe ${\displaystyle h}$ des gleichseitigen Dreiecks mit der Seite ${\displaystyle a:}$

${\displaystyle h={\frac {\sqrt {3}}{2}}\cdot a}$

Die Hälfte dieses gleichseitigen Dreiecks ist ein rechtwinkliges Dreieck mit der (gleichen) Höhe:

${\displaystyle h={\frac {\sqrt {3}}{2}}\cdot 2\cdot {\frac {a}{2}}={\sqrt {3}}\cdot {\frac {a}{2}}}$

Setzt man ${\displaystyle {\overline {AB}}=c,}$ ${\displaystyle {\frac {a}{2}}={\overline {SH}},}$ ${\displaystyle a=2\cdot {\overline {SH}}}$ und ${\displaystyle h={\frac {c}{2}}}$  ein, ergibt dies das rechtwinklige Dreieck ${\displaystyle SFH}$ (s. Bild 3) mit der Höhe

${\displaystyle {\frac {c}{2}}={\sqrt {3}}\cdot {\overline {SH}},}$

umgeformt gilt

${\displaystyle {\overline {SH}}={\frac {1}{2}}\cdot {\frac {c}{\sqrt {3}}}.}$

Es geht weiter mit der Konstruktion des rechtwinkligen Dreiecks ${\displaystyle SFH:}$

Sie beginnt mit dem Einzeichnen einer Senkrechten (Orthogonalen) zu ${\displaystyle {\overline {AB}},}$ ab dem Schwerpunkt ${\displaystyle S,}$ und dem Übertragen der Strecke ${\displaystyle {\overline {AD_{1}}}={\frac {c}{2}}}$ auf die Senkrechte; es ergibt die Strecke ${\displaystyle {\overline {SF}}.}$ Nun folgt die Konstruktion der Winkelweite ${\displaystyle 30^{\circ }}$ am Winkelscheitel ${\displaystyle F,}$ indem man die Strecke ${\displaystyle {\overline {SF}}}$ in ${\displaystyle G}$ halbiert, einen Kreisbogen mit Radius ${\displaystyle {\overline {GS}}}$ um den Punkt ${\displaystyle G}$ und einen weiteren Kreisbogen mit derselben Zirkelöffnung um den Punkt ${\displaystyle S}$ zieht; dabei ergibt sich der Schnittpunkt ${\displaystyle I.}$ Durch das Einzeichnen einer Halbgeraden, ab ${\displaystyle F}$ durch ${\displaystyle I}$, wird am Winkelscheitel ${\displaystyle F}$ der Winkel ${\displaystyle 30^{\circ }}$ generiert. Die abschließende Parallele zur Strecke ${\displaystyle {\overline {AB}},}$ ab dem Schwerpunkt ${\displaystyle S,}$ erzeugt den Schnittpunkt ${\displaystyle H}$ auf der Halbgeraden und liefert somit den gesuchten Halbmesser ${\displaystyle {\overline {SH}}.}$

Da dieses rechtwinklige Dreieck konstruktiv einfach darstellbar ist, besteht auch die Möglichkeit, auf diese Art und Weise den zweiten konjugierten Halbmesser ${\displaystyle {\overline {SH}}}$ zu finden.

1. ↑ ^{a b c} Eric W. Weisstein: Steiner Inellipse. In: MathWorld (englisch).
2. ↑ H. Dörrie: 100 Great Problems of Elementary Mathematics, Their History and Solution. (Übers. D. Antin), Dover, New York 1965, Problem 98.
3. ↑ ^{a b} Dan Kalman: An elementary proof of Marden’s theorem. In: American Mathematical Monthly. Band 115, Nr. 4, 2008, S. 330–338 (englisch, An Elementary Proof of Marden’s Theorem [PDF; 190 kB; abgerufen am 17. August 2020]). 
4. ↑ Eric W. Weisstein: Steiner Circumellipse. In: MathWorld (englisch).
5. ↑ G. D. Chakerian: Mathematical plums. In: Ross Honsberger (Hrsg.): A distorted view of geometry (= The Dolciani Mathematical Expositions). Band 4. Mathematical Association of America, Washington, D.C. 1979, S. 135–136 und 145–146 (englisch). 
6. ↑ Karl Strubecker: Vorlesungen über Darstellende Geometrie. Hrsg.: Mathematischen Forschungsinstitut Oberwolfach. Vandenhoeck & Ruprecht, Göttingen 1967, 11. Ellipsenkonstruktionen, 2. Konstruktion einer Ellipse mit Hilfe ihrer beiden Scheitelkreise (Fig. 25), S. 25–27 (harvard.edu [PDF; abgerufen am 17. August 2020]). 
7. ↑ Karl Strubecker: Vorlesungen über Darstellende Geometrie. Hrsg.: Mathematischen Forschungsinstitut Oberwolfach. Vandenhoeck & Ruprecht, Göttingen 1967, 11. Ellipsenkonstruktionen, Rytzschen Achsenkonstruktion (Fig. 29), S. 29–30 (harvard.edu [PDF; abgerufen am 17. August 2020]).