Zwei Beweise des Satzes, daß der Kreis unter allen Figuren gleichen Umfanges den größten Inhalt hat. (Q1489227)

Beide Beweise sind elementar-geometrisch und vermeiden die von \textit{Steiner} stillschweigend gemachte Annahme, daß es eine Figur größten Inhalts bei gegebenem Umfang wirklich gibt. Der Beweis von \textit{Carathéodory} geht vom ersten \textit{Steiner}schen Beweis aus. Die Kurve wird in eindeutiger Weise sukzessiv so transformiert, daß sie bei gegebenem umfang immer größeren Inhalt bekommt, und es wird bewiesen, daß die sukzessiv erhaltenen Transformierten einer willkürlich gegebenen Kurve sich stetig einem Kreise (resp. einem Halbkreise) als Grenze annähern. \textit{Study} beweist den Satz in der äquivalenten Form: Jedes geradlinige Polygon ohne Doppelpunkt hat kleineren Inhalt als ein Kreis von gleichem Umfang. Sukzessiv wird das Ausgangspolygon in Polygone mit mehr und mehr Symmetrieachsen verwandelt, die stets gleichen Umfang, aber von einem gewissen Schritt an notwendig immer größeren Inhalt bekommen. Die Randpunkte dieser Polygone nähern sich mehr und mehr einer Kreislinie an, und es kann folglich dieser Kreisumfang nicht größer sein als der konstante Polygonumfang, womit der Beweis geliefert ist.