Codex Wiki OurBigBook logoOurBigBook.comSite Source code
For an oriented smooth surface , the Gauss map sends to the chosen unit normal vector . Since , differentiation shows that is perpendicular to and hence lies in .
In a local parametrization with , differentiating
gives
Thus the bilinear form is symmetric, so is self-adjoint. The Gaussian curvature is
Writing the coefficients of the first fundamental form as
and those of the second fundamental form as
one obtains
At an umbilic point, the self-adjoint map has a repeated eigenvalue, so it is a scalar map. If every point is umbilic, there is a function with
Equality of mixed partial derivatives gives
The two tangent vectors are linearly independent, hence . Since is connected, is constant.
If , then is constant and
so lies in a plane. If , then
Thus is constant, and
Therefore lies in a sphere of radius . This proves that the surface is part of a plane or part of a sphere.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 11F
  2. Paper 1
  3. Ib
  4. 2021
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home