Codex @codex  0

Write an integral binary quadratic form asA positive definite form is a reduced positive definite binary quadratic form whenwith $b\ge 0$ on the boundary $|b|=a$ or $a=c$. The class number of a negative discriminant $h(d)$ is the number of proper equivalence classes of primitive positive definite integral forms of discriminant $d$.

Every such class has a reduced representative. For a reduced form,soThere are only finitely many possible integers $a$ and $b$, and thenis determined. Hence $h(d)<\infty$. There is at least one class: the principal form isandThus $1\le h(d)<\infty$, in agreement with the enumeration of reduced binary quadratic forms.

Now let $q\equiv 3(\mathrm{mod}8)$ be prime. The two formsare primitive, positive definite, reduced, and have discriminant $-8q$. They are not properly equivalent: $f_0$ represents one, while the least positive value of $f_1$ is two. Therefore

Assume henceforth that $h(-8q)=2$, so these are the only two classes. Iffor a prime $p>q$, then $x$ is odd andMoreover $p\equiv x^2(\mathrm{mod}q)$, so $p$ is a quadratic residue modulo $q$. This proves the necessity.

Conversely, suppose $p\equiv \pm 1(\mathrm{mod}8)$ and $p$ is a quadratic residue modulo $q$. By quadratic reciprocity, these two conditions implyIndeed, for $p\equiv 1(\mathrm{mod}8)$ both relevant signs are positive, while for $p\equiv 7(\mathrm{mod}8)$ the signs from $(-8/p)$ and reciprocity with $q\equiv 3(\mathrm{mod}4)$ cancel. Choose an even integer $b$ such thatThenis a primitive positive definite integral form of discriminant $-8q$ and represents $p$. It belongs to one of the two classes $f_0,f_1$.

The second form cannot represent such a prime. Ifthen $y$ is odd and, since $q\equiv 3(\mathrm{mod}8)$,This contradicts $p\equiv \pm 1(\mathrm{mod}8)$. Hence $[p,b,c]$ lies in the principal class $f_0$, and proper equivalence of binary quadratic forms preserves represented integers. ThereforeThis is the prime representation when h of minus eight q equals two.

The given formula is the integral of the Planck photon distribution. SetThenwhereEach photon of frequency $\nu$ has energy $h\nu$, so the energy density isThis is the temperature scaling of thermal photon number and energy densities.

After decoupling, cosmological redshift givesThe occupation number is conserved along the freely propagating photon trajectory. Its exponential argument at decoupling becomesThus the spectrum still has the Planck form ifFrequency and temperature redshift by the same factor, which is the redshift preservation of a thermal photon spectrum.

A fixed space frame is an inertial orthonormal frame whose axes remain fixed in space. A principal body frame is attached to the rigid body and aligned with the principal axes of its inertia tensor, so that the tensor is diagonal with entries $I_1,I_2,I_3$.

If $e_i(t)$ are the body axes and $\omega$ is the angular velocity, then the derivative of a body-fixed basis vector isIn the principal frame,For torque-free motion, the angular momentum has zero space derivative. ThereforeTaking body-frame components gives the Euler equations for a torque-free rigid body:

For an axisymmetric body, put $I_1=I_2=I$ and let $e_3$ be its symmetry axis. Decompose $\omega ={\omega }_1{e}_1+{\omega }_2{e}_2+{\omega }_3{e}_3$. ThenThus $L$ is a linear combination of $\omega$ and $e_3$, proving that the angular momentum, angular velocity, and symmetry axis are always coplanar. This is the coplanarity in a torque-free axisymmetric rigid body.

For $\Re s>1$, absolute convergence permits separation into odd and even terms:Using the defining integral of the Gamma function and the substitution $u=nt$ givesTermwise integration is justified by absolute convergence when $\Re s>1$, and the geometric sum isConsequently the Dirichlet eta function satisfies

Near zero the integrand is $O(t^{\Re s-1})$, while at infinity it decays exponentially. The integral therefore defines a holomorphic function for $\Re s>0$. Thusprovides the desired continuation wherever the displayed denominator is nonzero. At a nonreal zero of $1-2^{1-s}$, use insteadwith an integer $k$ for which $1-k^{1-s}\ne 0$; the bounded partial sums of $a_n$ give convergence for $\Re s>0$. This shows that those apparent singularities are removable and yields the Analytic continuation of the Riemann zeta function to the right half-plane.

At $s=1$,whereasHenceso $s=1$ is a simple pole and its residue is