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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in the plane where the unit regular polygon (i.e., a regular polygon with side length 1) is located, does there exist a point such that the distances from this point to each vertex of the polygon are all rational numbers. Specifically, for any given \(n \geq 3\), does there exist a point \(P\) in the plane of the unit \(n\)-gon \(P_{n}\) such that the distances from \(P\) to each vertex of \(P_{n}\) are all rational numbers.
The main problem in the paper can be formalized as:
\[ (P1) \text{ Does there exist a point } P \text{ in the plane of the unit } n\text{-gon } P_{n} \text{ such that the distances from } P \text{ to each vertex of } P_{n} \text{ are all rational numbers?} \]
By studying cases with different values of \(n\), the author has obtained the following conclusions:
- For \(n = 3\) (i.e., the unit equilateral triangle), the answer is yes, and these points are dense in the plane of the triangle.
- For \(n = 4\) (i.e., the unit square), it is currently unclear whether such a point exists, although existing results suggest that the answer is no.
- For \(n = 5\) (i.e., the unit regular pentagon), the answer is no.
- For \(n = 6\) (i.e., the unit regular hexagon), the answer is yes, and the centroid of the hexagon satisfies the condition.
- For \(n \geq 7\), unless \(n \in \{8, 12, 24\}\), the answer is no.
The key tool in the paper lies in the following observation: when \(n \geq 3\), if the answer to problem (P1) is yes, then there must exist an identity:
\[ \frac{n}{4} \cot \left( \frac{\pi}{n} \right) = \sqrt{r_1} \pm \sqrt{r_2} \pm \cdots \pm \sqrt{r_n} \]
where \(r_{i}\) are non - negative rational numbers. However, for \(n = 5\) and all \(n \geq 7\) (except possibly \(n \in \{8, 12, 24\}\)), such an identity cannot hold.
Therefore, the main contribution of the paper is to prove that for most cases where \(n \geq 5\), there does not exist a point \(P\) that satisfies the condition, and to point out that several special cases (such as \(n = 8, 12, 24\)) still need further study.