在數論中，高斯引理給出了一個整數是模另一個整數的二次剩餘的條件。儘管高斯引理沒有實際計算上的意義，但作為二次互反律的證明中的一環，高斯引理有著理論上的重要性。

高斯引理最早出現在高斯 1808 年發表的二次互反律的第三個證明中，並在第五個證明中再次用到。



敘述

設 $p$ 為奇質數， $a$ 是一個與 _$p$_ 互質的整數。考慮以下數組： $a,2a,3a,\dots ,{\frac {p-1}{2}}a$ , 取它們模 _$p$_ 的最小非負剩餘。這些剩餘兩兩不等，因此我們共有 ${\frac {p-1}{2}}$ 個兩兩不等的介於 1 和 _$p-1$_ 之間的整數： $t_{1},t_{2},t_{3},\dots ,t_{\frac {p-1}{2}}$ 。設其中有 $n$ 個數比 ${\frac {p}{2}}$ 大，那麼高斯引理聲稱：

　
: $\left({\frac {a}{p}}\right)=(-1)^{n}$

上式左邊是勒讓德符號，當其值為 + 1 時，表示 _$a$_ 是模 _$p$_ 的二次剩餘；其值為 - 1 時，表示 _$a$_ 是模 _$p$_ 的二次非剩餘。

用通俗的語言來說，就是：如果 $t_{1},t_{2},t_{3},\dots ,t_{\frac {p-1}{2}}$ 裡面比 ${\frac {p}{2}}$ 大的有偶數個，那麼 _$a$_ 是模 _$p$_ 的二次剩餘，如果有奇數個，那麼 _$a$_ 是模 _$p$_ 的二次非剩餘。



例子

令 $p=11$ ， $a=7$ ，則我們考慮的數組是 $7,14,21,28,35$ 。模 11 之後，就得到 $7,3,10,6,2$ 。其中比 ${\frac {11}{2}}$ 大的有三個： $6,7,10$ 。3 是奇數，因此由高斯引理得到結論：7 是模 11 的二次非剩餘。

這個結論是正確的，因為模 11 的全部二次剩餘是 $1,3,4,5,9$ ，不包括 7 在內。



證明

一個常見的簡單證明用的是一個令人聯想到費馬小定理之最簡單證明的方法：考慮乘積

　
: $Z=a\cdot 2a\cdot 3a\cdot \cdots \cdot {\frac {p-1}{2}}a$

用兩種方式模 _p_ 之後，一方面可以得到：

　
: $Z=a^{\frac {p-1}{2}}\left(1\cdot 2\cdot 3\cdot \cdots \cdot {\frac {p-1}{2}}\right)$

另一方面，我們將 $t_{1},t_{2},\cdots t_{\frac {p-1}{2}}$ 中每一個比 ${\frac {p}{2}}$ 大的數都減去 _$p$_ ，這樣我們得到一個新數組 $t'_{1},t'_{2},\cdots t'_{\frac {p-1}{2}}$ ，其中每個數都介於 $-{\frac {p}{2}}$ 與 ${\frac {p}{2}}$ 之間。取絕對值後，我們便得到 ${\frac {p-1}{2}}$ 個介於 1 和 ${\frac {p-1}{2}}$ 之間（含等於 ${\frac {p-1}{2}}$ ）的整數（這是因為 ${\frac {p}{2}}$ 不是整數，因此比 ${\frac {p}{2}}$ 小的整數必然小於等於 ${\frac {p-1}{2}}$ ）。

關鍵的一步，是證明這些數兩兩不等。

證明是用反證法：假設在這些數中有兩個數 $|x|$ 和 $|y|$ 相等，那麼找出其對應的「原型」： $x\equiv k\cdot a\mod p$ 與 $y\equiv l\cdot a\mod p$ ，其中 _k_ 和 _l_ 是兩個介於 1 和 ${\frac {p-1}{2}}$ 之間的整數。分別平方後，就有：

　
: $(ka)^{2}\equiv x^{2}\equiv y^{2}\equiv (la)^{2}\mod p$

因此 _p_ 整除兩者之差： $p|(ka)^{2}-(la)^{2}=a^{2}\cdot (k+l)\cdot (k-l)$ 。

但這不可能，因為 _p_ 不整除 $a^{2}$ ，並且由於 _k_ 和 _l_ 是兩個介於 1 和 ${\frac {p-1}{2}}$ 之間的整數，它們的和與差的都介於 $-p+1$ 與 $p-1$ 之間，絕對值比 _$p$_ 小，不可能被 _$p$_ 整除。這導致了矛盾！

因此這 ${\frac {p-1}{2}}$ 個數都在 1 和 ${\frac {p-1}{2}}$ 之間，且兩兩不等。於是它們就是 $1,2,\cdots {\frac {p-1}{2}}$ 。這樣，

　
: $Z\equiv t_{1}t_{2}\cdots t_{\frac {p-1}{2}}$

　
: $.\ \ \equiv t'_{1}t'_{2}\cdots t'_{\frac {p-1}{2}}$ (因為我們知道 $t_{i}\equiv t_{i}-p\mod p$ )

　
: $.\ \ \equiv (-1)^{n}\cdot |t'_{1}||t'_{2}|\cdots |t'_{\frac {p-1}{2}}|$ (比 ${\frac {p}{2}}$ 大的減去 _$p$_ 之後為負數，因此共有 $n$ 個 - 1)

　
: $.\ \ \equiv (-1)^{n}\left(1\cdot 2\cdot 3\cdot \cdots \cdot {\frac {p-1}{2}}\right)\mod p$

總結兩次不同算法的結果，可以得出： $(-1)^{n}\equiv a^{\frac {p-1}{2}}\mod p$ （因為 _$p$_ 不整除 $1\cdot 2\cdot 3\cdot \cdots \cdot {\frac {p-1}{2}}$ ）。然而由歐拉判別法可以得出

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

因此有

　
: $\left({\frac {a}{p}}\right)=(-1)^{n}$

引理得證。



應用

在很多的二次互反律的證明中都可以見到高斯引理的身影。比如艾森斯坦曾用高斯引理證明了在 _$p$_ 為奇質數時，有下式成立

　
: $\left({\frac {a}{p}}\right)=\prod _{n=1}^{(p-1)/2}{\frac {\sin {({\frac {2\pi an}{p}})}}{\sin {({\frac {2\pi n}{p}})}}},$

並運用這個公式證明二次互反律（並且運用橢圓函數而不是三角函數來證明三次以及四次的互反律）。

克羅內克運用高斯引理證明了

　
: $\left({\frac {p}{q}}\right)=\operatorname {sgn} \prod _{i=1}^{\frac {q-1}{2}}\prod _{k=1}^{\frac {p-1}{2}}\left({\frac {k}{p}}-{\frac {i}{q}}\right)$ 。

翻轉 _p_ 和 _q_ 後就可立即得到二次互反律。



與群論中遷移的關係

令 $G$ 為 Z/_p_Z 中全體非零的二次剩餘類組成的乘法群，令 $H$ 為此群的子群 $\{+1,-1\}$ 。考慮如下的 _$G$_ 中 _$H$_ 的陪集代表：

　
: $1,2,3,\dots ,{\frac {p-1}{2}}$ 。

在這些陪集上應用遷移，就可以得到遷移同態： $\phi :G\to H$ ，將 $a$ 射到 $(-1)^{n}$ ，其中 $a$ 與 $n$ 為高斯引理中所定義的。高斯引理可以被看做一個清楚地將這個同態等同到二次剩餘特徵的計算。



參見


* 同餘

* 二次剩餘

* 勒讓德符號

* 二次互反律

* 歐拉判別法

* 佐羅塔列夫引理



注釋



參考來源


* Gauss, Carl Friedrich; Maser, H.（translator into German）, Untersuchungen uber hohere Arithmetik（Disqusitiones 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