대칭수

위키백과, 우리 모두의 백과사전.
둘러보기로 가기 검색하러 가기

대칭수(對稱數, 영어: palindromic number) 또는 회문수(回文數)는 순서대로 읽은 수와 거꾸로 읽은 수가 같은 수를 말한다. 예를 들어 34543은 대칭수이고, 34567은 대칭수가 아니다. 처음 30개의 대칭수(십진법)는 다음과 같다.

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 22, 33, 44, 55, 66, 77, 88, 99, 101, 111, 121, 131, 141, 151, 161, 171, 181, 191, 202 (OEIS의 수열 A002113)

대칭수는 유희 수학에서 주목받는 수이며, 일반적으로 어떤 성질을 가지는 동시에 대칭인 수를 다룬다. 예를 들어,

정의[편집]

대칭수는 주로 십진법에서 다루지만, 다른 기수법에서도 적용할 수 있다. 진법()에서 자리를 가지는 수 ()에 대해, 번째 자릿수를 라 하면

이다. (, ) 이때 모든 에 대해 인 경우 을 대칭수라고 정의한다. 0은 모든 진법에서 0이 되므로 대칭수이다.

십진법에서의 대칭수[편집]

십진법에서 짝수 자릿수의 대칭수는 11로 나눌 수 있다.

십진법에서 한 자릿수는 모두 대칭수이며, 이는 다른 기수법에서도 마찬가지이다. 두 자릿수인 대칭수는 모두 9개가 있다.

11, 22, 33, 44, 55, 66, 77, 88, 99

세 자릿수인 대칭수는 90개가 있다(일의 자리에서 9가지 경우, 십의 자리에서 10가지 경우가 있기 때문).

101, 111, 121, 131, 141, 151, 161, 171, 181, 191,…, 909, 919, 929, 939, 949, 959, 969, 979, 989, 999

네 자릿수인 대칭수도 세 자릿수와 마찬가지로 90개가 존재한다.

1001, 1111, 1221, 1331, 1441, 1551, 1661, 1771, 1881, 1991,…, 9009, 9119, 9229, 9339, 9449, 9559, 9669, 9779, 9889, 9999,

따라서 10000 이하의 수에는 199개의 대칭수가 존재한다. 100000 이하의 수에는 1099개가 존재하며, 이하의 대칭수의 개수는 1999, 10999, 19999, 109999, 199999, 1099999, ... 가 된다. (OEIS의 수열 A070199) 아래 표는 특정 성질을 만족하는 이하의 대칭수의 개수를 나타낸 것이며, 0도 포함하였다.

  101 102 103 104 105 106 107 108 109 1010
자연수 10 19 109 199 1099 1999 10999 19999 109999 199999
짝수 5 9 49 89 489 889 4889 8889 48889 88889
홀수 5 10 60 110 610 1110 6110 11110 61110 111110
제곱수 4 7 14 15 20 31
세제곱수 3 4 5 7 8
소수 4 5 20 113 781 5953
제곱인수가 없는 자연수 6 12 67 120 675 1200 6821 12160
제곱인수가 있는 정수(μ(n)=0) 4 7 42 79 424 799 4178 7839
소수의 제곱수[1] 2 3 5
μ(n)=1인 수 2 6 35 56 324 583 3383 6093
μ(n)=-1인 수 4 6 32 64 351 617 3438 6067
두 소인수를 가지는 홀수 1 4 25 39 205 303 1768 2403
두 소인수를 가지는 짝수 2 3 11 64 413
세 소인수를 가지는 짝수 1 3 14 24 122 179 1056 1400
서로 다른 세 소인수를 가지는 짝수 0 1 18 44 250 390 2001 2814
세 소인수를 가지는 홀수 0 1 12 34 173 348 1762 3292
카마이클 수 0 0 0 0 0 1 1 1 1 1
σ(n)이 대칭수인 수 6 10 47 114 688 1417 5683

거듭제곱인 대칭수[편집]

자연수 (는 2, 3 또는 4)에 대해 거듭제곱수 이 대칭수가 되는 여러 경우가 있다.

  • 제곱인 대칭수: 0, 1, 4, 9, 121, 484, 676, 10201, 12321, 14641, 40804, 44944, ... (OEIS의 수열 A002779)
  • 세제곱인 대칭수: 0, 1, 8, 343, 1331, 1030301, 1367631, 1003003001, ... (OEIS의 수열 A002781)
  • 네제곱인 대칭수: 0, 1, 14641, 104060401, 1004006004001, ... (OEIS의 수열 A186080)

12, 112, 1112, 11112, ... 의 첫 아홉개 수는 1, 121, 12321, 1234321, ... 가 되어 대칭수이다. (OEIS의 수열 A002477)

제곱수가 대칭수이지만 자기 자신은 대칭수가 아닌 것으로 알려진 수로는 현재까지 2201이 유일하다. 또한 현재까지 발견된 네제곱인 대칭수들의 네제곱근은 모두 꼴이며, 모든 네제곱인 대칭수에 대해 성립하는지는 밝혀지지 않았다.

G. J. Simmons는 5 이상의 에 대해 ()꼴의 대칭수는 존재하지 않는다고 추측하였다.[2]

다른 기수법에서의 대칭수[편집]

이진법에서의 대칭수는 다음과 같다.

0, 1, 11, 101, 111, 1001, 1111, 10001, 10101, 11011, 11111, 100001, …

이를 십진법으로 표기하면 0, 1, 3, 5, 7, 9, 15, 17, 21, 27, 31, 33, … 이다. (OEIS의 수열 A006995). 페르마 소수메르센 소수는 이진법에서 대칭수인 소수가 된다.

숫자 자신보다 밑이 더 큰 경우 수는 한 자릿수가 되므로, 모든 수들은 무한히 많은 기수법에서 대칭이다. 숫자 자신보다 밑이 더 작은 경우만을 고려하면, 여러 기수법에서 대칭수가 되는 경우가 존재한다. 예를 들어 , 이다.

7진법에서 1017은 52=347의 2배이기 때문에, 다음과 같이 여러 1017의 배수들은 제곱수인 대칭수가 된다.

132 = 202
262 = 1111
552 = 4444
1012 = 10201
1432 = 24442

18진법에서, 다음과 같이 여러 7의 거듭제곱수들은 대칭수가 된다.

70 = 1
71 = 7
73 = 111
74 = 777
76 = 12321
79 = 1367631

24진법에서, 다음과 같이 첫 여덟제곱을 포함하여 여러 거듭제곱수들은 대칭수가 된다.

50 = 1
51 = 5
52 = 11
53 = 55
54 = 121
55 = 5A5
56 = 1331
57 = 5FF5
58 = 14641
5A = 15AA51
5C = 16FLF61

자연수 에 대해 진법에서는 로 대칭수가 되고, 인 모든 진법에서 대칭수가 아닌 수를 강한 비대칭수라 한다.

라이크렐 수[편집]

비대칭수는 알고리즘을 통해 대칭수로 만들 수도 있다. 먼저 비대칭수와 그 수를 뒤집은 수를 더하여 새로운 수를 얻는다. 이 과정을 대칭수가 나올 때까지 반복하며, 이를 196-알고리즘 또는 회문 알고리즘이라고 한다.

회문 알고리즘을 거쳤을 때 결코 대칭수가 되지 않는 수를 라이크렐 수라고 하며, 라이크렐 수가 존재하는지는 아직 밝혀지지 않았지만 196을 포함한 여러 수들을 라이크렐 수로 추측하고 있다.[3] 라이크렐 수의 후보로는 196, 879, 1997 등이 있다.

현재 가장 늦게 대칭수가 되는 수는 12,000,700,000,025,339,936,491로, 288단계 후에 142자리의 대칭수 44562665878976437622437848976653870388884783662598425855963436955852489526638748888307835667984873422673467987856626544 에 도달한다.

대칭수의 합[편집]

2018년에는 밑이 5 이상인 기수법에서 모든 양의 정수는 세 대칭수의 합으로 표현할 수 있음을 증명하는 논문이 게재되었다.[4]

또한 대칭수의 역수들의 합은 수렴하는 수열이 되며, 수렴값은 3.37028...이다. (OEIS의 수열 A118031)

같이 보기[편집]

각주[편집]

  1. (OEIS의 수열 A065379) The next example is 19 digits - 900075181570009.
  2. Murray S. Klamkin (1990), Problems in applied mathematics: selections from SIAM review, p. 520.
  3. O'Bryant, Kevin (26 December 2012). "Reply to Status of the 196 conjecture?". Math Overflow.
  4. Cilleruelo, Javier; Luca, Florian; Baxter, Lewis (2016년 2월 19일). “Every positive integer is a sum of three palindromes”. 《Mathematics of Computation》.  (arXiv preprint)

외부 링크[편집]