Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-3/37b/b/solution

The vectors and are coordinate vector fields on the parameter surface, so their ordinary commutator vanishes. Torsion-freeness then gives
Since each -curve is geodesic, . Apply the Ricci identity to and use :
Thus the desired form holds with

New to topics? Read the docs here!