这个条目给出了二次互反律的证明。
对于两个奇素数
,
。其中,
是勒让德符号。
设
是一个奇素数并且
。对于每个
,这样定义
和
:
,其中
,
。通过分别考虑
和
的情况,易证每个
都两两不等。
现在考虑
。因为每个
都两两不等,所以
就是
的一个重排列。所以我们得到
,因此
。
现在考虑
的正负情况。
等价于
。若
,则有
。注意到
,将等式两边同时乘2得到
,其中
,可以发现
是偶数,而
也是偶数。同理可证若
,
,而
是奇数。据此,可以知道
,其中
是
的符号,也就是
还是
。
所以
。又由欧拉准则知
,所以
。
如果
是奇数,同时考虑勒让德符号的性质
,可知
,其中最后一步利用了等差数列的求和公式。
但是,当
时,由上式可得
,所以
相关
- 海峡群岛海峡群岛(法语:Î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月,同年发表于《新青年》。现已编入人民教育出版社的语文九年级教材,日译版编入日本中学三年级国语教材。其