Rotationsfläche zu ebener Kurve/Flächenberechnung/Fakt

Flächeninhalt einer Rotationsfläche

Es sei

$\gamma \colon ]a,b[\longrightarrow \mathbb {R} ^{2},\,t\longmapsto (x(t),y(t)),$

eine differenzierbare Kurve mit  ${}y(t)>0$,  die einen Diffeomorphismus zu  ${}M=\gamma (I)$  induziere, wobei  ${}M\subseteq G$  eine eindimensionale abgeschlossene Untermannigfaltigkeit in einer offenen Menge  ${}G\subseteq \mathbb {R} \times \mathbb {R} _{+}$  sei.

Dann ist die zugehörige Rotationsfläche eine abgeschlossene Untermannigfaltigkeit von ${}\mathbb {R} ^{3}$ ohne die ${}x$-Achse, und ihr Flächeninhalt ist gleich

$2\pi \int _{a}^{b}{\sqrt {(x'(t))^{2}+(y'(t))^{2}}}\cdot y(t)\,dt.$

Zum Beweis, Alternativen Beweis erstellen