Codex @codex  0

Write an integral binary quadratic form as $Q(u,v)=A{u}^2+Buv+C{v}^2$, with discriminant of a binary quadratic form $d=B^2-4AC$. If $Q(u,v)=p$ is prime, then $\gcd (u,v)=1$: any common divisor would have its square dividing $p$. Complete $(u,v)$ to a matrix in ${\mathrm{SL}}_2(\mathbb{Z})$ using Bezout identity. After the associated integral change of variables, the properly equivalent form has leading coefficient $p$, say $[p,b,c]$. Its discriminant of a binary quadratic form gives $d=b^2-4pc$, hence $b^2\equiv d(\mathrm{mod}p)$.

Conversely suppose $b_0^2\equiv d(\mathrm{mod}p)$. Since $d$ is an integral-form discriminant of a binary quadratic form, $d\equiv 0$ or $1(\mathrm{mod}4)$. Choose $b\equiv b_0(\mathrm{mod}p)$ with even integer parity for $d\equiv 0(\mathrm{mod}4)$ and odd integer parity for $d\equiv 1(\mathrm{mod}4)$. This is possible because $p$ is odd. Then $b^2-d$ is divisible by $4p$, andis an integral form of discriminant of a binary quadratic form $d$ representing $p=Q(1,0)$. This proves the discriminant criterion for prime representation by a binary quadratic form, including the case $p\mid d$; no assumption that $d$ is a fundamental discriminant was used.

Both forms have discriminant of a binary quadratic form $-60$. The reduction algorithm for a positive definite binary quadratic form gives $|b|\le a\le c$ and $a\le \sqrt{60/3}<5$ for a reduced positive definite representative. Enumerating $a=1,2,3,4$ givesThe second and fourth forms are imprimitive and represent only even integers. Every odd prime represented by a form of discriminant of a binary quadratic form $-60$ must therefore be represented by $f$ or $g$.

For a prime $p\nmid 30$, quadratic reciprocity givesEvery prime $p\equiv 1(\mathrm{mod}15)$ has this symbol equal to one and hence is represented by one of the two primitive forms, by part (b). But an odd prime represented by $g$ and different from three is $2(\mathrm{mod}3)$, so these primes must be represented by $f$. Similarly, primes $p\equiv 2(\mathrm{mod}15)$ have both symbols equal to $-1$, and are represented by $g$, since a prime represented by $f$ is $1(\mathrm{mod}3)$. Both residue classes are coprime to 15, so Dirichlet theorem on primes in arithmetic progressions proves each form represents infinitely many primes.

The same modulo-three distinction excludes every prime other than three from being represented by both. The form $f$ does not represent three; $g$ represents three and five but neither is represented by $f$, and two is represented by neither. Therefore there are no primes represented by both forms.

Here ${\mathcal{O}}_K=\mathbb{Z}[s]$ with $s=\sqrt{-14}$ and field discriminant $-56$. The imaginary-quadratic Minkowski bound for ideal classes is $(2/\pi )\sqrt{56}<5$, so each ideal class has an integral representative of ideal norm at most four. Representatives therefore use prime ideals above two and three. PutThe prime two ramifies, with ${\mathfrak{p}}^2=(2)$, and three splits into $\mathfrak{q}\overline{\mathfrak{q}}=(3)$. No element has field norm two, because $N(a+bs)=a^2+14b^2$; thus $[\mathfrak{p}]$ is nontrivial of order two. Norm-four ideals represent $[\mathfrak{p}{]}^2=1$ and add no generator, so the class group is generated by $[\mathfrak{p}],[\mathfrak{q}]$.

The element $2-s$ has field norm 18. It belongs to $\mathfrak{p}$ and $\mathfrak{q}$, but not $\overline{\mathfrak{q}}$, since reduction there gives $s\equiv 1(\mathrm{mod}3)$. Its ideal therefore factors asThe exponents follow from the ideal norm 18, or from the root $s\equiv 2(\mathrm{mod}9)$ defining ${\mathfrak{q}}^2$. Hence $[\mathfrak{q}{]}^2=[\mathfrak{p}]$, so $[\mathfrak{q}]$ has order four and already generates all possible classes. ThereforeAs a separate check, the reduced forms of discriminant of a binary quadratic form $-56$ are $[1,0,14],[2,0,7],[3,2,5],[3,-2,5]$, giving exactly four classes.

Write an integral binary quadratic form as $[a,b,c]=a{x}^2+bxy+c{y}^2$, with discriminant of a binary quadratic form $D=b^2-4ac$. It is positive definite when $a>0$ and $D<0$. Two forms are equivalent if one is obtained from the other by an integral linear change of variables whose matrix lies in ${\mathrm{SL}}_2(\mathbb{Z})$. A positive definite form is reduced whenwith $b\ge 0$ when $|b|=a$ or $a=c$.

To reduce a form, apply a unimodular shear $x\mapsto x+ny$ with $n$ chosen so that the new middle coefficient has $|b^{\prime }|\le a$. If the new final coefficient $c^{\prime }$ is smaller than $a$, exchange the variables, using a determinant-one rotation, so that the positive leading coefficient decreases from $a$ to $c^{\prime }$. Repeating must stop because a positive integer cannot decrease indefinitely. At termination $|b|\le a\le c$, and elementary sign changes impose the boundary convention. This is the reduction algorithm for a positive definite binary quadratic form, and proves that every positive definite form is equivalent to a reduced one.

The displayed forms have discriminant $1-36=-35$, so the intended discriminant is $-35$. For any reduced form of this discriminant, enumeration of reduced binary quadratic forms givesThe boundary convention and direct checking of $a=1,2,3$ leave only

Suppose first that a prime $p>7$ is represented by $f_1$. The identityshows modulo both $5$ and $7$ that $4p$ is a nonzero square. HenceSimilarly,Modulo $5$, this says $2p$ is a square, while modulo $7$ it says $5p$ is a square. Since $(2/5)=(5/7)=-1$, the multiplicativity of the Legendre symbol gives

Conversely, suppose the two displayed Legendre symbols have the same sign. By quadratic reciprocity,Choose an odd integer $B$ satisfying $B^2\equiv -35(\mathrm{mod}p)$. Since $B$ is odd, $B^2+35$ is also divisible by $4$, sois a positive definite integral form of discriminant $-35$ that represents $p$. Reducing $F$ yields either $f_1$ or $f_2$, and equivalence preserves represented integers. The necessary symbol calculation above determines which one: the positive pair selects $f_1$, and the negative pair selects $f_2$. Therefore