공통 네트로 연결되는 무한 삼중 테트라헤드론

초록

각 변이 1인 볼록한 정육각형(모든 각이 π⁄3 ~ π 사이)에서, 각도 쌍이 ℚ‑선형 독립이면 그 육각형을 전개한 동일한 평면 네트를 공유하는 서로 다른 세 개의 테트라헤드론을 만들 수 있다. 이때 각 테트라헤드론은 변을 따라 절단한 ‘엣지‑언지핑’ 경로가 존재한다.

상세 분석

논문은 “엣지‑언지핑”이라는 개념을 중심으로 전개된다. 먼저 정육각형을 ‘주변 절반 접기(perimeter‑halving)’ 방식으로 두 쌍의 대변을 서로 맞대어 접으면, 알렉산드로프 정리에 의해 볼록 다면체가 생성된다. 변의 길이가 모두 1이므로 접힌 면은 꼭짓점이 네 개인 테트라헤드론이 된다. 대변을 세 가지 방법(0‑3, 1‑4, 2‑5)으로 선택하면 서로 다른 세 개의 테트라헤드론이 얻어지며, 각각은 1‑2‑3‑4‑5‑0 순서대로 이어지는 세 개의 단위 변을 포함한다.

다음으로 세 테트라헤드론이 실제로 서로 다른지 확인한다. 각 테트라헤드론의 꼭짓점 곡률(2π − 인접 면각)의 집합을 계산하고, 각도 쌍이 ℚ‑선형 독립이면 이 곡률 집합이 서로 일치할 수 없음을 보인다. 즉, 어떤 두 테트라헤드론이 동형이라면 각도 사이에 유리계수 관계가 존재해야 하는데, 이는 가정에 위배된다. 따라서 세 다면체는 서로 비동형이다.

핵심은 ‘엣지‑언지핑’ 경로가 실제로 다면체의 변으로 이루어져 있는지를 증명하는 것이다. 테트라헤드론의 경우 모든 정점 쌍이 직접 연결된 변을 가지고 있으므로, 두 정점 사이의 최단 경로는 반드시 그 변이다(레마 2). 따라서 육각형의 세 단위 변이 접힌 뒤에도 가장 짧은 경로라면, 그것은 테트라헤드론의 변이 된다.

이 최단 경로임을 보이기 위해 논문은 각이 π⁄3보다 큰 ‘두꺼운(fat)’ 조건을 이용한다. 각이 충분히 크면 대각선 길이가 1보다 작아질 수 없고, 따라서 각 단위 변을 중심으로 반지름 1인 원판이 다른 정점을 포함하지 않는다. 원판이 다른 복사본으로 ‘오버행’하더라도, 그 폭이 작아 각이 π⁄3 이하가 되면 모순이 발생한다. 따라서 원판 안에 다른 정점이 없으며, 해당 변은 실제로 최단 경로가 된다(레마 3).

결과적으로, 레마 1, 2, 3을 차례로 적용하면 정육각형이 동일한 평면 네트를 제공하는 세 개의 서로 다른 테트라헤드론을 만든다. 각 테트라헤드론은 변을 따라 절단한 해밀턴 경로(엣지‑언지핑)로 전개될 수 있다. 각도와 선형 독립성 조건은 연속적인 파라미터 공간을 형성하므로, 이러한 육각형은 셀 수 없이 많다(코롤러리 1).

마지막으로 논문은 짝수 n에 대해 동일한 구성을 일반화하는 명제와, 모든 경우에 엣지‑언지핑 경로가 실제 변이 된다는 추측을 제시한다. 이는 현재 알려진 도구만으로는 증명하기 어려우며, 향후 연구 과제로 남는다.