다각형과 다면체의 곡률 극값 및 사정점 정리

본 논문은 “곡률 극값과 사정점 정리”라는 고전적인 미분기하학 결과를 다각형과 다면체와 같은 이산 구조에 확장하고, 그 과정에서 새로운 정의와 정리를 제시한다. **1. 서론** 곡률은 200년 넘게 수학·물리학에서 핵심 개념이었지만, 매끄러운 C² 곡선·표면에만 엄밀히 정의된다. 실제 응용에서는 지도 일반화, 컴퓨터 모델링, 메쉬 처리 등에서 이산 형태가 주를 이룬다. 따라서 저자는 “전역적 성질”—가우스–보네 정리와 사정점 정리—을 보존하는 이산 곡률 정의가 필요하다고 주장한다. **2. 이산 곡률과 가우스–보네** 다각형의 각 정점 A에서의 각도 결핍 \(\pi-\angle A\) 를 곡률이라 정의하고, 다면체에서는 \(2\pi\) 빼기 인접 면들의 평면 각도 합을 곡률로 삼는다. 이 정의는 전체 곡률 합이 2π(다각형) 혹은 \(2\pi\chi(M)\) (다면체) 로 가우스–보네 정리를 그대로 만족한다. **3. 사정점 정리와 그 역사** 고전 사정점 정리(뭇바라야, Kneser 등)는 매끄러운 폐곡선에 최소 4개의 곡률 극값이 존재함을 말한다. Cauchy와 Aleksandrov는 19세기 초 다각형에 대한 “각도·길이 변화 부호가 최소 4번 바뀐다”는 레마를 제시했으며, 이는 사정점 정리의 이산 버전으로 해석될 수 있다. **4. 다각형선에서의 극값 정점 정의** 다각형선 \(\Gamma\) 의 연속된 세 정점 \((V_{i-1},V_i,V_{i+1})\) 로부터 외접원 \(C_i\) 를 만든다. 정점이 양성(내각 ≤π)인지 음성(내각 >π)인지에 따라 “곡률이 크다/작다”를 외접원과 다음 정점 \(V_{i+2}\) 의 위치(내부·외부)로 정의한다. 이렇게 하면 \(V_{i+1}\prec V_i\succ V_{i-1}\) 혹은 \(V_{i+1}\succ V_i\prec V_{i-1}\) 인 경우를 “극값 정점”이라 부른다. **5. 진화선(카우스틱)과 꼬임수** 각 정점 \(V_i\) 로부터 삼각형 \((V_{i-1},V_i,V_{i+1})\) 의 외접원의 중심 \(O_i\) 를 구하고, 이를 순서대로 연결해 다각형선의 “진화선” \(K(\Gamma)=O_1\ldots O_n\) 을 만든다. 매끄러운 곡선에서는 곡률 중심이 진화선의 꼬임을 이루는데, 이산 경우에도 동일한 관계가 성립한다. 정리 3.1은 “\(V_i\) 가 극값이면 \(O_i\) 가 진화선에서 꼬임을 만든다”는 것을 증명한다. **6. 극값 정점 수와 꼬임수의 관계식** 정리 3.2(논문에 명시된 공식)는 \