친화수 검사기

두 양의 정수가 친화수 쌍을 이루는지 확인하거나, 숫자 하나만 입력하여 자동으로 파트너 숫자를 찾아보세요. 약수 "핸드쉐이크" 시각화 애니메이션, 단계별 시그마 함수 분석, 분할 수열(Aliquot chain) 미리보기, 피타고라스 시대까지 거슬러 올라가는 역사적 배경 지식을 제공합니다.

친화수 검사기

Embed 친화수 검사기 Widget

친화수 검사기 정보

두 양의 정수가 수론에서 가장 우아한 관계 중 하나인 친화수 쌍(Amicable pair)을 이루는지 확인하는 대화형 도구인 친화수 검사기에 오신 것을 환영합니다. 검증할 쌍을 입력하거나 숫자 하나만 입력하여 자동으로 후보 파트너를 찾을 수 있습니다. 결과 페이지에는 5단계 증명, 두 교차 합 조건을 보여주는 핸드셰이크 다이어그램, 나란히 배치된 약수 분석 및 분할 체인 미리보기가 포함됩니다.

친화수란 무엇인가요?

두 개의 서로 다른 양의 정수 $a$와 $b$에 대하여, 각 숫자의 진약수(proper divisors)의 합이 다른 쪽 숫자와 같을 때 이를 친화수 쌍이라고 합니다. 즉, 자기 자신을 제외한 모든 양의 약수의 합인 분할 합(aliquot sum)이 $a$에서 $b$를 가리키고, 다시 $b$에서 $a$를 가리키는 관계입니다.

친화수 쌍의 정의

$$s(a) = b \quad \text{및} \quad s(b) = a, \quad a \neq b$$

여기서 $s(n)$은 $n$의 진약수 합입니다.

가장 작은 친화수 쌍은 (220, 284)입니다.

220의 진약수: 1 + 2 + 4 + 5 + 10 + 11 + 20 + 22 + 44 + 55 + 110 = 284
284의 진약수: 1 + 2 + 4 + 71 + 142 = 220

각 숫자가 자신의 약수를 통해 상대방을 "생성"하기 때문에 '친근한'이라는 뜻의 라틴어 amicabilis에서 유래한 친화수(Amicable)라는 이름이 붙었습니다.

친화수의 짧은 역사

친화수는 2,500년 넘게 수학자들을 매료시켜 왔습니다.

피타고라스 (기원전 약 500년): 이암블리코스에 따르면, 피타고라스는 (220, 284) 쌍을 알고 있었으며 이를 우정의 상징이라고 불렀습니다.
타비트 이븐 쿠라 (9세기): 친화수 쌍을 생성하는 최초의 일반적인 규칙을 발견했습니다. 이는 현재 타비트의 정리로 알려져 있습니다.
이븐 알 반나 (13세기): (17296, 18416) 쌍을 발견했으며, 1636년에 페르마에 의해 재발견되었습니다.
페르마 & 데카르트 (17세기): 독립적으로 (9,363,584; 9,437,056) 쌍을 찾았습니다.
오일러 (18세기): 59개의 새로운 쌍을 발견하고 이론을 공식화하며 목록을 크게 확장했습니다.
파가니니 (1866): 16세의 이탈리아 학생 니콜로 파가니니가 두 번째로 작은 쌍인 (1184, 1210)을 발견했습니다. 이전의 위대한 수학자들은 모두 이 숫자를 놓쳤습니다.
현대: 2020년대 기준으로 협업 계산을 통해 12억 개 이상의 친화수 쌍이 발견되었습니다.

이 계산기 사용 방법

숫자 입력: 하나 또는 두 개의 양의 정수를 입력합니다. 도구가 자동으로 후보 파트너를 찾게 하려면 두 번째 필드를 비워둡니다.
검사: "친화수 검사"를 클릭하여 검증을 실행합니다.
판정 확인: 상단의 유색 배너를 통해 해당 쌍이 친화수인지(초록색) 아닌지(빨간색)를 확인합니다.
탐색: 핸드셰이크 다이어그램, 약수 분석, 단계별 증명, 약수 막대 그래프 및 분할 체인 미리보기를 검토합니다.

타비트 이븐 쿠라의 규칙

서기 850년경, 아랍의 박식가 타비트 이븐 쿠라는 친화수 쌍을 생성하는 부분적인 공식을 발견했습니다.

타비트의 규칙

$$p = 3 \cdot 2^{n-1} - 1, \quad q = 3 \cdot 2^{n} - 1, \quad r = 9 \cdot 2^{2n-1} - 1$$

만약 $p, q, r$이 모두 소수라면, $\left(2^n \cdot p \cdot q, \; 2^n \cdot r\right)$은 친화수 쌍입니다.

$n = 2$를 대입하면 $p=5, q=11, r=71$이 되며 모두 소수이므로 고전적인 쌍 (220, 284)가 생성됩니다. 이 규칙은 몇 개의 $n$ 값에 대해서만 유효한 결과를 내며 모든 친화수를 찾을 수는 없지만, 컴퓨터가 발명되기 수세기 전 수학자들이 새로운 쌍을 찾는 발판이 되었습니다.

분할 수열 및 사교수

숫자 $n$의 분할 수열(Aliquot sequence)은 진약수 합을 반복적으로 적용하여 얻은 수열 $n, s(n), s(s(n)), \ldots$입니다. 수열의 패턴은 숫자의 깊은 구조를 보여줍니다.

완전수는 고정점을 형성합니다: $s(n) = n$ (주기 1).
친화수 쌍은 2-사이클을 형성합니다: $s(s(n)) = n$ (주기 2).
사교수(Sociable numbers)는 주기 3 이상의 긴 사이클을 형성합니다 (예: 12496에서 시작하는 5-사이클).
열망수(Aspiring numbers)는 결국 완전수에 도달합니다.
부족 수열은 1로 떨어지며 끝납니다.
레머의 5개 숫자: 276, 552, 564, 660, 966에서 시작하는 수열은 해결되지 않은 채 수십억 항까지 계산되었습니다. 이들의 최종 운명은 아직 알려지지 않았습니다.

최초 10개의 친화수 쌍

#	작은 수	큰 수	발견자
1	220	284	피타고라스 (기원전 약 500년)
2	1,184	1,210	파가니니 (1866)
3	2,620	2,924	오일러 (1747)
4	5,020	5,564	오일러
5	6,232	6,368	오일러
6	10,744	10,856	오일러
7	12,285	14,595	브라운 (1939) — 가장 작은 홀수 쌍
8	17,296	18,416	이븐 알 반나 / 페르마
9	63,020	76,084	오일러
10	66,928	66,992	오일러

친화수에 관한 재미있는 사실들

성경에서 야곱은 에서에게 화해의 선물로 염소 220마리를 바칩니다 (창세기 32:14). 일부 학자들은 이것이 친화수 쌍 (220, 284)에 대한 암시라고 봅니다.
중세 시대의 부적에는 친구나 연인 사이에 주고받는 두 물건에 220과 284를 새기기도 했습니다.
알려진 모든 친화수 쌍은 동일한 패리티(홀짝성)를 공유합니다. 즉, 둘 다 짝수이거나 둘 다 홀수입니다. 짝수-홀수 혼합 쌍은 아직 발견되지 않았으며, 존재 여부는 미해결 문제입니다.
알려진 모든 친화수 쌍은 1보다 큰 공약수를 가집니다. 서로소인 친화수 쌍이 존재하는지는 밝혀지지 않았으며, 만약 존재한다면 그 값은 $10^{67}$을 넘어야 합니다.

자주 묻는 질문

친화수란 무엇인가요?

친화수는 두 개의 서로 다른 양의 정수 (a, b)에 대하여, a의 진약수의 합이 b가 되고, b의 진약수의 합이 a가 되는 수의 쌍을 말합니다. 가장 작은 친화수 쌍은 피타고라스의 것으로 알려진 (220, 284)입니다.

두 숫자가 친화수인지 어떻게 확인하나요?

두 숫자의 진약수(자기 자신을 제외한 모든 약수)를 구하여 합산합니다. 만약 $s(a) = b$이고 $s(b) = a$이며, $a \neq b$라면 $(a, b)$는 친화수 쌍입니다. 저희 도구는 이 과정을 자동으로 수행하고 각 단계를 보여줍니다.

숫자 하나만 입력해서 친화수 파트너를 찾을 수 있나요?

네. 두 번째 필드를 비워두면 도구가 $s(a)$를 후보 파트너로 계산한 뒤, $s(s(a)) = a$인지 확인합니다. 일치한다면 두 숫자는 친화수 쌍을 이룹니다.

친화수와 완전수의 차이점은 무엇인가요?

완전수는 자기 자신의 진약수 합과 같은 단일 숫자입니다 (예: 6 = 1+2+3). 친화수 쌍은 각 숫자가 상대방의 진약수 합과 같은 두 개의 서로 다른 숫자로 구성됩니다. 완전수는 $a = b$인 특수한 경우로 볼 수 있지만, 관례상 친화수라고 부르지는 않습니다.

현재까지 알려진 친화수 쌍은 몇 개인가요?

2020년대 기준으로 협력 프로젝트를 통해 12억 개 이상의 친화수 쌍이 발견되었습니다. 처음 몇 쌍은 (220, 284), (1184, 1210), (2620, 2924), (5020, 5564), (6232, 6368)입니다. 가장 작은 홀수 친화수 쌍은 (12285, 14595)입니다.