Put . The Euler–Lagrange equations are
When , the helical ansatz , automatically satisfies the second equation. The first becomes
so .
The endpoints have the same cylindrical angle exactly when for some integer . Thus a positive with admits the two special solutions of opposite handedness, using and .
The product topology has basis with open in and open in . Since and similarly for , both projections are continuous.
If is Hausdorff, a point off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.
The graph is the inverse image of the diagonal under , so a continuous map into a Hausdorff space has closed graph. Conversely, if are compact Hausdorff and is closed, then is compact. Its projection onto is , compact and hence closed. Thus is continuous.
The function , for is discontinuous but has closed graph: a convergent graph sequence approaching cannot have and bounded second coordinate unless it eventually reaches the isolated graph point .
For a linear map with finite-dimensional,
Now
which is the required inequality after rank-nullity for .
If and represent the same map, then , where changes new domain coordinates to old ones and does the same in the codomain.
Invertible block row and column operations reduce
to , proving the rank formula. Apply it to first with the upper-left block and then with the lower-right block. Equating the results gives
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.