二次互反律

维基百科,自由的百科全书
跳转至: 导航搜索

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

二次互反律常用勒让德符号表述:对于两个奇素数 pq

\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]。在《算数研究》一书和相关论文中,高斯将其称为“基石”。私下里高斯把二次互反律誉为算术理论中的宝石,是一个黄金定律[2]

高斯之后雅可比柯西刘维尔克罗内克弗洛贝尼乌斯等也相继给出了新的证明。至今,二次互反律已有超过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的二次非剩余。
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 1 4
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 ≡ 2 (mod 3),–1 ≡ 4 (mod 5),–1 ≡ 10 (mod 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是模它的剩余

高斯和勒让德的叙述[编辑]

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

高斯的叙述[编辑]

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

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\equiv1\pmod4 或者  q\equiv1\pmod4 那么
x^2 \equiv q \pmod p x^2 可解当且仅当 x^2 \equiv p \pmod q 可解。
如果p \equiv q \equiv 3 \pmod4 那么
x^2 \equiv q \pmod p x^2 可解当且仅当 x^2 \equiv p \pmod q 不可解。

研究历史[编辑]

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

 下文中的pq总是不相等的正奇质数。

前期探索[编辑]

费马曾经证明了[4](或声称证明了[5])一系列关于将质数表示成平方和的定理

p=x^2+\;\,y^2 当且仅当 p=2  p\equiv 1 \pmod4
p=x^2+2y^2 当且仅当 p=2  p\equiv 1, 3 \pmod8
p=x^2+3y^2 当且仅当 p=3  p\equiv 1 \pmod3

他并没有给出二次互反律的陈述,尽管由此类的定理可以得到–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 ≡ 1 (mod 4) 那么q是模p的二次剩余当且仅当pr (mod q),其中r是一个模q的二次剩余。

2) 如果 q ≡ 3 (mod 4) 那么q是模p的二次剩余当且仅当p ≡ ±b2 (mod 4q), 其中b为奇数但不被q整除。

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

勒让德与他的符号[编辑]

勒让德用aA表示模4余1的正质数,用bB表示模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

其中Nc为互质的数[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)^{(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} \ ba\ \mathbf{N} \ b)表示a是模b的二次剩余(非剩余)后,高斯令aa^\prime表示模4余1的质数,用bb^\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\ne q, p'\ne 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, bc 为整数,那么对每个整除 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)^{(m-1)(n-1)/4}.

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

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

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

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

 \left(\frac{a}{m}\right) = \left(\frac{a}{m \pm 4an}\right)

其中n为整数,m\pm4an>0

举例来说: (\tfrac{2}{7}) 
=(\tfrac{2}{15})
=(\tfrac{2}{23})
=(\tfrac{2}{31})
\dots=1,

2是模7、23、31的剩余,但2是模5的非剩余,因此也不是模15的。这与勒让德提出过的一个问题有关:若已知(\tfrac{a}{m}) = -1 ,我们知道a是模m + 4am + 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 来叙述。其中ab是两个非零的有理数v则可代表任意非平凡的有理数绝对值(p的常用的或p进的绝对值)。希尔伯特符号(a,b)_v 的值取1或−1。按照定义,它的值取1当且仅当方程ax^2+by^2=z^2在有理数关于v完备空间中有除了x=y=z=0之外的解。希尔伯特二次互反律声称:对于固定的ab,当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,其中ab是整数。如果p \equiv 3 \mod 4,那么模p的二次剩余必然是四次剩余。

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

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

参见[编辑]

注释及参考来源[编辑]

  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
  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
  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. ^ 诺丁汉大学数学线上教程:希尔伯特符号及希尔伯特二次互反律证明
  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
  • 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 
  • Ireland, Kenneth; Rosen, Michael, A Classical Introduction to Modern Number Theory (second edition), New York: Springer, 1990, ISBN 0-387-97329-X 

外部链接[编辑]