다각형에 숨은 정사각형 이산 사각형 고정점 문제의 새로운 증명

본 논문은 고전적인 “정사각형 고정점 문제”(square peg problem)의 특수 경우인 조각선(다각형) 버전에 대해 두 개의 새로운 직접 증명을 제시한다. 서론에서는 문제의 역사적 배경을 간략히 소개하고, 기존에 알려진 결과—특히 볼록 곡선에 대한 해결책과 복잡한 위상학·분석적 증명—을 언급한다. 저자는 조각선에 대해서는 아직도 직접적인 ‘초등적’ 증명이 없다고 지적하고, 이를 메우기 위해 두 가지 접근법을 제시한다. 첫 번째 증명(섹션 2.1)은 “인스크리브드 삼각형” 방법이다. 다각형 X를 토러스 T = X × X 위에 매개변수화하고, (y, z) 쌍에 대해 정사각형의 나머지 두 꼭짓점 u, v 를 정의한다. 여기서 U와 V는 각각 u와 v가 X 위에 놓이는 (y, z) 쌍의 집합이다. 일반 위치(generic) 가정 하에 U와 V는 유한한 조각선들의 합집합이며, 각 조각선은 y가 X를 따라 이동할 때 발생하는 교차점들의 연속적인 변화를 반영한다. 저자는 U가 토러스 위에서 대각선 Δ와 비자명하게 동형이며, 홀수 개의 교차점을 가진다는 사실을 증명한다. 이를 통해 U와 V가 반드시 교차함을 보이고, 교차점에서 정사각형이 존재함을 결론짓는다. 비일반적인 경우는 작은 교란을 가해 일반 위치로 근사하고, 극한 과정을 통해 동일한 결과를 얻는다. 두 번째 증명(섹션 2.2)은 “변형(deformation)” 방법이다. 먼저 Lemma 2.2를 통해 네 개의 일반 위치 직선 ℓ₁…ℓ₄가 주어지면 유일한 정사각형이 존재함을 보인다. 이후 다각형 X를 연속적인 조각선 변형 {Xₜ}₀≤ₜ≤₁ 로 움직이면서, 정사각형의 각 정점이 변을 따라 단조적으로 이동하도록 설계한다. 변형 과정에서 정점이 꼭짓점에 닿는 순간을 제외하면 정사각형 개수는 변하지 않는다. 꼭짓점에 닿는 경우는 두 개의 정사각형이 동시에 생성·소멸하거나, 개수가 2씩 감소하는 현상이 발생한다. 따라서 전체 변형 구간 동안 정사각형 개수의 홀짝성(parity)은 보존된다. 초기 단계에서 홀수 개가 존재함을 보이면, 최종 단계에서도 적어도 하나의 정사각형이 남는다. 비일반적인 다각형은 작은 교란을 가해 일반 위치로 근사하고, 극한을 취함으로써 동일한 결론을 얻는다. 섹션 3에서는 문제의 역사적 전개를 간략히 서술한다. Toeplitz의 원 제안부터 시작해, Emch의 볼록 곡선 증명, Shnirelman의 연속 변형 아이디어, 그리고 최근의 연구들을 언급한다. 특히, 기존 증명들이 복잡한 위상학·분석적 도구에 의존하는 반면, 본 논문의 두 증명은 순수히 기하학적·위상학적 직관에 기반한다는 점을 강조한다. 결론적으로, 저자는 조각선에 대한 “정사각형 고정점 문제”를 두 가지 새로운 직접 증명으로 해결했으며, 이는 기존 문헌에서 제시된 비직관적 방법들을 대체할 수 있는 간결하고 교육적인 접근법을 제공한다는 점에서 의미가 크다.