Let (M,g) be an n-dimensional complete Riemannian manifold with n≥2. Suppose M is connected and Ric≥(n−1)g, where Ric is the Ricci tensor of (M,g). Denote by dg the Riemannian measure of (M,g) and by d(x,y) the geodesic distance between x and y. Prove that
∫M×Mcosd(x,y)dg(x)dg(y)≥0.
Moreover, equality holds if and only if (M,g) is isometric to the unit round sphere Sn. calculusintegrationtopologyanalysismanifoldsdifferential geometrycollege contests