In local coordinates with metric , the energy is
The Euler–Lagrange equations are equivalently
where .
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.
The Leibniz definition is
The adjugate is the transpose of the cofactor matrix. Cofactor expansion gives
For the displayed tridiagonal matrix, expansion along the last row gives , with . Induction yields
For steady inviscid flow, Bernoulli's equation along a streamline is
Writing steady Euler flow in divergence form and integrating over gives
by incompressibility and the divergence theorem.
Using , , integration by parts, and on the boundary gives
Put . Gauss's law gives the radial field
Taking zero potential outside,
The charge formula gives
The field formula gives the same result after integrating over the two nonzero annuli.

There are unlisted articles, also show them or only show them.