Rotationsfläche/Differenzierbare positive Kurve/Graph/Tangentialraum/Fakt/Beweis

Beweis

(1) ist klar. Die Jacobimatrix von ist . Wegen der Positivität von kann nicht sein, daher ist auf regulär. Die angegebenen Vektoren sind bei linear unabhängig und gehören zum Kern der Jacobimatrix.