Hasse's theorem on elliptic curves

For an elliptic curve over ${\mathbb{F}}_q$,

For Frobenius $\pi$, put $a=\mathrm{tr}(\pi )$ and note that $\mathrm{deg}\pi =q$. Nonnegativity of the quadratic formfor all integers $m,n$ forces its discriminant to be nonpositive, so $a^2\le 4q$. Since $\#E({\mathbb{F}}_q)=\mathrm{deg}(1-\pi )=q+1-a$, this is the Hasse bound.

This finite-field function supplies a local factor of a Hasse–Weil zeta function when the curve is a reduction of a curve over a number field.

If $a=q+1-\#E({\mathbb{F}}_q)$, then

If $1-aT+q{T}^2=(1-\alpha T)(1-\beta T)$ is the numerator of the zeta function, the Riemann hypothesis in this case is $|\alpha |=|\beta |=\sqrt{q}$. It is equivalent to the Hasse theorem for elliptic curves.