Satz von Euler (Geometrie)

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

In der Geometrie bezeichnet der Satz von Euler, benannt nach dem im 18. Jahrhundert lebenden Leonhard Euler, eine Formel für die Entfernung $d$ der Mittelpunkte von Umkreis und Inkreis eines Dreiecks.

$d^2=R(R-2r)$

Diese Beziehung wird auch oft mit Hilfe von Brüchen in der folgenden äquivalenten Gleichung dargestellt:

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

Dabei bezeichnet $R$ den Umkreisradius und $r$ den Inkreisradius. Aus dem Satz folgt unmittelbar die eulersche Ungleichung:

$R\ge 2r$

Beweis

Skizze zum Beweis

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

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

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

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

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

Außerdem folgt mithilfe des Umfangswinkelsatzes

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

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

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

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

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

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

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

Durch eine kurze Umformung erhält man die Behauptung:

$R^2-d^2=2Rr$

$d^2=R^2-2Rr=R(R-2r)$

Verwandte Aussagen

Ist $r_a$ der Radius des zur Seite $a$ gehörigen Ankreises, so gilt für die Entfernung $d_a$ zwischen dem Mittelpunkt dieses Ankreises und dem Umkreismittelpunkt:

${d_a}^2=R(R+2r_a)$

Entsprechendes gilt für die beiden anderen Ankreise.

Der Satz von Fuss liefert eine zum Satz von Euler analoge Aussage für Sehnentangentenvierecke.

Geschichte

Der Satz ist nach Euler benannt, der ihn 1765 publizierte. Der englische Landvermesser William Chapple hatte allerdings dasselbe Resultat bereits 1746 in 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.

Siehe auch

• Egan-Vermutung, Verallgemeinerung auf höhere Dimensionen

Literatur

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

Weblink

• Vorlage:MathWorld