The Neyman–Pearson lemma says that among tests of size at most for two simple hypotheses, a likelihood-ratio test rejecting where is most powerful, with boundary randomisation if required. If is that test and any competing test, choose so the sizes agree. Pointwise,
Integration and the size inequality yield .
Here
which decreases with . Thus reject for , where
For every tangent vector , stationarity of on the sphere gives . Hence is parallel to , say . Taking the inner product with gives . The spectral theorem shows that this is the largest eigenvalue.
For the eigenvalues are , so
Its graph is a V translated upward and is convex.
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

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