상징의 강 · 강의 물길은 실제 지리가 아닙니다
1 / 15기원전 약 300년알렉산드리아근거: 저술
상징: 쓰고 읽힌 기록을 올려 둔 책상시대 구간: 499년까지장소 풍경: 지중해 바닷가 · 대추야자 · 모래 평지
유클리드의 《원론》 9권 명제 20은 소수를 아무리 많이 모아도 그 목록만으로 모든 수를 설명할 수 없음을 보인다. 흔히 ‘모두 곱해 1을 더한다’고 요약하지만, 원문의 논증은 주어진 소수들의 곱에 1을 더한 수의 소인수를 이용한다. 소수의 무한성은 다음 소수를 바로 알려 주는 공식과도, 오늘날의 소인수분해 유일성 정리 전체와도 다르다.
장면 전체 읽기드래그해 둘러보기 · ← / → 장면 이동
열아홉 번째 항로 · 무작위처럼 보이는 수에 어떤 질서가 있는가
알렉산드리아에서 소수가 끝나지 않음을 증명하고, 툴루즈에서 나머지의 반복을 보고, 상트페테르부르크에서 곱을 급수로 번역합니다. 베를린의 제타 영점, 파리·브뤼셀의 평균 밀도, 오슬로·베이징·케임브리지·더럼의 체와 간격까지 가며 ‘패턴이 보인다’와 ‘무한히 참이다’ 사이의 거리를 만집니다.
이 항로에서 붙잡을 질문
다음 소수는 쉽게 예측할 수 없는데도 전체 소수는 왜 평균 법칙과 나머지 구조를 따르며, 유한한 계산은 어디에서 증명을 멈춰야 할까요?
이 강이 주장하지 않는 것
이 강은 실제 지리가 아닙니다. 강을 따라 내려간 거리는 흐른 시간이고, 세기가 흐르는 동안 빛이 새벽에서 황혼으로 바뀝니다. 비석 곁의 사물은 사건의 종류와 그 세기 구간에 수학을 쓰고 계산한 방식을 상징할 뿐 실제 유물을 재현하지 않습니다. 정거장 둘레의 땅은 그 장면이 일어난 실제 장소의 자연·지리를 개략으로 따르고, 대표 건축은 그 해에 이미 서 있던 것만 세웁니다. 장면마다 실제 장소와 근거를 그대로 두었으니, 어디서 일어났는지는 지도에서 읽어 주세요. 이 항로는 소수를 무작위 수열·암호의 만능 열쇠·한 사람의 발견과 같게 두지 않습니다. 유한 표본과 무한 정리, 필요한 나머지 조건과 충분한 소수 판정, 평균 밀도와 개별 위치, 유계 간격과 쌍둥이 소수 추측을 구분합니다. 지도 선은 한 원문이 그대로 이동한 계보가 아니라 관객이 서로 다른 질문을 비교하는 편집 경로입니다.
세기 구간이 바뀌는 자리에서는 배가 새 구간의 다리 밑을 지나갑니다. 마을·방아·공장·송전탑·빌딩은 그 세기의 기술을 상징할 뿐, 실제 장소나 특정 건축 양식이 아닙니다.
01기원전 약 300년알렉산드리아(근거: 저술)
유클리드의 《원론》 9권 명제 20은 소수를 아무리 많이 모아도 그 목록만으로 모든 수를 설명할 수 없음을 보인다. 흔히 ‘모두 곱해 1을 더한다’고 요약하지만, 원문의 논증은 주어진 소수들의 곱에 1을 더한 수의 소인수를 이용한다. 소수의 무한성은 다음 소수를 바로 알려 주는 공식과도, 오늘날의 소인수분해 유일성 정리 전체와도 다르다.
02기원전 약 240년알렉산드리아(근거: 주요활동)
2의 배수, 3의 배수처럼 합성수가 될 수밖에 없는 수를 차례로 지우면 남은 수가 소수다. 이 절차는 정의를 반복 가능한 계산으로 바꾸었고 오늘날에도 구간 소수 탐색의 기초가 된다. 다만 현존하는 설명은 후대 자료를 통해 전하므로 정확한 고대 실행 형태와 연대를 현대 알고리즘처럼 확정하지 않는다.
031640년툴루즈(근거: 서신 발신)
페르마는 프레니클에게 보낸 1640년 10월 18일 편지에서 소수 p와 p의 배수가 아닌 a에 대해 a^(p−1)이 p로 나누어 1의 나머지를 갖는다는 명제를 전했다. 남아 있는 편지에는 완전한 증명이 없다. 이 정리는 빠른 소수 판정의 단서지만 역명제가 아니어서, 조건을 통과하는 합성수도 있다.
041737년상트페테르부르크(근거: 주요활동)
오일러는 소수의 역수 합이 발산한다는 결과와 정수 전체의 급수를 소수별 곱으로 분해하는 생각을 발전시켰다. 1737년 연구와 1748년 《Introductio》의 오일러 곱은 소수의 곱셈 구조를 해석학으로 옮기는 다리가 되었다. 수식 하나가 개별 소수의 위치를 직접 예언하는 것은 아니다.
051837년베를린(근거: 출판)
디리클레는 첫 항과 공차가 서로소인 등차수열에는 소수가 무한히 많음을 증명했다. 1, 5, 9, … 같은 모든 수열이 아니라 1과 4처럼 공차와 공약수가 없는 경우가 핵심이다. 소수가 나머지 칸마다 무질서하게 흩어지는 것이 아니라 조건을 갖춘 통로마다 끝없이 나타난다는 새로운 분포 질문이 열렸다.
061848년상트페테르부르크(근거: 출판)
체비쇼프는 x 이하 소수의 수 π(x)가 x/log x 규모라는 사실을 엄밀한 상·하한으로 묶고, 비율의 극한이 존재한다면 1이어야 함을 보였다. 소수 정리 자체를 완성하지는 않았지만 추측과 증명 사이에 처음으로 강한 울타리를 세웠다.
071849년괴팅겐(근거: 서신 발신)
가우스는 1849년 엔케에게 보낸 편지에서 어린 시절 소수표를 살피며 소수의 평균 밀도가 1/log x처럼 줄어든다고 생각했고 로그 적분 Li(x)를 더 나은 근사로 보았다고 회고했다. ‘정확히 15세에 x/log x를 발견했다’는 널리 퍼진 문장은 후대 회고를 지나치게 정밀한 한 날짜로 만든다.
081859년베를린(근거: 출판)
리만은 베를린 아카데미 논문에서 제타함수를 복소수 영역으로 확장하고 그 영점이 소수 계수 함수의 오차와 연결됨을 보였다. 리만 가설은 비자명한 영점의 실수부가 1/2이라는 주장이다. 소수 정리는 리만 가설 없이 1896년에 증명되었고, 가설이 참이어도 다음 소수를 한 줄로 출력하는 공식이 생기는 것은 아니다.
091896년파리(근거: 출판)
아다마르는 제타함수가 실수부 1인 경계선에서 0이 되지 않음을 보이는 복소해석을 통해 π(x)~x/log x를 증명했다. 같은 해 드 라 발레-푸생도 독립 경로로 증명했다. ‘~’는 두 양의 비가 1로 간다는 뜻이지 두 값의 차이가 계속 작거나 한쪽에만 머문다는 뜻은 아니다.
101896년브뤼셀(근거: 출판)
드 라 발레-푸생은 브뤼셀 학술지에 낸 연구에서 소수 정리를 독립적으로 증명하고 제타함수의 영점이 없는 영역을 이용해 오차를 더 정밀하게 다뤘다. 같은 정리에 두 도시의 경로를 나란히 두면 결과의 이름뿐 아니라 학술지·대학·서신망이 증명을 검토 가능하게 만든 과정도 보인다.
111919년오슬로(근거: 출판)
브룬은 새로운 체 방법으로 차이 2인 쌍둥이 소수쌍의 역수 합이 수렴함을 보였다. 모든 소수의 역수 합은 발산하므로 쌍둥이 소수는 훨씬 희박하다는 뜻이다. 하지만 유한한 브룬 상수는 쌍둥이 소수쌍이 유한한지 무한한지 결정하지 않는다.
121949년프린스턴(근거: 주요활동)
셀베르그의 기본 공식과 에르되시의 조합적 논증은 복소함수론을 쓰지 않는 소수 정리의 ‘초등적’ 증명을 만들었다. 여기서 초등적은 쉽다는 뜻이 아니라 허용한 도구의 종류를 말한다. 우선권과 발표를 둘러싼 갈등도 있었으므로 한 사람의 단독 승리보다 결과와 전달 과정을 구분해 읽는다.
131973년베이징(근거: 주요활동)
천징룬은 충분히 큰 모든 짝수가 소수 하나와 소수가 두 개 이하인 수의 합으로 표현된다는 정리를 상세히 발표했다. 1966년 발표를 확장한 이 결과는 체 방법의 절정이지만 ‘두 소수의 합’이라는 강한 골드바흐 추측 자체는 아니다. ‘충분히 큰’의 범위와 예외의 별도 검증도 구분한다.
142004년케임브리지(근거: 주요활동)
벤 그린과 테런스 타오는 소수 안에 원하는 길이만큼 긴 등차수열이 존재함을 증명했다. 이는 연속된 소수들이 같은 간격을 갖는다는 뜻이 아니다. 케임브리지와 UCLA에 걸친 협업은 조합론적 구조 정리와 소수의 의사무작위성을 결합해, 희박한 집합 안에도 긴 패턴이 숨어 있음을 보여 주었다.
152013년더럼(뉴햄프셔)(근거: 주요활동)
장이탕은 연속한 소수 사이의 간격이 7천만보다 작은 경우가 무한히 많음을 증명했다. 상한은 뒤이은 메이너드–타오 방법과 Polymath 협업으로 크게 낮아졌지만, 정확히 차이 2가 무한히 반복된다는 쌍둥이 소수 추측은 여전히 열려 있다. 유한 계산, 어떤 유계 간격의 무한 반복, 정확한 간격 2는 서로 다른 세 주장이다.