체비셰프의 정리 (베르트랑 공준, Betrand Postulate) 베르트랑의 공준에 따르면 2 이상의 자연수 n 에 대해, n < p < 2n 을 만족하는 소수 p 가 반드시 존재한다. 이는 최초로 체비셰프(Chebyshev)에 의해 증명되었으나 그의 증명인 길고 복잡하였다. 왜냐하면 체비셰프는 원래 이 문제를 증명한 것이 아니라 다른 문제를 해결하므로써 파생된 결과 이였기 때문이다. 후에 인도의 수학자 라마누잔(Ramanujan)이 쳬비셰프의 방법 보다 훨씬 간단한 방법으로 증명하였다. 하지만 나중에 폴 에르디시(Paul Erdős)가 기초적인 수학만을 사용하여 간결하게 증명하였는데, 여기 소개하고자 할 증명은 바로 폴 에르디시의 증명이다. (참고로 이 증명은 http://en.wikipedia.org/wiki/Proof_of_Bertrand%27s_postulate.. 더보기 이전 1 ··· 37 38 39 40 41 42 43 ··· 180 다음