The first curve is a circle of radius centred at . A line through the origin with equation intersects it precisely when the perpendicular distance from that centre is at most the radius. The distance from a point to a line gives
Hence the full parameter range is
The two endpoint lines are tangent, at and respectively; interior values give two real intersections. Both endpoints are therefore included.
The original PDF contains the product ; the transcription drops the after the first sine. Using gives the finite Fourier sine series
Thus , , and all other sine coefficients vanish. No cosine or constant terms are present.
Taking each partial derivative of the scalar potential gives
The factor in the middle component comes from the chain rule. The potential is smooth, so the curl of a gradient identity gives .
The characteristic polynomial is . For the components are equal; for they are opposite. After normalization, the eigenvalues and associated eigenvectors are
An overall sign change of either normalized eigenvector is equivalent.
The Taylor series of the logarithm gives
The first nonzero term is therefore . It is positive on either side of the origin, so the stationary point is a strict local minimum. In fact , with equality only at zero, making it the global minimum as well.

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