Inkreisradius

Sei $F\subset\R^2$ eine Figur. Ein Inkreis ist dann ein Kreis $K$, für den $K\subseteq F$ gilt. Für die folgenden Überlegungen wollen wir entartete Kreis mit einem Radius von $0$ zulassen.

Sei $\mathcal K$ die Menge aller Inkreise von $F$ und $K_R\subseteq \R$ die Menge aller Radien von Inkreisen aus $\mathcal K$. $\mathcal K$ (und damit $K_R$) sind nicht leer, da wir ja Kreise mit dem Radius 0 zugelassen haben, also alle Punkte aus $F$ zu $\mathcal K$ gehören. $K_R$ ist außerdem nach oben beschränkt, da jeder Inkreis von $F$ Teilmenge eines beliebigen Umkreises ist.

Wir nennen das Supremum aller Inkreisradien $\rho$ den maximalen Inkreisradius von $F$ oder kürzer Inkreisradius von $F$:

Die Existenz eines zu $\rho$ gehörigen Kreises ist - ähnlich wie beim Umkreisradius - allein durch diese Definition nicht gegeben.

Im Gegensatz zum minimalen Umkreis, der - sofern er existiert - auch eindeutig bestimmt ist, gilt dies für den minimalen Inkreis nicht. Als Gegenbeispiel betrachte man ein Rechteck, das für den maximalen Inkreisradius mehrere Inkreis mit verschiedenen Mittelpunkten enthält.

Aus der Definition können wir sofort die Ungleichung $\rho<= R$ zwischen Inkreisradius und Umkreisradius ableiten. Es gilt sogar

Für eine beliebige Figuren $F$ gilt zwischen Inkreisradius und Flächenradius die Ungleichung

Das Gleichheitszeichen gilt genau dann, wenn die Figur ein Kreis ist.

Die Beweisschritte sind analog zu denen von Satz C8NA.

Sei $A$ der Flächeninhalt der Figur $F$, $r_A$ ihr Flächenradius und $r$ der Radius eines beliebigen Inkreises. Dann gilt $\pi r^2<=A=\pi r_A^2$, also $r<=r_A$ und da der Inkreis beliebig gewählt war: $\rho<=r_A$.

Sei nun $r_A=\rho$, also $A=\pi \rho^2$.Es gilt stets $K\subseteq F$, für den Flächeninhalt $\mathrm{Fl}$ gilt damit: $\mathrm{Fl}(F\setminus K)$$=\mathrm{Fl}(F)\setminus \mathrm{Fl}(K)$ $=A-\pi \rho^2=0$. Beide Mengen unterscheiden sich nur um eine Nullmenge, sind nach unserer Definition damit identische Figuren. $\qed$