"아이젠슈타인의 이차잉여의 상호법칙 증명"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) (새 문서: ==개요== * 서로 소인 두 홀수 $p,q>0$ 에 대하여 다음이 성립한다 :<math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]+\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]=\frac{(p-1)(q-1)}{4}</m...) |
Pythagoras0 (토론 | 기여) |
||
1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
− | * 서로 소인 두 홀수 | + | * 서로 소인 두 홀수 <math>p,q>0</math> 에 대하여 다음이 성립한다 |
:<math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]+\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]=\frac{(p-1)(q-1)}{4}</math> | :<math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]+\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]=\frac{(p-1)(q-1)}{4}</math> | ||
* [[가우스의 보조정리(Gauss's lemma)]] 와 함께 사용하면, [[이차잉여의 상호법칙]] 을 증명할 수 있다 | * [[가우스의 보조정리(Gauss's lemma)]] 와 함께 사용하면, [[이차잉여의 상호법칙]] 을 증명할 수 있다 | ||
==예== | ==예== | ||
− | * | + | * <math>p=23, q=11</math>의 경우 |
[[파일:최대정수함수 (가우스함수)1.png]] | [[파일:최대정수함수 (가우스함수)1.png]] | ||
* 그림에서 <math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]</math> 은 검은색 점의 개수를 세고, <math>\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]</math> 은 빨간색 점의 개수를 센다 | * 그림에서 <math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]</math> 은 검은색 점의 개수를 세고, <math>\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]</math> 은 빨간색 점의 개수를 센다 |
2020년 11월 13일 (금) 07:18 판
개요
- 서로 소인 두 홀수 \(p,q>0\) 에 대하여 다음이 성립한다
\[\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]+\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]=\frac{(p-1)(q-1)}{4}\]
- 가우스의 보조정리(Gauss's lemma) 와 함께 사용하면, 이차잉여의 상호법칙 을 증명할 수 있다
예
- \(p=23, q=11\)의 경우
- 그림에서 \(\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]\) 은 검은색 점의 개수를 세고, \(\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]\) 은 빨간색 점의 개수를 센다
- http://en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity#Eisenstein.27s_proof