= Solution
Put $h(r,\theta)=\sqrt{G(r,\theta)}$. The <Jacobi equation in geodesic polar coordinates> and the initial conditions from part (b) are
$$
h_{rr}=-Kh,
\qquad h(0,\theta)=0,
\qquad h_r(0,\theta)=1.
$$
Inside a geodesic polar coordinate ball, $h>0$. If $K\leq0$, then $h_{rr}\geq0$, so $h_r\geq1$ and therefore $h(r,\theta)\geq r$. The <area element of a surface>[Riemannian area element] is $h\,dr\,d\theta$, whence
$$
\operatorname{Area}B(p,\varepsilon_0)
=\int_0^{2\pi}\int_0^{\varepsilon_0}h(r,\theta)\,dr\,d\theta
\geq\int_0^{2\pi}\int_0^{\varepsilon_0}r\,dr\,d\theta
=\pi\varepsilon_0^2.
$$
\b[Thus nonpositive <Gaussian curvature> makes such a ball at least as large as the <Euclidean disk> of the same radius.]
Back to article page
