Abstract:We prove, by using elimination from algebraic geometry, that the only set $S\subset\mathbb{R}^2$, $\left|S\right|=6$ such that all subsets that build a triangle are isosceles triangles, is the regular pentagon with its center.
What problem does this paper attempt to address?
The paper attempts to solve a geometric problem proposed by Paul Erdős, which is as follows:
### Problem Description
In his later years, Erdős published a list of unsolved problems, including some geometric problems. This paper gives a detailed proof of the 91st problem in Erdős' list of open problems (see [Erdős Problem List](https://www.erdoesproblems.com/91)). The content of this problem is:
**Find a set \( S \) of 6 points in the plane such that for any triangle formed by any three points is an isosceles triangle.**
Obviously, a regular pentagon and its center are a solution. The goal of this paper is to prove that **this is the only solution**.
### Specific Content
1. **Problem Setup**:
- It is required to find a set \( S\subset \mathbb{R}^2 \) containing 6 points such that for any triangle formed by any three points is an isosceles triangle.
- Obviously, a regular pentagon and its center satisfy this condition.
2. **Equation Establishment**:
- Let these 6 points be \( A_1=(x_1, y_1), A_2=(x_2, y_2),\ldots, A_6=(x_6, y_6) \).
- Use the Pythagorean theorem to represent the conditions of isosceles triangles. For example, for triangle \( A_iA_jA_k \), the condition for it to be an isosceles triangle can be represented as:
\[
\left( (x_i - x_j)^2+(y_i - y_j)^2-(x_j - x_k)^2-(y_j - y_k)^2 \right)\cdot\left( (x_j - x_k)^2+(y_j - y_k)^2-(x_k - x_i)^2-(y_k - y_i)^2 \right)\cdot\left( (x_k - x_i)^2+(y_k - y_i)^2-(x_i - x_j)^2-(y_i - y_j)^2 \right)=0
\]
- For all possible triples \((i, j, k)\), 20 such polynomial equations \( p_1, p_2,\ldots, p_{20} \) can be listed.
3. **Non - Degeneracy Conditions**:
- To ensure that the points do not coincide, non - degeneracy conditions also need to be added:
\[
(x_i - x_j)^2+(y_i - y_j)^2\neq0\quad\text{for all}\quad i\neq j
\]
- These conditions can be represented as 14 polynomials \( q_1, q_2,\ldots, q_{14} \).
4. **Elimination Ideal**:
- Use the Rabinowitsch trick to introduce non - degeneracy conditions into the equation system to form a new polynomial system.
- Calculate the elimination ideal to find all possible point sets \( S \).
5. **Simplify the Problem**:
- Since the computational complexity of the 6 - point problem is high, the author first considers the case of 5 points and successfully finds all possible solutions.
- Then, based on these solutions, verify whether it can be extended to 6 points.
### Conclusion
Through the above steps, the author proves that only the solution of a regular pentagon and its center can satisfy all conditions, thus solving the problem proposed by Erdős.
### Summary
This paper uses the methods of algebraic geometry, polynomial equations and elimination ideals to prove that there is a unique set of 6 points in the plane such that any triangle formed by any three points is an isosceles triangle, that is, a regular pentagon and its center.