다각형의 공정 분할 입문

초록

양의 정수 N이 주어졌을 때, 모든 2차원 볼록 다각형 영역을 N개의 볼록 조각으로 나누어 각 조각이 동일한 면적과 동일한 둘레를 갖게 할 수 있는가? N = 2인 경우는 명백히 ‘예’가 된다. 우리는 N = 4인 경우에도 답이 ‘예’임을 증명하고, 2의 거듭 제곱인 N에 대해서도 논의를 전개한다.

상세 요약

이 논문은 “동일 면적·동일 둘레”라는 두 가지 제약을 동시에 만족하는 볼록 다각형의 공정 분할 문제를 다룬다. 기존의 등면적 분할(equipartition) 연구는 주로 면적만을 고려했으며, 둘레까지 일치시키는 조건은 거의 다루어지지 않았다. 저자는 먼저 N = 2인 경우를 재검토한다. 여기서는 한 직선을 이용해 다각형을 정확히 반으로 나누면 면적과 둘레가 자동으로 동일해지는 것이 직관적으로 보이지만, 실제로는 둘레가 동일하도록 직선을 선택해야 하는 미세 조정이 필요하다.

N = 4에 대해서는 두 단계의 이분법을 적용한다. 첫 단계에서 ‘햄‑샌드위치 정리(ham‑sandwich theorem)’를 활용해 다각형을 면적이 절반이면서 동시에 둘레가 절반이 되는 두 부분으로 나눈다. 두 번째 단계에서는 각 절반을 다시 동일한 방법으로 이분하여 총 네 개의 조각을 만든다. 중요한 점은 첫 단계에서 얻은 두 부분이 각각 볼록성을 유지해야 한다는 것이다. 이를 위해 저자는 ‘볼록성 보존 절단(convexity‑preserving cut)’이라는 개념을 도입하고, 절단선이 다각형의 외곽을 지나지 않도록 하는 기하학적 조건을 증명한다.

또한 저자는 2의 거듭 제곱 N = 2^k (k ≥ 1)에 대해 귀납적 증명을 제시한다. k = 1,2에 대한 기본 사례가 확립되면, k → k + 1 단계에서는 이미 구축된 2^k개의 조각을 각각 다시 두 개로 나누는 과정을 반복한다. 이때 각 단계마다 ‘동시 면적·동시 둘레 절단’이 가능함을 보이기 위해, 다각형의 경계 곡선 길이를 매개변수화하고, 연속성 원리를 이용해 원하는 절단선을 찾는 연속함수 존재성을 활용한다.

논문은 마지막으로 이러한 방법이 2의 거듭 제곱이 아닌 N에 대해서는 일반적으로 적용되지 않으며, 특히 소수인 N에 대해서는 현재 알려진 방법이 없다는 점을 언급한다. 이는 향후 연구 과제로 남겨두며, 비볼록 다각형이나 고차원 일반화에 대한 가능성도 제시한다.