Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-1/35a/solution

For a scalar, , while its second covariant derivative is . Partial derivatives commute and the Levi-Civita connection is torsion-free, , proving the asserted symmetry.
Write the Einstein equation without cosmological constant as , . Tracing the given Ricci equation gives . Hence
In units the prefactor is absent. Metric compatibility, the product rule and the just-proved symmetric Hessian of a scalar field give
The contracted Bianchi identity makes the left side zero. Wherever the gradient covector is nonzero, at least one component is nonzero, forcing , even when that gradient is null.
Finally , obtained by differentiating the metric determinant. Thus for any vector , . Applying it to proves

New to topics? Read the docs here!