Legendre符号计算例题(一)

前言

  以下计算用到的性质或方法全部来源于博文

  1. 《Legendre符号的定义和基本性质》
  2. 《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)52231 mod23=511=5×2555×255×9=451 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)

  1. 解法一
    ( 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)132171 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

  2. 解法二
    一方面,
    ( − 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) (1713)=(174)=(1722)=(172)2=1 (17 2)
    另一方面,由于 17 ≡ 1     m o d   4 17\equiv 1\text{ }\bmod 4 171 mod4,有
    ( − 1 17 ) = 1 \left( \frac{-1}{17} \right)=1 (171)=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 (1713)=(171)(1713)  (1713)=(171)(1713)=1

计算 ( 11 19 ) \left( \frac{11}{19} \right) (1911)

  1. 解法一
    ( 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)112191 mod19=119(8)9=(8)×644(8)×74=(8)×492(8)×(8)2=(8)×64(8)×7=561
    ( 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

  2. 解法二
       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 2191=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 mod1911122233331444465551766697771888129994
    上表中第二行共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 2291=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 mod2911022033014401155021660277012x mod2910x mod298802299031010013111102312120413130141414024
上表中第二行共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)

  1. 解法一
    ( 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)22111 mod11=25=321 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.

  2. 解法二
    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 2111=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

  3. 解法三
    因为 11 ≡ 3     m o d   8 11\equiv 3\text{ }\bmod 8 113 mod8,因此直接有 ( 2 11 ) = − 1 \left( \frac{2}{11} \right)=-1 (112)=1

计算 ( 2 31 ) \left( \frac{2}{31} \right) (312)

  1. 解法一
    ( 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)22311 mod31=215=(25)3=32313=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

  2. 解法二
    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 2311=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

  3. 解法三
    因为 31 ≡ − 1     m o d   8 31\equiv -1\text{ }\bmod 8 311 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 271=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=13[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 x22 modp

  1. 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 x220 mod±2
    有唯一解 x ≡ 0     m o d   ± 2 x\equiv 0\text{ }\bmod \pm 2 x0 mod±2,此时 − 2 -2 2是模 p p p的平方剩余。

  2. p ≠ ± 2 p\ne \pm 2 p=±2,则 p p p是奇素数。

    1. p p p是奇素数时, − 2 -2 2是模 p p p的平方剩余等价于 ( − 2 p ) = 1 \left( \frac{-2}{p} \right)=1 (p2)=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} (p2)=(p1)(p2)(p1)={ 1, p1 mod41, p1 mod4(p2)={ 1, p±1 mod81, 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} { p1 mod4p1 mod8①  { p1 mod4p1 mod8② { p1 mod4p3 mod8③ { p1 mod4p3 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, 411, 43(1), 4   (11), 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} p1 mod8p3 mod8

    2. p p p是奇素数时, − 2 -2 2是模 p p p的平方非剩余等价于 ( − 2 p ) = − 1 \left( \frac{-2}{p} \right)=-1 (p2)=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} (p2)=(p1)(p2)(p1)={ 1, p1 mod41, p1 mod4(p2)={ 1, p±1 mod81, 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} { p1 mod4p3 mod8① { p1 mod4p3 mod8{ p1 mod4p1 mod8③ { p1 mod4p1 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(31), 41(1), 4 (31), 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} p3 mod8p1 mod8

  3. 综上, 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  p1, 3 mod8
    2是模 p p p的平方非剩余时,素数 p p p一定是奇素数且满足
    p ≡ − 3 , − 1     m o d   8 p\equiv -3,-1\text{ }\bmod 8 p3,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+31 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(2111), 47(2231), 503(22511)

证明
   8 n + 7 8n+7 8n+7是素数且一定是奇数,由于 8 n + 7 ≡ − 1     m o d   8 8n+7\equiv -1\text{ }\bmod 8 8n+71 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)=124n+3=228n+71(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) 2111 mod23  21110 mod23  23(2111)
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) 2231 mod47  22310 mod47  47(2231)
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) 22511 mod503  225110 mod503  503(22511)

猜你喜欢

转载自blog.csdn.net/qq_44261017/article/details/109665947