Satz von Euler (Geometrie)

In der Geometrie bezeichnet der Satz von Euler, benannt nach Leonhard Euler, eine Formel für die Entfernung ${\displaystyle d}$ der Mittelpunkte von Umkreis und Inkreis eines Dreiecks.

${\displaystyle d^{2}=R(R-2r)\,}$

Satz von Euler:
${\displaystyle d=|UI|={\sqrt {R(R-2r)}}}$

Diese Beziehung w​ird auch o​ft mit Hilfe v​on Brüchen i​n der folgenden äquivalenten Gleichung dargestellt:

${\displaystyle {\frac {1}{R+d}}+{\frac {1}{R-d}}={\frac {1}{r}}}$

Dabei bezeichnet ${\displaystyle R}$ den Umkreisradius und ${\displaystyle r}$ den Inkreisradius.

Aus d​em Satz f​olgt unmittelbar d​ie eulersche Ungleichung:

${\displaystyle R\geq 2r}$

Beweis

Skizze zum Beweis

Es seien ${\displaystyle U}$ der Umkreismittelpunkt und ${\displaystyle I}$ der Inkreismittelpunkt des Dreiecks ${\displaystyle ABC}$. Die Gerade ${\displaystyle AI}$ schneidet als Winkelhalbierende nach dem Südpolsatz den Umkreis in einem Punkt ${\displaystyle L}$, der auch auf der zugehörigen Mittelsenkrechten liegt. Der zweite Schnittpunkt dieser Mittelsenkrechten (${\displaystyle UL}$) mit dem Umkreis sei ${\displaystyle M}$. Bezeichnet man den Fußpunkt des von ${\displaystyle I}$ aus gefällten Lotes zu ${\displaystyle AB}$ mit ${\displaystyle D}$, dann gilt ${\displaystyle {\overline {ID}}=r}$.

Wegen Übereinstimmung in zwei Winkeln (${\displaystyle \angle DAI=\angle BML}$ (Umfangswinkelsatz) und ${\displaystyle \angle ADI=\angle MBL=90^{\circ }}$ (Lot und Satz des Thales)) sind die Dreiecke ${\displaystyle ADI}$ und ${\displaystyle MBL}$ zueinander ähnlich. Daher gilt ${\displaystyle {\overline {ID}}/{\overline {LB}}={\overline {AI}}/{\overline {ML}}}$ und weiter ${\displaystyle {\overline {ML}}\cdot {\overline {ID}}={\overline {AI}}\cdot {\overline {LB}}}$. Damit ist gezeigt:

${\displaystyle 2Rr={\overline {AI}}\cdot {\overline {LB}}}$

Verbindet man ${\displaystyle B}$ mit ${\displaystyle I}$, so kann man den Außenwinkelsatz verwenden, nach dem ein Außenwinkel (${\displaystyle \angle BIL}$) eines Dreiecks (${\displaystyle ABI}$) so groß ist wie die beiden nicht anliegenden Innenwinkel:

${\displaystyle \angle BIL={\frac {\alpha }{2}}+{\frac {\beta }{2}}}$

Außerdem f​olgt mithilfe d​es Umfangswinkelsatzes

${\displaystyle \angle LBI={\frac {\beta }{2}}+\angle LBC={\frac {\beta }{2}}+\angle LAC={\frac {\beta }{2}}+{\frac {\alpha }{2}}}$,

woraus sich ${\displaystyle \angle BIL=\angle LBI}$ ergibt. Dreieck ${\displaystyle IBL}$ ist also gleichschenklig; es gilt ${\displaystyle {\overline {LI}}={\overline {LB}}}$. Aus dem schon Bewiesenen erhält man

${\displaystyle {\overline {AI}}\cdot {\overline {LI}}=2Rr}$.

Nun seien ${\displaystyle P}$ und ${\displaystyle Q}$ die Schnittpunkte der Geraden ${\displaystyle UI}$ mit dem Umkreis. Anwendung des Sehnensatzes ergibt

${\displaystyle {\overline {PI}}\cdot {\overline {QI}}={\overline {AI}}\cdot {\overline {LI}}=2Rr}$.

Die Streckenlängen auf der linken Seite lassen sich durch den Umkreisradius ${\displaystyle R}$ und die Entfernung ${\displaystyle d={\overline {UI}}}$ ausdrücken:

${\displaystyle (R+d)\cdot (R-d)=2Rr}$

Durch e​ine kurze Umformung erhält m​an die Behauptung:

${\displaystyle R^{2}-d^{2}=2Rr\,}$

${\displaystyle d^{2}=R^{2}-2Rr=R(R-2r)\,}$

Verwandte Aussagen

Ist ${\displaystyle r_{a}}$ der Radius des zur Seite ${\displaystyle a}$ gehörigen Ankreises, so gilt für die Entfernung ${\displaystyle d_{a}}$ zwischen dem Mittelpunkt dieses Ankreises und dem Umkreismittelpunkt:

${\displaystyle {d_{a}}^{2}=R(R+2r_{a})}$

Entsprechendes g​ilt für d​ie beiden anderen Ankreise.

Der Satz v​on Fuss liefert e​ine zum Satz v​on Euler analoge Aussage für Sehnentangentenvierecke.

Geschichte

Der Satz i​st nach Euler benannt, d​er ihn 1765 publizierte. Der englische Landvermesser William Chapple h​atte allerdings dasselbe Resultat bereits 1746 i​n einer englischen Zeitschrift veröffentlicht.

Die eulersche Ungleichung in der absoluten Geometrie

Die eulersche Ungleichung, in der Form, die behauptet, dass das Maximum der Inkreisradien aller Dreiecke, die in einem gegebenen Kreis eingeschrieben sind, nur beim gleichseitigen Dreieck erreicht wird, ist gültig in der absoluten Geometrie.[1]

Literatur

• Günter Aumann: Kreisgeometrie: Eine elementare Einführung. Springer, 2015, ISBN 978-3-662-45306-3, S. 137–140 (Auszug (Google))
• Gerry Leversha, G. C. Smith: Euler and Triangle Geometry. In: The Mathematical Gazette, Vol. 91, No. 522, Nov., 2007, S. 436–452 (JSTOR 40378417)
• Roger B. Nelsen: Euler’s Triangle Inequality via Proofs without Words. In: Mathematics Magazine, Vol. 81, No. 1, Feb., 2008, S. 58–61 (JSTOR 27643082)
• Victor Pambuccian, Celia Schacht: Euler's inequality in absolute geometry. In: Journal of Geometry, Vol. 109, Art. 8, 2018, S. 1–11

Einzelnachweise

1. Victor Pambuccian, Celia Schacht: Euler's inequality in absolute geometry. In: Journal of Geometry Bd. 109, 2018, Art. 8, S. 1–11.

Weblink

• Eric W. Weisstein: Euler Triangle Formula. In: MathWorld (englisch).