고차원 시각적 증명과 4차 거듭제곱 합의 신비한 인수

초록

본 논문은 삼각수·제곱수·세제곱수에 대한 전통적인 시각적 증명을 고차원으로 확장하여, 4차원에서 니코마쿠스 정리를, 5차원에서는 (3n^{2}+3n-1) 인수가 나타나는 이유를 기하학적으로 설명한다. 저자는 차원별 조각 맞추기와 절단‑붙여넣기 기법을 이용해 Faulhaber 다항식의 인수 구조를 시각화하고, 이를 통해 차원과 분모·분자 인수 사이의 대응 관계를 밝힌다.

상세 분석

논문은 먼저 1차원(선분), 2차원(삼각형), 3차원(피라미드)에서의 고전적인 시각적 증명을 재정리한다. 특히 3차원에서 제곱수 합을 ‘정사각형 기반 피라미드’를 3개 모아 직육면체로 만드는 과정에서 나타나는 ‘DIY 단계’가 차원의 수와 분모를 연결시킨다는 점을 강조한다. 이 아이디어를 일반화하기 위해 저자는 “섹션” 기법을 도입한다. 고차원 초입체를 저차원 평면에 투사하거나 절단함으로써, 복잡한 부피 계산을 평면상의 격자 카운팅 문제로 전환한다. Lemma 2.1은 이러한 전환이 대수적으로도 동일함을 보여주며, p‑차원에서 p+1개의 초입체를 결합하면 분모가 p+1이 되는 일반 패턴을 제시한다.

다음으로 4차원에서 니코마쿠스 정리(세제곱수 합이 제곱수 합의 제곱과 동일함)를 시각화한다. 4차 초입체(4‑하이퍼피라미드)를 4개 결합해 4‑차원 직육면체를 만든 뒤, 각 차원의 길이를 (n,,n+1,,n+1,,\frac{n(n+1)}{2}) 로 표현한다. 이때 분자는 네 개의 인수, 분모는 4가 되며, 이는 앞서 3차원에서 관찰한 구조와 완벽히 일치한다. 저자는 이를 3‑차원 단면과 2‑차원 퍼즐으로 다시 축소해, 실제 그림 없이도 독자가 논리적 흐름을 따라갈 수 있게 한다.

가장 혁신적인 부분은 5차원에서 나타나는 불가분 인수 (3n^{2}+3n-1)에 대한 설명이다. 5‑차원 피라미드 5개를 결합하면 얻어지는 5‑차원 직육면체의 한 변 길이는 (n+1)가 되지만, 나머지 두 변은 단순히 (n) 혹은 (n+1)의 선형식이 아니라 이차식으로 나타난다. 저자는 두 차례의 절단‑붙여넣기 과정을 통해 첫 번째는 (n(n+1))을, 두 번째는 (n^{2}+n-1)을, 마지막으로 (n+1)의 제곱을 생성한다. 특히 두 번째 절단‑붙여넣기에서 발생하는 ‘불균형 조각’이 바로 (3n^{2}+3n-1) 인수와 대응한다. 이는 기존의 Faulhaber 다항식에서 보였던 인수 구조가 기하학적 조각의 불균형에서 기인한다는 새로운 해석을 제공한다.

전체적으로 논문은 차원‑인수‑분모 삼위일체를 시각적·대수적 두 축에서 동시에 탐구한다. 차원을 하나씩 늘릴 때마다 필요한 초입체 개수가 차원 수와 일치하고, 그 결과 직육면체의 부피가 Faulhaber 다항식의 분자 인수와 정확히 맞물린다. 특히 5차원에서 등장하는 불가분 이차식은 ‘조각 맞추기’ 과정에서 발생하는 기하학적 제약을 반영한다는 점에서, 전통적인 대수적 증명만으로는 설명하기 어려운 깊은 통찰을 제공한다.