[논문 리뷰] A parametrization of equilateral triangles having integer coordinates

Eugen J. Ionaşcu|ArXiv.org|2006. 08. 02.

Mathematics and Applications참고 문헌 4인용 수 21

한 줄 요약

이 논문은 3차원 공간에서 정수 좌표를 가진 정삼각형의 완전한 매개변수화를 제공하며, 이러한 삼각형이 존재하는 것은 그 변의 길이가 정수 $m,n$에 대해 $\sqrt{2(m^2 - mn + n^2)}$ 형태임과 동치임을 증명한다. 또한 $\mathbb{Z}^3$ 내 정규 사면체의 특성도 규명하여, 변의 길이가 $k\sqrt{2}$ ($k \in \mathbb{N}$)일 때에만 존재함을 보이며, 아이젠슈타인-야코비 정수와 디오판틴 방정식을 통한 법선 벡터 제약 조건을 이용한 매개변수 프레임워크를 유도한다.

ABSTRACT

We study the existence of equilateral triangles of given side lengths and with integer coordinates in dimension three. We show that such a triangle exists if and only if their side lengths are of the form $\sqrt{2(m^2-mn+n^2)}$ for some integers $m,n$. We also show a similar characterization for the sides of a regular tetrahedron in $\Z^3$: such a tetrahedron exists if and only if the sides are of the form $k\sqrt{2}$, for some $k\in\N$. The classification of all the equilateral triangles in $\Z^3$ contained in a given plane is studied and the beginning analysis is presented. A more general parametrization is proven under a special assumption. Some related questions are stated in the end.

연구 동기 및 목표

• 3차원 정수 좌표를 가진 정삼각형이 존재할 수 있는 필요 및 충분 조건을 규명하는 것.
• 아핀 변환에 대해 고려할 때 이러한 삼각형을 모두 분류하고 일반적인 매개변수화를 도출하는 것.
• 정규 사면체의 분석을 확장하여 $\mathbb{Z}^3$ 내에서의 변의 길이와 대칭성을 특성화하는 것.
• 평면에 포함된 이러한 삼각형의 법선 벡터를 제약하는 디오판틴 방정식의 역할을 탐색하는 것.
• 예를 들어 $\mathcal{E}\mathcal{T}(n)$처럼 유한한 정수 격자 내에서 이러한 삼각형의 수를 계산하는 데 기초를 마련하는 것.

제안 방법

• 정수 좌표를 가진 정삼각형이 포함된 평면의 법선 벡터 $\vec{n} = (a,b,c)$에 대한 필수 조건을 유도: 어떤 $d \in \mathbb{Z}$에 대해 $a^2 + b^2 + c^2 = 3d^2$.
• 아이젠슈타인-야코비 정수 $\zeta = m + n\omega$의 노름을 사용하여 변의 길이를 $\sqrt{2N(\zeta)}$ 형태로 매개변수화, 여기서 $N(\zeta) = m^2 - mn + n^2$.
• 유리수 직교 변환과 아핀 변환을 적용하여 기본 구성에서 모든 이러한 삼각형을 생성하는 것.
• 디오판틴 제약 조건 하에서 매개변수 좌표의 정수성을 입증하기 위해 모듈로 산술과 보조정리 6.2를 활용.
• 정수 좌표를 가진 정삼각형과 매개변수 $r,s$를 포함한 디오판틴 방정식의 연립해와의 일대일 대응을 수립.
• 두 제곱수의 합에 대한 가우스의 특성화를 적용하여 법선 벡터 방정식의 특정 경우에서 자명한 해를 배제하는 데 사용.

실험 결과

연구 질문

• RQ1 어떤 변의 길이 $l$에 대해 $\mathbb{Z}^3$ 내 정수 좌표를 가진 정삼각형이 존재하는가?
• RQ2 아핀 대칭에 대해 고려할 때 이러한 삼각형의 완전한 매개변수화는 무엇인가?
• RQ3 $\mathbb{Z}^3$ 내 정규 사면체가 존재하는 조건은 무엇인가?
• RQ4 이러한 삼각형을 포함하는 평면의 법선 벡터는 디오판틴 방정식에 의해 어떻게 제약받는가?
• RQ5 $\{0,1,\dots,n\}^3$ 내에서 이러한 삼각형의 수인 $\mathcal{E}\mathcal{T}(n)$은 유도된 매개변수화를 통해 효율적으로 계산할 수 있는가?

주요 결과

• 정수 좌표를 가진 정삼각형이 $\mathbb{Z}^3$ 내에 존재하는 것은 그 변의 길이가 어떤 정수 $m,n$에 대해 $\sqrt{2(m^2 - mn + n^2)}$ 형태임과 동치이다.
• 정수 좌표를 가진 정규 사면체가 존재하는 것은 그 간선 길이가 어떤 $k \in \mathbb{N}$에 대해 $k\sqrt{2}$ 형태임과 동치이다.
• 원점에 한 점이 있는 변의 길이가 $9\sqrt{2}$인 정규 사면체는 큐브 대칭을 고려할 때 정확히 세 개인데, 이는 원점 고정 대칭에 대해 고려할 때이다.
• 이러한 정삼각형을 포함하는 평면의 법선 벡터는 $a^2 + b^2 + c^2 = 3d^2$를 만족하며, $a,b,c,d \in \mathbb{Z}$ 이고 $\gcd(a,b,c)=1$ 이다.
• 삼각형의 정점 매개변수화는 정수 매개변수 $r,s$와 법선 벡터 성분으로 완전히 결정되며, 유도된 디오판틴 조건 하에서 정수성은 보장된다.
• 정수 격자 $\{0,1,\dots,n\}^3$ 내에서 이러한 삼각형의 수를 세는 수열 $\mathcal{E}\mathcal{T}(n)$은 잘 정의되어 있으며, $8, 80, 368, 1264, \dots$로 시작하며, 계산적 순열을 통해 총 34개의 항이 계산되었다.