Show that if is a curve on then:
where is the Gauss map of
Let be a parameterization of , then and the basis of the tangent vectors are:
The first fundamental form of :
Second fundamental form of :
We first compute the unit normal vector :
and then the second derivatives:
Thus:
We know that , where
Thus:
Thus for it is clear that