二次互反律

在数论中，特别是在同余理论里，二次互反律（Law of Quadratic Reciprocity）是一个用于判别二次剩余，即二次同余方程formula_1之整数解的存在性的定律。二次互反律揭示了方程formula_1 可解和 formula_3可解的简单关系。运用二次互反律可以将模数较大的二次剩余判别问题转为模数较小的判别问题，并最后归结为较少的几个情况，从而在实际上解决了二次剩余的判别问题。然而，二次互反律只能提供二次剩余的存在性，对于二次同余方程的具体求解并没有实际帮助。
二次互反律常用勒让德符号表述：对于两个奇素数 formula_4 和 formula_5，
其中formula_7是勒让德符号。但是对于更一般的雅可比符号和希尔伯特符号也有对应的二次互反律。 
欧拉和勒让德都曾经提出过二次互反律的猜想。但第一个严格的证明是由高斯在1796年作出的，随后他又发现了另外七个不同的证明。在《算数研究》一书和相关论文中，高斯将其称为“基石”：
这个定理肯定属于最优雅的基本定理。(Art. 151)
私下里高斯把二次互反律誉为算术理论中的宝石，是一个黄金定律。
高斯之后雅可比、柯西、刘维尔、克罗内克、弗洛贝尼乌斯等也相继给出了新的证明。至今，二次互反律已有超过200个不同的的证明。二次互反律可以推广到更高次的情况，如三次互反律等等。
相关术语.
一个整数 formula_8 是模整数 formula_9 的二次剩余，是指它与某个整数的平方关于模"formula_9" 同余。直观来说，是指二次同余方程formula_11有整数解。如果这样的整数解不存在，则称 formula_8 是模整数 formula_9 的二次非剩余。术语中的“二次”一词是为了表示与平方同余，在不至于混淆的行文中，可以略掉。当模数是质数时，通常将0的情况区别讨论，因此有：
几个简单情况.
有了上节的关于乘积的性质，可以发现：研究一个合数是否是模某个质数formula_4的剩余，只需将这个合数进行质因数分解，研究其每个质因数是不是模"formula_4"的剩余即可。因此，为了寻找模质数的二次剩余的规律，可以先研究对于前几个质数2、3、5等的情况，看对于什么样的质数"formula_4"，2、3、5等是模它们的剩余。此外为了研究正负号对乘积的影响，也要研究-1的情况。为了发现规律，可以借助50以内的质数的二次剩余表。
50以内的质数的二次剩余表.
下表列出了1至20模50以内的质数的二次剩余。其中每一行列出了模相应质数的所有剩余。因此要看某个整数 formula_17 是否是模某个质数 formula_4 的剩余，只需要看 formula_17 是否在模 formula_4 的那一行中出现就行了。
–1的情况.
首先，看看对于什么样的质数，–1是模它的二次剩余。查对上表后可以发现：–1对于模formula_25是二次剩余，而对formula_26则不是。比如：
formula_27，formula_28，formula_29，等等。
可以发现前者都是模4余1的质数，后者都是模4余3的质数。于是可以猜想：
2的情况.
接下来看对什么样的质数，2是模它的二次剩余。同样查对上表后可以发现：对于模8余±1的质数，如formula_32，2是模它的二次剩余。对于模8余±3的质数如formula_33 等则不然。
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是模它的剩余。
n2+n+2 的因数.
不难发现formula_34，在"formula_9"是整数的情况，只能被模7二次剩余的质数整除，不可能被模7二次非剩余的质数整除，因为formula_36，所以只能被模7二次剩余的质数整除。
对于2、7、11、23、29、37、43、53、67、71、79、107、109、113、127、137等质数都是模7的二次剩余。
对于3、5、13、17、19、31、41、47、59、61、73、83、89、97、101、103、131、139等质数都是模7的二次非剩余。
高斯和勒让德的叙述.
对于一般的情况，也有类似的规律。在此基础上，高斯和勒让德提出了两个一般性的叙述（没有使用勒让德符号），两者是等价的。
高斯的叙述.
如果formula_37 那么 formula_1 可解当且仅当formula_39可解。
如果formula_40 那么 formula_1 可解当且仅当formula_42可解。
借助于以下变量：formula_43，命题可以简化为：
在高斯的叙述中已经可以见到“互反”的体现，即将formula_1 的可解性与formula_39的可解性联系起来。在下表中可以看出，这表现了一种对称性（反对称性）。
下表列明了质数之间相互是否为二次剩余的情况。方格内为R表示对应的formula_5（横列元素）为对应的formula_4（竖列元素）的二次剩余，N则表示相反情况（此表示法由高斯创造）。可以看到白格内的元素是关于对角线对称的，黄格内则关于对角线反对称。可以说黄格代表了一种“特殊情况”。
勒让德的叙述.
观察上表中黄格的情况，可以看出相对应的两个质数都是模4余3的。因此勒让德的陈述为：
研究历史.
二次互反律曾被不少的数学家研究，因此二次互反律的叙述有很多种。要注意的是当时的数学记号并不统一。欧拉和勒让德并没有高斯的同余记号，高斯也不知道勒让德符号。
 下文中的formula_4和formula_5总是不相等的正奇质数。
前期探索.
费马曾经证明了（或声称证明了）一系列关于将质数表示成平方和的定理
他并没有给出二次互反律的陈述，尽管由此类的定理可以得到–1、±2和±3的情况。
此外欧拉曾经猜想（后被勒让德证明） ：
证明费马的这类命题是导致二次互反律的发现的因素之一。
定理的首次叙述：欧拉.
欧拉在1783年曾经写过（以现今的符号表示）：
1) 如果 formula_72 那么formula_5是模formula_4的二次剩余当且仅当formula_75，其中formula_76是一个模"formula_5"的二次剩余。
2) 如果 formula_78 那么"formula_5"是模"formula_4"的二次剩余当且仅当formula_81, 其中formula_82为奇数但不被"formula_5"整除。
这是二次互反律首次被完整地陈述。欧拉也证明了 2的情况。
勒让德与他的符号.
勒让德用formula_8和formula_85表示模4余1的正质数，用"formula_82"和formula_87表示模4余3的正质数。他建立了一个有8个定理的表格，这8个定理合起来就是二次互反律。
勒让德认为表达式formula_88出现了太多次，可以简写为：
其中formula_90、formula_91为互质的数。
这个符号就是现在使用的勒让德符号：
对于所有的整数"formula_8"以及任意奇质数formula_4：
勒让德使用勒让德符号的叙述为：
他也提到上面的两种情况可以合并为：
勒让德完整地证明了八种情况中的第一、第二和第七种。在证明第八种情况时，勒让德作了一个可以等价于狄利克雷定理的假设。正如高斯在其《算术研究》中指出的。勒让德实际上证明了二次互反律是狄利克雷定理成立的情况下的一个推论。
首次的证明：高斯.
第一个完整地给出二次互反律的证明的人是德国数学家高斯。高斯在1796年给出了二次互反律的第一个证明。高斯首先证明了 -1和2的情况。作为进行数学归纳法的开始，他证明了±3和±5的情况。他注意到-3和+5的情况较有规律，容易叙述，因此把定理叙述为：
 如果 formula_4 是形式为formula_101，那么 formula_4（如果 formula_4 是形式为formula_104那么formula_105）是模每个为模formula_4的二次剩余（非剩余）的质数的二次剩余（非剩余）。
在下一句中，高斯将其列为“基本定理”（但没有用到“互反律”的称谓）。
在引进formula_107（formula_108）表示formula_8是模formula_82的二次剩余（非剩余）后，高斯令formula_8和formula_112表示模4余1的质数，用formula_82和formula_114表示模4余3的，于是写出了勒让德得到的8种情况：
在接下来的文章中他将其推广到关于所谓的雅可比符号，以下的大写字母表示的意思和相应的小写字母一样，但不再是质数。
最后他分各种情况分别运用强数学归纳法将其证明。
证明中高斯用到了一个引理：
如果formula_115 是质数，那么存在奇质数 formula_116 使得 formula_117
如果使用勒让德符号，那么高斯的陈述就是
高斯一生中给出了二次互反律的八个证明，其中他最为满意的是第五个证明。
其它陈述.
艾森斯坦.
艾森斯坦曾声称：
莫德尔.
莫德尔证明了以下命题与二次互反律等价：
关于雅可比符号的互反律.
雅可比符号是勒让德符号的一个推广，与后者主要的区别是“分母”只需为正奇数，而不需要一定是质数。当“分母”为质数时，两者意义相同。雅可比符号的运算规律与勒让德符号相同，即：
如果两个数都是正奇数，那么二次互反律对雅可比符号也成立：
然而，当雅可比符号为+1，“分母”为合数时，“分子”不一定是“分母”的二次剩余。高斯的第九至十四种情况可以被表示为：
由于formula_137为质数，上式左边是勒让德符号，于是我们可以知道formula_138是否是模"formula_137"的剩余。
以上各节的公式对雅可比符号仍然成立。欧拉的公式可以写作：
其中formula_141为整数，formula_142
举例来说： 
formula_143 
2是模7、23、31的剩余，但2是模5的非剩余，因此也不是模15的。这与勒让德提出过的一个问题有关：若已知formula_144 ，我们知道formula_145是模formula_146、formula_147、……中所有质数的非剩余，如果这种质数存在的话。但此种质数的存在性直到数十年后才由狄利克雷证明。 
艾森斯坦的公式则需要两数互质才能成立：
如果formula_148 是正奇数，且
formula_149，那么
如果formula_150 且 formula_151，则
使用希尔伯特符号的互反律.
二次互反律也可以用希尔伯特符号：formula_153 来叙述。其中formula_145、formula_155是两个非零的有理数，formula_156则可代表任意非平凡的有理数绝对值（formula_137的常用的或p进的绝对值）。希尔伯特符号：formula_153 的值取1或−1。按照定义，它的值取1当且仅当方程formula_159在有理数关于"formula_156"的完备空间中有除了formula_161之外的解。希尔伯特二次互反律声称：对于固定的formula_145、formula_155，当"formula_156"变动时，除了对有限个"formula_156"以外，formula_153的值都是1，并且取遍所有"formula_156"时，所有 formula_153 的乘积为1（这与复分析中的留数定理相似）。
希尔伯特二次互反律的证明可以归结到几个特殊情况，可以证明其中非平凡的情况与勒让德符号下的二次互反律的两个辅助定理（-1和2的情况）是等价的。在希尔伯特二次互反律中其实并没有“互反”的情形，它的名字只是表明它的历史来源是作为二次互反律的研究成果。不同于二次互反律要考虑正负问题，并要区分2的情况，希尔伯特二次互反律对所有的有理数都是平等的。因此使用希尔伯特符号的二次互反律推广起来更为自然：其推广到整体域时只需做出很少改变，并对所有的整体域都适用。
应用.
以二次互反律配合以下两个辅助定理
即能迅速地计算勒让德符号，从而解决二次剩余的判别问题。
例如判别37是否是模89的二次剩余：
所以 formula_172
因此37不是模89的二次剩余。
推广.
二次互反律的推广主要是在代数数论中。
例如：高斯考察过四次互反律。在他的首篇论文里他证明了一系列定理，其中最重要的是：如果formula_173，那么formula_174有解当且仅当formula_175，其中formula_8、formula_82是整数，如果formula_173，那么formula_179有解当且仅当formula_180，其中formula_8、formula_82是整数，如果formula_173，那么formula_184有解当且仅当formula_185，其中formula_8、formula_82是整数，如果formula_188，那么模formula_4的二次剩余必然是四次剩余。 
在第二篇论文中，高斯引进了著名的高斯整数。高斯证明了模4余1的质数总能分解为两个高斯整数中质数的乘积、唯一分解定理等其它代数数论的基础定理，并引进了一些基本概念，如范数和单位元。在高斯整数中，四次互反律的叙述十分简单。高斯并且注意到在艾森斯坦整环中，三次互反律最为简单。一部分的原因是高斯整数中1有4个四次方根，而艾森斯坦整数中1有3个三次方根。
其它的推广是在以上整环中的二次互反律。高斯率先研究了高斯整数中的二次互反律。