Why Is Nicomachus' Identity Special?

수학은 종종 엄격한 규칙들의 집합처럼 느껴지지만, 그 본질은 서로 다른 방식의 셈법을 연결하는 숨겨진 패턴을 찾는 과정이다. 이 분야에서 가장 오래 지속된 수수께끼 중 하나는 숫자를 더하는 것과 곱하는 것 사이의 관계와 관련이 있다. 일, 이, 삼과 같은 자연수 목록을 가져와서 그것들을 모두 더한다고 상상해 보자. 이제 똑같은 숫자들을 세제곱하여—각 숫자에 자신을 두 번 더 곱하여—그 결과들을 모두 더한다고 상상해 보자. 수 세기 동안 수학자들은 놀라운 우연을 발견했다. 즉, 세제곱들의 합은 원래 숫자들의 합의 제곱과 정확히 일치한다는 것이다. 이것은 작은 숫자들에만 적용되는 방법이 아니라, 어떤 크기의 숫자 목록에도 성립한다. 이 사실은 잘 알려져 있지만, 왜 이런 일이 일어나는지에 대한 더 깊은 이유와, 이것이 독특한 우연인지 아니면 더 크고 엄격한 구조의 일부인지에 대해서는 조용한 호기심의 대상으로 남아 왔다. 질문은 단순히 숫자 그 자체에 관한 것이 아니라, 그들 사이의 관계가 가진 특정한 형태에 관한 것이다.

밀라노의 교사인 구글리에모 베스코(Guglielmo Vesco)의 최근 논문은 고대 수학자 니코마쿠스(Nicomachus)가 남긴 원래의 관찰로 돌아감으로써 이 미스터리를 파고든다. 니코마쿠스는 오늘날 우리가 사용하는 현대적인 대수적 형태로 이 항등식을 기술하지 않았다. 대신, 그는 홀수를 이용한 시각적 패턴을 관찰했다. 그는 첫 번째 세제곱수인 1은 그냥 숫자 1이라고 보았다. 두 번째 세제곱수인 8은 다음 두 개의 홀수인 3과 5의 합이다. 세 번째 세제곱수인 27은 다음 세 개의 홀수인 7, 9, 11의 합이다. 이 패턴은 무한히 계속되며, 각 새로운 세제곱수는 한 번에 하나씩 늘어나는 연속된 홀수 블록들로 구성된다. 베스코의 연구는 이 고대의 패턴을 출발점으로 받아들이며 다음과 같은 단순한 질문을 던진다. 왜 이 특정한 홀수 배열이 세제곱수에 완벽하게 들어맞는가?

이를 설명하기 위해, 저자는 문제에 접근하는 일반적인 사고방식을 뒤집는다. 세제곱수로부터 홀수를 찾아내는 대신, 그는 어떤 숫자를 두 제곱수의 차이로 분해한다는 아이디어에서 시작한다. 그는 어떤 숫자의 거듭제곱이 이와 같은 방식으로 연속된 홀수의 합으로 분해될 수 있는지 묻는다. 수학적으로 살펴보면, 이는 1보다 큰 모든 거듭제곱에 대해 실제로 가능하다. 어떤 숫자를 제곱하거나 네 제곱하더라도, 항상 그것을 연속된 홀수의 합으로 쓰는 방법을 찾을 수 있다. 이는 숫자를 홀수 블록으로 분해하는 능력이 세제곱수에만 국한된 것이 아님을 의미한다. 그러나 저자는 이 차이를 구성하는 두 제곱수를 자세히 들여다볼 때, 세제곱수에서만 특별한 일이 일어난다는 것을 발견했다.

세제곱수의 경우, 차이를 형성하는 두 제곱수는 항상 두 연속된 삼각수의 제곱이다. 삼각수는 물체를 삼각형 모양으로 쌓을 때 얻는 총합이다: 1, 그다음 3, 그다음 6, 그다음 10과 같은 식이다. 저자는 다른 모든 거듭제곱의 경우, 이 분해에 사용되는 두 제곱수가 이러한 삼각수와 대응하지 않는다는 것을 증명한다. 오직 세제곱수의 경우에만, 이 홀수 블록을 구성하는 두 제곱수가 삼각수의 수열과 완로하게 일치하도록 수학적으로 강제된다. 이 정렬이야야말로 홀수 블록들이 틈이나 겹침 없이 완벽하게 맞물리는 비결이다. 한 블록의 끝이 정확히 다음 삼각수가 시작되는 지점과 일치하기 때문에, 다음 홀수 블록은 마지막 홀수 바로 다음에 즉시 시작되어 매끄러운 사슬을 만들어낸다. 이것이 왜 니코마쿠스의 패턴이 세제곱수에서는 매우 매끄럽게 작동하지만, 다른 거듭제곱에서는 끊기고 불연속적일 수밖에 없는지를 설명해 준다.

그 후 논문은 시야를 넓혀, 개별 블록뿐만 아니라 전체 합을 볼 때도 이 특별한 관계가 유지되는지 질문한다. 저자는 한 종류의 숫자를 특정 거듭제곱으로 올린 합이 다른 종류의 숫자를 다른 거듭제곱으로 올린 합과 같아지는 다른 조합이 있는지 조사한다. 이러한 합이 성장하는 알려진 성질들을 사용하여, 그는 단 하나의 비자명한 해답만이 존재함을 입증한다. 세제곱수의 합이 정수의 합의 제곱과 같아지는 유일한 경우는 니코마쿠스가 설명한 특정한 경우뿐이다. 모든 가능한 숫자 목록에 대해 이 정확한 등식을 만들어내는 다른 거듭제곱 쌍은 존재하지 않는다.

결론적으로, 이 논문은 니코마쿠스의 항등식이 두 가지 뚜렷하면서도 연결된 방식으로 특별하다는 것을 밝혀낸다. 국소적으로는, 연속된 홀수로의 분해가 자연스럽게 삼각수의 수열을 생성하여 블록들이 완벽하게 맞물리도록 하는 유일한 거듭제곱이다. 전역적으로는, 거듭제곱이 같은 자명한 경우를 제외하고, 거듭제곱의 총합이 총합의 거듭제곱과 일치하는 유일한 사례이다. 이 연구는 숫자에 대한 새로운 발견을 제시하는 것이 아니라, 기존의 패턴이 왜 존재하는지에 대한 새로운 명료함을 제공하는 것이다. 이는 이 항등식이 무작위적인 우연이 아니라, 그 구성 요소들이 정밀하게 맞물리는 방식에 의해 구별되는, 독보적인 구조적 특징임을 보여준다.