Lattice triangles whose centers are lattice points

"격자 삼각형의 중심이 격자점인 경우"에 대한 크리스티안 에비와 그랜트 케인스의 논문에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 격자 기하학(정수 기하학) 과 유클리드 기하학의 교차점을 탐구합니다. 구체적으로 다음과 같은 질문에 답합니다:
정수 격자 $\mathbb{Z}^2$ 위에 꼭짓점이 있는 특정 유형의 삼각형 (예각, 둔각, 또는 직각) 이 주어졌을 때, 그 고전적인 중심 중 하나 (외심 $F$, 무게중심 $G$, 또는 수심 $H$) 가 또한 격자점이라면, 그 격자 둘레 $\ell$의 가능한 값은 무엇인가?

정의:

• 격자점: $\mathbb{Z}^2$의 원소.
• 격자 길이: 두 격자점을 연결하는 선분에 대해, 격자 길이는 선분 위의 격자점 개수에서 1 을 뺀 값입니다.
• 격자 둘레 ($\ell$): 다각형의 변들의 격자 길이의 합입니다. 이는 다각형의 경계 위에 있는 격자점의 총 개수와 동일합니다.
• 중심:
  • $F$: 외심 (수직이등분선의 교점).
  • $G$: 무게중심 (중선의 교점).
  • $H$: 수심 (높이의 교점).

저자들은 둔각과 직각 삼각형의 조건이 덜 제한적임을 보였으므로, 주로 예각 삼각형에 초점을 맞춥니다.

2. 방법론

저자들은 정수론적 논증, 기하학적 구성, 그리고 격자 불변량의 대수적 분석을 결합하여 사용합니다.

• 대수적 공식: 꼭짓점 좌표에 대한 $F$, $G$, $H$의 명시적 좌표 공식을 활용합니다. 사용된 핵심 항등식은 오일러 직선 관계식 $2F + H = 3G$입니다.
• 격자 불변량:
  • 보조정리 1: 임의의 격자 삼각형에 대해, 임의의 두 변 길이의 최대공약수 (GCD) 는 세 변 길이의 최대공약수와 같음을 확립합니다.
  • 보조정리 2 및 3: 삼각형의 각도를 꼭짓점과 수심을 연결하는 선분의 격자 길이와 연관시킵니다. 구체적으로, $H$가 격자점이라면 $\tan(\theta) = \ell_{\theta}/m$이며, 여기서 $\ell_{\theta}$는 대변의 길이이고 $m$은 꼭짓점에서 $H$까지의 선분의 격자 길이입니다.
  • 짝수성 논증 (보조정리 4 및 Corollary 1): 외심에 대한 제약을 결정하기 위해 좌표의 짝수성 (짝수/홀수) 을 분석합니다. $F$가 격자점이면 꼭짓점들은 특정 짝수성 속성을 공유해야 하므로, 격자 둘레는 짝수가 되어야 합니다.
  • 합동 산술 (보조정리 7): 무게중심 $G$가 격자점이고 한 변의 길이가 3 의 배수라면, 모든 변의 길이는 3 의 배수여야 합니다.
• 구성적 증명: 유효한 $\ell$에 대한 존재성을 증명하기 위해, 저자들은 요구 조건을 만족하는 꼭짓점 $O(0,0)$, $A(z,0)$, $B(x,y)$를 가진 삼각형을 명시적으로 구성합니다.
• 배제 증명: 무효한 $\ell$에 대한 부존재성을 증명하기 위해, $\ell$을 세 변의 길이로 분할하는 모든 가능한 정수 분할을 열거하고 위의 보조정리들을 사용하여 모순을 보입니다 (예: 삼각형이 예각일 수 없음을 보이거나 GCD 조건이 실패함을 보임).
• 수치적 검증: 정리 2 의 증명에서, 특정 각도 조합이 $\pi$(180 도) 로 합해질 수 없음을 보여주기 위해 아크탄젠트 합의 수치 계산을 사용합니다. 이를 통해 특정 격자 둘레를 배제합니다.

3. 주요 기여 및 결과

이 논문은 세 가지 고전적 중심 각각에 대해 격자 중심을 가진 예각 격자 삼각형의 존재에 대한 필요충분조건을 확립합니다.

A. 수심 ($H$)

• 정리 1: 격자 둘레가 $\ell$이고 격자 수심을 가진 예각 격자 삼각형이 존재할 필요충분조건은 $\ell = 6$이거나 $\ell \geq 8$인 경우입니다.
• 배제된 값: $\ell \in \{3, 4, 5, 7\}$.
• 통찰: 7 과 같은 작은 정수의 배제는 세 쌍별 서로소 정수의 합과 관련된 정수론적 호기심과 연결됩니다.

B. 외심 ($F$)

• 정리 2: 격자 둘레가 $\ell$이고 격자 외심을 가진 예각 격자 삼각형이 존재할 필요충분조건은 $\ell$이 짝수이고 ($\ell = 8$이거나 $\ell \geq 12$) 인 경우입니다.
• 배제된 값: 짝수 $\ell \in \{2, 4, 6, 10\}$.
• 제약: 격자 둘레는 짝수여야 합니다 (Corollary 1 의 결과). $\ell \neq 10$이라는 조건은 아크탄젠트와 관련된 복잡한 각도 분석에서 유도됩니다.

C. 무게중심 ($G$)

• 정리 3: 격자 둘레가 $\ell$이고 격자 무게중심을 가진 예각 격자 삼각형이 존재할 필요충분조건은 $\ell \geq 3$이고 $\ell \notin \{5, 11\}$인 경우입니다.
• 배제된 값: $\ell \in \{1, 2, 5, 11\}$.
• 통찰: 5 와 11 의 배제는 3 과 서로소인 정수들의 합과 관련된 정수론적 명제와 관련이 있습니다.

D. 결합된 중심

이 논문은 여러 중심이 동시에 격자점인 경우를 분석합니다:

• $G$와 $H$가 격자점: $\ell$은 3 의 배수여야 하며 $\ell \geq 9$여야 합니다 (3 과 6 제외).
• $F, G, H$가 격자점: $\ell$은 6 의 배수여야 하며 $\ell \geq 12$여야 합니다 (6 제외).
• 참고: $F$가 격자점이면 오일러 직선을 통해 $H$는 자동으로 격자점이 됩니다.

E. 둔각 및 직각 삼각형

저자들은 이러한 결과를 비예각 삼각형과 대비시킵니다:

• 수심: 둔각/직각 삼각형의 경우, 어떤 $\ell \geq 3$도 가능합니다.
• 외심: 둔각/직각 삼각형의 경우, 어떤 짝수 $\ell \geq 4$도 가능합니다.
• 무게중심: 둔각 삼각형의 경우 $\ell \notin \{5, 11\}$이라는 제약이 유효하지만, 직각 삼각형의 경우 $\ell$은 3 의 배수여야 합니다 (그리고 $\geq 9$).

4. 의의

• 분야 간 연결: 이 논문은 격자 기하학 ($GL(2, \mathbb{Z})$) 과 유클리드 기하학 ($O(2, \mathbb{R})$) 의 변환군 사이의 긴장 관계를 강조합니다. 기초적인 기하학적 제약이 비자명한 정수론적 제약을 초래할 수 있음을 보여줍니다.
• 호기심 어린 배제: 결과는 가능한 격자 둘레 집합에 "간격"이 있음을 보여줍니다 (예: 왜 수심의 경우 7 이 불가능한지, 혹은 왜 무게중심의 경우 5 와 11 이 불가능한지). 이러한 간격은 임의적인 것이 아니라 정수 분할과 서로소성의 깊은 성질에서 비롯됩니다.
• 미해결 문제: 논문은 내심에 관한 미해결 문제로 마무리됩니다. 저자들은 유사한 결과가 존재할 것으로 의심하지만, 내심 공식이 분모에 변 길이를 포함하는 복잡성으로 인해 이 문제가 훨씬 더 어려울 수 있음을 시사합니다. 내심이 격자점이지만 내접원 반지름이 무리수인 예시를 제시하여 이 경우의 고유한 어려움을 보여줍니다.

5. 결론

에비와 케인스는 격자 중심을 가진 예각 격자 삼각형에 대한 격자 둘레의 완전한 분류를 제공합니다. 그들의 작업은 기하학적 질문을 해결 가능한 정수론적 문제로 변환하여 둘레에 대한 정확한 "금지" 값을 식별하고 모든 유효한 경우에 대한 구성적 증명을 제공합니다. 결과는 논문의 표 3에 요약되어 있으며, 다양한 중심 제약 하에서 달성 가능한 격자 둘레에 대한 포괄적인 참고 자료 역할을 합니다.