二次互反律的证明

✍ dations ◷ 2025-08-13 04:03:46 #自2019年12月需要数学专家关注的页面

这个条目给出了二次互反律的证明。

对于两个奇素数 $p, q {\displaystyle p,q}$ $p,q$ ， $\left({\frac {p}{q}}\right)\cdot \left({\frac {q}{p}}\right)=(-1)^{\frac {(p-1)(q-1)}{4}}$ $\left({\frac {p}{q}}\right)\cdot \left({\frac {q}{p}}\right)=(-1)^{{{\frac {(p-1)(q-1)}{4}}}}$ 。其中， $\left({\frac {p}{q}}\right)$ $\left({\frac {p}{q}}\right)$ 是勒让德符号。

设 $p {\displaystyle p}$ $p$ 是一个奇素数并且 $a\not \equiv 0\mod p$ $a\not \equiv 0\mod p$ 。对于每个 $k=1,2,...,{\frac {p-1}{2}}$ $k=1,2,...,{\frac {p-1}{2}}$ ，这样定义 $\epsilon _{k}$ $\epsilon _{k}$ 和 $r_{k}$ $r_{k}$ ：

$ak\equiv \epsilon _{k}r_{k}\mod p$ $ak\equiv \epsilon _{k}r_{k}\mod p$ ，其中 $0<r_{k}<{\frac {p}{2}}$ $0<r_{k}<{\frac {p}{2}}$ ， $\epsilon _{k}=\pm 1$ $\epsilon _{k}=\pm 1$ 。通过分别考虑 $\epsilon _{k}=1$ $\epsilon _{k}=1$ 和 $\epsilon _{k}=-1$ $\epsilon _{k}=-1$ 的情况，易证每个 $r_{k}$ $r_{k}$ 都两两不等。

现在考虑 $\prod _{k=1}^{(p-1)/2}ak\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\prod _{k=1}^{(p-1)/2}r_{k}\mod p$ $\prod _{k=1}^{(p-1)/2}ak\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\prod _{k=1}^{(p-1)/2}r_{k}\mod p$ 。因为每个 $r_{k}$ $r_{k}$ 都两两不等，所以 $\{r_{1},r_{2},...,r_{\frac {p-1}{2}}\}$ $\{r_{1},r_{2},...,r_{\frac {p-1}{2}}\}$ 就是 $\{1,2,...,{\frac {p-1}{2}}\}$ $\{1,2,...,{\frac {p-1}{2}}\}$ 的一个重排列。所以我们得到 $a^{\frac {p-1}{2}}\prod _{k=1}^{(p-1)/2}k\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\prod _{k=1}^{(p-1)/2}k\mod p$ $a^{\frac {p-1}{2}}\prod _{k=1}^{(p-1)/2}k\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\prod _{k=1}^{(p-1)/2}k\mod p$ ，因此 $a^{\frac {p-1}{2}}\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\mod p$ $a^{\frac {p-1}{2}}\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\mod p$ 。

现在考虑 $\epsilon _{k}$ $\epsilon _{k}$ 的正负情况。 $ak\equiv \epsilon _{k}r_{k}\mod p$ $ak\equiv \epsilon _{k}r_{k}\mod p$ 等价于 $ak=\epsilon _{k}r_{k}+bp,b\in \mathbb {Z}$ $ak=\epsilon _{k}r_{k}+bp,b\in \mathbb {Z}$ 。若 $\epsilon _{k}=1$ $\epsilon _{k}=1$ ，则有 $ak=r_{k}+bp$ $ak=r_{k}+bp$ 。注意到 $0<r_{k}<{\frac {p}{2}}$ $0<r_{k}<{\frac {p}{2}}$ ，将等式两边同时乘2得到 $2ak=R_{k}+B_{k}p$ $2ak=R_{k}+B_{k}p$ ，其中 $R_{k}=2r_{k},0<R_{k}<p,B_{k}=2b$ $R_{k}=2r_{k},0<R_{k}<p,B_{k}=2b$ ，可以发现 $B_{k}$ $B_{k}$ 是偶数，而 $\lfloor {\frac {2ak}{p}}\rfloor =\lfloor {\frac {R_{k}}{p}}+B_{k}\rfloor =B_{k}$ $\lfloor {\frac {2ak}{p}}\rfloor =\lfloor {\frac {R_{k}}{p}}+B_{k}\rfloor =B_{k}$ 也是偶数。同理可证若 $\epsilon _{k}=-1$ $\epsilon _{k}=-1$ ， $B_{k}=2b+1$ $B_{k}=2b+1$ ，而 $\lfloor {\frac {2ak}{p}}\rfloor$ $\lfloor {\frac {2ak}{p}}\rfloor$ 是奇数。据此，可以知道 $\operatorname {sgn}(r_{k})=\lfloor {\frac {2ak}{p}}\rfloor$ $\operatorname {sgn}(r_{k})=\lfloor {\frac {2ak}{p}}\rfloor$ ，其中 $\operatorname {sgn}(r_{k})$ $\operatorname {sgn}(r_{k})$ 是 $r_{k}$ $r_{k}$ 的符号，也就是 $\epsilon _{k}=1$ $\epsilon _{k}=1$ 还是 $\epsilon _{k}=-1$ $\epsilon _{k}=-1$ 。

所以 $a^{\frac {p-1}{2}}\equiv (-1)^{\sum _{k=1}^{(p-1)/2}\lfloor 2ak/p\rfloor }\mod p$ $a^{\frac {p-1}{2}}\equiv (-1)^{\sum _{k=1}^{(p-1)/2}\lfloor 2ak/p\rfloor }\mod p$ 。又由欧拉准则知 $\left({\frac {a}{p}}\right)\equiv a^{\frac {p-1}{2}}\mod p$ $\left({\frac {a}{p}}\right)\equiv a^{\frac {p-1}{2}}\mod p$ ，所以 $\left({\frac {a}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor 2ak/p\rfloor }$ $\left({\frac {a}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor 2ak/p\rfloor }$ 。

如果 $a {\displaystyle a}$ $a$ 是奇数，同时考虑勒让德符号的性质 $\left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right)=\left({\frac {ab}{p}}\right)$ $\left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right)=\left({\frac {ab}{p}}\right)$ ，可知 $\left({\frac {a}{p}}\right)\left({\frac {2}{p}}\right)=\left({\frac {2a+2p}{p}}\right)=\left({\frac {4\left({\frac {a+p}{2}}\right)}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {2\left({\frac {a+p}{2}}\right)k}{p}}\rfloor }=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }(-1)^{\sum _{k=1}^{(p-1)/2}k}=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }(-1)^{\frac {p^{2}-1}{8}}$ $\left({\frac {a}{p}}\right)\left({\frac {2}{p}}\right)=\left({\frac {2a+2p}{p}}\right)=\left({\frac {4\left({\frac {a+p}{2}}\right)}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {2\left({\frac {a+p}{2}}\right)k}{p}}\rfloor }=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }(-1)^{\sum _{k=1}^{(p-1)/2}k}=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }(-1)^{\frac {p^{2}-1}{8}}$ ，其中最后一步利用了等差数列的求和公式。

但是，当 $a=1$ $a=1$ 时，由上式可得 $\left({\frac {2}{p}}\right)=\left({\frac {1}{p}}\right)\left({\frac {2}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {k}{p}}\rfloor }(-1)^{\frac {p^{2}-1}{8}}=(-1)^{\frac {p^{2}-1}{8}}$ $\left({\frac {2}{p}}\right)=\left({\frac {1}{p}}\right)\left({\frac {2}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {k}{p}}\rfloor }(-1)^{\frac {p^{2}-1}{8}}=(-1)^{\frac {p^{2}-1}{8}}$ ，所以 $\left({\frac {a}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }$ $\text{[math]}$

相关

独立机构美国联邦政府的独立机构是存在于联邦行政部门（由内阁部长领导）之外的那些机构。然而，大多数独立机构是行政分支的一部分，仅少数是立法或司法分支的一部分。通过由国会通过的单独
人类生殖系统的同系物列表人类两性的生殖系统有相同的胚胎起源，经过分化而演变为不同的器官。以下列出了男性与女性的同源器官。生殖器于胚胎的发育的过程示意图，左侧为男性，右侧为女性。
解剖显微镜光学显微镜（Optical microscope、Light microscope）是一种利用光学透镜产生影像放大效应的显微镜。由物体入射的光被至少两个光学系统（物镜和目镜）放大。首先物镜产生一个被放大
伯母伯父是中文中对亲属的称谓，指父亲的哥哥，也叫伯伯、阿伯、堂伯，或简称伯。古称从父。不过，“伯”也可以指大伯子，即丈夫的哥哥。英文中，伯父与叔父、舅父等统称为Uncle。伯父妻子
喙头目喙头目（学名：Rhynchocephalia），也称喙头蜥目，是形似蜥蜴的蜥形纲动物的一个目。今仅存楔齿蜥科下楔齿蜥属2种。1831年，喙头蜥的头骨被送至大英博物馆，因被当成一种蜥蜴，而使整个属被
高雄县高雄县，为中华民国已经废止的一个行政区，位于台湾西南部，与台南县、台南市、高雄市、屏东县、台东县、花莲县、南投县、嘉义县相邻，包围着高雄市。北缘嘉南平原，西滨台湾海峡，东南
精米步合精米歩合是日本清酒酿造的术语，指“磨过之后的白米，占原本玄米（糙米）的比重。”譬如将一批糙米磨去四成后，所制成之白米占原玄米重量的六成，其精米步合即为60％。此标准系由日本国税
博士伦博士伦，是美国著名的眼睛护理产品制造商，总部设于美国纽约州罗彻斯特市，主要生产及销售眼睛护理用品、隐形眼镜、隐形眼镜护理药品及眼科手术仪器，是全球主要生产商之一。创始人
2,4,6-三硝基苯胺2,4,6-三硝基苯胺(2,4,6-Trinitroaniline, TNA)，化学式C6H4N4O6，因其含有三个硝基，是一种爆炸性的强氧化剂。因纯度或溶液浓度的差异，呈黄色至红色。三硝基苯胺的应用包括迫击炮
托马斯·安德森托马斯·安德森（英语：Thomas Anderson，1819年7月2日－1874年11月2日）是一名19世纪的苏格兰化学家。他出生在利斯，在1841年毕业于爱丁堡大学，并获得医学博士学位。在医学研究期间，托马