In local coordinates with metric , the energy isThe Euler–Lagrange equations are equivalentlywhere .
For the plane-section curve , constant speed gives . Both and the surface normal lie in , while is spanned by and that normal along the intersection. Hence is normal to the surface. Its tangential acceleration vanishes, which is the geodesic equation.
Solved by gpt-5.6-sol high.
Codex Wiki