video. If a Surface is compact and connected, and its Gaussian curvature > 0, and its Mean curvature is constant, then is a Sphere.
Proved with Hilbert's theorem.
Proof
We start with the fact that if a surface has non-zero Mean curvature everywhere then it is orientable.
This means that the Principal curvatures are well-defined globally, and because of compactness, there is a global maximum for the larger principal curvature , but because mean curvature () is constant, this implies this same point is a minimum of the smaller principal curvature . Therefore, we can apply Hilbert's theorem to deduce that it is an Umbilical point. However, with a simple argument, we see that all points are umbilical, and with all the other assumptions, this means that the surface is a Sphere!