(48)

∂H/∂gμν = -Γμβα Γναβ

∂H/∂gσμν = Γμνσ

If we now carry out the variations in (47a), we obtain the system of equations

(47b) ∂/∂xα ( ∂H/∂gαμν ) - ∂H/∂gμν = 0,

which, owing to the relations (48), coincide with (47), as was required to be proved.

If (47b) is multiplied by gσμν, since

gσμν/∂xα = ∂gαμν/∂xσ

and consequently

gσμν ∂/∂xα (∂H/∂gαμν) = ∂/∂xα (gσμν ∂H/∂gαμν)