Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$

기술 요약: $B(T) \in \{4, 5\}$를 만족하는 삼각형 내의 공선점 격자점

문제 정의
본 논문은 경계 격자점의 수 $B(T)$에 따른 격자 삼각형 내부 격자점의 기하학적 강직성(geometric rigidity)을 조사한다. 정수 $k$는 정확히 $n$개의 경계 점과 $k$개의 내부 점을 가진 격자 삼각형이 적어도 하나 존재하며, 그러한 모든 삼각형이 $k$개의 내부 점 모두가 공선(collinear)이라는 성질을 가질 때 **$B_n$-공선(collinear)**이라고 정의된다.

Li와 Paquin의 선행 연구가 $B(T)=3$일 때 $B_3$-공선 정수가 $\{1, 2, 4, 7\}$뿐임을 확립한 것에 이어, 본 연구는 $B_4$-공선 및 $B_5$-공선 정수를 완전히 분류하는 것을 목표로 한다. 핵심 질문은 경계 점의 수가 부과하는 조합론적 제약이 내부 점들을 공선 형태로 강제하는가 하는 점이다.

방법론
저자들은 정형적 격자 표현(canonical lattice representations), 픽의 정리(Pick's Theorem), 그리고 일반화된 토티언트 함수(generalized totient function)의 산술적 성질을 결합하여 연구를 수행한다.

1. 정형 형태(Canonical Form): 저자들은 Li와 Paquin이 확립한 정형 프레임워크를 변형하여 사용한다. $n$개의 경계 점을 가진 임의의 격자 삼각형은 내부 점, 경계 점, 그리고 내부 점의 공선성 여부를 변화시키지 않으면서 꼭짓점이 $(0,0), (1,0), (a,b)$인 "정형" 삼각형으로 변환될 수 있다.

   • $B(T)=4$의 경우, 높이 $b$는 픽의 정리에 의해 $b = 2k + 2$로 고정된다. $a$의 선택이 "유효(valid)"하려면 $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 2\}$여야 한다.
   • $B(T)=5$의 경우, 높이는 $b = 2k + 3$이다. $a$의 선택이 "유효"하려면 $\{ \gcd(a, b), \gcd(a-1, b) \} = \{1, 3\}$이어야 한다.

2. 비공선 기준(Non-Collinearity Criteria): 저자들은 내부 점들이 공선이 아님을 증명하기 위한 기준을 설정한다. 정형 삼각형과 직선 $x=1$의 교차를 분석함으로써, 특정 범위(구체적으로 $3 \le a \le k$) 내에서 유효한 매개변수 $a$가 존재하면, 해당 삼각형은 직선 $x=1$ 위에 적어도 두 개의 내부 점을 포함하고 이 직선을 벗어난 적어도 하나의 내부 점을 포함하게 됨을 입증한다. 두 점은 유일한 직선을 정의하므로, 그 직선을 벗어난 세 번째 점의 존재는 비공선성을 증명한다.

3. 산술 도구 (Alder의 함수): 유효한 매개변수 $a$의 존재를 결정하기 위해, 저자들은 $0 \le r < m$인 정수 중 $\gcd(m, r) = \gcd(m, 2r+1) = 1$을 만족하는 개수를 나타내는 Alder의 일반화된 토티언트 함수 $g(m)$을 활용한다.

   • $B(T)=4$ 케이스에서 $3$과$k$사이의 유효한$a$값의 개수는 정확히$g(k+1) - 1$임이 밝혀졌다.
   • 함수 $g$는 곱셈적(multiplicative)임이 증명되었으며, 이를 통해 $k+1$의 소인수 분해를 바탕으로 $g(k+1)$을 분석할 수 있다.

주요 결과

• 정리 1 (Case $B(T)=4$): 유일한 $B_4$-공선 정수는 1, 2, 5이다.

  • 증명 논리: $k=1$과 $k=2$의 경우 공선성은 자명하다. $k=3$과 $k=4$의 경우, 명시적인 반례(비공선 삼각형)가 제공된다. $k=5$의 경우, 유효한 $a$ 값들이 $2$또는$11 \pmod{12}$와 합동이라는 것을 증명하였다. 두 경우 모두 내부 점들이 단일 중선(median line) 위에 놓이게 되어 공선성이 보장된다. $k > 5$인 모든 경우에 대해, 저자들은 $g(k+1) > 1$임을 보여 $a$의 범위 $[3, k]$ 내에 유효한 $a$가 존재함을 입증한다. 비공선 기준에 의해, 이는 비공선 내부 점을 가진 삼각형의 존재를 보장한다.

• 정리 2 (Case $B(T)=5$): 존재하지 않는다.

  • 증명 논리: 먼저, 5개의 경계 점을 가진 격자 삼각형이 존재하려면 내부 점의 수 $k$가 반드시 3의 배수여야 함을 보인다($b = 2k+3$이 3으로 나누어져야 한다는 조건으로부터 유도됨).
  • $k$가 3의 배수인 모든 경우에 대해, 저자들은 꼭짓점이 $(0,0), (1,0), (4, 2k+3)$인 특정 정형 삼각형 $T_k$를 구성한다. 저자들은 $k \ge 3$일 때 이 삼각형이 직선 $x=1$ 위에 적어도 두 개의 내부 점을 포함하고 이 직선을 벗어난 적어도 하나의 내부 점을 포함함을 증명한다. 결과적으로, 어떤 $k$도 $B(T)=5$에 대해 공선성을 강제하지 못한다. 3의 배수가 아닌 정수는 삼각형 자체가 존재할 수 없으므로 정의에 의해 제외된다.

의의 및 주장
본 논문은 처음 세 가지 비자명한 경계 사례($n=3, 4, 5$)에 대한 완전한 분류를 제공한다고 주장한다. 결과는 다음과 같은 날카로운 구조적 대조를 보여준다:

• $B(T)=3$ 및 $B(T)=4$는 특정 내부 점의 개수가 공선성을 강제하는 특정한 제약을 보이는 반면, $B(T)=5$는 이러한 패턴을 완전히 무너뜨린다.
• 저자들은 경계 구조와 내부 점 기하학 사이의 상호작용이 기존에 알려진 것보다 더 미묘하다고 주장하며, 경계 수가 4에서 5로 증가함에 따라 어떤 $k$에 대해서도 강제된 공선성이 사라진다는 점을 강조한다.

본 논문은 $B_6$-공선 정수의 분류와 $n \to \infty$일 때의 일반적인 거동을 향후 연구를 위한 열린 문제로 남겨두며, 여기서 개발된 방법론이 이러한 탐구를 위한 기초 역할을 할 것이라고 명시한다. 저자들은 본인의 계산적 검증( $B(T)=4$에 대해 $k$가 $10^6$에 도달할 때까지 확인)이 이론적 분류를 뒷받침하지만, 이것이 공식적인 증명의 일부는 아님을 분명히 하였다.