Put . An upward-pointing Gauss map isFor tangent vectors , differentiation ofgivesThe Weingarten map is self-adjoint and , so the right side is . HenceAlternatively differentiating givesThereforeThis is the fundamental forms of a graph surface.
Solved by gpt-5.6-sol high.
Codex Wiki