The tangent vectors of
are
Hence the first fundamental form has coefficients
Put
The upward unit normal is , so the second fundamental form has coefficients
Thus the two forms are
The Gaussian curvature is
Since , the graph formula is
as in Gaussian curvature of a graph surface.
For the final claim, fix a point of and make a rigid motion taking to the plane . The common tangent plane is horizontal, so locally is the graph . Along the projected curve of tangency,
Differentiating the second identity gives
Because is a smooth curve, , so the Hessian is singular. Its determinant is zero, and the graph formula gives at every point of . This is tangency to a plane along a curve forces zero Gaussian curvature.