二次互反律

在數論中，特別是在同餘理論里，二次互反律（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年作出的，隨後他又發現了另外七個不同的證明^[1]。在《算數研究》一書和相關論文中，高斯將其稱為「基石」：

這個定理肯定屬於最優雅的基本定理。(Art. 151)

私下裏高斯把二次互反律譽為算術理論中的寶石，是一個黃金定律^[2]。

高斯之後雅可比、柯西、劉維爾、克羅內克、弗洛貝尼烏斯等也相繼給出了新的證明。至今，二次互反律已有超過200個不同的的證明。二次互反律可以推廣到更高次的情況，如三次互反律等等。

幾個簡單情況

有了上節的關於乘積的性質，可以發現：研究一個合數是否是模某個質數 $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
n²	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	2⁴⋅29
1	4	2²	22	508	2²⋅127
2	8	2³	23	554	2⋅277
3	14	2⋅7	24	602	2⋅7⋅43
4	22	2⋅11	25	652	2²⋅163
5	32	2⁵	26	704	2⁶⋅11
6	44	2²⋅11	27	758	2⋅379
7	58	2⋅29	28	814	2⋅11⋅37
8	74	2⋅37	29	872	2³⋅109
9	92	2²⋅23	30	932	2²⋅233
10	112	2⁴⋅7	31	994	2⋅7⋅71
11	134	2⋅67	32	1058	2⋅23²
12	158	2⋅79	33	1124	2²⋅281
13	184	2³⋅23	34	1192	2³⋅149
14	212	2²⋅53	35	1262	2⋅631
15	242	2⋅11²	36	1334	2⋅23⋅29
16	274	2⋅137	37	1408	2⁷⋅11
17	308	2²⋅7⋅11	38	1484	2²⋅7⋅53
18	344	2³⋅43	39	1562	2⋅11⋅71
19	382	2⋅191	40	1642	2⋅821
20	422	2⋅211	41	1724	2²⋅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則表示相反情況（此表示法由高斯創造）。可以看到白格內的元素是關於對角線對稱的，黃格內則關於對角線反對稱。可以說黃格代表了一種「特殊情況」^[3]。

		3	5	7	11	13	17	19	23	29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97
		q
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$ 总是不相等的正奇质数。

前期探索

費馬曾經證明了^[4]（或聲稱證明了^[5]）一系列關於將質數表示成平方和的定理

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的情況。

此外歐拉曾經猜想（後被勒讓德證明）^[6] ：

如果

\;\,p\equiv 1,9,{\pmod {20}}

那麼

\;\,p=x^{2}+5y^{2}

如果

p,q\equiv 3,7{\pmod {20}}

那麼

pq=x^{2}+5y^{2}.

證明費馬的這類命題是導致二次互反律的發現的因素之一。

定理的首次敘述：歐拉

歐拉在1783年曾經寫過^[7]（以現今的符號表示）：

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$ 整除。

這是二次互反律首次被完整地陳述^[8]。歐拉也證明了^[9] 2的情況。

勒讓德與他的符號

勒讓德用 $a$ 和 $A$ 表示模4餘1的正質數，用 $b$ 和 $B$ 表示模4餘3的正質數。他建立了一個有8個定理的表格，這8個定理合起來就是二次互反律^[10]。


定理	如果	則有
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$ 為互質的數^[11]。

這個符號就是現在使用的勒讓德符號^[12]：對於所有的整數 $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}}

勒讓德完整地證明了八種情況中的第一、第二和第七種。在證明第八種情況時，勒讓德作了一個可以等價於狄利克雷定理的假設。正如高斯在其《算術研究》中指出的。勒讓德實際上證明了二次互反律是狄利克雷定理成立的情況下的一個推論^[13]。

首次的證明：高斯

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

第一個完整地給出二次互反律的證明的人是德國數學家高斯。高斯在1796年給出了二次互反律的第一個證明^[14]。高斯首先證明了^[15] -1和2的情況。作為進行數學歸納法的開始，他證明了^[16]±3和±5的情況。他注意到-3和+5的情況較有規律，容易敘述^[17]，因此把定理敘述為^[18]：

如果 $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

最後他分各種情況分別運用強數學歸納法將其證明^[19]。

證明中高斯用到了^[20]一個引理：

如果 $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).

^[21]

艾森斯坦

艾森斯坦^[22]曾聲稱：

如果

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)

莫德爾

莫德爾^[23]證明了以下命題與二次互反律等價：

令

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的情況，希爾伯特二次互反律對所有的有理數都是平等的。因此使用希爾伯特符號的二次互反律推廣起來更為自然：其推廣到整體域時只需做出很少改變，並對所有的整體域都適用^[24]。

應用

以二次互反律配合以下兩個輔助定理

\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的二次剩餘。

推廣

二次互反律的推廣主要是在代數數論中。

例如：高斯考察過四次互反律。在他的^[25]首篇論文裏他證明了一系列定理，其中最重要的是：如果 $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$ 的二次剩餘必然是四次剩餘。

在第二篇論文中^[26]，高斯引進了著名的高斯整數。高斯證明了模4餘1的質數總能分解為兩個高斯整數中質數的乘積、唯一分解定理等其它代數數論的基礎定理，並引進了一些基本概念，如範數和單位元。在高斯整數中，四次互反律的敘述十分簡單。高斯並且注意到在艾森斯坦整環中，三次互反律最為簡單。一部分的原因是高斯整數中1有4個四次方根，而艾森斯坦整數中1有3個三次方根。

其它的推廣是在以上整環中的二次互反律。高斯率先研究了高斯整數中的二次互反律^[27]。

參見

註釋及參考來源

^ Gauss, DA § 4, arts 107-150
^ 例如在其1796年4月8日（他初次證明二次互反律的日子）的數學日誌里，參看 Felix Klein 的《19世紀數學進程》（頁面存檔備份，存於互聯網檔案館）
^ 蕭文強，數學=證明?^{[永久失效連結]}
^ Lemmermeyer, pp. 2-3
^ Gauss, DA, art. 182
^ Lemmermeyer, p. 3
^ Lemmermeyer, p. 5, Ireland & Rosen, p 54, 61
^ Proving the law of guadratic reciprocity (PDF). [2009-06-01]. （原始內容 (PDF)存檔於2006-08-29）. （頁面存檔備份，存於互聯網檔案館）
^ Ireland & Rosen, pp. 69-70. 他的證明基於後來所稱的「高斯和」。
^ Lemmermeyer, pp. 6-8
^ Comme les quantités analogues $\scriptstyle N^{\frac {c-1}{2}}$ se renconteront fréquemment dans le cours de nos recherches, nous emploierons le caractères abrégés $\scriptstyle \left({\frac {N}{c}}\right)$ pour exprimer le reste que donne $\scriptstyle N^{\frac {c-1}{2}}$ divisé par c, reste qui suivant ce qu'on vient de voir ne peut être que +1 ou -1. --Adrien-Marie Legendre. Recherche d'analyse indéterminée, Histoire de l'Académie Royale des Sciences. 1788年（法語）.
^ 由歐拉判別法，兩者等價
^ Lemmermeyer, pp. 8
^ Proving the law of quadratic reciprocity (PDF). [2009-06-01]. （原始內容 (PDF)存檔於2006-08-29）. （頁面存檔備份，存於互聯網檔案館）
^ Gauss, DA, arts 108-116
^ Gauss, DA, arts 117-123
^ Gauss, DA, arts 130
^ Gauss, DA, Art 131
^ Gauss, DA, arts 135-144
^ Gauss, DA, arts. 125-129
^ Ireland & Rosen, p 60-61.
^ Lemmermeyer, Th. 2.28, pp 63-65
^ Lemmermeyer, ex. 1.9, p. 28
^ 诺丁汉大学数学线上教程：希尔伯特符号及希尔伯特二次互反律证明 (PDF). [2009-05-31]. （原始內容存檔 (PDF)於2006-07-18）. （頁面存檔備份，存於互聯網檔案館）
^ C. F. Gauss, Theorie der biquadratischen Reste, Comm. Soc. Reg. Sci. Gottingen (1828); 重印於 Untersuchungen uber hohere Arithmetik, pp. 511-533
^ C. F. Gauss, Theoria residuorum biquadraticorum. Commentatio secunda., Comm. Soc. Reg. Sci. Gottingen 7 (1832) 1-34; 重印於 Untersuchungen uber hohere Arithmetik, pp. 534-589
^ 四次互反律的首篇論文Lemmermeyer, p.154中給出了狄利克雷的一個用到二次互反律的簡單證明。Ireland & Rosen, p. 64, ex. 26

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 請檢查|isbn=值 (幫助)

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）. （頁面存檔備份，存於互聯網檔案館）

[1] Gauss, DA § 4, arts 107-150

[2] 例如在其1796年4月8日（他初次證明二次互反律的日子）的數學日誌里，參看 Felix Klein 的《19世紀數學進程》（頁面存檔備份，存於互聯網檔案館）

[3] 蕭文強，數學=證明?^{[永久失效連結]}

[4] Lemmermeyer, pp. 2-3

[5] Gauss, DA, art. 182

[6] Lemmermeyer, p. 3

[7] Lemmermeyer, p. 5, Ireland & Rosen, p 54, 61

[8] Proving the law of guadratic reciprocity (PDF). [2009-06-01]. （原始內容 (PDF)存檔於2006-08-29）. （頁面存檔備份，存於互聯網檔案館）

[9] Ireland & Rosen, pp. 69-70. 他的證明基於後來所稱的「高斯和」。

[10] Lemmermeyer, pp. 6-8

[11] Comme les quantités analogues $\scriptstyle N^{\frac {c-1}{2}}$ se renconteront fréquemment dans le cours de nos recherches, nous emploierons le caractères abrégés $\scriptstyle \left({\frac {N}{c}}\right)$ pour exprimer le reste que donne $\scriptstyle N^{\frac {c-1}{2}}$ divisé par c, reste qui suivant ce qu'on vient de voir ne peut être que +1 ou -1. --Adrien-Marie Legendre. Recherche d'analyse indéterminée, Histoire de l'Académie Royale des Sciences. 1788年（法語）.

[12] 由歐拉判別法，兩者等價

[13] Lemmermeyer, pp. 8

[14] Proving the law of quadratic reciprocity (PDF). [2009-06-01]. （原始內容 (PDF)存檔於2006-08-29）. （頁面存檔備份，存於互聯網檔案館）

[15] Gauss, DA, arts 108-116

[16] Gauss, DA, arts 117-123

[17] Gauss, DA, arts 130

[18] Gauss, DA, Art 131

[19] Gauss, DA, arts 135-144

[20] Gauss, DA, arts. 125-129

[21] Ireland & Rosen, p 60-61.

[22] Lemmermeyer, Th. 2.28, pp 63-65

[23] Lemmermeyer, ex. 1.9, p. 28

[24] 诺丁汉大学数学线上教程：希尔伯特符号及希尔伯特二次互反律证明 (PDF). [2009-05-31]. （原始內容存檔 (PDF)於2006-07-18）. （頁面存檔備份，存於互聯網檔案館）

[25] C. F. Gauss, Theorie der biquadratischen Reste, Comm. Soc. Reg. Sci. Gottingen (1828); 重印於 Untersuchungen uber hohere Arithmetik, pp. 511-533

[26] C. F. Gauss, Theoria residuorum biquadraticorum. Commentatio secunda., Comm. Soc. Reg. Sci. Gottingen 7 (1832) 1-34; 重印於 Untersuchungen uber hohere Arithmetik, pp. 534-589

[27] 四次互反律的首篇論文Lemmermeyer, p.154中給出了狄利克雷的一個用到二次互反律的簡單證明。Ireland & Rosen, p. 64, ex. 26

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

二次互反律

目次

相關術語

幾個簡單情況

50以內的質數的二次剩餘表

–1的情況

2的情況

3的情況

5的情況

6的情況

7的情況

n²+n+2 的因數

高斯和勒讓德的敘述

高斯的敘述

勒讓德的敘述

研究歷史

前期探索

定理的首次敘述：歐拉

勒讓德與他的符號

首次的證明：高斯

其它陳述

歐拉

艾森斯坦

莫德爾

關於雅可比符號的互反律

使用希爾伯特符號的互反律

應用

推廣

參見

註釋及參考來源

外部連結

		3	5	7	11	13	17	19	23	29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97
		q
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

		3	5	7	11	13	17	19	23	29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97
		q
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

二次互反律

相關術語

幾個簡單情況

50以內的質數的二次剩餘表

–1的情況

2的情況

3的情況

5的情況

6的情況

7的情況

n2+n+2 的因數

高斯和勒讓德的敘述

高斯的敘述

勒讓德的敘述

研究歷史

前期探索

定理的首次敘述：歐拉

勒讓德與他的符號

首次的證明：高斯

其它陳述

歐拉

艾森斯坦

莫德爾

關於雅可比符號的互反律

使用希爾伯特符號的互反律

應用

推廣

參見

註釋及參考來源

外部連結

n²+n+2 的因數

		3	5	7	11	13	17	19	23	29	31	37	41	43	47	53	59	61	67	71	73	79	83	89	97
		q
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