베르트랑 공준

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

베르트랑 공준(-公準, Bertrand's postulate), 베르트랑-체비쇼프 정리(-定理, Bertrand-Chebyshev theorem), 혹은 베르트랑 가설정수론에서 소수들의 분포에 관한 명제이다. 이 명제는 '1보다 큰 임의의 자연수 n에 대하여, n2n 사이에는 적어도 하나의 소수가 존재한다'는 내용을 담고 있다.

프랑스의 수학자 조제프 베르트랑(Joseph Louis François Bertrand)이 1845년에 처음으로 추측하여 베르트랑 추측이라는 이름을 얻었다. 베르트랑이 처음으로 이 명제에 대한 추측을 내놓았을 때 그는 3백만보다 작은 모든 자연수에 대한 계산을 덧붙였으나 증명은 하지 못했다. 이 명제는 그 5년 후인 1850년에 파프누티 체비쇼프(Pafnuty Chebyshev)가 완전하게 증명하였다. 그럼에도 불구하고 관용적으로 '베르트랑 공준'이라 불린다.

확장된 결과들[편집]

  • 영국의 수학자 제임스 조지프 실베스터k 개의 연속된 k 보다 큰 정수들의 곱은 적어도 하나의 k 보다 큰 소수로 나누어떨어진다는 명제를 증명했다. 이를 실베스터 정리라고 한다.
  • 헝가리의 수학자 에르되시 팔은 임의의 자연수 k 에 대하여, 적당한 자연수 N 이 존재하여 N 보다 큰 임의의 자연수 n2n 사이에는 적어도 k 개의 소수가 존재한다는 명제를 증명했다. 이를 에르되시 정리라고 한다.
  • 일본의 수학자 나구라 지쓰로는 1952년에 24 보다 큰 모든 자연수 n 에 대하여 n\frac{6}{5}n 사이에는 적어도 하나의 소수가 존재한다는 명제를 증명했다.
  • 프랑스의 수학자 피에르 뒤자르(Pierre Dusart)는 1998년에 2010760보다 큰 모든 자연수 n에 대하여 n\frac{16598}{16597}n 사이에 적어도 하나의 소수가 존재한다는 명제를 증명했다.

참고 문헌[편집]

  • 해빌, 줄리언 (2008년). 《오일러 상수 감마》. 승산, 62-63쪽