Find all integers such that there exists a convex -gon which satisfies the following conditions:
- All interior angles of the polygon are equal
- Not all sides of the polygon are equal
- There exists a triangle and a point inside the polygon such that the triangles are all similar to , not necessarily in the same vertex order.
Solution
To solve the problem, we need to find all integers such that there exists a convex -gon with the following properties:
1. All interior angles of the polygon are equal.
2. Not all sides of the polygon are equal.
3. There exists a triangle and a point inside the polygon such that the triangles are all similar to , not necessarily in the same vertex order.
We will proceed by proving several claims and using them to determine the possible values of .
1. **Claim 1: The interior angle bisectors of cannot concur at a point.
Proof:**
Since the polygon is equiangular, if all of these angle bisectors concurred at , then we would have:
This implies that all the triangles are congruent, so all the sides are equal, which contradicts the condition that not all sides are equal.
2. **Claim 2: One of the angles of is .
Proof:**
From Claim 1, we note that for some , we must have , meaning that these two angles must be angles in . Therefore, the last angle is the exterior angle of the original polygon, which is , as desired.
Let the angles of be , , and .
3. **Claim 3: We cannot have for all .
Proof:**
Suppose this were the case. Then, we would have:
Continuing in this line, we would have:
Combining this with the original assumption gives that , where the orientation is in vertex order. However, this yields:
This means that the similar triangles are actually congruent, so the sides are all equal, which is a contradiction.
This means that we must replace some of the 's in the center ('s) with 's and 's. However, since all of the 's snugly fit in of space, we cannot replace the 's with anything bigger (without adding smaller angles). This means that we cannot have .
4. **Claim 4: We must have .
Proof:**
Suppose that . This means that , meaning that we cannot have (since they all sum to ). Combining this with the previous inequality gives that one of is smaller than , and the other is larger. Without loss of generality, suppose we have .
From Claim 3, we cannot have all of the 's in the center, so at least one -measured angle is on the perimeter. Without loss of generality, let . Now, note that:
Note that this cannot be equal to or , since . Therefore, we must have:
This is a contradiction.
From here, we eliminate the smaller cases:
- For : An equiangular triangle must be an equilateral triangle.
- For : Note that is a rectangle, and . However, these 's cannot appear on the edge of the polygon (i.e., ), since the interior angle is also . This means for all , contradicting Claim 3.
- For : Note that . Without loss of generality, from Claim 3, suppose we have , meaning that . Therefore, we have that . However, the only way to combine 5 of these angles to get a total of in the center is to use five angles, contradicting Claim 3.
A family of constructions for is listed below, for and (verification is not difficult with the Law of Sines):
The final answer is .