在數論中，特別是在同餘理論裡，二次互反律（Law of Quadratic Reciprocity）是一個用於判別二次剩餘，即二次同餘方程 x2 equiv p pmod q 之整數解的存在性的定律。二次互反律揭示了方程 x2 equiv p pmod q 可解和 x2 equiv q pmod p 可解的簡單關係。運用二次互反律可以將模數較大的二次剩餘判別問題轉為模數較小的判別問題，並最後歸結為較少的幾個情況，從而在實際上解決了二次剩餘的判別問題。然而，二次互反律只能提供二次剩餘的存在性，對於二次同餘方程的具體求解並沒有實際幫助。 二次互反律常用勒讓德符號表述：對於兩個奇素數 p 和 q， left frac pq right cdot left frac qp right 1frac p1q1 4 其中 left tfrac pq right 是勒讓德符號。但是對於更一般的雅可比符號和希爾伯特符號也有對應的二次互反律。 尤拉和勒讓德都曾經提出過二次互反律的猜想。但第一個嚴格的證明是由高斯在 1796 年作出的，隨後他又發現了另外七個不同的證明 Gauss DA 4 arts 107150。在《算數研究》一書和相關論文中，高斯將其稱為 基石： 這個定理肯定屬於最優雅的基本定理。Art 151 私下裡高斯把二次互反律譽為算術理論中的寶石，是一個黃金定律例如在其 1796 年 4 月 8 日（他初次證明二次互反律的日子）的數學日誌裡，參看 Felix Klein 的《19 世紀數學程序》 。 高斯之後雅可比、柯西、劉維爾、克羅內克、弗洛貝尼烏斯等也相繼給出了新的證明。至今，二次互反律已有超過 200 個不同的的證明。二次互反律可以推廣到更高次的情況，如三次互反律等等。 相關術語 一個整數 a 是模整數 n 的二次剩餘，是指它與某個整數的平方關於模 n 同餘。直觀來說，是指二次同餘方程 x2 equiv a pmod n 有整數解。如果這樣的整數解不存在，則稱 a 是模整數 n 的二次非剩餘。術語中的 二次 一詞是為了表示與平方同餘，在不至於混淆的行文中，可以略掉。當模數是質數時，通常將 0 的情況區別討論，因此有： 在模為質數時，二次剩餘與二次非剩餘的個數是相等的。 在模為質數時，剩餘與剩餘、非剩餘與非剩餘的乘積都是剩餘，剩餘與非剩餘的乘積是非剩餘。 幾個簡單情況 有了上節的關於乘積的性質，可以發現：研究一個合數是否是模某個質數 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 出現，但是注意了，當 n21 時，n2441equiv 18pmod 47，因此 18 是模 47 的二次剩餘 如要判斷質數 p neq 2，至少須寫到 frac p12。 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 則不是。比如： 1equiv 2pmod 3，1equiv 4pmod 5，1equiv 10pmod 11，等等。 可以發現前者都是模 4 餘 1 的質數，後者都是模 4 餘 3 的質數。於是可以猜想： 同餘方程 x2 equiv 1 pmod p 有解當且僅當 pequiv 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 是模它的剩餘。 n2n2 的因數 n n2n2 質因數分解 n n2n2 質因數分解 0 2 2 21 464 2429 1 4 22 22 508 22127 2 8 23 23 554 2277 3 14 27 24 602 2743 4 22 211 25 652 22163 5 32 25 26 704 2611 6 44 2211 27 758 2379 7 58 229 28 814 21137 8 74 237 29 872 23109 9 92 2223 30 932 22233 10 112 247 31 994 2771 11 134 267 32 1058 2232 12 158 279 33 1124 22281 13 184 2323 34 1192 23149 14 212 2253 35 1262 2631 15 242 2112 36 1334 22329 16 274 2137 37 1408 2711 17 308 22711 38 1484 22753 18 344 2343 39 1562 21171 19 382 2191 40 1642 2821 20 422 2211 41 1724 22431 不難發現 n2n2，在 n 是整數的情況，只能被模 7 二次剩餘的質數整除，不可能被模 7 二次非剩餘的質數整除，因為 b24ac7，所以只能被模 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 的二次非剩餘。 高斯和勒讓德的敘述 對於一般的情況，也有類似的規律。在此基礎上，高斯和勒讓德提出了兩個一般性的敘述（沒有使用勒讓德符號），兩者是等價的。 高斯的敘述 如果 q equiv 1 pmod 4 那麼 x2 equiv p pmod q 可解當且僅當 x2 equiv q pmod p 可解。 如果 q equiv 3 pmod 4 那麼 x2 equiv p pmod q 可解當且僅當 x2 equiv q pmod p 可解。 藉助於以下變數：q 1frac q12 q，命題可以簡化為： x2 equiv p pmod q 可解當且僅當 x2 equiv q pmod p 可解。 在高斯的敘述中已經可以見到 互反 的體現，即將 x2 equiv p pmod q 的可解性與 x2 equiv q pmod p 的可解性聯絡起來。在下表中可以看出，這表現了一種對稱性（反對稱性）。 下表列明瞭質數之間相互是否為二次剩餘的情況。方格內為 R 表示對應的 q（橫列元素）為對應的 p（豎列元素）的二次剩餘，N 則表示相反情況（此表示法由高斯創造）。可以看到白格內的元素是關於對角線對稱的，黃格內則關於對角線反對稱。可以說黃格代表了一種 特殊情況 蕭文強，數學 證明？。 q q q q q q q q q q q q q q q q q q q q q q q 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 p 5 N N R N N R N R R N R N N N R R N R N R N R N p 7 N N R N N N R R N R N R N R N N R R N R N N N p 11 R R N N N N R N R R N N R R R N R R N N N R R p 13 R N N N R N R R N N N R N R N R N N N R N N N p 17 N N N N R R N N N N N R R R R N R N N N R R N p 19 N R R R N R R N N N N R R N N R N N R N R N N p 23 R N N N R N N R R N R N R N R N N R R N N N N p 29 N R R N R N N R N N N N N R R N R R N N R N N p 31 N R R N N N R N N N R N R N R N R R N N N N R p 37 R N R R N N N N N N R N R R N N R R R N R N N p 41 N R N N N N N R N R R R N N R R N N R N R N N p 43 N N N R R R N R N R N R R R R N R N N R R N R p 47 R N R N N R N N N N R N N R R R N R N R R R R p 53 N N R R R R N N R N R N R R R N N N N N N R R p 59 R R R N N R R N R N N R N N R N N R N R N N N p 61 R R N N R N R N N N N R N R N N N N R N R N R p 67 N N N N N R R R R N R N N R N R N R R N R R N p 71 R R N N N N R N R N R N R N N N N N R R R R N p 73 R N N N N N R R N N R R N N N N R R R R N R R p 79 N R N R R N R R N R N N N N N N N R N R R R R p 83 R N R R N R N R R R R R N N N R R N N N N N N p 89 N R N R N R N N N N N N N R R N N R R R R N R p 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 的。因此勒讓德的陳述為： 如果 pequiv1pmod4 或者 qequiv1pmod4 那麼 x2 equiv q pmod p x2 可解當且僅當 x2 equiv p pmod q 可解。 如果 p equiv q equiv 3 pmod4 那麼 x2 equiv q pmod p x2 可解當且僅當 x2 equiv p pmod q 不可解。 研究歷史 二次互反律曾被不少的數學家研究，因此二次互反律的敘述有很多種。要注意的是當時的數學記號並不統一。尤拉和勒讓德並沒有高斯的同餘記號，高斯也不知道勒讓德符號。 下文中的 p 和 q 總是不相等的正奇質數。 前期探索 費馬曾經證明了 Lemmermeyer pp 23（或聲稱證明了 Gauss DA art 182）一系列關於將質數表示成平方和的定理 px2y2 當且僅當 p2 或 pequiv 1 pmod4 px22y2 當且僅當 p2 或 pequiv 1 3 pmod8 px23y2 當且僅當 p3 或 pequiv 1 pmod3 他並沒有給出二次互反律的陳述，儘管由此類的定理可以得到1、2 和 3 的情況。 此外尤拉曾經猜想（後被勒讓德證明）Lemmermeyer p 3 ： 如果 p equiv 1 9 pmod 20 那麼 p x25y2 如果 p q equiv 3 7 pmod 20 那麼 pqx25y2 證明費馬的這類命題是導致二次互反律的發現的因素之一。 定理的首次敘述：尤拉 尤拉在 1783 年曾經寫過 Lemmermeyer p 5 Ireland Rosen p 54 61（以現今的符號表示）： 1 如果 qequiv 1pmod 4 那麼 q 是模 p 的二次剩餘當且僅當 pequiv rpmod q，其中 r 是一個模 q 的二次剩餘。 2 如果 qequiv 3pmod 4 那麼 q 是模 p 的二次剩餘當且僅當 pequiv pm b2pmod 4q 其中 b 為奇數但不被 q 整除。 這是二次互反律首次被完整地陳述 。尤拉也證明了 Ireland Rosen pp 6970 他的證明基於後來所稱的 高斯和。 2 的情況。 勒讓德與他的符號 勒讓德用 a 和 A 表示模 4 餘 1 的正質數，用 b 和 B 表示模 4 餘 3 的正質數。他建立了一個有 8 個定理的表格，這 8 個定理合起來就是二次互反律 Lemmermeyer pp 68。 定理 如果 則有 I bfrac a12equiv 1 pmod a afrac b12equiv 1 pmod b II afrac b12equiv 1 pmod b bfrac a12equiv 1 pmod a III afrac A12equiv 1 pmod A Afrac a12equiv 1 pmod a IV afrac A12equiv 1 pmod A Afrac a12equiv 1 pmod a V afrac b12equiv 1 pmod b bfrac a12equiv 1 pmod a VI bfrac a12equiv 1 pmod a afrac b12equiv 1 pmod b VII bfrac B12equiv 1 pmod B Bfrac b12equiv 1 pmod b VIII bfrac B12equiv 1 pmod B Bfrac b12equiv 1 pmod b 勒讓德認為表示式 Nfrac c12pmod c 出現了太多次，可以簡寫為： left frac Ncright pm 1 equiv Nfrac c12 pmod c 其中 N、c 為互質的數 Comme les quantités analogues scriptstyle Nfrac c12 se renconteront fréquemment dans le cours de nos recherches nous emploierons le caractères abrégés scriptstyle left frac Ncright pour exprimer le reste que donne scriptstyle Nfrac c12 divisé par c reste qui suivant ce quon vient de voir ne peut être que 1 ou 1 。 這個符號就是現在使用的勒讓德符號由尤拉判別法，兩者等價： 對於所有的整數 a 以及任意奇質數 p： left frac apright begin cases0 1 1 end cases 如果 p 整除 a； left frac apright begin cases0 1 1 end cases 如果 a 是模 p 的二次剩餘且 p 不整除 a left frac apright begin cases0 1 1 end cases 如果 a 是模 p 的二次非剩餘。 ； 勒讓德使用勒讓德符號的敘述為： left frac pq right left frac qp right ，如果 pequiv 1 pmod 4 或 q equiv 1 pmod 4 left frac pq right left frac qp right ，如果 pequiv q equiv 3 pmod 4 他也提到上面的兩種情況可以合併為： left frac pqright left frac qpright 1frac p1q14 勒讓德完整地證明了八種情況中的第一、第二和第七種。在證明第八種情況時，勒讓德作了一個可以等價於狄利克雷定理的假設。正如高斯在其《算術研究》中指出的。勒讓德實際上證明了二次互反律是狄利克雷定理成立的情況下的一個推論 Lemmermeyer pp 8。 首次的證明：高斯 第一個完整地給出二次互反律的證明的人是德國數學家高斯。高斯在 1796 年給出了二次互反律的第一個證明 。高斯首先證明了 Gauss DA arts 108116 1 和 2 的情況。作為進行數學歸納法的開始，他證明了 Gauss DA arts 1171233 和 5 的情況。他注意到 3 和 5 的情況較有規律，容易敘述 Gauss DA arts 130，因此把定理敘述為 Gauss DA Art 131： 如果 p 是形式為 4n1，那麼 p（如果 p 是形式為 4n3 那麼 p）是模每個為模 p 的二次剩餘（非剩餘）的質數的二次剩餘（非剩餘）。 在下一句中，高斯將其列為 基本定理（但沒有用到 互反律 的稱謂）。 在引進 a mathbf R b（a mathbf N b）表示 a 是模 b 的二次剩餘（非剩餘）後，高斯令 a 和 aprime 表示模 4 餘 1 的質數，用 b 和 bprime 表示模 4 餘 3 的，於是寫出了勒讓德得到的 8 種情況： 情況 如果 那麼 1 a R a a R a 2 a N a a N a 3 a R ba N b b R a 4 a N ba R b b N a 5 b R a a R ba N b 6 b N a a N ba R b 7 b R bb N b b N bb R b 8 b N bb R b b R bb N b 在接下來的文章中他將其推廣到關於所謂的雅可比符號，以下的大寫字母表示的意思和相應的小寫字母一樣，但不再是質數。 情況 如果 那麼 9 a R A A R a 10 b R A A R bA N b 11 a R B B R a 12 a R B B N a 13 b R B B N bN R b 14 b R B B R bB N b 最後他分各種情況分別運用強數學歸納法將其證明 Gauss DA arts 135144。 證明中高斯用到了 Gauss DA arts 125129 一個引理： 如果 p equiv 1 pmod 8 是質數，那麼存在奇質數 q 2sqrt p1 使得 left frac pqright 1 如果使用勒讓德符號，那麼高斯的陳述就是 令 q 1frac q12 q，也就是說 qq 且 qequiv 1 pmod 4。 那麼 left frac pqright left frac qpright 高斯一生中給出了二次互反律的八個證明，其中他最為滿意的是第五個證明。 其它陳述 尤拉 如果 p equiv pm q pmod 4a 那麼 left frac apright left frac aqright Ireland Rosen p 6061 艾森斯坦 艾森斯坦 Lemmermeyer Th 228 pp 6365 曾聲稱： 如果 pne q pne q p equiv p pmod 4 並且 q equiv q pmod 4 那麼 Bigg frac pqBigg left frac qpright left frac pqright left frac qpright 莫德爾 莫德爾 Lemmermeyer ex 19 p 28 證明了以下命題與二次互反律等價： 令 a b 和 c 為整數，那麼對每個整除 abc 的質數 p 有： 如果 ax2 by2 cz2 equiv 0 pmod 4abcp 有一個非平凡解，那麼 ax2 by2 cz2 equiv 0 pmod 4abc 也有。 關於雅可比符號的互反律 雅可比符號是勒讓德符號的一個推廣，與後者主要的區別是 分母 只需為正奇數，而不需要一定是質數。當 分母 為質數時，兩者意義相同。雅可比符號的運算規律與勒讓德符號相同，即： left frac 1nright 1frac n12 leftbegin arraycl 1 n equiv 1 pmod 4 1 n equiv 3 pmod 4end arrayright left frac 2nright 1frac n218 leftbegin arraycl 1 n equiv 1 7 pmod 8 1 n equiv 35 pmod 8end arrayright 如果兩個數都是正奇數，那麼二次互反律對雅可比符號也成立： left frac mnright left frac nmright 1frac m1n14 然而，當雅可比符號為 1，分母 為合數時，分子 不一定是 分母 的二次剩餘。高斯的第九至十四種情況可以被表示為： left frac Mpright 1frac p1M14 Bigg frac pMBigg 由於 p 為質數，上式左邊是勒讓德符號，於是我們可以知道 M 是否是模 p 的剩餘。 以上各節的公式對雅可比符號仍然成立。尤拉的公式可以寫作： frac am frac am pm 4an 其中 n 為整數，mpm4an0 舉例來說： frac 27 frac 215 frac 223 frac 231 dots1 2 是模 7、23、31 的剩餘，但 2 是模 5 的非剩餘，因此也不是模 15 的。這與勒讓德提出過的一個問題有關：若已知 frac am 1 ，我們知道 a 是模 m4a 、 m8a 、 中所有質數的非剩餘，如果這種質數存在的話。但此種質數的存在性直到數十年後才由狄利克雷證明。 艾森斯坦的公式則需要兩數互質才能成立： 如果 a b a b 是正奇數，且 gcd abgcd ab1，那麼 如果 a equiv a pmod 4 且 b equiv b pmod 4 ，則 Bigg frac abBigg left frac baright left frac abright left frac baright 使用希爾伯特符號的互反律 二次互反律也可以用希爾伯特符號：ab_v 來敘述。其中 a 、 b 是兩個非零的有理數， v 則可代表任意非平凡的有理數絕對值（ p 的常用的或 p 進的絕對值）。希爾伯特符號：ab_v 的值取 1 或1。按照定義，它的值取 1 當且僅當方程 ax2by2z2 在有理數關於 v 的完備空間中有除了 xyz0 之外的解。希爾伯特二次互反律聲稱：對於固定的 a 、 b ，當 v 變動時，除了對有限個 v 以外，ab_v 的值都是 1，並且取遍所有 v 時，所有 ab_v 的乘積為 1（這與複分析中的留數定理相似）。 希爾伯特二次互反律的證明可以歸結到幾個特殊情況，可以證明其中非平凡的情況與勒讓德符號下的二次互反律的兩個輔助定理（1 和 2 的情況）是等價的。在希爾伯特二次互反律中其實並沒有 互反 的情形，它的名字只是表明它的歷史來源是作為二次互反律的研究成果。不同於二次互反律要考慮正負問題，並要區分 2 的情況，希爾伯特二次互反律對所有的有理數都是平等的。因此使用希爾伯特符號的二次互反律推廣起來更為自然：其推廣到整體域時只需做出很少改變，並對所有的整體域都適用 。 應用 以二次互反律配合以下兩個輔助定理 left frac 2p right 1frac p218 left frac 1p right 1frac p12 即能迅速地計算勒讓德符號，從而解決二次剩餘的判別問題。 例如判別 37 是否是模 89 的二次剩餘： left frac 3789 right left frac 8937 right 1frac 37189141 所以 left frac 3789 right left frac 8937 right left frac 89373737 rightleft frac 1537 rightleft frac 337 right left frac 537 rightleft frac 373 right left frac 375 rightleft frac 13 right left frac 25 right1 因此 37 不是模 89 的二次剩餘。 推廣 二次互反律的推廣主要是在代數數論中。 例如：高斯考察過四次互反律。在他的 C F Gauss Theorie der biquadratischen Reste Comm Soc Reg Sci Gottingen 1828 重印於 Untersuchungen uber hohere Arithmetik pp 511533 首篇論文裡他證明了一系列定理，其中最重要的是：如果 p equiv 1 mod 4，那麼 x4 equiv 2 mod p 有解當且僅當 p a2 64b2，其中 a、b 是整數，如果 p equiv 1 mod 4，那麼 x4 equiv 3 mod p 有解當且僅當 p a2 36b2，其中 a、b 是整數，如果 p equiv 1 mod 4，那麼 x4 equiv 5 mod p 有解當且僅當 p a2 100b2，其中 a、b 是整數，如果 p equiv 3 mod 4，那麼模 p 的二次剩餘必然是四次剩餘。 在第二篇論文中 C F Gauss Theoria residuorum biquadraticorum Commentatio secunda Comm Soc Reg Sci Gottingen 7 1832 134 重印於 Untersuchungen uber hohere Arithmetik pp 534589，高斯引進了著名的高斯整數。高斯證明了模 4 餘 1 的質數總能分解為兩個高斯整數中質數的乘積、唯一分解定理等其它代數數論的基礎定理，並引進了一些基本概念，如範數和單位元。在高斯整數中，四次互反律的敘述十分簡單。高斯並且注意到在艾森斯坦整環中，三次互反律最為簡單。一部分的原因是高斯整數中 1 有 4 個四次方根，而艾森斯坦整數中 1 有 3 個三次方根。 其它的推廣是在以上整環中的二次互反律。高斯率先研究了高斯整數中的二次互反律四次互反律的首篇論文 Lemmermeyer p154 中給出了狄利克雷的一個用到二次互反律的簡單證明。Ireland Rosen p 64 ex 26。 參見 同餘 同餘方程 二次剩餘 高斯引理 二次互反律的證明 三次互反律 阿廷互反律 註釋及參考來源 外部連結 二次互反律 高斯二次互反律 Category 代數數論 Category 同餘 Category 數論 Category 二次剩餘 Category 數論定理