12점 정리의 간단한 증명

논문은 “12점 정리”라 불리는 격자다각형의 경계 격자점 수와 그 이중다각형의 경계 격자점 수의 합이 12가 된다는 명제를 다룬다. 먼저 M을 격자점이 정점에 놓인 볼록 다각형이라 정의하고, 내부에 격자점 O가 정확히 하나 존재한다는 가정을 둔다. 이때 M의 각 변을 O에서 바라보는 방향벡터를 취하고, 그 방향과 같은 방향이면서 O와 가장 가까운 격자점을 선택한다. 선택된 n개의 격자점을 순서대로 연결하면 새로운 다각형 M*가 만들어지며, 이를 “이중다각형”이라 부른다. M* 역시 O를 내부에 갖고, M과 M*는 서로 대칭적인 구조를 가진다. 핵심 아이디어는 m+m*가 일정하게 유지되는 변환을 찾는 것이다. 이를 위해 저자는 “단순 삼각형” 개념을 도입한다. 단순 삼각형은 그 내부와 경계에 격자점이 전혀 없는 삼각형을 의미한다. M에서 단순 삼각형 A₁A₂A₃을 삭제하면, M*에서는 대응되는 점 A₁₂, A₁₃, A₂₃을 이용해 A₁₂와 A₂₃을 삭제하고 A₁₃을 새로운 정점으로 삽입한다. 이때 삼각형 A₁OA₃, A₂OA₃, A₄OA₃이 모두 단순이며, Pick 정리에 의해 각 면적이 ½임을 확인한다. 같은 면적을 공유하는 세 삼각형의 밑변이 동일하므로, 해당 벡터들의 법선 방향 투영값이 동일함을 이용해 A₁₃, A₂₃, A₃₄가 일직선 상에 놓이고, A₂₃이 그 사이에 있음을 보인다. 따라서 M*에 대한 변환도 “단순 삼각형 추가”와 동일한 형태가 되며, m과 m*의 합은 변하지 않는다. 다음으로 저자는 임의의 M을 위와 같은 연산을 반복해 “격자점이 없는 변을 가진 평행사변형”으로 변형할 수 있음을 증명한다. 이 과정은 다음 세 경우로 나뉜다. (A) m=4이고 M 자체가 평행사변형 AB​CD이며, 대각선 AC와 BD가 O를 교점으로 한다. (B) m=4이지만 M은 삼각형 AB​D와 점 C가 BD 위에 있는 형태이며, 대칭점 D′와 중점 E를 이용해 일련의 삼각형 삭제·추가 과정을 거쳐 최종적으로 평행사변형 AD′C​D에 도달한다. (C) m=3인 삼각형 ABC인 경우, 각 정점에 대한 대칭점 A′, C′를 이용해 삼각형을 순차적으로 변형시켜 평행사변형 AC′A′C​에 도달한다. 각 경우마다 구체적인 삭제·추가 순서를 그림과 함께 제시한다. 평행사변형 AB​CD에서는 O가 대각선 AC와 BD의 교점이며, OA=OC, OB=OD가 성립한다. M* 역시 평행사변형이며, 각 변에 정확히 하나의 격자점이 존재한다. 따라서 m=4, m* =8이 되고, m+m* =12가 된다. 전체 증명은 복잡한 토릭 다양체 이론이나 모듈러 형식 등을 사용하지 않고, 순수 기하학과 Pick 정리, 벡터 투영이라는 기본적인 도구만으로 전개된다. 특히 “단순 삼각형 삭제·추가”라는 불변 변환은 격자다각형의 구조를 이해하는 데 강력한 도구가 될 수 있다. 이 방법은 기존에 알려진 16가지 경우를 전부 검토하는 전수조사 방식보다 훨씬 간결하며, 직관적인 그림과 함께 증명의 흐름을 따라가기 쉽다. 논문은 또한 이 접근법이 다른 격자다각형 문제, 예를 들어 Pick 정리의 일반화나 격자다각형의 면적·경계점 관계 연구에도 활용될 가능성을 제시한다.