这个条目给出了二次互反律的证明。
对于两个奇素数
,
。其中,
是勒让德符号。
设
是一个奇素数并且
。对于每个
,这样定义
和
:
,其中
,
。通过分别考虑
和
的情况,易证每个
都两两不等。
现在考虑
。因为每个
都两两不等,所以
就是
的一个重排列。所以我们得到
,因此
。
现在考虑
的正负情况。
等价于
。若
,则有
。注意到
,将等式两边同时乘2得到
,其中
,可以发现
是偶数,而
也是偶数。同理可证若
,
,而
是奇数。据此,可以知道
,其中
是
的符号,也就是
还是
。
所以
。又由欧拉准则知
,所以
。
如果
是奇数,同时考虑勒让德符号的性质
,可知
,其中最后一步利用了等差数列的求和公式。
但是,当
时,由上式可得
,所以
相关
- 编码编码是信息从一种形式或格式转换为另一种形式的过程;解码则是编码的逆过程。对于特定的上下文,编码有一些更具体的意义。
- 核子在化学和物理学里,核子(nucleon)是组成原子核的粒子。每个原子核都拥有至少一个核子,每个原子又是由原子核与围绕原子核的一个或多个电子所组成。核子共有两种:中子和质子。任意
- 阿瑟·肖洛阿瑟·肖洛(英语:Arthur Schawlow,1921年5月5日-1999年4月28日),出生于纽约州弗农山 ,美国物理学家,1981年获诺贝尔物理学奖。1999年4月28日,逝世于加利福尼亚州帕洛阿尔托。1901年:伦
- 罗伯特·威廉·本生阿道夫·冯·拜尔
弗里茨·哈伯
菲利普·莱纳德
Georg Ludwig Carius(英语:Georg Ludwig Carius)
阿道夫·威廉·赫尔曼·科尔贝
Adolf Lieben(英语:Adolf Lieben)
Carl Friedr
- 鸟类肝去氧核糖核酸病毒属禽肝病毒属(Avihepadnavirus)又译作鸟类肝去氧核糖核酸病毒属,是肝病毒科的一个属,主要感染对像是鸟类。代表种:
- 肯特·贝克肯特·贝克(英语:Kent Beck,1961年-),美国著名软件工程师与作家,在软件工程方面有很大的贡献。他是Smalltalk软件的开发者,设计模式的先驱,测试驱动开发的支持者,也是极限编程的创始者
- 育幼袋育幼袋(英语:pouch,又译育儿囊)是有袋类雌性个体身上的一个特殊构造。“有袋类”一辞源自拉丁文中的marsupium,意思就是“囊袋”。与其他哺乳类相比之下,有袋类的幼仔在发育相当早
- KOI-1686.01KOI-1686.01是一颗待确认的太阳系外行星候选天体,名称来自开普勒星表(英语:Kepler Object of Interest)(KOI),距离地球约1033.8光年。已在2015年被NASA证实是误报。KOI-1686.01是一
- 张柏林张柏林(1942年-),辽宁营口人,中华人民共和国政治人物。1972年8月,张柏林加入中国共产党,毕业于吉林大学历史系。曾任渤海造船厂中学教研组长、政治部干部、厂党委秘书;六机部办公厅
- 福克兰群岛行政长官福克兰群岛行政长官(Chief Executive of the Falkland Islands),为福克兰群岛(马尔维纳斯群岛)的政府首脑。福克兰群岛行政长官的职权由福克兰群岛宪法所规定。阿根廷总统 · 安