Past exam of the mathematics course of the University of Cambridge / 2020 / ii / Paper 3 / 25I / a

Suppose $S$ lies in the closed ball of radius $R$ centred at $c$. By compactness, the continuous function $q\mapsto |q-c|$ attains its maximum $r\le R$ at some $p\in S$. The sphere of radius $r$ about $c$ is a supporting sphere tangent to $S$ at $p$.

Put $N=(p-c)/r$. For any unit vector $v\in T_{p}S$, choose a surface curve $\alpha$ with $\alpha (0)=p$ and ${\alpha }^{\prime }(0)=v$. Since $|\alpha (t)-c{|}^2$ has a local maximum at zero,The scalar $⟨{\alpha }^{\prime \prime }(0),N⟩$ is the normal curvature in direction $v$, so every normal curvature is at most $-1/r$ with this choice of unit normal. Applying this to principal directions shows that both principal curvatures satisfy $k_i\le -1/r$. ThereforeThis proves both assertions, including the existence of an elliptic point on every compact regular surface.