The Gaussian curvature of a surface at a point is the product
The arithmetic mean of the principal curvatures at a point