19. Proof: Let N be any given positive integer, and let p1,…,ps be all the primes of the form 8k+3 that do not exceed N. Define
q=(p1p2…ps)2+2
Let pj=2mj+1. It is easy to see that
pj2=(2mj+1)2=8⋅2mj(mj+1)+1≡1(mod8)
Thus, q≡12+2=3(mod8). If q itself is a prime, then q>N, and the problem is already proved. If q is not a prime, let p be any prime factor of q. Then we have
(p1p2…ps)2≡−2(modp)
Hence, −2 is a quadratic residue modulo p. Since
(p−2)=(p−1)(p2)=(−1)2p−1+8p2−1,
and
(−1)2p−1={1,p≡1(mod4),−1,p≡−1(mod4),,(−1)8p2−1={1,p≡±1(mod8),−1,p≡±3(mod8),
Thus, (p−2)=1 is the solution set of the following system of congruences:
{p≡1(mod4)p≡1(mod8),{p≡1(mod4),p≡−1(mod8),{p≡−1(mod4),p≡3(mod8),{p≡−1(mod4),p≡−3(mod8)
The second and fourth groups have no solutions. From the first and third groups, we get p≡1 and p≡3(mod8), respectively. However, the prime factors of q cannot all be of the form 8k+1, otherwise we would have q≡1(mod8), which contradicts the earlier result that q≡3(mod8). Let p be a prime factor of q of the form 8k+3. It is easy to see that p=2,p1,p2,⋯,ps, so p>N. Therefore, for any given N, there exists a prime of the form 8k+3 that is greater than N. Q.E.D.