这个条目给出了二次互反律的证明。
对于两个奇素数
,
。其中,
是勒让德符号。
设
是一个奇素数并且
。对于每个
,这样定义
和
:
,其中
,
。通过分别考虑
和
的情况,易证每个
都两两不等。
现在考虑
。因为每个
都两两不等,所以
就是
的一个重排列。所以我们得到
,因此
。
现在考虑
的正负情况。
等价于
。若
,则有
。注意到
,将等式两边同时乘2得到
,其中
,可以发现
是偶数,而
也是偶数。同理可证若
,
,而
是奇数。据此,可以知道
,其中
是
的符号,也就是
还是
。
所以
。又由欧拉准则知
,所以
。
如果
是奇数,同时考虑勒让德符号的性质
,可知
,其中最后一步利用了等差数列的求和公式。
但是,当
时,由上式可得
,所以
相关
- X-三体综合征 (47,XXX)三染色体X综合征是一种人类女性的性染色体疾病;一般女性的性染色体是XX,而患者为XXX。患有该综合征的患者又因其基因行为XXX,被称做超雌性。与XYY三体患者不同的是,三染色体X综
- 扁桃腺结石扁桃腺结石(英语:Tonsilloliths、tonsil stones或tonsilar calculi)是口腔内藏于腭扁桃体(英语:Palatine tonsil)上的钙化物,米粒至爆谷大小,重300毫克(0.011盎司)至42克(1.5盎司),可导致
- 正常窦性节律在一周期的心脏律动中,如果心肌的去极化从窦房结开始,则称为窦性心律(英文:sinus rhythm)。其特点是心电图(ECG)中展示方向正确的P波(英语:P wave (electrocardiography))。窦性心律是
- 湍流层顶湍流层顶,又称均质层顶,是均质层(英语:homosphere)与非均质层(英语:heterosphere)的分界线。湍流层顶位于中间层附近,大致处在中间层和热层的交汇处。其大致位于海拔100km处。其以下
- 坡头区坡头区是中国广东省湛江市下辖的一个市辖区。坡头区人民政府驻南调街道,面积424平方千米,人口39.38万。
基本概况
编辑坡头是湛江市辖区,位于广东省西南部,雷州半岛东北部,湛江
- 西樵山西樵山, 是一座具有四五千万年历史的死火山,位于中国广东省佛山市南海区的西南部,距广州市68公里,是国家重点风景名胜区、国家森林公园和国家地质公园。西樵山总面积14平方公里
- 巴巴多斯元巴巴多斯元是巴巴多斯自1882年起的流通货币。货币编号BBD。 辅币单位为分,1元=100分。
- 枝鳃亚目对虾总科 Penaeoidea樱虾总科 SergestoideaPenaeidea Dana, 1852枝鳃亚目(Dendrobranchiata),是甲壳类动物十足目下属的一个亚目,具有五对足。它现存540个物种,其最早的化石纪录
- 哈尔滨市 (中华人民共和国直辖市)哈尔滨直辖市是中华人民共和国短暂设置的中央直辖市。中华人民共和国建国时,哈尔滨市为松江省省会。1953年7月8日,哈尔滨市设立为中央直辖市。1954年6月19日,中央人民政府委员
- 小行星3122小行星3122(英语:3122 Florence,中文多直译为佛罗伦斯)是一颗围绕太阳公转的小行星。1981年3月2日,舒尔特·巴斯在赛丁泉山发现了此天体。这颗小行星的绝对星等为700113869999999