[논문 리뷰] Points at Rational Distance from the Vertices of a Unit Polygon

Roy Barbara|ArXiv.org|2009. 12. 15.

Mathematics and Applications참고 문헌 1인용 수 3

한 줄 요약

이 논문은 정규 단위 n각형의 평면에 모든 꼭짓점으로부터 유리수 거리를 가지는 점이 존재하는지 조사한다. 대수적 수론과 갈루아 군의 성질을 이용하여, 그러한 점이 존재하는 것은 n=6(중심) 뿐이며, 가능하면 n=8, 12, 24일 수도 있다. 그 외의 모든 n≥5에 대해서는 그러한 점이 존재하지 않는다. 핵심 결과는 면적 표현의 대수적 구조와 그 유리수 계수의 제곱근 합으로 표현할 수 없음에 기인한 모순이다.

ABSTRACT

In this paper, we investigate the existence of a point in the plane of a unit polygon, that is at rational distance from each vertex of the polygon. A negative answer is obtained in almost all cases.

연구 동기 및 목표

• 정규 단위 n각형의 평면에서 모든 꼭짓점으로부터 유리수 거리를 가지는 점이 존재하는지 여부를 규명하는 것.
• n≥5에 대해 초점이 맞춰진 바쁜 열린 문제인 단위 정사각형(n=4)에 대해 그러한 점이 존재하는지 여부를 해결하는 것.
• 대부분의 n에 대해 이러한 점의 존재를 배제하기 위한 일반 기준을 필드 확장과 갈루아 이론을 기반으로 수립하는 것.
• n=8, 12, 24와 같이 존재 여부가 아직 미결인 특수 케이스를 식별하는 것.

제안 방법

• 정규 n각형의 면적을 $\frac{n}{4}\cot\frac{\pi}{n}$로 유도하며, 이는 후보 점과 각 변이 형성하는 삼각형 면적의 부호 있는 합과 같아야 한다.
• 헤론의 공식을 적용하여 각 삼각형 면적이 어떤 음이 아닌 유리수 $r_i$에 대해 $\sqrt{r_i}$ 형태임을 보이고, 식 $\frac{n}{4}\cot\frac{\pi}{n} = \sum \pm \sqrt{r_i}$ 를 도출한다.
• 체 이론을 적용하여 체 $\mathbb{Q}(\sqrt{r_1} \pm \sqrt{r_2} \pm \cdots \pm \sqrt{r_n})$ 가 '평탄한'(모든 $\mathbb{Q}$ 위 갈루아 군이 2군임) 것을 보인다.
• n=5 또는 $n\geq 7$, $n\notin\{8,12,24\}$ 일 때 $\mathbb{Q}(\cot\frac{\pi}{n})$ 가 평탄하지 않음을 보여, 그 갈루아 군이 비2군 성분(예: 순환군으로서의 순서 3 또는 4)을 포함함을 증명한다.
• 레마 2.5를 적용하여 특정 중첩 제곱근이 순환 사차 확장을 생성함을 보이고, 이러한 확장은 평탄하지 않으므로 특정 케이스를 배제한다.
• 제안 2.1을 사용하여 $d|n$ 이면 $\mathbb{Q}(\cot\frac{\pi}{d})$ 및 $\mathbb{Q}(\cos\frac{2\pi}{d})$ 가 $\mathbb{Q}(\cot\frac{\pi}{n})$ 에 포함됨을 보여, 갈루아 구조 분석이 가능하게 한다.

실험 결과

연구 질문

• RQ1 정규 단위 오각형의 평면에 모든 다섯 개 꼭짓점으로부터 유리수 거리를 가지는 점이 존재하는가?
• RQ2 어느 정규 단위 n각형(n≥5)에서 그러한 점이 존재하는가?
• RQ3 n=6 외에 일반적인 존재 불가 결과의 예외는 무엇이 있는가?
• RQ4 대수적 수론과 갈루아 이론을 사용하여 그러한 점의 존재를 배제할 수 있는가?
• RQ5 기하적 작도 가능성과 갈루아 군 구조는 이러한 점의 존재를 결정하는 데 어떤 역할을 하는가?

주요 결과

• n=5일 때는 그러한 점이 존재하지 않으며, 갈루아 군의 장애로 인해 $\frac{5}{4}\cot\frac{\pi}{5} = \sum \pm \sqrt{r_i}$ 식이 대수적으로 불가능하다.
• 모든 n≥7, n≠8,12,24에 대해 그러한 점이 존재하지 않으며, $\mathbb{Q}(\cot\frac{\pi}{n})$ 가 평탄하지 않아 제곱근 합의 체 구조와 모순되기 때문이다.
• n=6일 때는 그러한 점이 존재한다: 중심은 모든 여섯 꼭짓점으로부터 거리 1을 가지며, 유리수 거리 조건을 만족한다.
• n≥7에 대해 가능한 유일한 예외는 n=8, 12, 24이며, 이는 $\mathbb{Q}(\cot\frac{\pi}{n})$ 가 여전히 평탄할 수 있는 유일한 값이기 때문이다.
• n=5 또는 n≥7, n∉{8,12,24} 일 때 식 $\frac{n}{4}\cot\frac{\pi}{n} = \sum \pm \sqrt{r_i}$ 는 갈루아 군의 구조가 불일치하여 성립할 수 없다.
• 논문은 일반적인 대수적 장애를 제시한다: $\mathbb{Q}(\cot\frac{\pi}{n})$ 가 평탄하지 않다(즉, 2군이 아닌 갈루아 군을 포함한다)면, 그러한 점은 존재할 수 없다.