查看“︁二次互反律”︁的源代码

在[[数论]]中，特别是在[[同余]]理论里，'''二次互反律'''（Law of Quadratic Reciprocity）是一个用于判别[[二次剩余]]，即二次[[同余]][[方程]]<math>x^2 \equiv p \pmod q </math>之[[整数]]解的存在性的定律。二次互反律揭示了方程<math>x^2 \equiv p \pmod q </math> 可解和 <math>x^2 \equiv q \pmod p </math>可解的简单关系。运用二次互反律可以将模数较大的二次剩余判别问题转为模数较小的判别问题，并最后归结为较少的几个情况，从而在实际上解决了[[二次剩余]]的判别问题。然而，二次互反律只能提供二次剩余的存在性，对于二次同余方程的具体求解并没有实际帮助。

二次互反律常用[[勒让德符号]]表述：对于两个奇[[素数]] <math>p</math> 和 <math>q</math>，
: <math>\left( \frac{p}{q} \right) \cdot \left( \frac{q}{p} \right) = (-1)^{\frac{ (p-1)(q-1) }{4} }</math>
其中<math>\left( \tfrac{p}{q} \right) </math>是[[勒让德符号]]。但是对于更一般的[[雅可比符号]]和[[希尔伯特符号]]也有对应的二次互反律。 

[[欧拉]]和[[勒让德]]都曾经提出过二次互反律的猜想。但第一个严格的证明是由[[高斯]]在1796年作出的，随后他又发现了另外七个不同的证明<ref>Gauss, DA § 4, arts 107-150</ref>。在《[[算数研究]]》一书和相关论文中，高斯将其称为“基石”：
<blockquote>这个定理肯定属于最优雅的基本定理。(Art. 151)</blockquote>
私下里高斯把二次互反律誉为算术理论中的宝石，是一个'''黄金定律'''<ref>例如在其1796年4月8日（他初次证明二次互反律的日子）的数学日志里，参看 [http://books.google.com/books?id=NM36hgqmOLkC&pg=PA30&lpg=PA30&dq=+%22theorema+aureum%22++diary+gauss&source=web&ots=m5uXIuw73w&sig=Bzhx36Y3ZVh6WniMjT6kWUIpZqY&hl=en Felix Klein 的《19世纪数学进程》] {{Wayback|url=http://books.google.com/books?id=NM36hgqmOLkC&pg=PA30&lpg=PA30&dq=+%22theorema+aureum%22++diary+gauss&source=web&ots=m5uXIuw73w&sig=Bzhx36Y3ZVh6WniMjT6kWUIpZqY&hl=en |date=20190513102614 }}</ref>。

高斯之后[[卡爾·雅可比|雅可比]]、[[柯西]]、[[约瑟夫·刘维尔|刘维尔]]、[[克罗内克]]、[[费迪南德·格奥尔格·弗罗贝尼乌斯|弗洛贝尼乌斯]]等也相继给出了新的证明。至今，二次互反律已有超过200个不同的的证明。二次互反律可以推广到更高次的情况，如[[三次互反律]]等等。

== 相关术语 ==

一个[[整数]] <math>a</math> 是[[二次剩余|模]]整数 <math>n</math> 的'''[[二次剩余]]'''，是指它与某个整数的[[平方]]关于模''<math>n</math>'' [[同余]]。直观来说，是指二次同余方程<math>x^2 \equiv a \pmod n </math>有整数解。如果这样的整数解不存在，则称 <math>a</math> 是[[同余|模]]整数 <math>n</math> 的'''[[二次剩余|二次非剩余]]'''。术语中的“二次”一词是为了表示与平方同余，在不至于混淆的行文中，可以略掉。当模数是[[质数]]时，通常将0的情况区别讨论，因此有：
# 在模为质数时，二次剩余与二次非剩余的个数是相等的。
# 在模为质数时，剩余与剩余、非剩余与非剩余的乘积都是剩余，剩余与非剩余的乘积是非剩余。

== 几个简单情况 ==
有了上节的关于乘积的性质，可以发现：研究一个合数是否是模某个质数<math>p</math>的剩余，只需将这个合数进行[[质因数分解]]，研究其每个质因数是不是模''<math>p</math>''的剩余即可。因此，为了寻找模质数的二次剩余的规律，可以先研究对于前几个质数2、3、5等的情况，看对于什么样的质数''<math>p</math>''，2、3、5等是模它们的剩余。此外为了研究正负号对乘积的影响，也要研究-1的情况。为了发现规律，可以借助50以内的质数的二次剩余表。

=== 50以内的质数的二次剩余表 ===
下表列出了1至20模50以内的质数的二次剩余。其中每一行列出了模相应质数的所有剩余。因此要看某个整数 <math>k</math> 是否是模某个质数 <math>p</math> 的剩余，只需要看 <math>k</math> 是否在模 <math>p</math> 的那一行中出现就行了。

:例如，要检查7是不是模37的剩余，可以查看7是否出现在模37的一行中。实际上7出现在左数第9个格子里，因此7是模37的二次剩余。 
:又如，要检查7是不是模43的剩余，可以查看7是否出现在模43的一行中。实际上並沒有7出現，因此7是模43的二次非剩余。
:又如，要检查7是不是模41的剩余，可以查看7是否出现在模41的一行中。实际上並沒有7出現，因此7是模41的二次非剩余。
:又如，要检查18是不是模47的剩余，可以查看18是否出现在模47的一行中。实际上並沒有18出現，但是注意了，當<math>n=21</math>時，<math>n^2=441\equiv 18\pmod{47}</math>，因此18是模47的二次剩余(如要判斷質數<math>p \neq 2</math>，至少須寫到<math>\frac{p-1}{2}</math>)。

{|  class="wikitable" style="text-align:center" cellpadding="1"
|-
! n || 1||2|| 3|| 4||5|| 6|| 7|| 8 ||9 ||10|| 11|| 12|| 13|| 14 ||15|| 16|| 17|| 18 ||19|| 20
|-
! n<sup>2</sup> 
! width="25" |1 
! width="25" |4
! width="25" |9
! width="25" |16
! width="25" |25
! width="25" |36
! width="25" |49
! width="25" |64 
! width="25" |81 
!100|| 121|| 144|| 169|| 196 ||225|| 256|| 289|| 324 ||361 || 400
|-
! mod 3 
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1 || 0
| 1 || 1  
|-
! mod 5 
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0
| 1 || 4 || 4 || 1 || 0

|-
! mod 7 
| 1 || 4 || 2 || 2 || 4 || 1 || 0 
| 1 || 4 || 2 || 2 || 4 || 1 || 0 
| 1 || 4 || 2 || 2 || 4 || 1 
|-
! mod 11 
| 1 || 4 || 9 || 5 || 3 || 3 || 5 || 9 || 4 || 1 || 0 
| 1 || 4 || 9 || 5 || 3 || 3 || 5 || 9 || 4   
|-
! mod 13 
| 1 || 4 || 9 || 3 || 12 || 10 || 10 || 12 || 3 || 9 || 4 || 1 || 0 
| 1 || 4 || 9 || 3 || 12 || 10 || 10 
|-
! mod 17 
| 1 || 4 || 9 || 16 || 8 || 2 || 15 || 13 || 13 || 15 || 2 || 8 || 16 || 9 || 4 || 1 || 0 
| 1 || 4 || 9 
|-
! mod 19 
| 1 || 4 || 9 || 16 || 6 || 17 || 11 || 7 || 5 || 5 || 7 || 11 || 17 || 6 || 16 || 9 || 4 || 1 || 0
| 1 
|-
! mod 23 
| 1 || 4 || 9 || 16 || 2 || 13 || 3 || 18 || 12 || 8 || 6 || 6 || 8 || 12 ||18 || 3 || 13 || 2 
| 16 || 9  
|-
! mod 29 
| 1 ||4|| 9|| 16|| 25|| 7|| 20|| 6 ||23 ||13|| 5|| 28|| 24|| 22 ||22|| 24|| 28|| 5 ||13 || 23
|-
! mod 31 
| 1 ||4|| 9|| 16||25|| 5|| 18|| 2 ||19 ||7|| 28|| 20|| 14|| 10 ||8|| 8|| 10|| 14 ||20 || 28
|-
! mod 37 
| 1 ||4|| 9|| 16||25|| 36|| 12|| 27 ||7 ||26||20|| 33|| 21|| 11 ||3|| 34|| 30|| 28 ||28 || 30
|-  
! mod 41 
| 1 ||4|| 9|| 16||25|| 36|| 8|| 23 ||40 ||18||39||21|| 5|| 32 ||20|| 10|| 2|| 37 ||33 || 31
|-
! mod 43 
| 1 ||4|| 9|| 16||25|| 36|| 6|| 21 ||38 ||14|| 35|| 15|| 40|| 24 ||10|| 41|| 31|| 23 ||17 || 13
|-
! mod 47 
| 1 ||4|| 9|| 16||25|| 36|| 2|| 17 ||34 ||6|| 27|| 3|| 28|| 8 ||37||21||7||42||32||24
|}

=== –1的情况 ===
首先，看看对于什么样的质数，–1是模它的二次剩余。查对上表后可以发现：–1对于模<math>5, 13, 17, 29, 37</math>是二次剩余，而对<math>3, 7, 11, 19, 23, 31, 43</math>则不是。比如：

<blockquote><math>-1\equiv 2\pmod{3}</math>，<math>-1\equiv 4\pmod{5}</math>，<math>-1\equiv 10\pmod{11}</math>，等等。</blockquote>

可以发现前者都是模4余1的质数，后者都是模4余3的质数。于是可以猜想：

:同余方程<math> x^2 \equiv -1 \pmod p </math> 有解[[当且仅当]] <math> p\equiv 1 \pmod 4</math>。

=== 2的情况 ===
接下来看对什么样的质数，2是模它的二次剩余。同样查对上表后可以发现：对于模8余±1的质数，如<math>7, 17, 23, 31, 41, 47</math>，2是模它的二次剩余。对于模8余±3的质数如<math>3, 5, 11, 13, 19, 29, 37</math> 等则不然。

=== 3的情况 ===
3是模11、13、23、37和47的剩余，但不是模5、7、17、19、29、31、41或43的剩余。

前者模12都余±1，后者都模12余±5。

–3是模7、13、19、31、37和43的剩余，但不是模5、11、17、23、29、41或47的剩余，前者模3都余1，后者模3都余2。

由于模3的剩余只有1，可以发现一个规律：'''对于所有为模3的剩余的质数，-3是模它的剩余'''。

=== 5的情况 ===
5是模11、19、29、31和41的剩余，但不是模3、7、13、17、23、37、43或47的剩余，前者模5都余±1，后者模5都余±2。

由于模5的剩余只有±1，可以发现规律：'''对于所有为模5的剩余的质数，5是模它的剩余'''。

=== 6的情况 ===
6是模5、19、23、29、43和47的剩余，但不是模7、11、13、17、31、37或41的剩余，前者模24都余±1或±5，后者模24都余±7或±11。

=== 7的情况 ===
7是模3、19、29、31、37和47的剩余，但不是模5、11、13、17、23、41或43的剩余，前者模28都余±1、±3或±9，后者模28都余±5、±11或±13。

–7是模2、11、23、29、37和43的剩余，但不是模3、5、13、17、19、31、41或47的剩余，前者模7都余1、2、4，后者模7都余3、5、6。

由于模7的剩余只有1、2或4，可以发现一个规律：'''对于所有为模7的剩余的质数，-7是模它的剩余'''。

=== n<sup>2</sup>+n+2 的因數 ===
{| class="wikitable sortable"
|-
! <math>n</math>!! <math>n^2+n+2</math>!! [[質因數]]分解 !! ''<math>n</math>'' !! <math>n^2+n+2</math>!! [[質因數]]分解 
|-
| 0 || 2 || 2 || 21 || 464 || 2<sup>4</sup>&sdot;29 
|-
| 1 || 4 || 2<sup>2</sup> || 22 || 508 || 2<sup>2</sup>&sdot;127 
|-
| 2 || 8 || 2<sup>3</sup> || 23 || 554 || 2&sdot;277 
|-
| 3 || 14 || 2&sdot;7 || 24 || 602 || 2&sdot;7&sdot;43
|-
| 4 || 22 || 2&sdot;11 || 25 || 652 || 2<sup>2</sup>&sdot;163 
|-
| 5 || 32 || 2<sup>5</sup> || 26 || 704 || 2<sup>6</sup>&sdot;11 
|-
| 6 || 44 || 2<sup>2</sup>&sdot;11 || 27 || 758 || 2&sdot;379 
|-
| 7 || 58 || 2&sdot;29 || 28 || 814 || 2&sdot;11&sdot;37 
|-
| 8 || 74 || 2&sdot;37 || 29 || 872 || 2<sup>3</sup>&sdot;109 
|-
| 9 || 92 || 2<sup>2</sup>&sdot;23 || 30 || 932 || 2<sup>2</sup>&sdot;233 
|-
| 10 || 112 || 2<sup>4</sup>&sdot;7 || 31 || 994 || 2&sdot;7&sdot;71 
|-
| 11 || 134 || 2&sdot;67 || 32 || 1058 || 2&sdot;23<sup>2</sup> 
|-
| 12 || 158 || 2&sdot;79 || 33 || 1124 || 2<sup>2</sup>&sdot;281 
|-
| 13 || 184 || 2<sup>3</sup>&sdot;23 || 34 || 1192 || 2<sup>3</sup>&sdot;149 
|-
| 14 || 212 || 2<sup>2</sup>&sdot;53 || 35 || 1262 || 2&sdot;631 
|-
| 15 || 242 || 2&sdot;11<sup>2</sup> || 36 || 1334 || 2&sdot;23&sdot;29 
|-
| 16 || 274 || 2&sdot;137 || 37 || 1408 || 2<sup>7</sup>&sdot;11 
|-
| 17 || 308 || 2<sup>2</sup>&sdot;7&sdot;11 || 38 || 1484 || 2<sup>2</sup>&sdot;7&sdot;53 
|-
| 18 || 344 || 2<sup>3</sup>&sdot;43 || 39 || 1562 || 2&sdot;11&sdot;71 
|-
| 19 || 382 || 2&sdot;191 || 40 || 1642 || 2&sdot;821 
|-
| 20 || 422 || 2&sdot;211 || 41 || 1724 || 2<sup>2</sup>&sdot;431 
|}

不難發現<math>n^2+n+2</math>，在''<math>n</math>''是整數的情況，只能被模7二次剩餘的[[質數]][[整除]]，不可能被模7二次非剩餘的質數整除，因為<math>b^2-4ac=-7</math>，所以只能被模7二次剩餘的[[質數]][[整除]]。

對於2、7、11、23、29、37、43、53、67、71、79、107、109、113、127、137等質數都是模7的二次剩餘。{{OEIS|id=A045373}}

對於3、5、13、17、19、31、41、47、59、61、73、83、89、97、101、103、131、139等質數都是模7的二次非剩餘。{{OEIS|id=A003625}}

== 高斯和勒让德的叙述 ==

对于一般的情况，也有类似的规律。在此基础上，高斯和勒让德提出了两个一般性的叙述（没有使用[[勒让德符号]]），两者是等价的。

=== 高斯的叙述 ===
如果<math> q \equiv 1 \pmod 4</math> 那么 <math>x^2 \equiv p \pmod q </math> 可解当且仅当<math>x^2 \equiv q \pmod p</math>可解。

如果<math> q \equiv 3 \pmod 4</math> 那么 <math>x^2 \equiv p \pmod q </math> 可解当且仅当<math>x^2 \equiv -q \pmod p</math>可解。
借助于以下变量：<math>q^* = (-1)^\frac{q-1}{2}q</math>，命题可以简化为：
:<math>x^2 \equiv p \pmod q </math>可解当且仅当<math>x^2 \equiv q^* \pmod p</math>可解。

在高斯的叙述中已经可以见到“互反”的体现，即将<math>x^2 \equiv p \pmod q </math> 的可解性与<math>x^2 \equiv q \pmod p</math>的可解性联系起来。在下表中可以看出，这表现了一种对称性（反对称性）。

下表列明了质数之间相互是否为二次剩余的情况。方格内为'''R'''表示对应的<math>q</math>（横列元素）为对应的<math>p</math>（竖列元素）的二次剩余，'''N'''则表示相反情况（此表示法由高斯创造）。可以看到白格内的元素是关于对角线对称的，黄格内则关于对角线反对称。可以说黄格代表了一种“特殊情况”<ref>[http://www.math.sinica.edu.tw/math_media/d164/16412.pdf 蕭文強，數學=證明?]{{dead link|date=2018年2月 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>。

{|  class="wikitable" style="text-align:center;" cellpadding="2"
|-
| colspan="2" rowspan="2" |
! colspan="24" | ''q''
|-

!width="25" | 3
!width="25" | 5
!width="25" | 7
!width="25" |11
!width="25" |13
!width="25" |17
!width="25" |19
!width="25" |23
!width="25" |29
!width="25" |31
!width="25" |37
!width="25" |41
!width="25" |43
!width="25" |47
!width="25" |53
!width="25" |59
!width="25" |61
!width="25" |67
!width="25" |71
!width="25" |73
!width="25" |79
!width="25" |83
!width="25" |89
!width="25" |97
|- 
!rowspan="24" width="25" | ''p''

! width="25" | 3

!&nbsp; <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''R'''<!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''R'''<!-- 19 -->
|style="background:#ffdead;" |'''N'''<!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''R'''<!-- 31 -->
|'''R''' <!-- 37 -->
|'''N'''<!-- 41 -->
|style="background:#ffdead;" |'''R'''<!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''N'''<!-- 53 -->
|style="background:#ffdead;" |'''N''' <!-- 59 -->
|'''R''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''N'''<!-- 89 -->
|'''R'''<!-- 97 -->
|-

! 5
|'''N''' <!--  3 -->
!&nbsp; <!--  5 -->
|'''N''' <!--  7 -->
|'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''R''' <!-- 19 -->
|'''N'''<!-- 23 -->
|'''R'''<!-- 29 -->
|'''R'''<!-- 31 -->
|'''N''' <!-- 37 -->
|'''R'''<!-- 41 -->
|'''N''' <!-- 43 -->
|'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|'''R''' <!-- 59 -->
|'''R''' <!-- 61 -->
|'''N''' <!-- 67 -->
|'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|'''R''' <!-- 79 -->
|'''N''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!7
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''N''' <!--  5 -->
!&nbsp; <!--  7 -->
|style="background:#ffdead;" |'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''R''' <!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''R''' <!-- 53 -->
|style="background:#ffdead;" |'''N''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''R'''<!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

! 11
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''R''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
!&nbsp; <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''R''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

! 13
|'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|'''N''' <!--  7 -->
|'''N''' <!-- 11 -->
!&nbsp; <!-- 13 -->
|'''R''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''R''' <!-- 23 -->
|'''R''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''R''' <!-- 43 -->
|'''N''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''N''' <!-- 59 -->
|'''R''' <!-- 61 -->
|'''N''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''N''' <!-- 73 -->
|'''R''' <!-- 79 -->
|'''N''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!17
|'''N''' <!--  3 -->
|'''N''' <!--  5 -->
|'''N''' <!--  7 -->
|'''N''' <!-- 11 -->
|'''R'''<!-- 13 -->
!&nbsp; <!-- 17 -->
|'''R''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''R''' <!-- 43 -->
|'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|'''R''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''N''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''R''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!19
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''R''' <!--  5 -->
|style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
!&nbsp; <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''R''' <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''N''' <!-- 59 -->
|'''R''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
|style="background:#ffdead;" |'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!23
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
!&nbsp; <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''R''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''R''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''R''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!29
|'''N''' <!--  3 -->
|'''R''' <!--  5 -->
|'''R''' <!--  7 -->
|'''N''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''R''' <!-- 23 -->
!&nbsp; <!-- 29 -->
|'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''N''' <!-- 43 -->
|'''N''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|'''R''' <!-- 67 -->
|'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!31
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''R''' <!--  5 -->
!style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''R''' <!-- 19 -->
|style="background:#ffdead;" |'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
!&nbsp; <!-- 31 -->
|'''N''' <!-- 37 -->
|'''R''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!37
|'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|'''R''' <!--  7 -->
|'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''N''' <!-- 31 -->
!&nbsp; <!-- 37 -->
|'''R''' <!-- 41 -->
|'''N''' <!-- 43 -->
|'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''N''' <!-- 59 -->
|'''N''' <!-- 61 -->
|'''R''' <!-- 67 -->
|'''R''' <!-- 71 -->
|'''R''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!41
|'''N''' <!--  3 -->
|'''R''' <!--  5 -->
|'''N''' <!--  7 -->
|'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''R''' <!-- 31 -->
|'''R''' <!-- 37 -->
!&nbsp;  <!-- 41 -->
|'''R''' <!-- 43 -->
|'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|'''R''' <!-- 59 -->
|'''R''' <!-- 61 -->
|'''N''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!43
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
|style="background:#ffdead;" |'''R''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''R''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''R''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''R''' <!-- 41 -->
!&nbsp; <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''N''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!47
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
|style="background:#ffdead;" |'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
!&nbsp; <!-- 47 -->
|'''R''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''R''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!53
|'''N''' <!--  3 -->
|'''N''' <!--  5 -->
|'''R''' <!--  7 -->
|'''R''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''R''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''R''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''R''' <!-- 43 -->
|'''R''' <!-- 47 -->
!&nbsp;  <!-- 53 -->
|'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
|'''N''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''N''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''N''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!59
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''R''' <!--  5 -->
|style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
|style="background:#ffdead;" |'''R''' <!-- 19 -->
|style="background:#ffdead;" |'''N''' <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''R''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''R''' <!-- 53 -->
!&nbsp;  <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''N''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!61
|'''R''' <!--  3 -->
|'''R''' <!--  5 -->
|'''N''' <!--  7 -->
|'''N''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''R''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''R''' <!-- 41 -->
|'''N''' <!-- 43 -->
|'''R''' <!-- 47 -->
|'''N''' <!-- 53 -->
|'''N''' <!-- 59 -->
!&nbsp; <!-- 61 -->
|'''N''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
|'''N''' <!-- 79 -->
|'''R''' <!-- 83 -->
|'''N''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!67
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
|style="background:#ffdead;" |'''R''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''R''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''N''' <!-- 61 -->
!&nbsp; <!-- 67 -->
|style="background:#ffdead;" |'''R''' <!-- 71 -->
|'''R''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!71
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''R''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
|style="background:#ffdead;" |'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''R''' <!-- 19 -->
|style="background:#ffdead;" |'''N''' <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''R''' <!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''N''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
!&nbsp; <!-- 71 -->
|'''R''' <!-- 73 -->
|style="background:#ffdead;" |'''R''' <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!73
|'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|'''N''' <!--  7 -->
|'''N''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''R''' <!-- 19 -->
|'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''R''' <!-- 41 -->
|'''N''' <!-- 43 -->
|'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|'''N''' <!-- 59 -->
|'''R''' <!-- 61 -->
|'''R''' <!-- 67 -->
|'''R''' <!-- 71 -->
!&nbsp; <!-- 73 -->
|'''R''' <!-- 79 -->
|'''N''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!79
|style="background:#ffdead;" |'''N''' <!--  3 -->
|'''R''' <!--  5 -->
|style="background:#ffdead;" |'''N''' <!--  7 -->
|style="background:#ffdead;" |'''R''' <!-- 11 -->
|'''R''' <!-- 13 -->
|'''N''' <!-- 17 -->
|style="background:#ffdead;" |'''R''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''N''' <!-- 29 -->
|style="background:#ffdead;" |'''R''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''N''' <!-- 59 -->
|'''N''' <!-- 61 -->
|style="background:#ffdead;" |'''R''' <!-- 67 -->
|style="background:#ffdead;" |'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
!&nbsp; <!-- 79 -->
|style="background:#ffdead;" |'''R''' <!-- 83 -->
|'''R''' <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!83
|style="background:#ffdead;" |'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|style="background:#ffdead;" |'''R''' <!--  7 -->
|style="background:#ffdead;" |'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
|style="background:#ffdead;" |'''N''' <!-- 19 -->
|style="background:#ffdead;" |'''R''' <!-- 23 -->
|'''R''' <!-- 29 -->
|style="background:#ffdead;" |'''R''' <!-- 31 -->
|'''R''' <!-- 37 -->
|'''R''' <!-- 41 -->
|style="background:#ffdead;" |'''N''' <!-- 43 -->
|style="background:#ffdead;" |'''N''' <!-- 47 -->
|'''N''' <!-- 53 -->
|style="background:#ffdead;" |'''R''' <!-- 59 -->
|'''R''' <!-- 61 -->
|style="background:#ffdead;" |'''N''' <!-- 67 -->
|style="background:#ffdead;" |'''N''' <!-- 71 -->
|'''N''' <!-- 73 -->
|style="background:#ffdead;" |'''N''' <!-- 79 -->
!&nbsp; <!-- 83 -->
|'''N''' <!-- 89 -->
|'''N''' <!-- 97 -->
|-

!89
|'''N''' <!--  3 -->
|'''R''' <!--  5 -->
|'''N''' <!--  7 -->
|'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''R''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''N''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''N''' <!-- 43 -->
|'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''N''' <!-- 59 -->
|'''N''' <!-- 61 -->
|'''R''' <!-- 67 -->
|'''R''' <!-- 71 -->
|'''R''' <!-- 73 -->
|'''R''' <!-- 79 -->
|'''N''' <!-- 83 -->
!&nbsp;  <!-- 89 -->
|'''R''' <!-- 97 -->
|-

!97
|'''R''' <!--  3 -->
|'''N''' <!--  5 -->
|'''N''' <!--  7 -->
|'''R''' <!-- 11 -->
|'''N''' <!-- 13 -->
|'''N''' <!-- 17 -->
|'''N''' <!-- 19 -->
|'''N''' <!-- 23 -->
|'''N''' <!-- 29 -->
|'''R''' <!-- 31 -->
|'''N''' <!-- 37 -->
|'''N''' <!-- 41 -->
|'''R''' <!-- 43 -->
|'''R''' <!-- 47 -->
|'''R''' <!-- 53 -->
|'''N''' <!-- 59 -->
|'''R''' <!-- 61 -->
|'''N''' <!-- 67 -->
|'''N''' <!-- 71 -->
|'''R''' <!-- 73 -->
|'''R''' <!-- 79 -->
|'''N''' <!-- 83 -->
|'''R''' <!-- 89 -->
!&nbsp; <!-- 97 -->
|}

=== 勒让德的叙述 ===

观察上表中黄格的情况，可以看出相对应的两个质数都是模4余3的。因此勒让德的陈述为：
:如果<math>p\equiv1\pmod4</math> 或者 <math> q\equiv1\pmod4 </math> 那么
::<math>x^2 \equiv q \pmod p x^2 </math> 可解当且仅当 <math>x^2 \equiv p \pmod q</math> 可解。
:如果<math>p \equiv q \equiv 3 \pmod4</math> 那么
::<math>x^2 \equiv q \pmod p x^2 </math> 可解当且仅当 <math>x^2 \equiv p \pmod q</math> 不可解。

== 研究历史 ==
二次互反律曾被不少的数学家研究，因此二次互反律的叙述有很多种。要注意的是当时的数学记号并不统一。欧拉和勒让德并没有高斯的同余记号，高斯也不知道勒让德符号。
  '''下文中的'''<math>p</math>'''和'''<math>q</math>'''总是不相等的正奇质数。'''

=== 前期探索 ===
费马曾经证明了<ref>Lemmermeyer, pp. 2-3</ref>（或声称证明了<ref>Gauss, DA, art. 182</ref>）一系列关于将质数表示成平方和的定理
:<math>p=x^2+\;\,y^2 </math> 当且仅当 <math>p=2 </math> 或 <math> p\equiv 1 \pmod4 </math>
:<math>p=x^2+2y^2</math> 当且仅当 <math>p=2 </math> 或 <math> p\equiv 1, 3 \pmod8</math>
:<math>p=x^2+3y^2</math> 当且仅当 <math>p=3 </math> 或 <math> p\equiv 1 \pmod3</math>

他并没有给出二次互反律的陈述，尽管由此类的定理可以得到–1、±2和±3的情况。

此外[[欧拉]]曾经猜想（后被勒让德证明）<ref>Lemmermeyer, p. 3</ref> ：
:如果<math>\;\,p \equiv 1, 9, \pmod{ 20 }</math> 那么 <math>\;\,p = x^2+5y^2</math>
:如果<math>p, q \equiv 3, 7 \pmod{ 20 }</math> 那么 <math> pq=x^2+5y^2.</math>

证明费马的这类命题是导致二次互反律的发现的因素之一。

=== 定理的首次叙述：欧拉 ===
[[欧拉]]在1783年曾经写过<ref>Lemmermeyer, p. 5, Ireland & Rosen, p 54, 61</ref>（以现今的符号表示）：

'''1) 如果''' <math>q\equiv 1\pmod{4}</math> '''那么'''<math>q</math>'''是模'''<math>p</math>'''的二次剩余当且仅当'''<math>p\equiv r\pmod{q}</math>'''，其中'''<math>r</math>'''是一个模''<math>q</math>''的二次剩余。'''

'''2) 如果 <math>q\equiv 3\pmod{4}</math> 那么''<math>q</math>''是模''<math>p</math>''的二次剩余当且仅当'''<math>p\equiv \pm b^2\pmod{4q}</math>''', 其中'''<math>b</math>'''为奇数但不被''<math>q</math>''整除。'''

这是二次互反律首次被完整地陈述<ref>{{Cite web |url=http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |title=Proving the law of guadratic reciprocity |accessdate=2009-06-01 |archive-date=2006-08-29 |archive-url=https://web.archive.org/web/20060829005658/http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |dead-url=yes }} {{Wayback|url=http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |date=20060829005658 }}</ref>。欧拉也证明了<ref>Ireland & Rosen, pp. 69-70. 他的证明基于后来所称的“高斯和”。</ref> 2的情况。

=== 勒让德与他的符号 ===
勒让德用<math>a</math>和<math>A</math>表示模4余1的正质数，用''<math>b</math>''和<math>B</math>表示模4余3的正质数。他建立了一个有8个定理的表格，这8个定理合起来就是二次互反律<ref>Lemmermeyer, pp. 6-8</ref>。

{| class="wikitable"
|+ 
! 定理 
! width="200"|如果 
! width="200"|则有
|-
! I 
|  <math>b^\frac{a-1}{2}\equiv +1 \pmod a</math>
|  <math>a^\frac{b-1}{2}\equiv +1 \pmod b</math>
|-
! II 
|  <math>a^\frac{b-1}{2}\equiv -1 \pmod b</math>
|  <math>b^\frac{a-1}{2}\equiv -1 \pmod a</math>
|-
! III 
|  <math>a^\frac{A-1}{2}\equiv +1 \pmod A</math>
|  <math>A^\frac{a-1}{2}\equiv +1 \pmod a</math>
|-
! IV 
|  <math>a^\frac{A-1}{2}\equiv -1 \pmod A</math>
|  <math>A^\frac{a-1}{2}\equiv -1 \pmod a</math>
|-
! V 
|  <math>a^\frac{b-1}{2}\equiv +1 \pmod b</math>
|  <math>b^\frac{a-1}{2}\equiv +1 \pmod a</math>
|-
! VI 
|  <math>b^\frac{a-1}{2}\equiv -1 \pmod a</math>
|  <math>a^\frac{b-1}{2}\equiv -1 \pmod b</math>
|-
! VII 
|  <math>b^\frac{B-1}{2}\equiv +1 \pmod B</math>
|  <math>B^\frac{b-1}{2}\equiv -1 \pmod b</math>
|-
! VIII 
|  <math>b^\frac{B-1}{2}\equiv -1 \pmod B</math>
|  <math>B^\frac{b-1}{2}\equiv +1 \pmod b</math>
|}

<br />
勒让德认为表达式<math>N^\frac{c-1}{2}\pmod c</math>出现了太多次，可以简写为：
:<math>
\left(\frac{N}{c}\right) 
= \pm 1
\equiv N^\frac{c-1}{2} \pmod c
</math>
其中<math>N</math>、<math>c</math>为互质的数<ref>Comme les quantités analogues <math>\scriptstyle N^\frac{c-1}{2}</math> se renconteront fréquemment dans le cours de nos recherches, nous emploierons le caractères abrégés <math>\scriptstyle \left(\frac{N}{c}\right)</math> pour exprimer le reste que donne <math>\scriptstyle N^\frac{c-1}{2}</math> divisé par c, reste qui suivant ce qu'on vient de voir ne peut être que +1 ou -1. --{{cite book | language = 法语| author = Adrien-Marie Legendre| title = {{lang|fr|''Recherche d'analyse indéterminée, Histoire de l'Académie Royale des Sciences''}}| date = 1788年
}}</ref>。

这个符号就是现在使用的[[勒让德符号]]<ref>由[[欧拉判别法]]，两者等价</ref>：
对于所有的整数''<math>a</math>''以及任意奇质数<math>p</math>：
:{| align=left border="0"
|rowspan=3| <math>\left(\frac{a}{p}\right) =\begin{cases}\;\;\,0 \\+1 \\-1 \end{cases}</math>
| 如果<math>p</math>整除<math>a</math>；
|-
| 如果<math>a</math>是模<math>p</math>的二次剩余且<math>p</math>不整除<math>a</math>
|-
| 如果<math>a</math>是模<math>p</math>的二次非剩余。
|}
:.
:；
:.
:.

勒让德使用勒让德符号的叙述为：

:<math>
\left( \frac{p}{q} \right) = \left( \frac{q}{p} \right) </math>，如果 <math>p\equiv 1 \pmod{4} </math> 或 <math>q \equiv 1 \pmod{4}</math>
:<math>
\left( \frac{p}{q} \right)= -\left( \frac{q}{p} \right) </math>，如果 <math> p\equiv q \equiv 3 \pmod{4}
</math>

他也提到上面的两种情况可以合并为：
:<math> \left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{(p-1)(q-1)}{4}}</math>

勒让德完整地证明了八种情况中的第一、第二和第七种。在证明第八种情况时，勒让德作了一个可以等价于[[狄利克雷定理]]的假设。正如高斯在其《算术研究》中指出的。勒让德实际上证明了二次互反律是狄利克雷定理成立的情况下的一个推论<ref>Lemmermeyer, pp. 8</ref>。

=== 首次的证明：高斯 ===

[[File:Disquisitiones-Arithmeticae-p133.jpg|thumb|1801年出版的《[[算术研究]]》第131篇的部分，列出了二次互反律的8种情况]]
第一个完整地给出二次互反律的证明的人是德国数学家[[高斯]]。高斯在1796年给出了二次互反律的第一个证明<ref>{{Cite web |url=http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |title=Proving the law of quadratic reciprocity |accessdate=2009-06-01 |archive-date=2006-08-29 |archive-url=https://web.archive.org/web/20060829005658/http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |dead-url=yes }} {{Wayback|url=http://padic.mathstat.uottawa.ca/~MAT3166/reports/quadrec.pdf |date=20060829005658 }}</ref>。高斯首先证明了<ref>Gauss, DA, arts 108-116</ref> -1和2的情况。作为进行[[数学归纳法]]的开始，他证明了<ref>Gauss, DA, arts 117-123</ref>±3和±5的情况。他注意到-3和+5的情况较有规律，容易叙述<ref>Gauss, DA, arts 130</ref>，因此把定理叙述为<ref>Gauss, DA, Art 131</ref>：

''' 如果 <math>p</math> 是形式为<math>4n+1</math>，那么 <math>p</math>（如果 <math>p</math> 是形式为<math>4n+3</math>那么<math>-p</math>）是模每个为模<math>p</math>的二次剩余（非剩余）的质数的二次剩余（非剩余）。'''

在下一句中，高斯将其列为“基本定理”（但没有用到“互反律”的称谓）。

在引进<math>a\ \mathbf{R} \ b</math>（<math>a\ \mathbf{N} \ b</math>）表示<math>a</math>是模<math>b</math>的二次剩余（非剩余）后，高斯令<math>a</math>和<math>a^\prime</math>表示模4余1的质数，用<math>b</math>和<math>b^\prime</math>表示模4余3的，于是写出了勒让德得到的8种情况：
{| class="wikitable"
|+ 
! width="50"|情况
! width="80"|如果
! width="80"|那么 
|-
! 1) 
|  ±''a'' R ''a''′                   
| ±''a''′ R ''a''
|-
! 2) 
|   ±''a'' N ''a''′                  
| ±''a''′ N ''a''
|-
! 3) 
|   +''a'' R ''b''<br />–''a'' N ''b''       
| ±''b'' R ''a''
|-
! 4) 
|   +''a'' N ''b''<br />–''a'' R ''b''       
| ±''b'' N ''a''
|-
! 5) 
|   ±''b'' R ''a''                         
| +''a'' R ''b''<br />–''a'' N ''b''
|-
! 6) 
|   ±''b'' N ''a''                         
| +''a'' N ''b''<br />–''a'' R ''b''
|-
! 7) 
|   +''b'' R ''b''′<br />–''b'' N ''b''′       
| –''b''′ N ''b''<br />+''b''′ R ''b''
|-
! 8) 
|   –''b'' N ''b''′<br />+''b'' R ''b''′       
| +''b''′ R ''b''<br />–''b''′ N ''b''
|}

在接下来的文章中他将其推广到关于所谓的[[雅可比符号]]，以下的大写字母表示的意思和相应的小写字母一样，但不再是质数。
{| class="wikitable"
|+ 
! width="50"|情况 
! width="80"|如果 
! width="80"|那么 
|-
! 9) 
|  ±''a'' R ''A''                   
| ±''A'' R ''a''
|-
! 10) 
|   ±''b'' R ''A''                  
| +''A'' R ''b''<br />–''A'' N ''b''
|-
! 11) 
|   +''a'' R ''B''       
| ±''B'' R ''a''
|-
! 12) 
|   –''a'' R ''B''       
| ±''B'' N ''a''
|-
! 13) 
|   +''b'' R ''B''                         
| –''B'' N ''b''<br />+''N'' R ''b''
|-
! 14) 
|   –''b'' R ''B''                         
| +''B'' R ''b''<br />–''B'' N ''b''
|}

最后他分各种情况分别运用强数学归纳法将其证明<ref>Gauss, DA, arts 135-144</ref>。

证明中高斯用到了<ref>Gauss, DA, arts. 125-129</ref>一个引理：

如果<math>p \equiv 1 \pmod 8 </math> 是质数，那么存在奇质数 <math>q <2\sqrt p+1 </math> 使得 <math>\left(\frac{p}{q}\right) = -1</math>

如果使用勒让德符号，那么高斯的陈述就是
: 令<math>q^* = (-1)^\frac{q-1}{2}q</math>，也就是说 <math>|q^*|=|q|</math> 且 <math>q^*\equiv 1 \pmod 4</math>。

:那么 <math>
\left(\frac{p}{q}\right) = \left(\frac{q^*}{p}\right)</math>

高斯一生中给出了二次互反律的八个证明，其中他最为满意的是第五个证明。

== 其它陈述 ==
=== 欧拉 ===
:如果<math> p \equiv \pm q \pmod {4a}</math> 那么 <math>
\left(\frac{a}{p}\right)
=\left(\frac{a}{q}\right).
</math> <ref>Ireland & Rosen, p 60-61.</ref>

=== 艾森斯坦 ===
[[費迪南·艾森斯坦|艾森斯坦]]<ref>Lemmermeyer, Th. 2.28, pp 63-65</ref>曾声称：

:如果 <math>p\ne q, p'\ne q', p \equiv p' \pmod 4</math> 并且 <math>q \equiv q' \pmod 4</math> 那么 <math>\Bigg(\frac{p}{q}\Bigg) \left(\frac{q}{p}\right)
=\left(\frac{p'}{q'}\right) \left(\frac{q'}{p'}\right)
</math>

=== 莫德尔 ===
[[莫德尔]]<ref>Lemmermeyer, ex. 1.9, p. 28</ref>证明了以下命题与二次互反律等价：

:令 <math>a, b</math>和 <math>c </math> 为整数，那么对每个整除 <math>abc</math> 的质数<math> p</math>有： 
:如果 <math>ax^2 + by^2 + cz^2 \equiv 0 \pmod{4abc/p} </math>有一个非平凡解，那么
:<math>ax^2 + by^2 + cz^2 \equiv 0 \pmod{4abc}</math>也有。


== 关于[[雅可比符号]]的互反律 ==
雅可比符号是勒让德符号的一个推广，与后者主要的区别是“分母”只需为正奇数，而不需要一定是质数。当“分母”为质数时，两者意义相同。雅可比符号的运算规律与勒让德符号相同，即：

:<math>
\left(\frac{-1}{n}\right) 
= (-1)^{\frac{(n-1)}{2}} 
= \left\{\begin{array}{cl} 1 & \ \;n \equiv 1 \pmod 4\\ -1 & \ \;n \equiv 3 \pmod 4\end{array}\right.
</math>

:<math>
{\left(\frac{2}{n}\right) 
= (-1)^{\frac{(n^2-1)}{8}} 
= \left\{\begin{array}{cl} 1 & \ \;n \equiv 1 , 7 \pmod 8\\ -1 & \ \;n \equiv 3,5 \pmod 8\end{array}\right.}
</math>

如果两个数都是正奇数，那么二次互反律对雅可比符号也成立：
:<math> \left(\frac{m}{n}\right) \left(\frac{n}{m}\right) = (-1)^{\frac{(m-1)(n-1)}{4}}.</math>

然而，当雅可比符号为+1，“分母”为合数时，“分子”不一定是“分母”的二次剩余。高斯的第九至十四种情况可以被表示为：
:<math> \left(\frac{M}{p}\right) = (-1)^{\frac{(p-1)(M-1)}{4}} \Bigg(\frac{p}{M}\Bigg) </math>

由于<math> p </math>为质数，上式左边是勒让德符号，于是我们可以知道<math> M </math>是否是模''<math> p </math>''的剩余。

以上各节的公式对雅可比符号仍然成立。欧拉的公式可以写作：
:<math> \frac{a}{m} = \frac{a}{m \pm 4an} </math>
其中<math> n </math>为整数，<math>m\pm4an>0</math>
<blockquote>

举例来说： 
<math>\frac{2}{7}
=\frac{2}{15}
=\frac{2}{23}
=\frac{2}{31}
\dots=1,
</math> 

2是模7、23、31的剩余，但2是模5的非剩余，因此也不是模15的。这与勒让德提出过的一个问题有关：若已知<math>\frac{a}{m} = -1</math> ，我们知道<math> a </math>是模<math> m+4a </math>、<math> m+8a </math>、……中所有质数的非剩余，如果这种质数存在的话。但此种质数的存在性直到数十年后才由[[狄利克雷]]证明。 

</blockquote>

艾森斯坦的公式则需要两数互质才能成立：
如果<math>a, b, a', b'</math> 是正奇数，且
<math>\gcd(a,b)=\gcd(a',b')=1</math>，那么

如果<math>a \equiv a' \pmod 4 </math> 且 <math> b \equiv b' \pmod 4 </math>，则
:<math>\Bigg(\frac{a}{b}\Bigg) \left(\frac{b}{a}\right)
=\left(\frac{a'}{b'}\right) \left(\frac{b'}{a'}\right)</math>

== 使用[[希尔伯特符号]]的互反律 ==
二次互反律也可以用[[希尔伯特符号]]：<math>(a,b)_v</math> 来叙述。其中<math> a </math>、<math> b </math>是两个非零的[[有理数]]，<math> v </math>则可代表任意非平凡的有理数绝对值（<math> p </math>的常用的或[[p进数|p进的]]绝对值）。[[希尔伯特符号]]：<math>(a,b)_v</math> 的值取1或−1。按照定义，它的值取1当且仅当方程<math>ax^2+by^2=z^2</math>在有理数关于''<math> v </math>''的[[完备空间]]中有除了<math>x=y=z=0</math>之外的解。希尔伯特二次互反律声称：对于固定的<math> a </math>、<math> b </math>，当''<math> v </math>''变动时，除了对有限个''<math> v </math>''以外，<math>(a,b)_v</math>的值都是1，并且取遍所有''<math> v </math>''时，所有 <math>(a,b)_v</math> 的乘积为1（这与[[复分析]]中的留数定理相似）。
 
希尔伯特二次互反律的证明可以归结到几个特殊情况，可以证明其中非平凡的情况与勒让德符号下的二次互反律的两个辅助定理（-1和2的情况）是等价的。在希尔伯特二次互反律中其实并没有“互反”的情形，它的名字只是表明它的历史来源是作为二次互反律的研究成果。不同于二次互反律要考虑正负问题，并要区分2的情况，希尔伯特二次互反律对所有的有理数都是平等的。因此使用希尔伯特符号的二次互反律推广起来更为自然：其推广到[[整体域]]时只需做出很少改变，并对所有的整体域都适用<ref>{{Cite web |url=http://www.maths.nott.ac.uk/personal/ibf/book/ch7n.pdf |title=诺丁汉大学数学线上教程：希尔伯特符号及希尔伯特二次互反律证明 |accessdate=2009-05-31 |archive-date=2006-07-18 |archive-url=https://web.archive.org/web/20060718003957/http://www.maths.nott.ac.uk/personal/ibf/book/ch7n.pdf |dead-url=no }} {{Wayback|url=http://www.maths.nott.ac.uk/personal/ibf/book/ch7n.pdf |date=20060718003957 }}</ref>。

== 应用 ==
以二次互反律配合以下两个辅助定理
: <math>\left( \frac{2}{p} \right) = (-1)^{\frac{p^2-1}{8}}</math>
: <math>\left( \frac{-1}{p} \right) = (-1)^{\frac{p-1}{2}}</math>
即能迅速地计算勒让德符号，从而解决二次剩余的判别问题。

例如判别37是否是模89的二次剩余：
: <math> \left( \frac{37}{89} \right) \left( \frac{89}{37} \right)= (-1)^{\frac{(37-1)(89-1)}{4}}=1</math>
所以 <math>\left( \frac{37}{89} \right) = \left( \frac{89}{37} \right)= \left( \frac{89-37-37}{37} \right)=\left( \frac{15}{37} \right)=\left( \frac{3}{37} \right) \left( \frac{5}{37} \right)=\left( \frac{37}{3} \right) \left( \frac{37}{5} \right)=\left( \frac{1}{3} \right) \left( \frac{2}{5} \right)=-1 </math>

因此37不是模89的二次剩余。

== 推广 ==
二次互反律的推广主要是在[[代数数论]]中。

例如：高斯考察过四次互反律。在他的<ref>C. F. Gauss, Theorie der biquadratischen Reste, Comm. Soc. Reg. Sci. Gottingen  (1828); 重印于 ''Untersuchungen uber hohere Arithmetik'', pp. 511-533</ref>首篇论文里他证明了一系列定理，其中最重要的是：如果<math>p \equiv 1 \mod 4</math>，那么<math>x^4 \equiv 2 \mod p</math>有解当且仅当<math>p = a^2 + 64b^2</math>，其中<math>a</math>、<math>b</math>是整数，如果<math>p \equiv 1 \mod 4</math>，那么<math>x^4 \equiv -3 \mod p</math>有解当且仅当<math>p = a^2 + 36b^2</math>，其中<math>a</math>、<math>b</math>是整数，如果<math>p \equiv 1 \mod 4</math>，那么<math>x^4 \equiv 5 \mod p</math>有解当且仅当<math>p = a^2 + 100b^2</math>，其中<math>a</math>、<math>b</math>是整数，如果<math>p \equiv 3 \mod 4</math>，那么模<math>p</math>的二次剩余必然是四次剩余。 

在第二篇论文中<ref>C. F. Gauss, Theoria residuorum biquadraticorum. Commentatio secunda., Comm. Soc. Reg. Sci. Gottingen 7 (1832) 1-34; 重印于 ''Untersuchungen uber hohere Arithmetik'', pp. 534-589</ref>，高斯引进了著名的[[高斯整数]]。高斯证明了模4余1的质数总能分解为两个高斯整数中质数的乘积、唯一分解定理等其它代数数论的基础定理，并引进了一些基本概念，如[[范数]]和[[单位元]]。在高斯整数中，四次互反律的叙述十分简单。高斯并且注意到在[[費迪南·艾森斯坦|艾森斯坦]][[整环]]中，[[三次互反律]]最为简单。一部分的原因是高斯整数中1有4个四次方根，而[[艾森斯坦整数]]中1有3个三次方根。

其它的推广是在以上整环中的二次互反律。高斯率先研究了高斯整数中的二次互反律<ref>四次互反律的首篇论文Lemmermeyer, p.154中给出了狄利克雷的一个用到二次互反律的简单证明。Ireland & Rosen, p. 64, ex. 26</ref>。

== 参见 ==
* [[同余]]
* [[同余方程]]
* [[二次剩余]]
* [[高斯引理]]
* [[二次互反律的证明]]
* [[三次互反律]]
* [[阿廷互反律]]

== 注释及参考来源 ==
{{reflist|2}}
* {{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | last2 = Clarke | first2 = Arthur A. (translator into English)  
  | title = Disquisitiones Arithemeticae (Second, corrected edition)
  | publisher = [[Springer]]
  | location = New York
  | date = 1986
  | isbn = 0387962549}}

* {{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | last2 = Maser | first2 = H. (translator into German)  
  | title = Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition)
  | publisher = Chelsea 
  | location = New York
  | date = 1965
  | isbn = 0-8284-0191-8}}

* {{citation
  | last1 = Lemmermeyer  | first1 = Franz
  | title = Reciprocity Laws: from Euler to Eisenstein
  | publisher = [[Springer]]
  | location = Berlin
  | date = 2000
  | isbn = 3-540-66967-4}}

* {{citation
  | last1 = Ireland  | first1 = Kenneth
  | last2 = Rosen  | first2 = Michael
  | title = A Classical Introduction to Modern Number Theory (second edition)
  | publisher = [[Springer]]
  | location = New York
  | date = 1990
  | isbn = 0-387-97329-X}}

== 外部链接 ==
* [http://lxy.hztc.edu.cn/cdsl/wlkt/html/ch5/ch5_6.htm 二次互反律]{{dead link|date=2018年2月 |bot=InternetArchiveBot |fix-attempted=yes }}
* [http://www.math.ntu.edu.tw/msa/act/mathcamp/95page/lecture/K.doc 高斯二次互反律]{{dead link|date=2018年2月 |bot=InternetArchiveBot |fix-attempted=yes }}
* {{en}}{{cite web|url=http://www.rzuser.uni-heidelberg.de/~hb3/rchrono.html|title=二次互反律的246个证明|publisher=|accessdate=2010-12-01|archive-date=2011-05-18|archive-url=https://web.archive.org/web/20110518165106/http://www.rzuser.uni-heidelberg.de/~hb3/rchrono.html|dead-url=no}} {{Wayback|url=http://www.rzuser.uni-heidelberg.de/~hb3/rchrono.html |date=20110518165106 }}

[[Category:代數數論]]
[[Category:同余]]
[[Category:数论]]
[[Category:二次剩余]]
[[Category:数论定理]]