[[분류:수학 용어]][[분류:한자어]][[분류:정수론]][[분류:초등함수]][[분류:나무위키 수학 프로젝트]] [include(틀:정수론)] [include(틀:초등함수의 목록)] [목차] == 개요 == {{{+1 prime generating polynomial · [[素]][[數]][[生]][[成]][[多]][[項]][[式]]}}} 소수생성다항식이란 말 그대로 [[소수(수론)|소수]]를 생성해내는 [[다항식]]이다. 이는 [[함수]]([[초등함수]])로 간주할 수도 있다. == 예시 == 1772년, [[스위스]]의 [[수학자]] [[레온하르트 오일러]]가 고안한 소수생성다항식이 유명하다. 그 식은 [math(f(x)=x^2+x+41)]인데, [math(0\leq{x}\leq{39})]인 정수 [math(x)]에 대하여 [math(f(x))]의 값은 소수가 된다. ||<tablealign=center> [math(f(0)=41, f(1)=43, f(2)=47, f(3)=53, f(4)=61, f(5)=71)] [math(f(6)=83, f(7)=97, f(8)=113, f(9)=131, f(10)=151)] [math(f(11)=173, f(12)=197, f(13)=223, f(14)=251, f(15)=281)] [math(f(16)=313, f(17)=347, f(18)=383, f(19)=421, f(20)=461)] [math(f(21)=503, f(22)=547, f(23)=593, f(24)=641, f(25)=691)] [math(f(26)=743, f(27)=797, f(28)=853, f(29)=911, f(30)=971)] [math(f(31)=1033, f(32)=1097, f(33)=1163, f(34)=1231, f(35)=1301)] [math(f(36)=1373, f(37)=1447, f(38)=1523, f(39)=1601)] || 나아가, [math(f(x)=x^2+x+41)]에서 [math(x)] 대신 [math(x-40)]을 대입하면 [math(f(x-40)=x^2-79x+1601)]이 되는데, [math(g(t)=t^2-79t+1601)]이라는 소수생성다항식에서는 [math(0\leq{t}\leq{79})]인 정수 [math(t)]에 대하여 [math(g(t))]의 값은 소수가 된다. == 유의미한 소수생성다항식이 되기 위한 조건 == 유의미한 소수생성다항식을 만들기란 어렵다. 위에서 소개한 대로 40개, 80개의 연속된 정수에 대한 함숫값이 모두 소수가 되도록 하는 다항식을 고안하는 것은 더더욱 어렵다. 그러나 '다소 유의미한' 소수생성다항식의 조건을 이야기할 수는 있다. 여기에서는 소수생성다항식을 [math(y=f(x))]([math(x)]는 '''음이 아닌 정수''')의 꼴로 놓고 설명한다. === 함숫값이 항상 홀수일 것 === 2를 제외한 모든 소수는 [[홀수]]인 이상, '여러 개의 소수'를 생성해내는, 제법 쓸모 있는 소수생성다항식은 일단 함숫값이 항상 홀수이고 봐야 한다. 자꾸 짝수가 나오면 곤란하다. 위에서 소개한 [math(f(x)=x^2+x+41)]이나 [math(g(t)=t^2-79t+1601)]은 함숫값이 항상 홀수가 된다. 각각 [math(x(x+1)+41)] 그리고 [math(t(t-79)+1601)]로 나타낼 수 있는데, 1과 79가 홀수인 이상 [math(x)]와 [math(x+1)] 중 하나는 홀수, 또 다른 하나는 짝수가 되고, [math(t)]와 [math(t-79)]도 마찬가지다. 그러므로 [math(x(x+1))]과 [math(t(t-79))]는 무조건 홀수와 짝수의 곱이므로 짝수가 되며, 여기에 각각 41과 1601이라는 홀수를 더하면 홀수가 될 수밖에 없다. === 함숫값의 일의 자리가 5가 되지 않을 것 === 함숫값의 일의 자리가 5라는 것은 그 값이 5의 배수임을 의미하며, 소수생성다항식의 성능은 그에 발맞춰 떨어지는 셈이다. 따라서 함숫값의 일의 자리가 5가 나오지 않도록 하는 것도 훌륭한 소수생성다항식의 조건이다. 위에서 소개한 [math(f(x)=x^2+x+41)]이나 [math(g(t)=t^2-79t+1601)]은 함숫값의 일의 자리가 절대로 5가 되지 않는다. 우선, [math(f(x))]의 일의 자리가 5가 되려면 [math(x^2+x=x(x+1))]의 일의 자리는 4가 되어야 한다. 그러나 || [math(x)]의 일의 자리 || [math(x^2+x)]의 일의 자리 || || [math(0, 4, 5, 9)] || [math(0)] || || [math(1, 3, 6, 8)] || [math(2)] || || [math(2, 7)] || [math(6)] || 이렇게 되므로 [math(x^2+x)]의 일의 자리는 4가 될 수 없고, [math(f(x))]의 일의 자리는 5가 될 수 없다. 마찬가지로, [math(g(t))]의 일의 자리가 5가 되려면 [math(t^2-79t=t(t-79))]의 일의 자리는 [math(t^2-79t\geq0)]일 경우 4, [math(t^2-79t<0)]일 경우 6이 되어야 한다. 그러나 ||<-2> [math(t^2-79t>0)] ||<-2> [math(t^2-79t<0)] ||<-2> [math(t^2-79t=0)] || || [math(t)]의[br]일의 자리 || [math(t^2-79t)]의[br]일의 자리 || [math(t)]의[br]일의 자리 || [math(t^2-79t)]의[br]일의 자리 || [math(t)]의[br]일의 자리 || [math(t^2-79t)]의[br]일의 자리 || || [math(0, 4, 5, 9)] || [math(0)] || [math(0, 4, 5, 9)] || [math(0)] ||<|3> [math(0, 9)][* 각각 [math(t=0)]일 때와 [math(t=79)]일 때. 이는 [math(t^2-79t=0)]이라는 이차방정식의 두 근이다.] ||<|3> [math(0)][* 처음부터 [math(t^2-79t=0)]으로 전제했으므로 이는 당연한 결과이다.] || || [math(1, 3, 6, 8)] || [math(2)] || [math(1, 3, 6, 8)] || [math(8)] || || [math(2, 7)] || [math(6)] || [math(2, 7)] || [math(4)] || 이렇게 된다. 다시 말해, [math(t^2-79t>0)]이면 일의 자리가 0, 2, 6 중 하나이므로 4가 될 수 없다. [math(t^2-79t<0)]이면 일의 자리가 0, 4, 8 중 하나이므로 6이 될 수 없다. [math(t^2-79t=0)]이면 일의 자리가 무조건 0이므로 4가 될 수 없다. 따라서, [math(g(t))]의 일의 자리는 5가 될 수 없다. == 소수생성다항식은 만능인가 == '''결론부터 말하자면 그렇지 않다.''' 위에서 소개한 소수생성다항식들도 결국 특정 값을 대입할 경우에만 소수가 생성될 뿐이다. 소수만을 찍어내는 만능제조기란 없다. 위에서 소개한 식을 고안한 오일러의 제자였던 [[아드리앵 마리 르장드르]]는 소수 함숫값만을 갖는 유리식이 존재하지 않음을 증명했고, 골드바흐는 소수 함숫값만을 갖는 정수계수 다항식이 존재하지 않음을 증명했다. == 차선책: 소수를 무한히 생성 == 눈을 낮추어 함숫값이 양수일 때만 소수가 된다든가, 더 낮추어 비율은 적지만 아무튼 무한히 많은 소수 함숫값을 갖는 다항식을 생각해볼 수 있다. === [[디리클레 정리]] === 우선 [[일차함수|일차식]]([math(ax+b)], [math(a \not= 0)]의 꼴)의 경우, [math( \gcd (a,b)>1)]이면 많아야 두 함숫값([math( \pm\gcd (a,b))])만 소수이다. 반면, [math( \gcd (a,b)=1)]이면 무한히 많은 [math(x \in \mathbb{Z})]에 대해 [math(ax+b)]가 소수임이 알려져 있는데 이를 디리클레 정리라 한다. === 부냐콥스키 추측 === 소수를 무한히 생성하는 [[이차함수|이차]] 이상의 다항식은 알려져 있지 않은데, 이에 착안하여 소수를 무한히 생성하는 이차 이상의 다항식이 없을 것이라는 것이 부냐콥스키 추측이다. === [[윌런스의 공식]] === n번째 소수를 내놓는 [[이론상 최강|이론적으로는 완벽한]] 소수생성 함수인데, 결과적으로는 [[에라토스테네스의 체]]보다도 비효율적이다. == 목록 == * [math(\displaystyle x^2-x+41)] [* x에 1부터 40까지 대입했을 때 모두 다른 소수가 나온다.] * [math(\displaystyle 4x^2+4x+59)] [* x에 0부터 13까지 대입했을 때 모두 다른 소수가 나온다.] * [math(\displaystyle 4x^2+170x+1847)] * [math(\displaystyle x^2+x+17)] [* x에 0부터 15까지 대입했을 때 모두 다른 소수가 나온다.] * [math(\displaystyle 2x^2+29)] [* x에 0부터 28까지 대입했을 때 모두 다른 소수가 나온다.] * [math(\displaystyle 2x^2+2x+19)] [* x에 0부터 17까지 대입했을 때 모두 다른 소수가 나온다.]