Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-64/2/ii/solution

Write for the induced metric. By definition of the spatial covariant derivative,
The spacetime Levi-Civita connection is metric compatible, so . The remaining terms contain either or , each zero because . Therefore
This verifies metric compatibility of the spatial covariant derivative directly, without assuming that the unprojected derivative of vanishes.

New to topics? Read the docs here!