索引
- 前言
- 计算 ( 5 23 ) \left( \frac{5}{23} \right) (235)
- 计算 ( 13 17 ) \left( \frac{13}{17} \right) (1713)
- 计算 ( 11 19 ) \left( \frac{11}{19} \right) (1911)
- 计算 ( 10 29 ) \left( \frac{10}{29} \right) (2910)
- 计算 ( 2 11 ) \left( \frac{2}{11} \right) (112)
- 计算 ( 2 31 ) \left( \frac{2}{31} \right) (312)
- 计算 ( 3 7 ) \left( \frac{3}{7} \right) (73)
- 求出以 − 2 -2 −2为平方剩余的素数的一般表达式;以 − 2 -2 −2为平方非剩余时的素数的一般表达式。
- 设 n n n是正整数, 4 n + 3 , 8 n + 7 4n+3,\text{ }8n+7 4n+3, 8n+7都是素数,说明 2 4 n + 3 ≡ 1 m o d 8 n + 7 { {2}^{4n+3}}\equiv 1\text{ }\bmod 8n+7 24n+3≡1 mod8n+7由此证明 23 ∣ ( 2 11 − 1 ) , 47 ∣ ( 2 23 − 1 ) , 503 ∣ ( 2 251 − 1 ) \left. 23 \right|\left( { {2}^{11}}-1 \right),\text{ }\left. 47 \right|\left( { {2}^{23}}-1 \right),\text{ }\left. 503 \right|\left( { {2}^{251}}-1 \right) 23∣(211−1), 47∣(223−1), 503∣(2251−1)
前言
以下计算用到的性质或方法全部来源于博文
- 《Legendre符号的定义和基本性质》
- 《Legendre符号的相关引理和部分计算性质的证明》中的引理 (Gauss)
计算 ( 5 23 ) \left( \frac{5}{23} \right) (235)
解
( 5 23 ) ≡ 5 23 − 1 2 m o d 23 = 5 11 = 5 × 25 5 ≡ 5 × 2 5 ≡ 5 × 9 = 45 ≡ − 1 m o d 23 \begin{aligned} & \left( \frac{5}{23} \right)\equiv {
{5}^{\frac{23-1}{2}}}\text{ }\bmod 23 \\ & ={
{5}^{11}} \\ & =5\times {
{25}^{5}} \\ & \equiv 5\times {
{2}^{5}} \\ & \equiv 5\times 9 \\ & =45 \\ & \equiv -1\text{ }\bmod 23 \\ \end{aligned} (235)≡5223−1 mod23=511=5×255≡5×25≡5×9=45≡−1 mod23
又 ( 5 23 ) ∈ { 0 , ± 1 } \left( \frac{5}{23} \right)\in \left\{ 0,\pm 1 \right\} (235)∈{
0,±1},故 ( 5 23 ) = − 1 \left( \frac{5}{23} \right)=-1 (235)=−1。
计算 ( 13 17 ) \left( \frac{13}{17} \right) (1713)
-
解法一
( 13 17 ) ≡ 13 17 − 1 2 m o d 17 = 13 8 ≡ ( − 4 ) 8 = 16 4 ≡ ( − 1 ) 4 = 1 m o d 17 \begin{aligned} & \left( \frac{13}{17} \right)\equiv { {13}^{\frac{17-1}{2}}}\text{ }\bmod 17 \\ & ={ {13}^{8}} \\ & \equiv { {\left( -4 \right)}^{8}} \\ & ={ {16}^{4}} \\ & \equiv { {\left( -1 \right)}^{4}} \\ & =1\text{ }\bmod 17 \\ \end{aligned} (1713)≡13217−1 mod17=138≡(−4)8=164≡(−1)4=1 mod17
又 ( 13 17 ) ∈ { 0 , ± 1 } \left( \frac{13}{17} \right)\in \left\{ 0,\pm 1 \right\} (1713)∈{ 0,±1},故 ( 13 17 ) = 1 \left( \frac{13}{17} \right)=1 (1713)=1。 -
解法二
一方面,
( − 13 17 ) = ( 4 17 ) = ( 2 2 17 ) = ( 2 17 ) 2 = 1 ( 17 ∣ 2 ) \left( \frac{-13}{17} \right)=\left( \frac{4}{17} \right)=\left( \frac{ { {2}^{2}}}{17} \right)={ {\left( \frac{2}{17} \right)}^{2}}=1\text{ }\left( 17\cancel{|}2 \right) (17−13)=(174)=(1722)=(172)2=1 (17∣ 2)
另一方面,由于 17 ≡ 1 m o d 4 17\equiv 1\text{ }\bmod 4 17≡1 mod4,有
( − 1 17 ) = 1 \left( \frac{-1}{17} \right)=1 (17−1)=1
因此有
( − 13 17 ) = ( − 1 17 ) ( 13 17 ) ⇒ ( 13 17 ) = ( − 13 17 ) ( − 1 17 ) = 1 \left( \frac{-13}{17} \right)=\left( \frac{-1}{17} \right)\left( \frac{13}{17} \right)\text{ }\Rightarrow \text{ }\left( \frac{13}{17} \right)=\frac{\left( \frac{-13}{17} \right)}{\left( \frac{-1}{17} \right)}=1 (17−13)=(17−1)(1713) ⇒ (1713)=(17−1)(17−13)=1
计算 ( 11 19 ) \left( \frac{11}{19} \right) (1911)
-
解法一
( 11 19 ) ≡ 11 19 − 1 2 m o d 19 = 11 9 ≡ ( − 8 ) 9 = ( − 8 ) × 64 4 ≡ ( − 8 ) × 7 4 = ( − 8 ) × 49 2 ≡ ( − 8 ) × ( − 8 ) 2 = ( − 8 ) × 64 ≡ ( − 8 ) × 7 = − 56 ≡ 1 \begin{aligned} & \left( \frac{11}{19} \right)\equiv { {11}^{\frac{19-1}{2}}}\text{ }\bmod 19 \\ & ={ {11}^{9}} \\ & \equiv { {\left( -8 \right)}^{9}} \\ & =\left( -8 \right)\times { {64}^{4}} \\ & \equiv \left( -8 \right)\times { {7}^{4}} \\ & =\left( -8 \right)\times { {49}^{2}} \\ & \equiv \left( -8 \right)\times { {\left( -8 \right)}^{2}} \\ & =\left( -8 \right)\times 64 \\ & \equiv \left( -8 \right)\times 7 \\ & =-56 \\ & \equiv 1 \\ \end{aligned} (1911)≡11219−1 mod19=119≡(−8)9=(−8)×644≡(−8)×74=(−8)×492≡(−8)×(−8)2=(−8)×64≡(−8)×7=−56≡1
又 ( 11 19 ) ∈ { 0 , ± 1 } \left( \frac{11}{19} \right)\in \left\{ 0,\pm 1 \right\} (1911)∈{ 0,±1},故 ( 11 19 ) = 1 \left( \frac{11}{19} \right)=1 (1911)=1。 -
解法二
19 19 19是奇素数, gcd ( 11 , 19 ) = 1 \gcd \left( 11,19 \right)=1 gcd(11,19)=1。 19 − 1 2 = 9 , 19 2 = 9.5 \frac{19-1}{2}=9,\text{ }\frac{19}{2}=9.5 219−1=9, 219=9.5。有下表:
x m o d 19 1 2 3 4 5 6 7 8 9 11 x m o d 19 11 ‾ 22 ≡ 3 33 ≡ 14 ‾ 44 ≡ 6 55 ≡ 17 ‾ 66 ≡ 9 77 ≡ 1 88 ≡ 12 ‾ 99 ≡ 4 \begin{matrix} x\text{ }\bmod 19 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 11x\text{ }\bmod 19 & \underline{11} & 22\equiv 3 & 33\equiv \underline{14} & 44\equiv 6 & 55\equiv \underline{17} & 66\equiv 9 & 77\equiv 1 & 88\equiv \underline{12} & 99\equiv 4 \\ \end{matrix} x mod1911x mod19111222≡3333≡14444≡6555≡17666≡9777≡1888≡12999≡4
上表中第二行共4个数 > 9.5 >9.5 >9.5,故 ( 11 19 ) = ( − 1 ) 4 = 1 \left( \frac{11}{19} \right)={ {\left( -1 \right)}^{4}}=1 (1911)=(−1)4=1。
计算 ( 10 29 ) \left( \frac{10}{29} \right) (2910)
解
29 29 29是奇素数, gcd ( 10 , 29 ) = 1 \gcd \left( 10,29 \right)=1 gcd(10,29)=1。 29 − 1 2 = 14 , 29 2 = 14.5 \frac{29-1}{2}=14,\text{ }\frac{29}{2}=14.5 229−1=14, 229=14.5。
x m o d 29 1 2 3 4 5 6 7 10 x m o d 29 10 20 ‾ 30 ≡ 1 40 ≡ 11 50 ≡ 21 ‾ 60 ≡ 2 70 ≡ 12 x m o d 29 8 9 10 11 12 13 14 10 x m o d 29 80 ≡ 22 ‾ 90 ≡ 3 100 ≡ 13 110 ≡ 23 ‾ 120 ≡ 4 130 ≡ 14 140 ≡ 24 ‾ \begin{aligned} & \begin{matrix} x\text{ }\bmod 29 & 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 10x\text{ }\bmod 29 & 10 & \underline{20} & 30\equiv 1 & 40\equiv 11 & 50\equiv \underline{21} & 60\equiv 2 & 70\equiv 12 \\ \end{matrix} \\ & \\ & \begin{matrix} x\text{ }\bmod 29 & 8 & 9 & 10 & 11 & 12 & 13 & 14 \\ 10x\text{ }\bmod 29 & 80\equiv \underline{22} & 90\equiv 3 & 100\equiv 13 & 110\equiv \underline{23} & 120\equiv 4 & 130\equiv 14 & 140\equiv \underline{24} \\ \end{matrix} \\ \end{aligned} x mod2910x mod29110220330≡1440≡11550≡21660≡2770≡12x mod2910x mod29880≡22990≡310100≡1311110≡2312120≡413130≡1414140≡24
上表中第二行共5个数 > 14.5 >14.5 >14.5,故 ( 10 29 ) = ( − 1 ) 5 = 1 \left( \frac{10}{29} \right)={
{\left( -1 \right)}^{5}}=1 (2910)=(−1)5=1。
计算 ( 2 11 ) \left( \frac{2}{11} \right) (112)
-
解法一
( 2 11 ) ≡ 2 11 − 1 2 m o d 11 = 2 5 = 32 ≡ − 1 m o d 11 \begin{aligned} & \left( \frac{2}{11} \right)\equiv { {2}^{\frac{11-1}{2}}}\text{ }\bmod 11 \\ & ={ {2}^{5}} \\ & =32 \\ & \equiv -1\text{ }\bmod 11 \\ \end{aligned} (112)≡2211−1 mod11=25=32≡−1 mod11
又 ( 2 11 ) ∈ { 0 , ± 1 } \left( \frac{2}{11} \right)\in \left\{ 0,\pm 1 \right\} (112)∈{ 0,±1},故 ( 2 11 ) = − 1 \left( \frac{2}{11} \right)=-1 (112)=−1. -
解法二
11 11 11是奇素数, gcd ( 2 , 11 ) = 1 \gcd \left( 2,11 \right)=1 gcd(2,11)=1。 11 − 1 2 = 5 , 11 2 = 5.5 \frac{11-1}{2}=5,\text{ }\frac{11}{2}=5.5 211−1=5, 211=5.5。有下表
x m o d 11 1 2 3 4 5 2 x m o d 11 2 4 6 ‾ 8 ‾ 10 ‾ \begin{matrix} x\text{ }\bmod 11 & 1 & 2 & 3 & 4 & 5 \\ 2x\text{ }\bmod 11 & 2 & 4 & \underline{6} & \underline{8} & \underline{10} \\ \end{matrix} x mod112x mod1112243648510
上表中第二行共有3个数 > 5.5 >5.5 >5.5,因此 ( 2 11 ) = ( − 1 ) 3 = − 1 \left( \frac{2}{11} \right)={ {\left( -1 \right)}^{3}}=-1 (112)=(−1)3=−1。 -
解法三
因为 11 ≡ 3 m o d 8 11\equiv 3\text{ }\bmod 8 11≡3 mod8,因此直接有 ( 2 11 ) = − 1 \left( \frac{2}{11} \right)=-1 (112)=−1。
计算 ( 2 31 ) \left( \frac{2}{31} \right) (312)
-
解法一
( 2 31 ) ≡ 2 31 − 1 2 m o d 31 = 2 15 = ( 2 5 ) 3 = 32 3 ≡ 1 3 = 1 m o d 31 \begin{aligned} & \left( \frac{2}{31} \right)\equiv { {2}^{\frac{31-1}{2}}}\text{ }\bmod 31 \\ & ={ {2}^{15}} \\ & ={ {\left( { {2}^{5}} \right)}^{3}} \\ & ={ {32}^{3}} \\ & \equiv { {1}^{3}} \\ & =1\text{ }\bmod 31 \\ \end{aligned} (312)≡2231−1 mod31=215=(25)3=323≡13=1 mod31
又 ( 2 31 ) ∈ { 0 , ± 1 } \left( \frac{2}{31} \right)\in \left\{ 0,\pm 1 \right\} (312)∈{ 0,±1},于是有 ( 2 31 ) = 1 \left( \frac{2}{31} \right)=1 (312)=1。 -
解法二
31 31 31是奇素数, gcd ( 2 , 31 ) = 1 \gcd \left( 2,31 \right)=1 gcd(2,31)=1。 31 − 1 2 = 15 , 31 2 = 15.5 \frac{31-1}{2}=15,\text{ }\frac{31}{2}=15.5 231−1=15, 231=15.5。有下表
x m o d 31 1 2 3 4 5 6 7 8 2 x m o d 31 2 4 6 8 10 12 14 16 ‾ x m o d 31 9 10 11 12 13 14 15 2 x m o d 31 18 ‾ 20 ‾ 22 ‾ 24 ‾ 26 ‾ 28 ‾ 30 ‾ \begin{aligned} & \begin{matrix} x\text{ }\bmod 31 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 2x\text{ }\bmod 31 & 2 & 4 & 6 & 8 & 10 & 12 & 14 & \underline{16} \\ \end{matrix} \\ & \\ & \begin{matrix} x\text{ }\bmod 31 & 9 & 10 & 11 & 12 & 13 & 14 & 15 \\ 2x\text{ }\bmod 31 & \underline{18} & \underline{20} & \underline{22} & \underline{24} & \underline{26} & \underline{28} & \underline{30} \\ \end{matrix} \\ \end{aligned} x mod312x mod3112243648510612714816x mod312x mod31918102011221224132614281530
上表中第二行共8个数 > 15.5 >15.5 >15.5,故 ( 2 31 ) = ( − 1 ) 8 = 1 \left( \frac{2}{31} \right)={ {\left( -1 \right)}^{8}}=1 (312)=(−1)8=1。 -
解法三
因为 31 ≡ − 1 m o d 8 31\equiv -1\text{ }\bmod 8 31≡−1 mod8,因此直接有 ( 2 31 ) = 1 \left( \frac{2}{31} \right)=1 (312)=1。
计算 ( 3 7 ) \left( \frac{3}{7} \right) (73)
解
7 7 7是奇素数, 3 3 3是奇数, gcd ( 3 , 7 ) = 1 \gcd \left( 3,7 \right)=1 gcd(3,7)=1, 7 − 1 2 = 3 \frac{7-1}{2}=3 27−1=3,因此有
( 3 7 ) = ( − 1 ) ∑ k = 1 3 [ 3 k 7 ] = ( − 1 ) [ 3 7 ] + [ 6 7 ] + [ 9 7 ] = ( − 1 ) 0 + 0 + 1 = − 1 \left( \frac{3}{7} \right)={
{\left( -1 \right)}^{\sum\limits_{k=1}^{3}{\left[ \frac{3k}{7} \right]}}}={
{\left( -1 \right)}^{\left[ \frac{3}{7} \right]+\left[ \frac{6}{7} \right]+\left[ \frac{9}{7} \right]}}={
{\left( -1 \right)}^{0+0+1}}=-1 (73)=(−1)k=1∑3[73k]=(−1)[73]+[76]+[79]=(−1)0+0+1=−1
求出以 − 2 -2 −2为平方剩余的素数的一般表达式;以 − 2 -2 −2为平方非剩余时的素数的一般表达式。
解
考虑一个素数 p p p和同余方程 x 2 ≡ − 2 m o d p {
{x}^{2}}\equiv -2\text{ }\bmod p x2≡−2 modp。
-
若 p = ± 2 p=\pm 2 p=±2,则同余方程等价于
x 2 ≡ − 2 ≡ 0 m o d ± 2 { {x}^{2}}\equiv -2\equiv 0\text{ }\bmod \pm 2 x2≡−2≡0 mod±2
有唯一解 x ≡ 0 m o d ± 2 x\equiv 0\text{ }\bmod \pm 2 x≡0 mod±2,此时 − 2 -2 −2是模 p p p的平方剩余。 -
若 p ≠ ± 2 p\ne \pm 2 p=±2,则 p p p是奇素数。
-
当 p p p是奇素数时, − 2 -2 −2是模 p p p的平方剩余等价于 ( − 2 p ) = 1 \left( \frac{-2}{p} \right)=1 (p−2)=1。由于
( − 2 p ) = ( − 1 p ) ( 2 p ) ( − 1 p ) = { 1 , p ≡ 1 m o d 4 − 1 , p ≡ − 1 m o d 4 ( 2 p ) = { 1 , p ≡ ± 1 m o d 8 − 1 , p ≡ ± 3 m o d 8 \begin{aligned} & \left( \frac{-2}{p} \right)=\left( \frac{-1}{p} \right)\left( \frac{2}{p} \right) \\ & \left( \frac{-1}{p} \right)=\left\{ \begin{aligned} & 1,\text{ }p\equiv 1\text{ }\bmod 4 \\ & -1,\text{ }p\equiv -1\text{ }\bmod 4 \\ \end{aligned} \right. \\ & \left( \frac{2}{p} \right)=\left\{ \begin{aligned} & 1,\text{ }p\equiv \pm 1\text{ }\bmod 8 \\ & -1,\text{ }p\equiv \pm 3\text{ }\bmod 8 \\ \end{aligned} \right. \\ \end{aligned} (p−2)=(p−1)(p2)(p−1)={ 1, p≡1 mod4−1, p≡−1 mod4(p2)={ 1, p≡±1 mod8−1, p≡±3 mod8
因此有
{ p ≡ 1 m o d 4 p ≡ 1 m o d 8 ① 或 { p ≡ 1 m o d 4 p ≡ − 1 m o d 8 ② 或 { p ≡ − 1 m o d 4 p ≡ 3 m o d 8 ③ 或 { p ≡ − 1 m o d 4 p ≡ − 3 m o d 8 ④ \begin{aligned} & \left\{ \begin{aligned} & p\equiv 1\text{ }\bmod 4 \\ & p\equiv 1\text{ }\bmod 8 \\ \end{aligned} \right.\text{① 或 } \left\{ \begin{aligned} & p\equiv 1\text{ }\bmod 4 \\ & p\equiv -1\text{ }\bmod 8 \\ \end{aligned} \right.\text{② } \\ 或& \left\{ \begin{aligned} & p\equiv -1\text{ }\bmod 4 \\ & p\equiv 3\text{ }\bmod 8 \\ \end{aligned} \right.\text{③ 或} \left\{ \begin{aligned} & p\equiv -1\text{ }\bmod 4 \\ & p\equiv -3\text{ }\bmod 8 \\ \end{aligned} \right.④ \\ \end{aligned} 或{ p≡1 mod4p≡1 mod8① 或 { p≡1 mod4p≡−1 mod8② { p≡−1 mod4p≡3 mod8③ 或{ p≡−1 mod4p≡−3 mod8④
而
gcd ( 4 , 8 ) = 4 , 4 ∣ 1 − 1 , 4 ∣ 3 − ( − 1 ) , 4 ∣ ( − 1 − 1 ) , 4 ∣ − 3 − ( − 1 ) \gcd \left( 4,8 \right)=4,\text{ }\left. 4 \right|1-1,\text{ }\left. 4 \right|3-\left( -1 \right),\text{ 4}\cancel{\text{ }\!\!|\!\!\text{ }}\left( -1-1 \right),\text{ 4}\cancel{\text{ }\!\!|\!\!\text{ }}-3-\left( -1 \right) gcd(4,8)=4, 4∣1−1, 4∣3−(−1), 4 ∣ (−1−1), 4 ∣ −3−(−1)
因此①,③有解;②,④无解。且由于 4 = 2 2 , 8 = 2 3 4={ {2}^{2}},8={ {2}^{3}} 4=22,8=23,由首一一次同余式组模数不满足两两互素时的解法,有
① ⇔ p ≡ 1 m o d 8 ③ ⇔ p ≡ 3 m o d 8 \begin{aligned} &① \Leftrightarrow p\equiv 1\text{ }\bmod 8 \\ & ③\Leftrightarrow p\equiv 3\text{ }\bmod 8 \\ \end{aligned} ①⇔p≡1 mod8③⇔p≡3 mod8 -
当 p p p是奇素数时, − 2 -2 −2是模 p p p的平方非剩余等价于 ( − 2 p ) = − 1 \left( \frac{-2}{p} \right)=-1 (p−2)=−1。由于
( − 2 p ) = ( − 1 p ) ( 2 p ) ( − 1 p ) = { 1 , p ≡ 1 m o d 4 − 1 , p ≡ − 1 m o d 4 ( 2 p ) = { 1 , p ≡ ± 1 m o d 8 − 1 , p ≡ ± 3 m o d 8 \begin{aligned} & \left( \frac{-2}{p} \right)=\left( \frac{-1}{p} \right)\left( \frac{2}{p} \right) \\ & \left( \frac{-1}{p} \right)=\left\{ \begin{aligned} & 1,\text{ }p\equiv 1\text{ }\bmod 4 \\ & -1,\text{ }p\equiv -1\text{ }\bmod 4 \\ \end{aligned} \right. \\ & \left( \frac{2}{p} \right)=\left\{ \begin{aligned} & 1,\text{ }p\equiv \pm 1\text{ }\bmod 8 \\ & -1,\text{ }p\equiv \pm 3\text{ }\bmod 8 \\ \end{aligned} \right. \\ \end{aligned} (p−2)=(p−1)(p2)(p−1)={ 1, p≡1 mod4−1, p≡−1 mod4(p2)={ 1, p≡±1 mod8−1, p≡±3 mod8
因此有
{ p ≡ 1 m o d 4 p ≡ 3 m o d 8 ① 或 { p ≡ 1 m o d 4 p ≡ − 3 m o d 8 ② 或 { p ≡ − 1 m o d 4 p ≡ 1 m o d 8 ③ 或 { p ≡ − 1 m o d 4 p ≡ − 1 m o d 8 ④ \begin{aligned} & \left\{ \begin{aligned} & p\equiv 1\text{ }\bmod 4 \\ & p\equiv 3\text{ }\bmod 8 \\ \end{aligned} \right.\text{① 或} \left\{ \begin{aligned} & p\equiv 1\text{ }\bmod 4 \\ & p\equiv -3\text{ }\bmod 8 \\ \end{aligned} \right. \text{②}\\ & 或\left\{ \begin{aligned} & p\equiv -1\text{ }\bmod 4 \\ & p\equiv 1\text{ }\bmod 8 \\ \end{aligned} \right. \text{③ 或} \left\{ \begin{aligned} & p\equiv -1\text{ }\bmod 4 \\ & p\equiv -1\text{ }\bmod 8 \\ \end{aligned} \right. ④\\ \end{aligned} { p≡1 mod4p≡3 mod8① 或{ p≡1 mod4p≡−3 mod8②或{ p≡−1 mod4p≡1 mod8③ 或{ p≡−1 mod4p≡−1 mod8④
而
gcd ( 4 , 8 ) = 4 , 4 ∣ ( − 3 − 1 ) , 4 ∣ − 1 − ( − 1 ) , 4 ∣ ( 3 − 1 ) , 4 ∣ 1 − ( − 1 ) \gcd \left( 4,8 \right)=4,\text{ }\left. 4 \right|\left( -3-1 \right),\text{ }\left. 4 \right|-1-\left( -1 \right),\text{ }4\cancel{|}\left( 3-1 \right),\text{ }4\cancel{|}1-\left( -1 \right) gcd(4,8)=4, 4∣(−3−1), 4∣−1−(−1), 4∣ (3−1), 4∣ 1−(−1)
因此①,③无解;②,④有解。且由于 4 = 2 2 , 8 = 2 3 4={ {2}^{2}},8={ {2}^{3}} 4=22,8=23,由首一一次同余式组模数不满足两两互素时的解法,有
② ⇔ p ≡ − 3 m o d 8 ④ ⇔ p ≡ − 1 m o d 8 \begin{aligned} & ②\Leftrightarrow p\equiv -3\text{ }\bmod 8 \\ & ④\Leftrightarrow p\equiv -1\text{ }\bmod 8 \\ \end{aligned} ②⇔p≡−3 mod8④⇔p≡−1 mod8
-
-
综上, 2 2 2是模 p p p的平方剩余时,素数 p p p满足
p = ± 2 p ≡ 1 , 3 m o d 8 p=\pm 2\text{ }\text{ }p\equiv 1,\text{ }3\text{ }\bmod 8 p=±2 p≡1, 3 mod8
2是模 p p p的平方非剩余时,素数 p p p一定是奇素数且满足
p ≡ − 3 , − 1 m o d 8 p\equiv -3,-1\text{ }\bmod 8 p≡−3,−1 mod8
设 n n n是正整数, 4 n + 3 , 8 n + 7 4n+3,\text{ }8n+7 4n+3, 8n+7都是素数,说明 2 4 n + 3 ≡ 1 m o d 8 n + 7 { {2}^{4n+3}}\equiv 1\text{ }\bmod 8n+7 24n+3≡1 mod8n+7由此证明 23 ∣ ( 2 11 − 1 ) , 47 ∣ ( 2 23 − 1 ) , 503 ∣ ( 2 251 − 1 ) \left. 23 \right|\left( { {2}^{11}}-1 \right),\text{ }\left. 47 \right|\left( { {2}^{23}}-1 \right),\text{ }\left. 503 \right|\left( { {2}^{251}}-1 \right) 23∣(211−1), 47∣(223−1), 503∣(2251−1)
证明
8 n + 7 8n+7 8n+7是素数且一定是奇数,由于 8 n + 7 ≡ − 1 m o d 8 8n+7\equiv -1\text{ }\bmod 8 8n+7≡−1 mod8,因此有
( 2 8 n + 7 ) = 1 ⇒ 2 4 n + 3 = 2 8 n + 7 − 1 2 ≡ ( 2 8 n + 7 ) = 1 m o d 8 n + 7 \begin{matrix} \left( \frac{2}{8n+7} \right)=1 \\ \\ \Rightarrow {
{2}^{4n+3}}={
{2}^{\frac{8n+7-1}{2}}}\equiv \left( \frac{2}{8n+7} \right)=1\text{ }\bmod 8n+7 \\ \end{matrix} (8n+72)=1⇒24n+3=228n+7−1≡(8n+72)=1 mod8n+7
令 n = 2 n=2 n=2,则有 8 n + 7 = 23 8n+7=23 8n+7=23是素数, 4 n + 3 = 11 4n+3=11 4n+3=11是素数,
2 11 ≡ 1 m o d 23 ⇒ 2 11 − 1 ≡ 0 m o d 23 ⇒ 23 ∣ ( 2 11 − 1 ) {
{2}^{11}}\equiv 1\text{ }\bmod 23\text{ }\Rightarrow \text{ }{
{2}^{11}}-1\equiv 0\text{ }\bmod 23\text{ }\Rightarrow \text{ }\left. 23 \right|\left( {
{2}^{11}}-1 \right) 211≡1 mod23 ⇒ 211−1≡0 mod23 ⇒ 23∣(211−1)
令 n = 5 n=5 n=5,则有 8 n + 7 = 47 8n+7=47 8n+7=47是素数, 4 n + 3 = 23 4n+3=23 4n+3=23是素数,
2 23 ≡ 1 m o d 47 ⇒ 2 23 − 1 ≡ 0 m o d 47 ⇒ 47 ∣ ( 2 23 − 1 ) {
{2}^{23}}\equiv 1\text{ }\bmod 47\text{ }\Rightarrow \text{ }{
{2}^{23}}-1\equiv 0\text{ }\bmod 47\text{ }\Rightarrow \text{ }\left. 47 \right|\left( {
{2}^{23}}-1 \right) 223≡1 mod47 ⇒ 223−1≡0 mod47 ⇒ 47∣(223−1)
令 n = 62 n=62 n=62,则有 8 n + 7 = 503 8n+7=503 8n+7=503是素数, 4 n + 3 = 251 4n+3=251 4n+3=251是素数,
2 251 ≡ 1 m o d 503 ⇒ 2 251 − 1 ≡ 0 m o d 503 ⇒ 503 ∣ ( 2 251 − 1 ) {
{2}^{251}}\equiv 1\text{ }\bmod 503\text{ }\Rightarrow \text{ }{
{2}^{251}}-1\equiv 0\text{ }\bmod 503\text{ }\Rightarrow \text{ }\left. 503 \right|\left( {
{2}^{251}}-1 \right) 2251≡1 mod503 ⇒ 2251−1≡0 mod503 ⇒ 503∣(2251−1)