완전수

완전수 6을 퀴즈네어 막대로 표현한 그림 **완전수**(完全數, perfect number)는 수론에서 자신을 제외한 양의 약수의 합과 같은 양의 정수를 가리킨다.quote=Perfect numbers are positive integers n such that n=s(n), where s(n) is the restricted divisor function (i.e., the sum of proper divisors of n), ... 예를 들어, 6의 진약수는 1, 2, 3이며, 1 + 2 + 3 = 6이므로 6은 완전수다. 다음 완전수는 28인데, 1 + 2 + 4 + 7 + 14 = 28이기 때문이다. 처음 일곱 개의 완전수는 6, 28, 496, 8128, 33550336, 8589869056, 137438691328이다.website=oeis.org 수의 진약수의 합은 진약수의 합이라 불리며, 따라서 완전수는 진약수의 합과 같은 수다. 이와 같은 말로 완전수는 모든 양의 약수의 합의 절반과 같은 수다. 기호로 표현하면, \sigma_1(n)=2n이며, 여기서 \sigma_1은 약수 함수다. 이 정의는 고대부터 있었으며, 에우클레이데스의 원론 (VII.22)에 τέλειος ἀριθμός(완전, 이상적 또는 완전한 수)로 처음 등장한다. 에우클레이데스는 또한 q가 양의 정수 p에 대해 2^p-1 형태의 소수일 때, \frac {q(q+1)}{2}가 짝수 완전수임을 증명했다(IX.36). 이것은 오늘날 메르센 소수라고 불린다. 2천 년 후, 레온하르트 오일러는 모든 짝수 완전수가 이 형태임을 증명했다.Caldwell, Chris, "A proof that all even perfect numbers are a power of two times a Mersenne prime". 이것은 에우클레이데스-오일러 정리로 알려져 있다. 홀수 완전수가 존재하는지, 또는 무한히 많은 완전수가 존재하는지는 알려져 있지 않다.
# 역사
기원전 약 300년에 에우클레이데스는 2p − 1이 소수이면 2p−1(2p − 1)이 완전수임을 보였다. 처음 네 개의 완전수는 초기 그리스 수학에서 알려진 유일한 수였고, 수학자 니코마코스는 이미 서기 약 100년에 8128을 언급했다.url=https://archive.org/stream/historyoftheoryo01dick#page/4/ 현대 언어로, 니코마코스는 모든 완전수가 2^n-1이 소수일 때 2^{n-1}(2^n-1) 형태를 가진다고 증명 없이 진술했다.access-date=9 May 2018In Introduction to Arithmetic, Chapter 16, he says of perfect numbers, "There is a method of producing them, neat and unfailing, which neither passes by any of the perfect numbers nor fails to differentiate any of those that are not such, which is carried out in the following way." He then goes on to explain a procedure which is equivalent to finding a 삼각수 based on a Mersenne prime. 그는 n 자체가 소수여야 한다는 것을 모르는 것 같았다. 그는 또한 완전수가 6 또는 8로 번갈아 끝난다고 (잘못) 말했다. (첫 5개의 완전수는 6, 8, 6, 8, 6으로 끝나지만, 여섯 번째도 6으로 끝난다.) 알렉산드리아의 필론은 1세기 저서 "창조에 관하여"에서 완전수를 언급하며, 세상이 6일 만에 창조되었고 달이 28일 주기로 공전하는 것은 6과 28이 완전수이기 때문이라고 주장했다. 필론의 뒤를 이어 오리게네스,Commentary on the Gospel of John 28.1.1–4, with further references in the Sources Chrétiennes edition: vol. 385, 58–61. 디디모스는 10,000 미만의 완전수가 4개뿐이라는 관찰을 덧붙였다. (창세기 주해 1. 14–19).year=2015 아우구스티누스는 5세기 초 "신국론"(책 XI, 챕터 30)에서 완전수를 정의하며, 신이 6일 만에 세상을 창조한 것은 6이 가장 작은 완전수이기 때문이라는 주장을 반복했다. 이집트 수학자 이스마일 이븐 팔루스 (1194~1252년)는 다음 세 완전수(33,550,336; 8,589,869,056; 137,438,691,328)를 언급했으며, 현재는 잘못된 것으로 알려진 몇 가지를 더 나열했다.Roshdi Rashed, The Development of Arabic Mathematics: Between Arithmetic and Algebra (Dordrecht: Kluwer Academic Publishers, 1994), pp. 328–329. 다섯 번째 완전수에 대한 유럽의 첫 언급은 1456년에서 1461년 사이에 알려지지 않은 수학자가 쓴 필사본이다.Bayerische Staatsbibliothek, Clm 14908. See url=https://archive.org/stream/historyofmathema031897mbp#page/n35/mode/2up 1588년, 이탈리아 수학자 피에트로 카탈디는 여섯 번째(8,589,869,056)와 일곱 번째(137,438,691,328) 완전수를 확인했으며, 또한 에우클레이데스의 규칙으로 얻은 모든 완전수가 6 또는 8로 끝남을 증명했다.url=https://archive.org/stream/historyoftheoryo01dick#page/10/url=https://books.google.com/books?id=52N0JJBspM0C&pg;=PA360url=https://books.google.com/books?id=4gWSAraVhtAC&pg;=PA132
# 짝수 완전수
무한히 많은 완전수가 존재할까? 에우클레이데스는 2^{p-1}(2^p-1)가 2^p-1이 소수일 때마다 짝수 완전수임을 증명했다 (원론, 명제 IX.36). 예를 들어, 처음 네 개의 완전수는 소수 p에 대해 2^{p-1}(2^p-1) 공식을 통해 생성된다. \begin{align} p = 2 &: \quad 2^1(2^2 - 1) = 2 \times 3 = 6 \\\ p = 3 &: \quad 2^2(2^3 - 1) = 4 \times 7 = 28 \\\ p = 5 &: \quad 2^4(2^5 - 1) = 16 \times 31 = 496 \\\ p = 7 &: \quad 2^6(2^7 - 1) = 64 \times 127 = 8128. \end{align} 2^p-1 형태의 소수는 17세기 수도사 마랭 메르센의 이름을 따서 메르센 소수로 알려져 있으며, 그는 수론과 완전수를 연구했다. 2^p-1이 소수이기 위해서는 p 자체가 소수여야 한다. 그러나 소수 p를 가진 모든 2^p-1 형태의 수가 소수인 것은 아니다. 예를 들어, 11 − 1 = 2047 = 23 × 89는 소수가 아니다.id=A002515이다. 사실, 메르센 소수는 매우 희귀하다. 68,874,199까지의 약 4백만 개의 소수 p 중에서 2^p-1이 소수인 경우는 48개에 불과하다.website=GIMPS 니코마코스는 (증명 없이) "모든" 완전수가 2^n-1이 소수일 때 2^{n-1}(2^n-1) 형태를 가진다고 진술했지만, 서기 1000년경 이븐 알하이삼 (알하젠)은 그 정도로 나아가기를 꺼려하며, 대신 (증명 없이) 이 공식이 모든 짝수 완전수를 산출한다고 선언했다.title=Abu Ali al-Hasan ibn al-Haytham 레온하르트 오일러가 18세기에 이르러서야 공식 2^{p-1}(2^p-1)이 모든 짝수 완전수를 산출함을 증명했다. 따라서 짝수 완전수와 메르센 소수 사이에는 일대일 대응이 존재한다. 각 메르센 소수는 하나의 짝수 완전수를 생성하고, 그 반대도 마찬가지이다. 이 결과는 종종 에우클레이데스-오일러 정리라고 불린다. GIMPS 분산 컴퓨팅 프로젝트의 철저한 탐색 결과, 처음 49개의 짝수 완전수는 다음과 같은 p에 대해 2^{p-1}(2^p-1) 형태를 갖는 것으로 밝혀졌다. : p = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 19937, 21701, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, 74207281 id=A000043. 세 개의 더 큰 완전수도 발견되었는데, 이들은 p = 77232917, 82589933, 136279841에 해당한다. 이 범위 내에 다른 수가 존재할 가능성은 여전히 있지만, GIMPS의 초기 철저한 테스트 결과 p가 137750177 미만인 다른 완전수는 발견되지 않았다. 2025년 기준 52개의 메르센 소수가 알려져 있으며,access-date=2024-10-21 따라서 52개의 짝수 완전수가 있다 (이 중 가장 큰 것은 2136279840 × (2136279841 − 1)로 82,048,640자리 숫자이다). 무한히 많은 완전수가 존재하는지, 또는 무한히 많은 메르센 소수가 존재하는지는 알려져 있지 않다. 2^{p-1}(2^p-1) 형태를 가지는 것 외에도, 모든 짝수 완전수는 (2^p-1)번째 삼각수이며 (따라서 1부터 2^p-1까지의 정수의 합과 같다) 2^{p-1}번째 육각수이다. 또한 6을 제외한 모든 짝수 완전수는 \tfrac{2^p+1}{3}번째 중심있는 구각수이며, 처음 2^\frac{p-1}{2}개의 홀수 세제곱수의 합과 같다.(즉, 2^\frac{p+1}{2}-1의 세제곱까지의 홀수 세제곱수이다) \begin{alignat}{3} 6 &= 2^1(2^2 - 1) &&= 1 + 2 + 3, \\\\[8pt] 28 &= 2^2(2^3 - 1) &&= 1 + 2 + 3 + 4 + 5 + 6 + 7 \\\ & &&= 1^3 + 3^3 \\\\[8pt] 496 &= 2^4(2^5 - 1) &&= 1 + 2 + 3 + \cdots + 29 + 30 + 31 \\\ & &&= 1^3 + 3^3 + 5^3 + 7^3 \\\\[8pt] 8128 &= 2^6(2^7 - 1) &&= 1 + 2 + 3 + \cdots + 125 + 126 + 127 \\\ & &&= 1^3 + 3^3 + 5^3 + 7^3 + 9^3 + 11^3 + 13^3 + 15^3 \\\\[8pt] 33550336 &= 2^{12}(2^{13} - 1) &&= 1 + 2 + 3 + \cdots + 8189 + 8190 + 8191 \\\ & &&= 1^3 + 3^3 + 5^3 + \cdots + 123^3 + 125^3 + 127^3 \end{alignat} 짝수 완전수(6 제외)는 다음과 같은 형태를 갖는다. T_{2^p - 1} = 1 + \frac{(2^p - 2) \times (2^p + 1)}{2} = 1 + 9 \times T_{(2^p - 2)/3} 각각의 결과 삼각수 (완전수에서 1을 뺀 후 결과를 9로 나눈 값)는 3 또는 5로 끝나며, 수열은 T7 = 28, T31 = 496, T127 = 8128로 시작하며, 이어서 T2 = 3, 10 = 55, 1=T42 = 903, 1=T2730 = 3727815, ...title=Perfect Number 따라서 6을 제외한 모든 짝수 완전수의 자릿수를 더하고, 그 결과 숫자의 자릿수를 더하고, 이 과정을 한 자리 숫자(자릿수근)가 나올 때까지 반복하면 항상 숫자 1이 나온다. 예를 들어, 8128의 자릿수근은 1이다. 왜냐하면 1=8 + 1 + 2 + 8 = 19, 1=1 + 9 = 10, 그리고 1=1 + 0 = 1이기 때문이다. 이는 홀수 소수 p를 갖는 모든 완전수 2^{p-1}(2^p-1)에 적용되며, 사실 홀수 정수 (반드시 소수일 필요는 없는) m에 대해 "모든" 2^{m-1}(2^m-1) 형태의 수에 적용된다. 2^{p-1}(2^p-1) 형태 때문에, 모든 짝수 완전수는 이진법으로 p개의 1 뒤에 p − 1개의 0이 붙는 형태로 표현된다. 예를 들어, \begin{array}{rcl} 6_{10} =& 2^2 + 2^1 &= 110_2 \\\ 28_{10} =& 2^4 + 2^3 + 2^2 &= 11100_2 \\\ 496_{10} =& 2^8 + 2^7 + 2^6 + 2^5 + 2^4 &= 111110000_2 \\\ 8128_{10} =& \\!\\! 2^{12} + 2^{11} + 2^{10} + 2^9 + 2^8 + 2^7 + 2^6 \\!\\! &= 1111111000000_2 \end{array} 따라서 모든 짝수 완전수는 유해수이다. 모든 짝수 완전수는 또한 실용수이다. (참고: 관련 개념)
# 홀수 완전수
홀수 완전수가 존재할까? 홀수 완전수가 존재하는지는 알려져 있지 않지만, 다양한 결과가 도출되었다. 1496년, 자크 르페브르 데타플은 에우클레이데스의 규칙이 모든 완전수를 제공한다고 진술하여,url=https://archive.org/stream/historyoftheoryo01dick#page/6/ 홀수 완전수가 존재하지 않는다는 것을 암시했지만, 오일러 자신은 "홀수 완전수가 존재하는지는... 매우 어려운 질문이다"라고 말했다.access-date=16 June 2023 최근에는 칼 포메란스가 홀수 완전수가 실제로 존재하지 않음을 시사하는 경험적 논증을 제시했다.Oddperfect.org. date=2006-12-29 모든 완전수는 또한 조화 약수수이며, 1을 제외하고는 홀수 조화 약수수가 없다는 추측도 제기되었다. 홀수 완전수에 대해 증명된 많은 속성들은 데카르트 수에도 적용되며, 페이스 닐슨은 이 숫자들에 대한 충분한 연구가 홀수 완전수가 존재하지 않는다는 증명으로 이어질 수 있다고 제안했다.date=10 September 2020 홀수 완전수 N은 다음 조건을 만족해야 한다. * N > 101500.doi-access=free * N은 105로 나누어지지 않는다.language=de * N은 N ≡ 1 (mod 12) 또는 N ≡ 117 (mod 468) 또는 N ≡ 81 (mod 324)의 형태를 갖는다.url=http://www.austms.org.au/Publ/Gazette/2008/Sep08/CommsRoberts.pdf * N의 가장 큰 소인수는 108보다 크고,doi-access=free \sqrt[3]{3N}보다 작다.doi=10.1142/S1793042112500935 * 두 번째로 큰 소인수는 104보다 크고,doi-access=free \sqrt[5]{2N}보다 작다.s2cid=62885986. * 세 번째로 큰 소인수는 100보다 크고,doi-access=free \sqrt[6]{2N}보다 작다.access-date=6 December 2021 * N은 적어도 101개의 소인수와 적어도 10개의 서로 다른 소인수를 갖는다.doi-access=free 3이 N을 나누지 않으면, N은 적어도 12개의 서로 다른 소인수를 갖는다.s2cid=2767519 * N은 다음과 같은 형태를 갖는다. ::N=q^{\alpha} p_1^{2e_1} \cdots p_k^{2e_k}, :여기서: :* q, p1, ..., pk는 서로 다른 홀수 소수이다 (오일러). :* q ≡ α ≡ 1 (mod 4)이다 (오일러). :* N의 가장 작은 소인수는 최대 \frac{k-1}{2}이다.access-date=7 August 2021 :* N을 나누는 소수 거듭제곱 중 적어도 하나는 1062를 초과한다. :* N 0은 상수이다.s2cid=122525522 사실 o(\sqrt{n})이다.s2cid=122353640 * 모든 짝수 완전수는 십진법에서 6 또는 28로 끝나며, 6을 제외하고는 구진법에서 1로 끝난다.H. Novarese. Note sur les nombres parfaits Texeira J. VIII (1886), 11–16.url=https://archive.org/stream/historyoftheoryo01dick#page/25/ 따라서 특히 6을 제외한 모든 짝수 완전수의 자릿수근은 1이다. * 유일한 제곱 인수가 없는 완전수는 6이다.url=https://books.google.com/books?id=3ffXkusQEC0C&pg;=PA428.
# 관련 개념
진약수의 합은 다양한 다른 종류의 숫자를 제공한다. 합이 그 수 자체보다 작으면 부족수라고 하고, 합이 그 수 자체보다 크면 과잉수라고 한다. 이 용어들은 '완전수' 자체와 함께 그리스 수비학에서 유래했다. 서로의 진약수의 합이 되는 두 수의 쌍은 친화수라고 불리며, 더 큰 수의 주기는 사교수라고 불린다. 모든 작은 양의 정수가 자신과 구별되는 약수들의 합인 양의 정수는 실용수이다. 정의에 따르면, 완전수는 고정점이며, 1=s(n) = σ(n) − n으로 정의되는 약수 함수의 고정점이며, 완전수와 관련된 진약수의 합은 상수 수열이다. 모든 완전수는 또한 \mathcal{S}-완전수, 즉 그랜빌 수이다. 반완전수는 자신 또는 일부 진약수의 합과 같은 자연수이다. 모든 진약수의 합과 같은 반완전수는 완전수이다. 대부분의 과잉수는 또한 반완전수이다. 반완전수가 아닌 과잉수는 기묘수라고 불린다.
# 내용주
Notelist
# 더 읽어보기
* Nankar, M.L.: "History of perfect numbers", Ganita Bharati 1, no. 1–2 (1979), 7–8. * doi-access = free * Riele, H.J.J. "Perfect Numbers and Aliquot Sequences" in H.W. Lenstra and R. Tijdeman (eds.): Computational Methods in Number Theory, Vol. 154, Amsterdam, 1982, pp. 141–157. * Riesel, H. Prime Numbers and Computer Methods for Factorisation, Birkhauser, 1985. * pages=15–98