二次互反律的证明

✍ dations ◷ 2025-06-30 07:23:44 #自2019年12月需要数学专家关注的页面

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

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

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

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

现在考虑 k = 1 ( p 1 ) / 2 a k k = 1 ( p 1 ) / 2 ϵ k k = 1 ( p 1 ) / 2 r k mod p {\displaystyle \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 {\displaystyle r_{k}} 都两两不等,所以 { r 1 , r 2 , . . . , r p 1 2 } {\displaystyle \{r_{1},r_{2},...,r_{\frac {p-1}{2}}\}} 就是 { 1 , 2 , . . . , p 1 2 } {\displaystyle \{1,2,...,{\frac {p-1}{2}}\}} 的一个重排列。所以我们得到 a p 1 2 k = 1 ( p 1 ) / 2 k k = 1 ( p 1 ) / 2 ϵ k k = 1 ( p 1 ) / 2 k mod p {\displaystyle 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 p 1 2 k = 1 ( p 1 ) / 2 ϵ k mod p {\displaystyle a^{\frac {p-1}{2}}\equiv \prod _{k=1}^{(p-1)/2}\epsilon _{k}\mod p}

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

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

如果 a {\displaystyle a} 是奇数,同时考虑勒让德符号的性质 ( a p ) ( b p ) = ( a b p ) {\displaystyle \left({\frac {a}{p}}\right)\left({\frac {b}{p}}\right)=\left({\frac {ab}{p}}\right)} ,可知 ( a p ) ( 2 p ) = ( 2 a + 2 p p ) = ( 4 ( a + p 2 ) p ) = ( 1 ) k = 1 ( p 1 ) / 2 2 ( a + p 2 ) k p = ( 1 ) k = 1 ( p 1 ) / 2 a k p ( 1 ) k = 1 ( p 1 ) / 2 k = ( 1 ) k = 1 ( p 1 ) / 2 a k p ( 1 ) p 2 1 8 {\displaystyle \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 {\displaystyle a=1} 时,由上式可得 ( 2 p ) = ( 1 p ) ( 2 p ) = ( 1 ) k = 1 ( p 1 ) / 2 k p ( 1 ) p 2 1 8 = ( 1 ) p 2 1 8 {\displaystyle \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}}} ,所以 ( a p ) = ( 1 ) k = 1 ( p 1 ) / 2 a k p {\displaystyle \left({\frac {a}{p}}\right)=(-1)^{\sum _{k=1}^{(p-1)/2}\lfloor {\frac {ak}{p}}\rfloor }}

相关

  • 海峡群岛海峡群岛(法语:Îles de la Manche,英语:Channel Islands),又称盎格鲁-诺曼底群岛(法语:Îles Anglo-Normandes),是位于英吉利海峡中的群岛,群岛距离法国北部诺曼底只有大约10海里。整个
  • 轧制冶金工程中,轧制,又称滚制(Rolling)或压延,指的是将金属锭通过一对滚轮,透过滚动来为之赋形的过程。如果压延时,金属的温度超过其再结晶温度,那么这个过程被称为“热轧”,否则称为“
  • 穆拉德纳迪娅·穆拉德·巴西·塔哈(库尔德语:نادیە موراد باسی تەھا‎‎;转写:Nadiye Murad Basî Teha,阿拉伯语:نادية مراد باسي طه‎,英语:Nadia Mur
  • 化学计算化学计量学(chemometrics)是一门应用数学、统计学和计算机技术的原理和方法来处理化学数据的学问,它是分析化学的三级学科,化学计量学可以优化化学量测过程,并从化学量测数据中最
  • 软流圈软流圈(Asthenosphere)是地球地幔的一部分弱塑性变形区域,位于岩石圈的下面、中间圈的上面,其软流圈下界在地表以下180-220km深处。岩石圈与软流圈的边界,定义在1300°C等温线。
  • 刘思职刘思职(1904年3月15日-1983年8月18日),福建仙游人,中国生物化学家,北京医学院教授。1925年、1926年分别毕业于大夏大学和美国西南大学,1929年获美国堪萨斯大学博士学位。1956年加入
  • 伯爵宫伯爵宫展览中心是一座位于英国伦敦肯辛顿-切尔西皇家自治市的展览中心。它是在伦敦市中心最大的展览场地。2012年夏季奥林匹克运动会排球比赛在此举行。
  • BBC伦敦BBC伦敦(BBC London)是英国广播公司(BBC)在伦敦及其附近地区提供地方广播、电视、图文电视和网络服务。其播出的主要电视节目有每日播出的BBC伦敦新闻(BBC London News)和每周播出
  • 小耳犬属小耳犬(学名:Atelocynus microtis)是犬科犬亚科的一种,为小耳犬属(Atelocynus)唯一的一种,分布于南美洲的委内瑞拉、哥伦比亚、厄瓜多尔、玻利维亚及巴西等国。
  • 故乡 (小说)《故乡》是鲁迅的小说集《呐喊》中的一篇白话文小说。作于1921年1月,同年发表于《新青年》。现已编入人民教育出版社的语文九年级教材,日译版编入日本中学三年级国语教材。其