Maths Olympiad Prep

Library / /476 of 520

Number theory Difficulty 7.1 National olympiad, round 2 Prove it

19. Prove: There are infinitely many primes of the form 8k+38k+3.

untranslated part:

将上面的文本翻译成英文,请保留源文本的换行和格式,直接输出翻译结果。

translated part:

19. Prove: There are infinitely many primes of the form 8k+38k+3.

The part above was translated from Chinese to English, keeping the original text's line breaks and format.

Solution

19. Proof: Let NN be any given positive integer, and let p1,,psp_{1}, \ldots, p_{s} be all the primes of the form 8k+38k+3 that do not exceed NN. Define
q=(p1p2ps)2+2q=\left(p_{1} p_{2} \ldots p_{s}\right)^{2}+2

Let pj=2mj+1p_{j}=2 m_{j}+1. It is easy to see that
pj2=(2mj+1)2=8mj(mj+1)2+11(mod8)p_{j}^{2}=\left(2 m_{j}+1\right)^{2}=8 \cdot \frac{m_{j}\left(m_{j}+1\right)}{2}+1 \equiv 1(\bmod 8)

Thus, q12+2=3(mod8)q \equiv 1^{2}+2=3(\bmod 8). If qq itself is a prime, then q>Nq > N, and the problem is already proved. If qq is not a prime, let pp be any prime factor of qq. Then we have
(p1p2ps)22(modp)\left(p_{1} p_{2} \ldots p_{s}\right)^{2} \equiv-2(\bmod p)

Hence, 2-2 is a quadratic residue modulo pp. Since
(2p)=(1p)(2p)=(1)p12+p218,\left(\frac{-2}{p}\right)=\left(\frac{-1}{p}\right)\left(\frac{2}{p}\right)=(-1)^{\frac{p-1}{2}+\frac{p^{2}-1}{8}},

and
(1)p12={1,p1(mod4),1,p1(mod4),,(1)p218={1,p±1(mod8),1,p±3(mod8),(-1)^{\frac{p-1}{2}}=\left\{\begin{array}{c} 1, p \equiv 1(\bmod 4), \\ -1, p \equiv-1(\bmod 4), \end{array},(-1)^{\frac{p^{2}-1}{8}}=\left\{\begin{array}{c} 1, p \equiv \pm 1(\bmod 8), \\ -1, p \equiv \pm 3(\bmod 8), \end{array}\right.\right.

Thus, (2p)=1\left(\frac{-2}{p}\right)=1 is the solution set of the following system of congruences:
{p1(mod4)p1(mod8),{p1(mod4),p1(mod8),{p1(mod4),p3(mod8),{p1(mod4),p3(mod8)\left\{\begin{array}{l} p \equiv 1(\bmod 4) \\ p \equiv 1(\bmod 8) \end{array},\left\{\begin{array}{l} p \equiv 1(\bmod 4), \\ p \equiv-1(\bmod 8) \end{array},\left\{\begin{array}{l} p \equiv-1(\bmod 4), \\ p \equiv 3(\bmod 8) \end{array},\left\{\begin{array}{l} p \equiv-1(\bmod 4), \\ p \equiv-3(\bmod 8) \end{array}\right.\right.\right.\right.

The second and fourth groups have no solutions. From the first and third groups, we get p1p \equiv 1 and p3(mod8)p \equiv 3(\bmod 8), respectively. However, the prime factors of qq cannot all be of the form 8k+18k+1, otherwise we would have q1(mod8)q \equiv 1(\bmod 8), which contradicts the earlier result that q3(mod8)q \equiv 3(\bmod 8). Let pp be a prime factor of qq of the form 8k+38k+3. It is easy to see that p2,p1,p2,,psp \neq 2, p_{1}, p_{2}, \cdots, p_{s}, so p>Np > N. Therefore, for any given NN, there exists a prime of the form 8k+38k+3 that is greater than NN. Q.E.D.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.