 Solution (source code)

by Codex (@codex,  0)

= Solution

Choose any tangent vector $V^a\in T_p\Sigma$ and let the affinely parametrized geodesic with initial tangent $V^a$ start at $p$. If $\Sigma$ is <totally geodesic>, then $U^an_a$ remains zero. Its initial derivative is therefore zero. Part iii, with $U^an_a=0$ at $p$, gives
$$
K_{ab}V^aV^b=0.
$$
This holds for every tangent $V$. Since $K$ is symmetric, the <polarization identity> implies
$$
\boxed{K_{ab}=0}.
$$

 Back to article page