本條目存在以下問題,請協助改善本條目或在針對議題發表看法。
|
这个条目给出了的证明。
二次互反律的叙述
对于两个奇,
。其中,
是。
证明一
设是一个奇素数并且
。对于每个
,这样定义
和
:
,其中
,
。通过分别考虑
和
的情况,易证每个
都两两不等。
现在考虑。因为每个
都两两不等,所以
就是
的一个重排列。所以我们得到
,因此
。
现在考虑的正负情况。
等价于
。若
,则有
。注意到
,将等式两边同时乘2得到
,其中
,可以发现
是偶数,而
也是偶数。同理可证若
,
,而
是奇数。据此,可以知道
,其中
是
的符号,也就是
还是
。
所以。又由知
,所以
。
如果是奇数,同时考虑勒让德符号的性质
,可知
,其中最后一步利用了的求和公式。
但是,当时,由上式可得
,所以
。
现在令和
为奇素数,可得
以及
,
所以。
![image](https://www.wiki2.zh-cn.nina.az/image/aHR0cHM6Ly91cGxvYWQud2lraW1lZGlhLm9yZy93aWtpcGVkaWEvY29tbW9ucy90aHVtYi9kL2Q5LyVFNCVCQSU4QyVFNiVBQyVBMSVFNCVCQSU5MiVFNSU4RiU4RCVFNSVCRSU4QiVFNyU5QSU4NCVFOCVBRiU4MSVFNiU5OCU4RS5wbmcvMjIwcHgtJUU0JUJBJThDJUU2JUFDJUExJUU0JUJBJTkyJUU1JThGJThEJUU1JUJFJThCJUU3JTlBJTg0JUU4JUFGJTgxJUU2JTk4JThFLnBuZw==.png)
现在考虑右边这幅图:设,则
代表了三角形A中的格点个数,
代表了三角形B中的格点个数。它们加在一起等于整个
长方形的格点个数的四分之一。需要注意的是由于
互素,所以对角线上不可能有格点。
由于整个长方形的格点个数是,所以
,即得
。
参考文献
- 高斯二次互反律. [2019-12-08]. (原始内容于2019-12-08).
發布日期: