친화수

친화수는 두 자연수 쌍이 서로의 진약수 합이 상대방 수가 되는 관계를 가진 수이다. 우애수라고도 불린다. 대표적인 예로 220과 284가 있다. 220의 진약수(1, 2, 4, 5, 10, 11, 20, 22, 44, 55, 110)를 모두 더하면 284가 되고, 284의 진약수(1, 2, 4, 71, 142)를 모두 더하면 220이 된다.

이는 약수 함수를 이용해 σ(m) - m = n 이고 σ(n) - n = m 으로 표현할 수 있으며, 이는 σ(m) = σ(n) = m + n 과 동치이다. 이러한 관계는 aliquot cycle의 주기가 2인 경우에 해당한다. 주기가 1인 경우는 완전수이며, 주기가 3 이상인 경우는 사교수라고 한다.

친화수는 정수론의 흥미로운 연구 주제 중 하나로, 고대부터 알려져 왔으며 페르마와 데카르트, 오일러와 같은 수학자들이 새로운 쌍을 발견했다. 컴퓨터의 발전으로 현재는 수많은 친화수 쌍이 알려져 있으나, 친화수가 무한히 많은지는 아직 증명되지 않았다. 한 쌍의 친화수에서 더 작은 수는 과잉수, 더 큰 수는 부족수인 성질을 가진다.

친화수는 두 자연수 m과 n이 서로의 진약수들의 합이 상대방의 수가 되는 관계를 가진 수 쌍을 말한다. 다른 이름으로 우애수라고도 불린다. 구체적으로, m의 모든 진약수를 더한 값이 n이 되고, 동시에 n의 모든 진약수를 더한 값이 m이 될 때, (m, n)을 친화수라고 정의한다. 이는 약수 함수를 이용하여 σ(m) - m = n 이고 σ(n) - n = m, 또는 σ(m) = σ(n) = m + n 으로 표현할 수 있다.

친화수는 완전수와 사교수와 함께 aliquot cycle의 주기에 따라 분류되는 수의 유형 중 하나이다. 완전수는 주기가 1인 경우, 즉 자신의 진약수의 합이 자신이 되는 수이며, 친화수는 주기가 2인 경우에 해당한다. 주기가 3 이상인 경우는 사교수라고 부른다. 가장 잘 알려진 친화수의 대표 예시는 (220, 284) 쌍이다.

친화수는 두 수가 서로의 진약수의 합으로 연결되는 특별한 관계를 가진다. 이 관계는 약수 함수 σ(n)을 이용해 σ(m)-m = n이고 σ(n)-n = m, 또는 동등하게 σ(m) = σ(n) = m+n으로 표현할 수 있다. 이는 완전수가 자기 자신의 진약수의 합으로 정의되는 것(주기 1)을 확장하여, 두 수 사이의 순환 관계(주기 2)로 일반화한 개념이다.

친화수 쌍에서 한 수는 항상 과잉수이고 다른 한 수는 부족수이다. 예를 들어 가장 작은 친화수 쌍인 (220, 284)에서 220의 진약수 합은 284로, 220 자신보다 크므로 220은 과잉수이다. 반대로 284의 진약수 합은 220으로, 284 자신보다 작으므로 284는 부족수이다. 이 성질은 모든 친화수 쌍에 대해 성립한다.

친화수의 존재는 무한할 것으로 추측되지만, 아직 수학적으로 증명되지는 않았다. 컴퓨터의 도움으로 수많은 친화수가 발견되었으며, 그 종류는 짝수로 이루어진 쌍뿐만 아니라 홀수로 이루어진 쌍도 존재한다. 친화수는 주기가 2인 알리쿼트 순환의 특별한 경우이며, 주기가 3 이상인 경우는 사교수라고 부른다.

친화수는 수학적 탐구의 역사 속에서 꾸준히 발견되어 왔으며, 그 목록은 계속해서 확장되고 있다. 가장 잘 알려진 예시는 (220, 284)이다. 이후 피에르 드 페르마가 (17296, 18416)을 발견했고, 르네 데카르트는 (9363584, 9437056)을 발견했다. 레온하르트 오일러는 62쌍의 친화수를 찾아내는 등 큰 공헌을 했으나, 놀랍게도 두 번째로 작은 쌍인 (1184, 1210)은 1866년 니콜로 파가니니에 의해 발견되었다.

친화수는 짝수 쌍뿐만 아니라 홀수 쌍도 존재한다. 가장 작은 홀수 친화수는 (12285, 14595)이다. 홀수 친화수는 대부분 일의 자리 숫자가 5로 끝나는 경우가 많으며, 1, 3, 7, 9로 끝나는 경우는 매우 드물다. 컴퓨터의 발전으로 탐색이 가속화되어, 현재는 수억 개가 넘는 친화수 쌍이 알려져 있다.

아래는 초기에 발견된 대표적인 친화수 목록의 일부이다.

친화수와 사교수를 포함한 알리쿼트 시퀀스의 연구는 정수론의 한 분야로 자리 잡았으며, 친화수가 무한히 많은지는 아직 증명되지 않은 난제로 남아 있다.

친화수의 역사는 고대 수학에서 그 기원을 찾을 수 있다. 기원전 500년경 피타고라스 학파는 이미 220과 284의 쌍을 알고 있었으며, 이 수들이 서로의 진약수의 합으로 이루어진다는 특별한 관계에 매료되었다. 이들은 우정과 조화의 상징으로 여겼고, 이로 인해 '우애수'라는 이름이 붙게 되었다.

그러나 이 쌍 이후로 오랫동안 새로운 친화수는 발견되지 않았다. 중세를 거쳐 르네상스 시기에 이르러서야 페르마가 1636년에 두 번째 쌍인 (17296, 18416)을 발견했다. 이어서 르네 데카르트가 세 번째 쌍을 발견했으며, 18세기의 위대한 수학자 레온하르트 오일러는 무려 62쌍의 친화수를 찾아내는 성과를 거두었다.

흥미롭게도, 오일러와 같은 거장들이 발견한 친화수들보다 훨씬 작은 두 번째 쌍인 (1184, 1210)은 1866년에 이탈리아의 10대 소년 니콜로 파가니니에 의해 발견되었다. 20세기 이후 컴퓨터의 발전은 친화수 탐색에 혁명을 가져왔으며, 현재는 수십억 쌍에 이르는 친화수가 알려져 있다. 그러나 친화수가 무한히 많은지에 대한 증명은 여전히 정수론의 미해결 과제로 남아 있다.

친화수는 수학적 개념을 넘어 문화와 예술에서도 종종 등장한다. 일본 작가 오가와 요코의 소설 『박사가 사랑한 수식』에서는 '우애수'라는 이름으로 친화수가 중요한 소재로 활용된다. 작중 등장인물의 생일이 2월 20일(220)이고, 박사의 시계에 새겨진 숫자가 284라는 설정을 통해 두 수의 우아한 관계를 드러낸다.

한국 작가 심윤서의 로맨스 소설 『우애수』 또한 제목과 내용에 친화수 개념을 차용했다. 작품 속에서 (220, 284) 쌍은 인물 간의 관계를 상징하는 중요한 요소로 작용한다. 이처럼 친화수는 수학의 추상적 아름다움을 문학적 상상력과 연결시키는 매개체 역할을 하기도 한다.

친화수는 완전수나 사교수와 함께 약수의 합에 따른 수의 분류 체계에서 중요한 위치를 차지한다. 이 개념은 수학의 한 분야에 머무르지 않고, 인간 관계의 조화와 우정을 수학적으로 은유하는 도구로서 대중에게 친근하게 다가간다.