高斯二次互反律.docxVIP

高斯二次互反律

主講：李宗儒在正式介紹高斯二次互反律之前，我們先簡單的介紹一下同餘方程式

同餘方程式

給定正整數m及n次整系數多項式

f(x)?axn

n

a

n?1

xn?1?...?a

1

x?a

0

我們討論這樣的問題：求出所有的整數x，使同餘式

f(x)?0 (modm) (1)

成立，這就是所謂的解同餘方程式。而上式稱為模m的同餘方程式。若(1)式在x=c時同餘式成立，稱c是(1)式的解。顯然，這時剩餘類c(modm)中的任意整數也都是解，我們把這些解看作是相同的，並說剩餘類c(modm)是(1)中的一

個解，我們把它記為

x?c (modm)

當c,c均為(1)式的解，且模m不同餘，我們就稱它是同餘方程式(1)的不同解，

1 2

所有模m兩兩不同餘的解的個數，稱為是同餘方程式(1)的解數。

模為質數的二次同餘方程

在此節，由於p?2的情形是顯然的，所以下面我們假定p是奇質數。假設p不整除a，二次同餘方程的一般形式是

ax2?bx?c?0 (modp) (2)

但是因為p不整除a，所以p不整除4a，所以(2)的解跟

4a?ax2?bx?c??0 (modp) (3)

的解相同，上式可以改為

?2ax?b?2

?b2?4ac (modp) (4)

透過變數變換，我們可以得到下列式子

y2?b2?4ac (modp) (5)

(4)與(5)是等價的，也就是說，兩者同時無解或有解。若有解，對於(5)的每個解

y?y

0

(modp)，通過變數變換y?2ax?b(因為這是x的一次同餘方程，

(p,2a)?1，所以解數為1)，我們可以解出一個x?x

0

(modp)，由以上的討論可

知，我們只要討論形如

x2

?d (modp) (6)

的同餘方程式，很容易的，當p整除d時，(6)僅有一解x?0(modp)。所以，我們只討論p不整除d的情形。

定義1

設質數p?2，d是整數，且p不整除d，如果同餘方程式(6)有解，則稱d

是模p的二次剩餘，若無解，則稱d是模p的二次非剩餘。

定理1

在模p的一個完全剩餘系中，恰有

p?1

個模p的二次剩餘，

p?1

個模p的

2 2

二次非剩餘，此外，若d是模p的二次剩餘，則同餘方程式(6)的解數為二。

定理2

設質數p?2且p不整除d，其中d是整數。那麼d是模p的二次剩餘的充要條件是d(p?1)2?1(modp)；d是模p的二次非剩餘的充要條件是d(p?1)2??1(modp)

為了接下來的討論方便，我們引進一個表示模p的二次剩餘、二次非剩餘的符號─Legendre符號

定義2

設質數p?2，定義整數變數d的函數

引理1

(1)

?d???p?d?

?p? ? p ?

? ? ? ?

?d?

(2) ?

?

??d(p?1)2 (modp)

p?

p

(3)

?dc???d??c?

?p? ?p??p?

? ? ? ?? ?

p(4) ?d2??1 若p不整除d

p

? ?

? ?

?1? ?? ?1(5) ? ??1，? ????1

?1? ?? ?1

?p? ?p?

?d?

p(6)同餘方程式x2?d (modp)的解數是1?? ?

p

? ?

引理2

設質數p?2且p不整除d，再設1?j?p，t

2 j

這(p?1)2個t中大於p2的t的個數，那麼有

j j

?d?

? ??(?1)n

?p?

?jd，0?t

j

?p，以n表示

定理3

我們有

?2?

? ??(?1)(p2?1)8

定理4

?p?

設質數p?2且p不整除d，且當(d,2p)?1，有

?d? (p?1)