완전수

짝수 완전수는 메르센 소수와 밀접한 관계를 가진다. 모든 짝수 완전수는 2ⁿ⁻¹(2ⁿ - 1)의 형태로 표현될 수 있으며, 이때 2ⁿ - 1은 반드시 소수여야 한다. 이러한 형태의 소수를 메르센 소수라고 부른다. 따라서 짝수 완전수와 메르센 소수는 일대일 대응 관계에 있다. 즉, 하나의 메르센 소수가 발견될 때마다 정확히 하나의 짝수 완전수가 결정된다.

이 관계는 레온하르트 오일러에 의해 증명되었다. 그는 유클리드가 이미 기원전에 이 형태의 수가 완전수임을 보였지만, 모든 짝수 완전수가 반드시 이 형태를 가져야 함을 증명해냈다. 이 정리에 따르면, 짝수 완전수를 찾는 문제는 메르센 소수를 찾는 문제와 동일하다.

현재까지 알려진 완전수는 모두 짝수이며, 이는 모두 메르센 소수에서 비롯된다. 예를 들어, 가장 작은 완전수 6은 n=2일 때, 2¹(2² - 1) = 2 × 3으로 얻어진다. 여기서 3은 메르센 소수이다. 두 번째 완전수 28은 n=3일 때, 2²(2³ - 1) = 4 × 7에서 비롯된다.

메르센 소수가 유한한지 무한한지는 아직 알려지지 않았기 때문에, 짝수 완전수의 개수 또한 유한한지 무한한지 알 수 없다. 이는 정수론의 주요 미해결 문제 중 하나로 남아 있다.

짝수 완전수의 일반형 2ⁿ⁻¹(2ⁿ - 1)에 따라, n이 소수이며 2ⁿ - 1이 메르센 소수가 될 때마다 하나의 완전수가 생성된다. 이 공식에 의해 알려진 완전수들은 다음과 같다.

이들 초기 완전수는 비교적 작은 수지만, n이 커짐에 따라 그 크기는 기하급수적으로 증가한다. 예를 들어, n=13일 때 생성되는 완전수는 33550336이며, n=17일 때는 8589869056에 이른다. 현재까지 발견된 가장 큰 완전수는 2023년 기준으로 발견된 가장 큰 메르센 소수에 대응하는 수로, 그 자릿수는 수천만 자리에 달한다[5].

모든 짝수 완전수는 삼각수이기도 하다는 흥미로운 성질을 가진다. 구체적으로, 완전수 2ⁿ⁻¹(2ⁿ - 1)은 1부터 (2ⁿ - 1)까지의 모든 자연수의 합, 즉 (2ⁿ - 1)(2ⁿ) / 2 로 표현될 수 있다. 예를 들어, 28은 1부터 7까지의 합(1+2+3+4+5+6+7)이며, 496은 1부터 31까지의 합이다. 또한, 6을 제외한 모든 짝수 완전수는 연속된 홀수의 세제곱 합으로도 나타낼 수 있다. 예시로, 28 = 1³ + 3³ 이고, 496 = 1³ + 3³ + 5³ + 7³ 이다.

부족수는 자기 자신을 제외한 약수(진약수)들의 합이 자기 자신보다 작은 자연수를 가리킨다. 즉, 진약수의 합이 원래 수에 미치지 못하는 수이다. 수학적으로는 약수 함수 σ₁(n)을 사용하여 σ₁(n) < 2n으로 표현할 수 있다. 대부분의 자연수는 부족수에 속하며, 특히 모든 소수와 소수의 거듭제곱은 부족수이다.

부족수의 대표적인 예로는 소수들이 있다. 예를 들어, 소수 7의 진약수는 1뿐이며, 그 합 1은 7보다 작다. 소수의 거듭제곱인 8(2³)의 진약수는 1, 2, 4이고, 그 합 7은 8보다 작다. 이 외에도 1, 4, 9, 10, 14 등 수많은 수가 부족수에 해당한다. 부족수와 반대 개념인 과잉수, 그리고 진약수의 합이 자기 자신과 정확히 일치하는 완전수와 함께 자연수를 분류하는 중요한 기준이 된다.

부족수와 관련된 흥미로운 개념으로 태완전수가 있다. 태완전수는 진약수의 합이 자기 자신보다 정확히 1만큼 작은 수, 즉 σ₁(n) = 2n - 1을 만족하는 수를 말한다. 2의 거듭제곱(1, 2, 4, 8, 16, ...)은 모두 태완전수임이 알려져 있다. 그러나 이 형태 외에 다른 태완전수가 존재하는지는 아직 알려지지 않은 미해결 문제로 남아 있다.

부족수, 과잉수, 완전수에 대한 연구는 고대 그리스 시대로 거슬러 올라가는 오랜 역사를 지닌 정수론의 한 분야이다. 이 분류는 수 자체의 속성을 탐구하는 순수 수학적 의미를 넘어, 약수의 합을 이용한 수의 성질 분석에 기초를 제공한다.

과잉수는 자기 자신을 제외한 약수들의 합이 자기 자신보다 큰 자연수이다. 즉, 진약수의 합이 원래 수를 초과하는 수를 말한다. 수학적으로는 약수 함수 σ₁(n)을 사용하여 σ₁(n) > 2n인 수 n으로 정의할 수 있다. 과잉수는 부족수와 완전수와 함께 약수의 합에 따른 자연수의 주요 분류 중 하나를 이룬다.

과잉수는 다시 그 성질에 따라 반완전수와 괴짜수로 세분된다. 반완전수는 진약수들 중 일부만을 적절히 선택하여 더하면 자기 자신이 되는 수를 말하며, 유사완전수라고도 부른다. 예를 들어, 20은 진약수의 총합이 22로 과잉수이지만, 1, 4, 5, 10만을 더하면 정확히 20이 되어 반완전수이다. 반면, 괴짜수는 진약수들 중 어떤 부분집합을 선택해도 그 합으로 자기 자신을 만들 수 없는 과잉수를 의미한다. 가장 작은 괴짜수는 70이다.

과잉수의 밀도는 자연수 중 약 0.2474 정도로, 약 4개의 자연수 중 하나 꼴로 나타난다. 모든 12 이상의 6의 배수는 과잉수이며, 따라서 과잉수는 무한히 많다. 흥미롭게도 현재까지 발견된 모든 홀수 과잉수는 반완전수인 것으로 알려져 있으며, 홀수 괴짜수의 존재 여부는 아직 알려지지 않았다.

친화수는 한 쌍의 자연수에서, 각 수의 자기 자신을 제외한 약수(진약수)들의 합이 서로의 수가 되는 관계를 가진 수를 말한다. 예를 들어, 220의 진약수는 1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110이며 이들의 합은 284이다. 동시에 284의 진약수는 1, 2, 4, 71, 142이며 이들의 합은 220이 된다. 따라서 220과 284는 친화수 쌍을 이룬다.

친화수는 완전수와 밀접한 관련이 있다. 완전수가 자기 자신과 '친화'하는 관계라면, 친화수는 서로 다른 두 수가 그러한 관계를 맺고 있다고 볼 수 있다. 역사적으로 가장 오래 알려진 친화수 쌍은 바로 220과 284이며, 피타고라스 학파에서 우정과 조화의 상징으로 여겼다고 전해진다. 이후 페르마와 데카르트가 새로운 친화수 쌍을 발견했으며, 레온하르트 오일러는 이 개념을 체계적으로 연구하여 수십 개의 쌍을 찾아냈다.

친화수의 쌍을 찾는 것은 정수론의 흥미로운 주제 중 하나이다. 모든 친화수 쌍은 하나가 짝수이고 다른 하나가 홀수인 경우가 알려져 있지 않으며, 발견된 대부분의 쌍은 두 수 모두 짝수이다. 또한 친화수 쌍의 분포는 완전수보다 훨씬 많을 것으로 추정되지만, 그 역시 무한히 많은지는 증명되지 않은 난제로 남아 있다. 컴퓨터의 발전으로 수백만 개가 넘는 친화수 쌍이 발견되었지만, 그 수학적 본질과 분포에 대한 이해는 여전히 깊이를 더해가고 있다.