"최대정수함수 (가우스함수)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
10번째 줄: 10번째 줄:
  
 
==에르미트 항등식==
 
==에르미트 항등식==
 
+
*  실수 $x$ 와 자연수 $n$에 대하여, 다음이 성립한다  
*  실수 x 와 자연수 n에 대하여, 다음이 성립한다 [x]+[x+1/n]+......[x+n-1/n] = [nx]:<math>\sum_{k=0}^{n-1}\left\lfloor x+\frac{k}{n}\right\rfloor=\lfloor nx\rfloor</math>
+
:<math>\sum_{k=0}^{n-1}\left\lfloor x+\frac{k}{n}\right\rfloor=\lfloor nx\rfloor</math>
 
 
 
 
 
 
  
 
   
 
   
21번째 줄: 17번째 줄:
 
==이차잉여에의 응용==
 
==이차잉여에의 응용==
  
* 서로 소인 두 양수인 홀수 p,q 에 대하여 다음이 성립한다:<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>
+
* 서로 소인 두 홀수 $p,q>0$ 에 대하여 다음이 성립한다
* [[가우스의 보조정리(Gauss's lemma)]] 와 함께 사용하면, [[이차잉여의 상호법칙]] 을 증명할 수 있다
+
:<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>
*  p=23, q=11 의 경우
+
* [[아이젠슈타인의 이차잉여의 상호법칙 증명]] 항목 참조
[[파일:최대정수함수 (가우스함수)1.png]]
 
 
 
<math>\sum_{i=1}^{(p-1)/2}[\frac{iq}{p}]</math> 은 검은색 점의 개수를 세고, <math>\sum_{j=1}^{(q-1)/2}[\frac{jp}{q}]</math> 은 빨간색 점의 개수를 센다
 
* http://en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity#Eisenstein.27s_proof
 
 
 
 
 
 
 
 
 
==역사==
 
 
 
 
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
* [[수학사 연표]]
 
  
  
43번째 줄: 25번째 줄:
  
 
==메모==
 
==메모==
 
+
* $[x]+[x+1/n]+......[x+n-1/n] = [nx]$
 
   
 
   
  
 
  
 
==관련된 항목들==
 
==관련된 항목들==

2014년 1월 17일 (금) 06:27 판

개요

  • 실수 x 에 대하여 \(\lfloor x\rfloor\)는 \(x\) 이하의 최대정수를 의미한다

최대정수함수 (가우스함수)2.png

  • 예 \(\lfloor 0.8\rfloor=0\), \(\lfloor -0.2\rfloor=-1\)



에르미트 항등식

  • 실수 $x$ 와 자연수 $n$에 대하여, 다음이 성립한다

\[\sum_{k=0}^{n-1}\left\lfloor x+\frac{k}{n}\right\rfloor=\lfloor nx\rfloor\]


이차잉여에의 응용

  • 서로 소인 두 홀수 $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}\]



메모

  • $[x]+[x+1/n]+......[x+n-1/n] = [nx]$


관련된 항목들



사전 형태의 자료