这个条目给出了二次互反律的证明。
对于两个奇素数
,
。其中,
是勒让德符号。
设
是一个奇素数并且
。对于每个
,这样定义
和
:
,其中
,
。通过分别考虑
和
的情况,易证每个
都两两不等。
现在考虑
。因为每个
都两两不等,所以
就是
的一个重排列。所以我们得到
,因此
。
现在考虑
的正负情况。
等价于
。若
,则有
。注意到
,将等式两边同时乘2得到
,其中
,可以发现
是偶数,而
也是偶数。同理可证若
,
,而
是奇数。据此,可以知道
,其中
是
的符号,也就是
还是
。
所以
。又由欧拉准则知
,所以
。
如果
是奇数,同时考虑勒让德符号的性质
,可知
,其中最后一步利用了等差数列的求和公式。
但是,当
时,由上式可得
,所以
相关
- 盖仑克劳狄乌斯·盖伦(129年-200年)是一位古罗马的医学家及哲学家。他的见解和理论在他身后的一千多年里是欧洲起支配性的医学理论。出生于别迦摩,逝世于罗马。盖伦出生于一个建筑师
- 千叶大学千叶大学是日本的一所国立大学,位于千叶县千叶市。 本部地址是千叶市稻毛区弥生町1-33。日文中简称:千叶大(ちばだい, chibadai)
而其他三个校区分别为于:亥鼻、松戸、柏之叶。
- 特低频特低频(ULF, Ultra Low Frequency)是指频带由300Hz到3000Hz的无线电波。通常于矿场内使用,也可以作勘探地质和地震用。← 波长越短 波长越长 →← 频率越高
- 瓦尔省瓦尔省(法文:Var)是法国普罗旺斯-阿尔卑斯-蓝色海岸大区所辖的省份。该省编号为83。5个海外省及大区
- 小细胞癌小细胞癌(也称为小细胞肺癌、燕麦细胞癌)是一种极为恶性的癌症,最常出现在肺中, 尽管它可能偶尔出现在其它身体部位,例如子宫颈、前列腺和胃肠道。相比其他癌症而言,小细胞癌具有
- 系统生物学置标语言系统生物学标记语言(英语:Systems Biology Markup Language,简称SBML)是机器可读的、基于XML的置标语言,用于描述生化反应等网络的计算模型。SBML可以描述代谢网络、细胞信号通路
- 第498号决议朝鲜半岛与联合国
联合国安全理事会第702号决议 (1991年获得成员资格)
联合国安全理事会朝鲜相关决议列表
朝鲜人权状况调查委员会报告 (2014)联合国大会第498号决议是联合
- 邹衍邹衍(约前305年-前240年),《史记》作驺衍,战国时期齐国人,中国战国时期阴阳家学派创始者与代表人物、稷下学宫学者。因他“尽言天事”,当时人们称他“谈天衍”。其主要学说是“五德
- 预期效用假说在微观经济学、博弈论、决策论中,预期效用假说(英文:Expected utility hypothesis),又称预期效用理论(英语:Expected Utility Theory),或期望效用理论,是一个效用理论,指在风险情况下,个
- 俄罗斯联邦国家近卫军俄罗斯联邦国家近卫军(俄语:Федеральная служба войск национальной гвардии Российской Федерации,缩写为ФС