# Umkreis

In der ebenen Geometrie ist ein Umkreis ein Kreis, der durch alle Eckpunkte eines Polygons (Vielecks) geht.
Nicht für jedes Polygon existiert ein solcher Umkreis. Allgemein besitzt ein konvexes Polygon genau dann einen Umkreis, wenn die Mittelsenkrechten aller Seiten einander in einem Punkt schneiden. In diesem Fall ist der gemeinsame Punkt der Mittelpunkt des Umkreises.

## Umkreis eines Dreiecks

Eine besonders große Bedeutung hat der Umkreis in der Dreiecksgeometrie. Jedes (nichtentartete) Dreieck besitzt einen Umkreis, wie im Folgenden begründet wird.
Alle Punkte der Mittelsenkrechten zu $[AB]$ sind von $A$ und $B$ gleich weit entfernt. Entsprechend haben die Punkte der Mittelsenkrechten zu $[BC]$ übereinstimmende Entfernungen von $B$ und $C$. Der Schnittpunkt dieser beiden Mittelsenkrechten ist daher von allen drei Ecken ($A$, $B$ und $C$) gleich weit entfernt (er existiert, weil die drei Eckpunkte eines Dreiecks nicht kollinear sind). Er muss also auch auf der dritten Mittelsenkrechten liegen. Zeichnet man um diesen Schnittpunkt einen Kreis, der durch eine Ecke des Dreiecks geht, so müssen auch die anderen Ecken auf diesem Kreis liegen.
Der Umkreismittelpunkt, also der Schnittpunkt der Mittelsenkrechten, zählt zu den ausgezeichneten Punkten des Dreiecks. Er trägt die Kimberling-Nummer $X_{3}$.

### Sonderfälle

* Beim spitzwinkligen Dreieck liegt der Umkreismittelpunkt im Inneren des Dreiecks.
* Beim rechtwinkligen Dreieck ist der Mittelpunkt der Hypotenuse zugleich Umkreismittelpunkt (siehe Satz des Thales).
* Beim stumpfwinkligen Dreieck (mit einem Winkel über 90°) befindet sich der Umkreismittelpunkt außerhalb des Dreiecks.

### Radius

Der Umkreisradius eines Dreiecks lässt sich mit dem Sinussatz berechnen:
    $r_{u}={\frac {a}{2\cdot \sin(\alpha )}}={\frac {b}{2\cdot \sin(\beta )}}={\frac {c}{2\cdot \sin(\gamma )}}$
Dabei stehen die Bezeichnungen $a,b,c$ für die Seitenlängen und $\alpha ,\beta ,\gamma$ für die Größen der den Seiten mit den Längen $a,b,c$ gegenüberliegenden Innenwinkel. Durch Erweitern obiger Brüche mit einer Dreiecksseite entstehen Formeln mit den Höhen $h_{a},h_{b}$ und $h_{c}$ der von $A<,B$ bzw. $C$ ausgehenden Höhen des Dreiecks $ABC$:
    $r_{u}={\frac {ab}{2h_{c}}}={\frac {bc}{2h_{a}}}={\frac {ca}{2h_{b}}}$
Der Flächeninhalt $A$ lässt sich z. B. mit Hilfe der heronischen Formel berechnen und es gilt:
    $r_{u}={\frac {a\cdot b\cdot c}{4\cdot A}}$
Für den Spezialfall des gleichseitigen Dreiecks ergibt das:
    $r_{u}={\frac {a}{\sqrt {3}}}$

### Koordinaten

Die kartesischen Koordinaten $(x_{u},y_{u})$ des Umkreismittelpunkts können aus den kartesischen Koordinaten der Eckpunkte berechnet werden. Die Koordinaten der drei Eckpunkte seien $(x_{1},y_{1})$, $(x_{2},y_{2})$ und $(x_{3},y_{3})$.
Mit den Determinanten
| $A={\begin{vmatrix}x_{1}&y_{1}&1\\x_{2}&y_{2}&1\\x_{3}&y_{3}&1\end{vmatrix}},$ | $B={\begin{vmatrix}x_{1}^{2}+y_{1}^{2}&y_{1}&1\\x_{2}^{2}+y_{2}^{2}&y_{2}&1\\x_{3}^{2}+y_{3}^{2}&y_{3}&1\end{vmatrix}},$ | $C={\begin{vmatrix}x_{1}^{2}+y_{1}^{2}&x_{1}&1\\x_{2}^{2}+y_{2}^{2}&x_{2}&1\\x_{3}^{2}+y_{3}^{2}&x_{3}&1\end{vmatrix}},$ | $D={\begin{vmatrix}x_{1}^{2}+y_{1}^{2}&x_{1}&y_{1}\\x_{2}^{2}+y_{2}^{2}&x_{2}&y_{2}\\x_{3}^{2}+y_{3}^{2}&x_{3}&y_{3}\end{vmatrix}}$ |
ergibt sich $x_{u}={\frac {B}{2A}}$, $y_{u}={\frac {-C}{2A}}$ und $r_{u}={\sqrt {{\frac {B^{2}+C^{2}}{4A^{2}}}+{\frac {D}{A}}}}$.
Liegen die Punkte auf einer Geraden, so ist $A=0$ und es gibt keine Lösung.
Ohne Determinanten formuliert gilt:
Mit
    $d=2(x_{1}(y_{2}-y_{3})+x_{2}(y_{3}-y_{1})+x_{3}(y_{1}-y_{2}))$
erhält man die kartesischen Koordinaten des Umkreismittelpunkts durch
    $x_{u}={\frac {(x_{1}^{2}+y_{1}^{2})(y_{2}-y_{3})+(x_{2}^{2}+y_{2}^{2})(y_{3}-y_{1})+(x_{3}^{2}+y_{3}^{2})(y_{1}-y_{2})}{d}},$
    $y_{u}={\frac {(x_{1}^{2}+y_{1}^{2})(x_{3}-x_{2})+(x_{2}^{2}+y_{2}^{2})(x_{1}-x_{3})+(x_{3}^{2}+y_{3}^{2})(x_{2}-x_{1})}{d}}$.
Umkreismittelpunkt eines Dreiecks $\left(X_{3}\right)$ :
| Trilineare Koordinaten | $\cos \alpha \,:\,\cos \beta \,:\,\cos \gamma$ $a(b^{2}+c^{2}-a^{2})\,:\,b(c^{2}+a^{2}-b^{2})\,:\,c(a^{2}+b^{2}-c^{2})$ |
| Baryzentrische Koordinaten | $\sin(2\alpha )\,:\,\sin(2\beta )\,:\,\sin(2\gamma )$ |
Der Umkreis selbst hat in baryzentrischen Koordinaten $(x:y:z)$ die Gleichung
    $a^{2}yz+b^{2}xz+c^{2}xy=0.$

### Koordinaten mithilfe von Inkreis und Ankreisen

Der Mittelpunkt des Umkreises ist der Schwerpunkt der Mittelpunkte von Inkreis und Ankreisen:
    $U={\frac {1}{4}}\cdot (I+I_{a}+I_{b}+I_{c})$
Im Bevan-Dreieck $\triangle I_{a}I_{b}I_{c}$ ist der Inkreismittelpunkt $I$ der Höhenschnittpunkt, die Eckpunkte $A,B,C$ sind dort die Höhenfußpunkte und der Umkreismittelpunkt $U$ des Dreiecks $\triangle ABC$ ist gleichzeitig der Mittelpunkt des Feuerbachkreises des Bevan-Dreiecks. Die Mittelpunkte $M_{a},M_{b},M_{c}$ der Seiten des Bevan-Dreiecks liegen also ebenfalls auf dem Umkreis $U$. In der Mitte zwischen $A$ und $M_{a}$ liegt dann der Fußpunkt der Senkrechten, die durch den Mittelpunkt des Feuerbachkreises des Bevan-Dreiecks (also durch $U$) führt, er heiße $X_{a}$. Es gilt:
    $X_{a}={\frac {1}{2}}\cdot (A+M_{a})={\frac {1}{2}}\cdot \left(A+{\frac {1}{2}}\cdot (I_{b}+I_{c})\right)={\frac {1}{2}}\cdot A+{\frac {1}{4}}\cdot (I_{b}+I_{c})$
Von dort aus gehen wir rechtwinklig (parallel zur Winkelhalbierenden $w_{a}$) und vereinbaren:
    $U_{a}:=X_{a}+{\frac {1}{4}}\cdot (I-A)+{\frac {1}{4}}\cdot (I_{a}-A)={\frac {1}{4}}\cdot (I+I_{a}+I_{b}+I_{c})$
Völlig analog definieren wir $X_{b},X_{c}$ sowie $U_{b},U_{c}$ und erhalten:
    $U_{a}=U_{b}=U_{c}={\frac {1}{4}}\cdot (I+I_{a}+I_{b}+I_{c})$
Mithin hat $U$ die behaupteten Koordinaten.

### Weitere Eigenschaften

* Der Umkreismittelpunkt liegt wie der Schwerpunkt und der Höhenschnittpunkt auf der eulerschen Geraden.
* Nach dem Südpolsatz schneidet sich die Mittelsenkrechte einer Dreiecksseite mit der Winkelhalbierenden des gegenüberliegenden Winkels stets auf dem Umkreis.
* Die Entfernung zwischen Umkreismittelpunkt und Inkreismittelpunkt beträgt ${\sqrt {R(R-2r)}}$, wobei $R$ den Umkreisradius und $r$ den Inkreisradius bezeichnet (Satz von Euler).
* Die Summe der vorzeichenbehafteten Abstände des Umkreismittelpunktes von den Dreiecksseiten ist gleich der Summe aus Umkreis- und Inkreisradius (siehe Satz von Carnot).
* Der Satz vom Dreizack stellt einen Zusammenhang zwischen Umkreis und Inkreis her.
* Der Umkreis ist der geometrische Ort aller Punkte, deren Orthogonalprojektionen auf die Dreiecksseiten kollinear sind.

### Verallgemeinerung: Mittellotensatz

Die Aussage, dass sich die Mittelsenkrechten der Dreiecksseiten in einem Punkt schneiden, wird in der synthetischen Geometrie als Mittellotensatz bezeichnet. Dort kann für allgemeinere affine Ebenen, in denen kein Abstandsbegriff und damit keine „Kreise“ definiert sind, gezeigt werden, dass dieser Satz äquivalent zum Höhenschnittpunktsatz ist. → Siehe dazu Höhenschnittpunkt und präeuklidische Ebene.

### Umkreise von Dreiecken aus einem orthozentrischen Quadrupel

Gegeben sei ein Dreieck $ABC$ und sein Höhenschnittpunkt $H$. Dann haben die von drei der vier Punkte $A$, $B$, $C$ und $H$ gebildeten Dreiecke kongruente Umkreise.
Die vier Punkte $A$, $B$, $C$ und $H$ werden auch als orthozentrisches Quadrupel bezeichnet.
Beweis:
Ohne Beschränkung der Allgemeinheit wird die Kongruenz der Umkreise für die beiden Dreiecke $ABC$ und $ABH$ gezeigt. Im Dreieck $ABE$ ergänzen sich der rot markierte Winkel $\angle HBF$ und der Winkel $\angle FAE$ zu 90°. Ebenso ergänzen sich im Dreieck $CAF$ der rot markierte Winkel $\angle ECH$ und der Winkel $\angle FAE$ zu 90°. Hieraus folgt, dass die beiden rot markierten Winkel gleich groß sind.
Der Punkt $P$ ist der zweite Schnittpunkt des Umkreises des Dreiecks $ABC$ mit der verlängerten Dreieckshöhe durch $C$. Der rot markierte Winkel $\angle ECH$ und der grün markierte Winkel $\angle FBP$ sind als Umfangswinkel am Kreisbogen über $AP$ gleich groß. Damit sind auch der rot markierte Winkel $\angle HBF$ und der grün markierte Winkel $\angle FBP$ gleich groß. Folglich sind nach dem Kongruenzsatz WSW dann auch die rechtwinkligen Dreiecke $BHF$ und $PBF$ kongruent. Somit sind nach dem Kongruenzsatz SWS auch die Dreiecke $ABH$ und $BAP$ kongruent, also sind auch ihre Umkreise kongruent.
Da der Umkreis des Dreiecks $BAP$ auch der des Dreiecks $ABC$ ist und die Umkreise der Dreiecke $ABH$ und $BAP$ kongruent sind, haben auch die Dreiecke $ABC$ und $ABH$ kongruente Umkreise. Damit ist die Aussage bewiesen.

## Umkreise anderer Vielecke

Während beim Dreieck stets ein Umkreis existiert, trifft dies bei Vielecken (Polygonen) mit mehr als drei Ecken nur in besonderen Fällen zu.
Vierecke, die einen Umkreis haben, werden Sehnenvierecke genannt. Spezialfälle sind gleichschenklige Trapeze, also auch Rechtecke und Quadrate.
Unabhängig von der Eckenzahl hat jedes regelmäßige Polygon einen Umkreis. Für den Umkreisradius eines regelmäßigen $n$-Ecks mit der Seitenlänge $a$ gilt:
    $R={\frac {a}{2\sin {\frac {180^{\circ }}{n}}}}$

## Verwandte Begriffe

* Der Inkreis eines Vielecks ist ein Kreis, der alle Seiten dieses Vielecks berührt. Der Inkreis eines Dreiecks stellt einen besonders wichtigen Spezialfall dar. Er gehört mit dem Umkreis und den drei Ankreisen zu den besonderen Kreisen der Dreiecksgeometrie.
* Überträgt man die Definition des Umkreises auf den (dreidimensionalen) Raum, so erhält man den Begriff der Umkugel, also einer Kugel, auf der alle Eckpunkte eines gegebenen Polyeders (Vielflächners) liegen.