二次互反律

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

二次互反律常用勒让德符号表述：对于两个奇素数 $p$ 和 $q$，

$\left({\frac {p}{q}}\right)\cdot \left({\frac {q}{p}}\right)=(-1)^{\frac {(p-1)(q-1)}{4}}$

其中$\left({\tfrac {p}{q}}\right)$是勒让德符号。但是对于更一般的雅可比符号和希尔伯特符号也有对应的二次互反律。

欧拉和勒让德都曾经提出过二次互反律的猜想。但第一个严格的证明是由高斯在1796年作出的，随后他又发现了另外七个不同的证明。在《算数研究》一书和相关论文中，高斯将其称为“基石”：

这个定理肯定属于最优雅的基本定理。(Art. 151)

私下里高斯把二次互反律誉为算术理论中的宝石，是一个黄金定律。

高斯之后雅可比、柯西、刘维尔、克罗内克、弗洛贝尼乌斯等也相继给出了新的证明。至今，二次互反律已有超过200个不同的的证明。二次互反律可以推广到更高次的情况，如三次互反律等等。

相关术语

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

1. 在模为质数时，二次剩余与二次非剩余的个数是相等的。
2. 在模为质数时，剩余与剩余、非剩余与非剩余的乘积都是剩余，剩余与非剩余的乘积是非剩余。

几个简单情况

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

50以内的质数的二次剩余表

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

例如，要检查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出现，但是注意了，当$n=21$时，$n^{2}=441\equiv 18{\pmod {47}}$，因此18是模47的二次剩余(如要判断质数$p\neq 2$，至少须写到${\frac {p-1}{2}}$)。

n	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20
n2	1	4	9	16	25	36	49	64	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对于模$5,13,17,29,37$是二次剩余，而对$3,7,11,19,23,31,43$则不是。比如：

$-1\equiv 2{\pmod {3}}$，$-1\equiv 4{\pmod {5}}$，$-1\equiv 10{\pmod {11}}$，等等。

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

同余方程$x^{2}\equiv -1{\pmod {p}}$ 有解当且仅当 $p\equiv 1{\pmod {4}}$。

2的情况

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

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²+n+2 的因数

$n$	$n^{2}+n+2$	质因数分解	$n$	$n^{2}+n+2$	质因数分解
0	2	2	21	464	24⋅29
1	4	22	22	508	22⋅127
2	8	23	23	554	2⋅277
3	14	2⋅7	24	602	2⋅7⋅43
4	22	2⋅11	25	652	22⋅163
5	32	25	26	704	26⋅11
6	44	22⋅11	27	758	2⋅379
7	58	2⋅29	28	814	2⋅11⋅37
8	74	2⋅37	29	872	23⋅109
9	92	22⋅23	30	932	22⋅233
10	112	24⋅7	31	994	2⋅7⋅71
11	134	2⋅67	32	1058	2⋅232
12	158	2⋅79	33	1124	22⋅281
13	184	23⋅23	34	1192	23⋅149
14	212	22⋅53	35	1262	2⋅631
15	242	2⋅112	36	1334	2⋅23⋅29
16	274	2⋅137	37	1408	27⋅11
17	308	22⋅7⋅11	38	1484	22⋅7⋅53
18	344	23⋅43	39	1562	2⋅11⋅71
19	382	2⋅191	40	1642	2⋅821
20	422	2⋅211	41	1724	22⋅431

不难发现$n^{2}+n+2$，在$n$是整数的情况，只能被模7二次剩余的质数整除，不可能被模7二次非剩余的质数整除，因为$b^{2}-4ac=-7$，所以只能被模7二次剩余的质数整除。

对于2、7、11、23、29、37、43、53、67、71、79、107、109、113、127、137等质数都是模7的二次剩余。（OEIS数列A045373）

对于3、5、13、17、19、31、41、47、59、61、73、83、89、97、101、103、131、139等质数都是模7的二次非剩余。（OEIS数列A003625）

高斯和勒让德的叙述

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

高斯的叙述

如果$q\equiv 1{\pmod {4}}$ 那么 $x^{2}\equiv p{\pmod {q}}$ 可解当且仅当$x^{2}\equiv q{\pmod {p}}$可解。

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

$x^{2}\equiv p{\pmod {q}}$可解当且仅当$x^{2}\equiv q^{*}{\pmod {p}}$可解。

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

下表列明了质数之间相互是否为二次剩余的情况。方格内为R表示对应的$q$（横列元素）为对应的$p$（竖列元素）的二次剩余，N则表示相反情况（此表示法由高斯创造）。可以看到白格内的元素是关于对角线对称的，黄格内则关于对角线反对称。可以说黄格代表了一种“特殊情况”。

		q
		3	5	7	11	13	17	19	23	29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97
p	3		N	R	N	R	N	R	N	N	R	R	N	R	N	N	N	R	R	N	R	R	N	N	R
	5	N		N	R	N	N	R	N	R	R	N	R	N	N	N	R	R	N	R	N	R	N	R	N
	7	N	N		R	N	N	N	R	R	N	R	N	R	N	R	N	N	R	R	N	R	N	N	N
	11	R	R	N		N	N	N	R	N	R	R	N	N	R	R	R	N	R	R	N	N	N	R	R
	13	R	N	N	N		R	N	R	R	N	N	N	R	N	R	N	R	N	N	N	R	N	N	N
	17	N	N	N	N	R		R	N	N	N	N	N	R	R	R	R	N	R	N	N	N	R	R	N
	19	N	R	R	R	N	R		R	N	N	N	N	R	R	N	N	R	N	N	R	N	R	N	N
	23	R	N	N	N	R	N	N		R	R	N	R	N	R	N	R	N	N	R	R	N	N	N	N
	29	N	R	R	N	R	N	N	R		N	N	N	N	N	R	R	N	R	R	N	N	R	N	N
	31	N	R	R	N	N	N	R	N	N		N	R	N	R	N	R	N	R	R	N	N	N	N	R
	37	R	N	R	R	N	N	N	N	N	N		R	N	R	R	N	N	R	R	R	N	R	N	N
	41	N	R	N	N	N	N	N	R	N	R	R		R	N	N	R	R	N	N	R	N	R	N	N
	43	N	N	N	R	R	R	N	R	N	R	N	R		R	R	R	N	R	N	N	R	R	N	R
	47	R	N	R	N	N	R	N	N	N	N	R	N	N		R	R	R	N	R	N	R	R	R	R
	53	N	N	R	R	R	R	N	N	R	N	R	N	R	R		R	N	N	N	N	N	N	R	R
	59	R	R	R	N	N	R	R	N	R	N	N	R	N	N	R		N	N	R	N	R	N	N	N
	61	R	R	N	N	R	N	R	N	N	N	N	R	N	R	N	N		N	N	R	N	R	N	R
	67	N	N	N	N	N	R	R	R	R	N	R	N	N	R	N	R	N		R	R	N	R	R	N
	71	R	R	N	N	N	N	R	N	R	N	R	N	R	N	N	N	N	N		R	R	R	R	N
	73	R	N	N	N	N	N	R	R	N	N	R	R	N	N	N	N	R	R	R		R	N	R	R
	79	N	R	N	R	R	N	R	R	N	R	N	N	N	N	N	N	N	R	N	R		R	R	R
	83	R	N	R	R	N	R	N	R	R	R	R	R	N	N	N	R	R	N	N	N	N		N	N
	89	N	R	N	R	N	R	N	N	N	N	N	N	N	R	R	N	N	R	R	R	R	N		R
	97	R	N	N	R	N	N	N	N	N	R	N	N	R	R	R	N	R	N	N	R	R	N	R

勒让德的叙述

观察上表中黄格的情况，可以看出相对应的两个质数都是模4余3的。因此勒让德的陈述为：

如果$p\equiv 1{\pmod {4}}$ 或者 $q\equiv 1{\pmod {4}}$ 那么

$x^{2}\equiv q{\pmod {p}}x^{2}$ 可解当且仅当 $x^{2}\equiv p{\pmod {q}}$ 可解。

如果$p\equiv q\equiv 3{\pmod {4}}$ 那么

$x^{2}\equiv q{\pmod {p}}x^{2}$ 可解当且仅当 $x^{2}\equiv p{\pmod {q}}$ 不可解。

研究历史

二次互反律曾被不少的数学家研究，因此二次互反律的叙述有很多种。要注意的是当时的数学记号并不统一。欧拉和勒让德并没有高斯的同余记号，高斯也不知道勒让德符号。

 下文中的$p$和$q$总是不相等的正奇质数。

前期探索

费马曾经证明了（或声称证明了）一系列关于将质数表示成平方和的定理

$p=x^{2}+\;\,y^{2}$ 当且仅当 $p=2$ 或 $p\equiv 1{\pmod {4}}$

$p=x^{2}+2y^{2}$ 当且仅当 $p=2$ 或 $p\equiv 1,3{\pmod {8}}$

$p=x^{2}+3y^{2}$ 当且仅当 $p=3$ 或 $p\equiv 1{\pmod {3}}$

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

此外欧拉曾经猜想（后被勒让德证明） ：

如果$\;\,p\equiv 1,9,{\pmod {20}}$ 那么 $\;\,p=x^{2}+5y^{2}$

如果$p,q\equiv 3,7{\pmod {20}}$ 那么 $pq=x^{2}+5y^{2}.$

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

定理的首次叙述：欧拉

欧拉在1783年曾经写过（以现今的符号表示）：

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

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

这是二次互反律首次被完整地陈述。欧拉也证明了 2的情况。

勒让德与他的符号

勒让德用$a$和$A$表示模4余1的正质数，用$b$和$B$表示模4余3的正质数。他建立了一个有8个定理的表格，这8个定理合起来就是二次互反律。

定理	如果	则有
I	$b^{\frac {a-1}{2}}\equiv +1{\pmod {a}}$	$a^{\frac {b-1}{2}}\equiv +1{\pmod {b}}$
II	$a^{\frac {b-1}{2}}\equiv -1{\pmod {b}}$	$b^{\frac {a-1}{2}}\equiv -1{\pmod {a}}$
III	$a^{\frac {A-1}{2}}\equiv +1{\pmod {A}}$	$A^{\frac {a-1}{2}}\equiv +1{\pmod {a}}$
IV	$a^{\frac {A-1}{2}}\equiv -1{\pmod {A}}$	$A^{\frac {a-1}{2}}\equiv -1{\pmod {a}}$
V	$a^{\frac {b-1}{2}}\equiv +1{\pmod {b}}$	$b^{\frac {a-1}{2}}\equiv +1{\pmod {a}}$
VI	$b^{\frac {a-1}{2}}\equiv -1{\pmod {a}}$	$a^{\frac {b-1}{2}}\equiv -1{\pmod {b}}$
VII	$b^{\frac {B-1}{2}}\equiv +1{\pmod {B}}$	$B^{\frac {b-1}{2}}\equiv -1{\pmod {b}}$
VIII	$b^{\frac {B-1}{2}}\equiv -1{\pmod {B}}$	$B^{\frac {b-1}{2}}\equiv +1{\pmod {b}}$

勒让德认为表达式$N^{\frac {c-1}{2}}{\pmod {c}}$出现了太多次，可以简写为：

$\left({\frac {N}{c}}\right)=\pm 1\equiv N^{\frac {c-1}{2}}{\pmod {c}}$

其中$N$、$c$为互质的数。

这个符号就是现在使用的勒让德符号： 对于所有的整数$a$以及任意奇质数$p$：

$\left({\frac {a}{p}}\right)={\begin{cases}\;\;\,0\\+1\\-1\end{cases}}$	如果$p$整除$a$；
	如果$a$是模$p$的二次剩余且$p$不整除$a$
	如果$a$是模$p$的二次非剩余。

.

；

.

.

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

$\left({\frac {p}{q}}\right)=\left({\frac {q}{p}}\right)$，如果 $p\equiv 1{\pmod {4}}$ 或 $q\equiv 1{\pmod {4}}$

$\left({\frac {p}{q}}\right)=-\left({\frac {q}{p}}\right)$，如果 $p\equiv q\equiv 3{\pmod {4}}$

他也提到上面的两种情况可以合并为：

$\left({\frac {p}{q}}\right)\left({\frac {q}{p}}\right)=(-1)^{\frac {(p-1)(q-1)}{4}}$

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

首次的证明：高斯

1801年出版的《算术研究》第131篇的部分，列出了二次互反律的8种情况

第一个完整地给出二次互反律的证明的人是德国数学家高斯。高斯在1796年给出了二次互反律的第一个证明。高斯首先证明了 -1和2的情况。作为进行数学归纳法的开始，他证明了±3和±5的情况。他注意到-3和+5的情况较有规律，容易叙述，因此把定理叙述为：

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

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

在引进$a\ \mathbf {R} \ b$（$a\ \mathbf {N} \ b$）表示$a$是模$b$的二次剩余（非剩余）后，高斯令$a$和$a^{\prime }$表示模4余1的质数，用$b$和$b^{\prime }$表示模4余3的，于是写出了勒让德得到的8种情况：

情况	如果	那么
1)	±a R a′	±a′ R a
2)	±a N a′	±a′ N a
3)	+a R b –a N b	±b R a
4)	+a N b –a R b	±b N a
5)	±b R a	+a R b –a N b
6)	±b N a	+a N b –a R b
7)	+b R b′ –b N b′	–b′ N b +b′ R b
8)	–b N b′ +b R b′	+b′ R b –b′ N b

在接下来的文章中他将其推广到关于所谓的雅可比符号，以下的大写字母表示的意思和相应的小写字母一样，但不再是质数。

情况	如果	那么
9)	±a R A	±A R a
10)	±b R A	+A R b –A N b
11)	+a R B	±B R a
12)	–a R B	±B N a
13)	+b R B	–B N b +N R b
14)	–b R B	+B R b –B N b

最后他分各种情况分别运用强数学归纳法将其证明。

证明中高斯用到了一个引理：

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

如果使用勒让德符号，那么高斯的陈述就是

令$q^{*}=(-1)^{\frac {q-1}{2}}q$，也就是说 $|q^{*}|=|q|$ 且 $q^{*}\equiv 1{\pmod {4}}$。

那么 $\left({\frac {p}{q}}\right)=\left({\frac {q^{*}}{p}}\right)$

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

其它陈述

欧拉

如果$p\equiv \pm q{\pmod {4a}}$ 那么 $\left({\frac {a}{p}}\right)=\left({\frac {a}{q}}\right).$

艾森斯坦

艾森斯坦曾声称：

如果 $p\neq q,p'\neq q',p\equiv p'{\pmod {4}}$ 并且 $q\equiv q'{\pmod {4}}$ 那么 ${\Bigg (}{\frac {p}{q}}{\Bigg )}\left({\frac {q}{p}}\right)=\left({\frac {p'}{q'}}\right)\left({\frac {q'}{p'}}\right)$

莫德尔

莫德尔证明了以下命题与二次互反律等价：

令 $a,b$和 $c$ 为整数，那么对每个整除 $abc$ 的质数$p$有：

如果 $ax^{2}+by^{2}+cz^{2}\equiv 0{\pmod {4abc/p}}$有一个非平凡解，那么

$ax^{2}+by^{2}+cz^{2}\equiv 0{\pmod {4abc}}$也有。

关于雅可比符号的互反律

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

$\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.$

${\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.}$

如果两个数都是正奇数，那么二次互反律对雅可比符号也成立：

$\left({\frac {m}{n}}\right)\left({\frac {n}{m}}\right)=(-1)^{\frac {(m-1)(n-1)}{4}}.$

然而，当雅可比符号为+1，“分母”为合数时，“分子”不一定是“分母”的二次剩余。高斯的第九至十四种情况可以被表示为：

$\left({\frac {M}{p}}\right)=(-1)^{\frac {(p-1)(M-1)}{4}}{\Bigg (}{\frac {p}{M}}{\Bigg )}$

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

以上各节的公式对雅可比符号仍然成立。欧拉的公式可以写作：

${\frac {a}{m}}={\frac {a}{m\pm 4an}}$

其中$n$为整数，$m\pm 4an>0$

举例来说： ${\frac {2}{7}}={\frac {2}{15}}={\frac {2}{23}}={\frac {2}{31}}\dots =1,$

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

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

如果$a\equiv a'{\pmod {4}}$ 且 $b\equiv b'{\pmod {4}}$，则

${\Bigg (}{\frac {a}{b}}{\Bigg )}\left({\frac {b}{a}}\right)=\left({\frac {a'}{b'}}\right)\left({\frac {b'}{a'}}\right)$

使用希尔伯特符号的互反律

二次互反律也可以用希尔伯特符号：$(a,b)_{v}$ 来叙述。其中$a$、$b$是两个非零的有理数，$v$则可代表任意非平凡的有理数绝对值（$p$的常用的或p进的绝对值）。希尔伯特符号：$(a,b)_{v}$ 的值取1或−1。按照定义，它的值取1当且仅当方程$ax^{2}+by^{2}=z^{2}$在有理数关于$v$的完备空间中有除了$x=y=z=0$之外的解。希尔伯特二次互反律声称：对于固定的$a$、$b$，当$v$变动时，除了对有限个$v$以外，$(a,b)_{v}$的值都是1，并且取遍所有$v$时，所有 $(a,b)_{v}$ 的乘积为1（这与复分析中的留数定理相似）。

希尔伯特二次互反律的证明可以归结到几个特殊情况，可以证明其中非平凡的情况与勒让德符号下的二次互反律的两个辅助定理（-1和2的情况）是等价的。在希尔伯特二次互反律中其实并没有“互反”的情形，它的名字只是表明它的历史来源是作为二次互反律的研究成果。不同于二次互反律要考虑正负问题，并要区分2的情况，希尔伯特二次互反律对所有的有理数都是平等的。因此使用希尔伯特符号的二次互反律推广起来更为自然：其推广到整体域时只需做出很少改变，并对所有的整体域都适用。

应用

以二次互反律配合以下两个辅助定理

$\left({\frac {2}{p}}\right)=(-1)^{\frac {p^{2}-1}{8}}$

$\left({\frac {-1}{p}}\right)=(-1)^{\frac {p-1}{2}}$

即能迅速地计算勒让德符号，从而解决二次剩余的判别问题。

例如判别37是否是模89的二次剩余：

$\left({\frac {37}{89}}\right)\left({\frac {89}{37}}\right)=(-1)^{\frac {(37-1)(89-1)}{4}}=1$

所以 $\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$

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

推广

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

例如：高斯考察过四次互反律。在他的首篇论文里他证明了一系列定理，其中最重要的是：如果$p\equiv 1\mod 4$，那么$x^{4}\equiv 2\mod p$有解当且仅当$p=a^{2}+64b^{2}$，其中$a$、$b$是整数，如果$p\equiv 1\mod 4$，那么$x^{4}\equiv -3\mod p$有解当且仅当$p=a^{2}+36b^{2}$，其中$a$、$b$是整数，如果$p\equiv 1\mod 4$，那么$x^{4}\equiv 5\mod p$有解当且仅当$p=a^{2}+100b^{2}$，其中$a$、$b$是整数，如果$p\equiv 3\mod 4$，那么模$p$的二次剩余必然是四次剩余。

在第二篇论文中，高斯引进了著名的高斯整数。高斯证明了模4余1的质数总能分解为两个高斯整数中质数的乘积、唯一分解定理等其它代数数论的基础定理，并引进了一些基本概念，如范数和单位元。在高斯整数中，四次互反律的叙述十分简单。高斯并且注意到在艾森斯坦整环中，三次互反律最为简单。一部分的原因是高斯整数中1有4个四次方根，而艾森斯坦整数中1有3个三次方根。

其它的推广是在以上整环中的二次互反律。高斯率先研究了高斯整数中的二次互反律。

参见

• 同余
• 同余方程
• 二次剩余
• 高斯引理
• 二次互反律的证明
• 三次互反律
• 阿廷互反律

注释及参考来源

• Gauss, Carl Friedrich; Clarke, Arthur A. (translator into English), Disquisitiones Arithemeticae (Second, corrected edition), New York: Springer, 1986, ISBN 0387962549 

• Gauss, Carl Friedrich; Maser, H. (translator into German), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition), New York: Chelsea, 1965, ISBN 0-8284-0191-8 

• Lemmermeyer, Franz, Reciprocity Laws: from Euler to Eisenstein, Berlin: Springer, 2000, ISBN 3-540-66967-4 

• Ireland, Kenneth; Rosen, Michael, A Classical Introduction to Modern Number Theory (second edition), New York: Springer, 1990, ISBN 0-387-97329-X 

外部链接

• 二次互反律
• 高斯二次互反律
• （英文）二次互反律的246个证明. [2010-12-01]. （原始内容存档于2011-05-18）.  （页面存档备份，存于互联网档案馆）