특히 위 정리에서 $g=10$인 경우, 임의의 양의 정수를 언제나 세 개 이하의 대칭수의 합으로 표현할 수 있음을 알 수 있다. 또한 예를 들어 $5$진법에서도 \[ \begin{matrix} & 4 & 0 & 0 & 0 & 1 & 1 & 0 & 0 & 0 & 4 \; {}_{(5)} \\ + & & 2 & 2 & 2 & 4 & 4 & 4 & 2 & 2 & 2 \; {}_{(5)} \\ + & & & 4 & 2 & 4 & 3 & 3 & 4 & 2 & 4 \; {}_{(5)} \\ \hline & 4 & 3 & 2 & 1 & 0 & 4 & 3 & 2 & 1 & 0 \; {}_{(5)} \end{matrix} \] 와 같이 주어진 $5$진수를 세 개의 $5$진 대칭수의 합으로 표현할 수 있다.
위 정리의 증명이 특별한 이유 중 하나는, 여타 다른 존재성 정리의 증명과 다르게 구성적 증명적(constructive proof)이라는 점이다. 위 정리의 증명을 보면, 양의 정수의 집합을 몇 가지의 케이스로 나누고, 각각의 경우마다 세 개의 대칭수를 구하는 알고리즘을 직접 제시하고 있다. 이 알고리즘을 이용하여 실제로 세 대칭수를 구해주는 사이트는 아래 링크를 클릭하여 들어갈 수 있다.
위 정리가 소개되어 있는 논문에는 $g = 2,\,3,\,4$인 경우는 다루고 있지 않다. 다만 $g=2$인 경우 위 정리가 성립하지 않을 수 있음을 쉽게 짐작이 가능하다. 이진 대칭수의 마지막 자리는 반드시 $1$이어야 하기 때문에, 세 개의 이진 대칭수의 합의 마지막 자리 또한 $1$이 된다. 즉, 마지막 자리가 $0$인 이진수는 (위 정리가 $g=2$에서도 참이라고 가정한다면) 두 개의 이진 대칭수의 합으로 표현해야만 한다. 하지만 $1001010_{(2)}$는 두개의 이진 대칭수의 합으로 표현이 불가능하다. (이 수는 두 개의 이진 대칭수의 합으로 표현이 불가능한 수 중 가장 작은 수이다.)
논문 [2]에서는 $g=2,\,3,\,4$인 경우에 대한 정리가 포함되어 있다.
따라서 정리 1과 정리 2를 통해, $g=2$인 경우를 제외한 모든 $g$진수는 세 개 이하의 $g$진 대칭수의 합으로 표현이 가능함을 알 수 있다.
참고 문헌
- Javier Cilleruelo, Florian Luca, Lewis Baxter, "Every positive integer is a sum of three palindromes", arXiv:1602.06208 [math.NT]
- Aayush Rajasekaran, Jeffrey Shallit, Tim Smith, "Sums of Palindromes: an Approach via Automata", arXiv:1706.10206 [cs.FL]
'Others > Articles' 카테고리의 다른 글
유리수를 나열하는 다른 방법 - Calkin-Wilf 나무 그래프(tree graph) (0) | 2019.03.28 |
---|---|
대칭수(palindromic number)와 $196$ (0) | 2018.04.29 |
자연상수를 근사하는 유사 완전 온자리 수(pseudo perfect pandigital formula) (2) | 2018.01.01 |
2017에 대한 신기한 사실들 (0) | 2017.05.03 |
[퍼온글] 삼각치환에서 타원적분으로 (2) | 2016.09.29 |