Beweise zu Sätzen von \textit{Brunn} und \textit{Minkowski} über die Minimaleigenschaft des Kreises. (Q1473550)

Elementarer Beweis von \textit{Minkowskis} Ungleichung: \[ M^2-F_0F_1\geqq 0, \] wo \(F_0,F_1\) den Flächeninhalt zweier konvexer Bereiche einer Ebene, \(M\) ihren gemischten Flächeninhalt bedeutet. Die Formel wird zuerst bewiesen für zwei Vierseite mit gleichsinnig parallelen Seiten, sie folgt dann ganz einfach auch für \(n\)- Seite mit gleichsinnig parallelen Seiten, und endlich durch Grenzübergang für beliebige konvexe Bereiche. Dabei ergibt sich auch ganz von selbst, daß das Gleichheitszeichen in der \textit{Minkowski}schen Ungleichung dann und nur dann gilt, wenn die beiden konvexen Bereiche ählich und ählich gelegen sind. -- Diesem ganz elementaren und äußerst durchsichtigen Beweise wird noch ein zweiter hinzugefügt. Es wird gezeigt, daß die Stützwinkelfunktion eines konvexen Bereiches stets eine mittlere Ableitung von endlicher Variation besitzt. Flächeninhalt, gemischter Flächeninhalt können vermöge des \textit{Parseval}schen Theorems aus der Theorie der \textit{Fourier}schen Reihen ohne weiteres durch die \textit{Fourier}schen Koeffizienten der Ableitung der Stützwinkelfunktion ausgedrückt werden, und aus diesen Ausdrücken kann die \textit{Minkowski}sche Ungleichung unmittelbar abgelesen werden. Dieser zweite Beweis wurde seither durch \textit{Wirtinger} noch etwas vereinfacht; vgl. des Verf. Buch ``Kreis und Kugel'' S. 105.