二次互反律的证明

✍ dations ◷ 2025-05-05 09:34:19 #自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$ ，其中 ${\displaystyle R_{k}=2r_{k},0<R_{k} <semantics> <mrow class=$ $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]}$

相关

埃芬汉县埃芬汉县（Effingham County, Georgia）是美国乔治亚州东部的一个县，东邻南卡罗莱纳州。面积1,250平方公里。根据美国2000年人口普查，共有人口37,535人。县治春田市 (Springfield)
深度昏迷昏迷（英语：coma）语出希腊语κῶμα（“沉睡”的意思），是一种深度失去意识的状态。处于这个状态的病人无法被唤醒，对光和声音没有反应，没有睡眠-惊醒周期，也不能随意活动。昏迷有多种
豪尔赫·冈萨雷斯豪尔赫·冈萨雷斯（西班牙语：Jorge González，1966年1月30日－2010年9月22日），出生于阿根廷，是世界摔角娱乐（WWF）旗下职业摔角选手，也曾因其身材条件上的优势，在NBA被亚特兰大老鹰队选秀
泰国变性女性泰国变性人（泰语：กะเทย，皇家转写：Kathoey，IPA：）是指由男性变为女性的泰国变性人，又名ladyboy。许多华人常将其称为“泰国人妖”。在古代，กะเทย是指雌雄同体，与现代用来指异
937年重要事件及趋势重要人物
孙维民孙维民（1955年7月14日－），中国大陆男演员，出生于辽宁省新金县（今辽宁省大连市普兰店区），毕业于中央戏剧学院，是国家一级演员，出演“周恩来”的特型演员。
芙蓉芙蓉（马来语：Seremban）全名“芙蓉市”（马来语：Bandar Seremban），是位于马来西亚南部的一个城镇，也是该国森美兰州的首府兼芙蓉县的县城。芙蓉市的华语译名“芙蓉”源自旧称“双溪乌
要敢于认识要敢于认识（拉丁语：Sapere aude）拉丁短语的意思是“敢于知道！” 这句话最初用于罗马诗人霍拉蒂乌斯的书信（公元前20年），被引用为启蒙的座右铭，由伊曼纽尔康德在“启蒙的回答” （17
乳清酸核苷-5'-磷酸脱羧酶乳清酸核苷-5'-磷酸脱羧酶（英语：Orotidine 5'-phosphate decarboxylase，缩写ODCase，简称OMP脱羧酶，OMP decarboxylase，或乳清苷酸脱羧酶orotidylate decarboxylase）是嘧啶生物合成
日本皇室天皇德仁皇后雅子上皇明仁上皇后美智子日本的皇室（日语：皇室／こうしつ ?）包括天皇及皇族，具体的构成包括天皇与内廷皇族（日语：内廷皇族）组成的“内廷”、加上其他男性皇