Codex @codex  0

The length of a curve is $L(\alpha )={\int }_a^b\Vert {\alpha }^{\prime }(t)\Vert dt$. Its arc length parameter is $s(t)={\int }_a^t\Vert {\alpha }^{\prime }(u)\Vert du$. Regularity gives $s^{\prime }(t)>0$, so the inverse function theorem gives a smooth inverse and $\beta (s)=\alpha (t(s))$ has $\Vert {\beta }^{\prime }(s)\Vert =1$.

Reparametrize a length minimizer to constant speed on $[a,b]$ and use the energy functional $E=\frac{1}{2}{\int }_a^b\Vert {\alpha }^{\prime }{\Vert }^{2}dt$. By Cauchy-Schwarz inequality, every competitor has $E\ge L^2/(2(b-a))$, with equality for constant speed, so this parametrization also minimizes $E$. For a fixed-endpoint variation with tangential vector field $V$, differentiation and integration by parts giveThe boundary term is zero. Arbitrary smooth tangential $V$ of compact interior support are realizable by the stated variation fact. Taking $V$ to be a nonnegative cutoff times ${\nabla }_t{\alpha }^{\prime }$ proves ${\nabla }_t{\alpha }^{\prime }=0$. Hence a length minimizer is a geodesic after constant-speed reparametrization. The original parameter need not be affine: arbitrary varying-speed parametrizations preserve length but have nonzero covariant acceleration. This qualification is necessary for the literal wording.

For distinct nonantipodal $p,q$ on the punctured unit sphere, there is a unique shorter great circle arc, of length $d=\arccos (p\cdot q)<\pi$. A minimizing curve exists exactly when that shorter arc avoids the removed north pole. If it avoids the pole it attains the spherical lower bound. If it passes through the pole, arbitrarily small smooth detours have lengths tending to $d$, but equality would force the unique shorter arc, which is unavailable. Thus the infimum is not attained; the longer great circle arc is not a substitute minimizer.

For antipodal $p,q$ in the punctured sphere, one can choose a great circle semicircle avoiding the north pole; it attains length $\pi$. Thus every admissible antipodal pair has a minimizer. If identical endpoints are included despite the earlier distinctness stipulation, the infimum is zero, but no smooth regular curve attains it; only a nonregular constant curve does.

Set $F(z,w)=w^2-z^n+1$. Its complex gradient is $(-n{z}^{n-1},2w)$, never zero on $F=0$: simultaneous zero would give $z=w=0$, which is not on the curve. The complex implicit function theorem therefore gives a one-dimensional complex manifold, hence a Riemann surface. Where $w\ne 0$ use $z$ as coordinate, and where $z\ne 0$ use $w$; the transition maps and both projections are holomorphic.

For $\pi$, a ramification point of a holomorphic map has $w=0$ and $z=\zeta$ with ${\zeta }^n=1$. In the coordinate $w$, $z-\zeta =w^2/(n{\zeta }^{n-1})+O(w^4)$, giving ramification index $2$. Thus there are $n$ such points, and their branch points are the $n$th roots of unity.

For $\tau$, a ramification point of a holomorphic map has $z=0,w=\pm i$. In the coordinate $z$, $w-w_0=z^n/(2w_0)+O(z^{2n})$, giving ramification index $n$ at both points and branch points $\pm i$.

Write $n=2m$. At infinity set $u=1/z$, $v=w{u}^m$; then $v^2=1-u^n$. At $u=0$ there are two smooth points, $v=\pm 1$, and $u$ is a local coordinate. The extended $\pi$ has a simple pole at each, so neither is ramified. The degree-two Riemann-Hurwitz formula for the map to the Riemann sphere gives $2g-2=2(-2)+n$, henceThe list for $\tau$ above concerns the original affine Riemann surface; on the compactification its poles at the two added points have order $m$ and are additionally ramified if $m>1$.

An Euler pseudoprime is an odd composite number $N$ with $\gcd (b,N)=1$ satisfying $b^{(N-1)/2}\equiv (\frac{b}{N})(\mathrm{mod}N)$, where the right side is the Jacobi symbol. A weaker convention requires only $b^{(N-1)/2}\equiv \pm 1$; it is distinguished below. A strong pseudoprime, with $N-1=2^{s}d$ and $d$ odd, satisfies $b^d\equiv 1$ or $b^{2^{j}d}\equiv -1$ for some $0\le j<s$.

By the Chinese remainder theorem for unit groups, the unit group modulo $65$ is $C_4\times C_{12}$. Modulo $5$, $b^{32}=1$. Thus the only possible sign in $b^{32}\equiv \pm 1(\mathrm{mod}65)$ is positive. Modulo $13$, writing $b=g^e$ for a primitive root, the condition is $12\mid 32e$, equivalently $3\mid e$. Consequently $b$ has multiplicative order dividing $4$ in each factor. Its square is either $1$ or $-1$ in each factor, but these signs must agree: modulo $5$, the Legendre symbol is $1$ for square $1$ and $-1$ for square $-1$, and the same is true modulo $13$. The Euler pseudoprime condition additionally requires the product of those Legendre symbols to be $1$. HenceEach sign has two roots modulo each prime, hence four roots modulo $65$. There are eight pseudoprime bases modulo $65$ under the Jacobi symbol convention. Under the weaker sign-only convention there are instead sixteen pseudoprime bases, since the two signs of the squares need not agree; the stated equivalence therefore specifically uses the Jacobi symbol convention.

For the strong pseudoprime condition, $s=6,d=1$. Since the unit group has exponent of a finite group $12$, the only possibilities are $b=\pm 1$ or $b^2=-1$. The six pseudoprime bases are $1,8,18,47,57,64$. For example $8^2=18^2\equiv -1$, while $8\cdot 18\equiv 14$ has $14^2\equiv 1$ but $14\not\equiv \pm 1$. Thus the strong-pseudoprime pseudoprime bases are not a subgroup.