Formel von W. K. B. Holz
# Formel von W. K. B. Holz

Die Formel von W. K. B. Holz, benannt nach Walter K. B. Holz (1908–1993), ist eine mathematische Formel, welche im Übergangsfeld zwischen Dreiecksgeometrie und Kreisgeometrie angesiedelt ist und mit deren Hilfe der Radius des inneren Soddy-Kreises eines Dreiecks der euklidischen Ebene berechnet werden kann. Die Formel von Holz steht in direkter Verwandtschaft zum Satz von Descartes.

## Darstellung der Formel

Die Formel besagt folgendes:

    Gegeben sei ein beliebiges Dreieck $ABC$ der euklidischen Ebene $\mathbb {R} ^{2}$ .
    Es seien – wie üblich – die Seitenlängen mit $a,b,c$, der halbierte Umfang mit $s$, der Inkreisradius mit $r$ und die drei Ankreisradien mit $r_{a},r_{b},r_{c}$ bezeichnet.
    Für $(X,x)\in \{(A,a),(B,b),(C,c)\}$ sei ${\mathcal {K}}_{X}$ der jeweilige Kreis um den Eckpunkt $X$ mit dem Radius $s-x$ und dabei sei ${\mathcal {K}}$ der innere Soddy-Kreis zu diesen drei Kreisen.
    Der Radius von ${\mathcal {K}}$ sei $\sigma$.
    Dann gelten folgende Gleichungen:
       (I) ${\frac {1}{r}}={\frac {1}{r_{a}}}+{\frac {1}{r_{b}}}+{\frac {1}{r_{c}}}$
       (II) ${\frac {1}{\sigma }}={\frac {1}{s-a}}+{\frac {1}{s-b}}+{\frac {1}{s-c}}+{\frac {2}{r}}$

## Erläuterungen, Hinweise und weitere Formeln

* Es wird hier unter einem Kreis stets eine Kreislinie verstanden, also eine $1$-dimensionale kompakte Teilmenge der euklidischen Ebene $\mathbb {R} ^{2}$. Ein Kreis ${\mathcal {k}}\subset \mathbb {R} ^{2}$ ist danach von der ihm zugehörigen Kreisscheibe $\operatorname {conv} ({\mathcal {k}})\subset \mathbb {R} ^{2}$, also von seiner konvexen Hülle, zu unterscheiden.
* Über Soddy-Kreise und zugehörige Fragen zu Berührkreisen haben neben Frederick Soddy auch Jakob Steiner und Ludwig Bieberbach gearbeitet.
* H. S. M. Coxeter zufolge existiert der oben beschriebene Kreis ${\mathcal {K}}$ stets. Coxeter spricht dabei nicht explizit vom inneren Soddy-Kreis, sondern umschreibt diesen. Es ist derjenige Berührkreis der drei Kreise ${\mathcal {K}}_{X}$, in dessen Äußerem $\mathbb {R} ^{2}\setminus {\operatorname {conv} ({\mathcal {K}})}$ alle drei Eckpunkte des Dreiecks liegen. Es lässt sich also sagen – und so beschreibt es auch Coxeter – dass der innere Soddy-Kreis derjenige Berührkreis der drei Kreise ${\mathcal {K}}_{X}$ ist, der von den dreien eingeschlossen wird.
* Anders als im Falle des inneren Soddy-Kreises muss ein äußerer Berührkreis ${\mathcal {K}}^{'}$ zu den drei Kreisen ${\mathcal {K}}_{X}$, also einer, dessen Kreisscheibe ${\operatorname {conv} }({\mathcal {K}}^{'})$ sämtliche Eckpunkte des Dreiecks und die drei ${\mathcal {K}}_{X}$ enthält, nicht in jedem Falle existieren. Dies gilt Coxeter zufolge insbesondere für den Fall, dass das Dreieck $ABC$ sehr «stumpf» ist.
* Ist $S$ der Mittelpunkt von ${\mathcal {K}}$, so gilt hinsichtlich seiner Abstände zu den drei Eckpunkten des Dreiecks:

       (III) ${\overline {SX}}=\sigma +s-x\;\;(\,(X,x)\in \{(A,a),(B,b),(C,c)\}\,)$
* Es gilt die folgende Gleichung:

       (IV) ${\frac {2}{(s-a)^{2}}}+{\frac {2}{(s-b)^{2}}}+{\frac {2}{(s-c)^{2}}}+{\frac {2}{{\sigma }^{2}}}=({\frac {1}{s-a}}+{\frac {1}{s-b}}+{\frac {1}{s-c}}+{\frac {1}{\sigma }})^{2}$
