실수 x 에 대하여 는
이하의 최대정수를 의미한다
예
실수 x 와 자연수 n에 대하여, 다음이 성립한다
[x]+[x+1/n]+......[x+n-1/n] = [nx]
서로 소인 두 양수인 홀수 p,q 에 대하여 다음이 성립한다
가우스의 보조정리(Gauss's lemma) 와 함께 사용하면, 이차잉여의 상호법칙 을 증명할 수 있다
p=23, q=11 의 경우
은 검은색 점의 개수를 세고,
은 빨간색 점의 개수를 센다
http://en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity#Eisenstein.27s_proof
The On-Line Encyclopedia of Integer Sequences
도서내검색
도서검색