숫자 가십 정수 속 숨은 이야기와 데이터베이스

본 논문은 Tanya Khovanova가 2018년 5월에 발표한 “Number Gossip” 프로젝트에 대한 전반적인 소개와 현재까지 축적된 결과물을 정리한다. 프로젝트는 웹사이트 http://www.numbergossip.com/ 를 통해 사용자가 1부터 9 999까지의 정수를 입력하면 49개의 “regular properties”(일반 속성)와 데이터베이스에 저장된 839개의 “unique properties”(고유 속성)를 자동으로 검사·제시한다. 첫 번째 섹션에서는 프로젝트의 배경과 목적을 설명한다. 저자는 정수에 대한 다양한 흥미로운 사실을 모아 사람들에게 수학적 즐거움을 제공하고, 동시에 정수의 특성을 체계적으로 분류·기록하고자 한다. 웹사이트는 사용자가 입력한 수에 대해 49개의 일반 속성을 검사하고, 고유 속성 데이터베이스와 대조하여 해당 수가 특별한 경우를 강조한다. 두 번째 섹션에서는 8이라는 수를 예시로 들어, 복합적 특성(합성, 결핍, 짝수, odious, palindrome, powerful, practical, Ulam 등)과 희귀 특성(큐브, 피보나치, 2의 거듭제곱, cake, narcissistic 등)을 동시에 갖는 경우를 보여준다. 특히 8이 “Fibonacci 수열에서 유일한 합성 큐브”이며, “노름 나눗셈 대수의 최대 차원”이라는 수학적 의미를 가지고 있음을 강조한다. 세 번째 섹션에서는 49개의 일반 속성을 목록화하고, 각 속성의 정의와 선택 이유를 제시한다. 여기에는 abundant, evil, odious, Smith, amicable, factorial, palindrome, sociable, apocalyptic power, Fibonacci, square, aspiring, Google, pentagonal, square‑free, automorphic, happy, perfect, tetrahedral, cake, hungry, triangular, Carmichael, lazy‑caterer, powerful, twin, Catalan, lucky, practical, Ulam, composite, Mersenne prime, undulating, compositorial, prime‑orial, untouchable, cube, narcissistic, pronic, vampire, deficient, odd, repunit, weird, even 등이 포함된다. 저자는 이들 속성을 “중요성”과 “재미있는 이름” 두 가지 기준으로 선정했으며, 일부는 기존 연구(예: Gardner, OEIS)와 연계된다. 네 번째 섹션에서는 고유 속성의 예시를 다수 제시한다. 11이 두 합성수의 합으로 표현될 수 없는 최대 수, 19가 로마 숫자에서 회문인 가장 큰 소수, 27이 자리수 합의 세 배와 동일한 유일한 수, 38이 로마 숫자 표기에서 사전식으로 마지막 가능한 조합, 40이 영어 표기 “forty”가 알파벳 순서대로 배열된 유일한 수, 99가 자리수와 그 곱의 합과 동일한 수, 119 cents가 동전으로 1 달러를 만들 수 없는 최대 금액 등, 일상 생활과 연결된 흥미로운 사실들을 나열한다. 또한 144가 피보나치 수열에서 유일한 합성 제곱, 888이 큐브의 각 자리수가 3번씩 나타나는 유일한 수, 1089가 역수가 자기 자신의 비배수인 최소 수, 1210이 자가 서술 수(autobiographical number) 중 가장 작은 형태임을 설명한다. 다섯 번째 섹션에서는 정수의 두 속성을 동시에 만족하는 경우를 탐구한다. 저자는 “pronic cube”(n(n+1)=m³)와 “triangular cube”(n(n+1)/2=m³)의 존재 여부를 수학적으로 증명한다. pronic cube는 n과 n+1이 서로소이므로 각각 세제곱이어야 함을 이용해 0과 1밖에 없으며, 따라서 존재하지 않는다. triangular cube에 대해서는 2n(n+1)=8m³을 변형해 (2n+1)²−1=(2m)³ 형태로 만들고, Catalan’s conjecture(현재는 Mihăilescu 정리)로부터 1만이 해임을 보인다. 여섯 번째 섹션에서는 “odd Fibonacci”와 관련된 새로운 고유 속성을 제시한다. 저자는 9가 “어떤 odd Fibonacci도 9로 나누어지지 않는 가장 작은 홀수”이며, 17이 “odd Fibonacci가 나누어지지 않는 가장 작은 홀수 소수”라는 사실을 발견하고, 이를 MathWorld와 OEIS 자료를 검토하며 증명하였다. 일곱 번째 섹션에서는 여러 추측(conjecture)을 나열한다. 70이 2ⁿ의 자리수 합이 n이 되는 최대 알려진 수, 86이 2ⁿ에 0이 전혀 나타나지 않는 최대 알려진 수, 264가 제곱이 “undulating”(6969₆) 형태인 최대 알려진 수, 2201이 비회문이면서 큐브가 회문인 유일한 수, 3375가 모든 소수 자리수를 포함하는 최대 큐브 등, 실험적 탐색을 기반으로 한 미증명 명제들을 제시한다. 여덟 번째 섹션에서는 독자에게 속성 검증을 위한 증명이나 프로그램(주로 Java, Mathematica) 제출을 요청한다. 현재 674개의 속성이 검증을 기다리고 있으며, 체스 이동 수, 마법 나이트 투어, 시계표시 소수 등 다양한 주제가 포함된다. 아홉 번째 섹션에서는 프로젝트의 역사와 현재 상황을 서술한다. 저자의 아들 Alexey Radul가 초기 아이디어를 제공하고 Ruby on Rails 기반 웹사이트를 구축했으며, 6이 “유일한 짝수 evil 완전수”라는 사실을 추가하였다. 현재 모든 정수(1 제외)는 최소 네 가지 속성을 갖고, 32가 고유 속성이 없다는 점을 발견해 “32는 소수 자리만으로 이루어진 2의 거듭제곱 중 가장 큰 수”라는 새로운 가설을 제시한다. 또한 8833이 4자리 수 중 “절반의 제곱합”이라는 고유 속성을 가진 가장 큰 수임을 언급한다. 열 번째 섹션에서는 향후 계획을 제시한다. 데이터베이스 상한을 20 000으로 확대하고, 아직 검증되지 않은 647개의 고유 속성을 정리·증명하며, 새로운 일반 속성(예: brilliant, fortunate, primeval, totient) 10여 개를 추가하고자 한다. 또한 검증 자동화를 강화하고, 커뮤니티 참여를 독려하며, OEIS와 연계된 “가장 작다/가장 크다”형 속성에 대한 참고 문헌을 제공할 예정이다. 마지막으로 감사와 참고문헌을 제시하며, Gardner, Berlekamp‑Conway‑Guy, OEIS, MathWorld 등 다양한 출처를 인용한다. 전체적으로 이 논문은 정수의 다양한 특성을 데이터베이스화하고, 자동화된 검증과 대중적 접근을 결합한 사례 연구로서, 수학 교육·연구·취미 모두에 유용한 모델을 제시한다.