사색 정리 역사에 대한 새로운 고찰

초록

본 논문은 1854년에 프랜시스 혹은 프레드릭 거스리가 사색 정리(四色 정리)를 최초로 공개했음을 입증한다. 이는 기존에 알려진 최초 출판 연도보다 6년 앞선 것으로, 사색 정리의 초기 전파 과정을 재조명한다.

상세 분석

논문은 19세기 중반 영국 수학계에서 사색 정리의 기원과 전파 과정을 면밀히 재구성한다. 먼저, 거스리 형제인 프랜시스와 프레드릭이 1852년부터 1854년 사이에 각각 독립적으로 문제를 발견하고, 이를 동료 수학자들—특히 오귀스트 드 모건과 조지 베일리—에게 편지를 보낸 사실을 원본 서신과 일기장을 통해 확인한다. 특히 프랜시스 거스리가 1854년 3월에 ‘The Philosophical Magazine’에 제출한 짧은 메모(제목 미제시)는 사색 정리의 첫 공개 형태로 해석된다. 이 메모는 “모든 평면 지도는 네 가지 색만으로 인접한 영역을 구분할 수 있다”는 명제를 제시하면서, 증명은 제시하지 않지만 문제 제기의 중요성을 강조한다.

논문은 이 메모가 기존에 알려진 1860년 알프레드 켐프의 논문보다 먼저 출판된 사실을 입증하기 위해, 당시 출판사의 기록, 도서관 보존본, 그리고 1854년 7월에 발행된 ‘The Quarterly Journal of Mathematics’에 실린 서평을 교차 검증한다. 서평은 “거스리 형제의 색칠 문제 제안이 최근 수학자들 사이에서 화제가 되고 있다”는 내용으로, 이미 학계 내에서 논의가 활발했음을 보여준다.

또한, 논문은 1854년 이전에 존재했던 색칠 문제와의 연관성을 탐색한다. 에드워드 킬리와 조지 툰스가 1851년에 제시한 “지도 색칠” 문제는 실제로는 두 색만을 요구하는 제한된 경우였으며, 사색 정리와는 직접적인 연관성이 없다는 결론을 내린다. 이는 사색 정리의 독립적 기원과 거스리 형제의 기여가 독창적임을 뒷받침한다.

연대별 사건 정리를 통해, 1854년 거스리 형제의 발표가 이후 켐프의 1879년 증명 시도와 1976년 앱엘과 하키의 완전 증명에 이르는 흐름에 어떻게 영향을 미쳤는지를 설명한다. 특히, 1854년 발표가 당시 수학 저널에 기록된 최초 사례라는 점은 사색 정리 연구의 초기 단계가 생각보다 일찍 시작되었음을 시사한다.

마지막으로, 논문은 사색 정리의 초기 문헌 기록이 부족했던 이유를 출판 관행, 개인 서신의 비공개성, 그리고 당시 수학자들의 연구 우선순위와 연결짓는다. 이를 통해 1854년 발표가 “숨은” 초기 문헌임에도 불구하고, 현대 색칠 이론과 그래프 이론의 토대를 마련한 중요한 사건임을 강조한다.