Let be a convex polygon with sides, . Any set of diagonals of that do not intersect in the interior of the polygon determine a [i]triangulation[/i] of into triangles. If is regular and there is a triangulation of consisting of only isosceles triangles, find all the possible values of .
Solution
Let be a convex polygon with sides, where . We are interested in finding all possible values of such that there exists a triangulation of into only isosceles triangles when is regular.
A triangulation of means choosing diagonals such that the polygon is divided into triangles. If all these triangles are isosceles then each angle of these triangles must be a rational multiple of due to the polygon being regular and having equal angles.
### Conditions for Isosceles Triangles
For a regular polygon, each internal angle is given by:
Consider the condition for the isosceles triangle inside . For a triangle having two equal angles, say , we know:
Thus, must be in the form of for some integer .
### Constructing Isosceles Triangles in the Polygon
To have a triangulation only with isosceles triangles, the base angles of each triangle and the central angle at the vertex of the polygon opposite this base must also conform to being a rational fraction of .
This condition implies that:
- The central angles, which are subtended by two consecutive vertices forming a triangle, should be of the form
- The other two angles must be equal and .
Important relationships can be derived based on symmetry, requiring to be such that:
1. There is an even lattice of division within .
2. The internal angles from the diagonals can resonate across all such constructions of isosceles triangles.
### Number Theoretic Characterization
It is required that is formed such that there's symmetry allowing for triangulations into isosceles triangles. Classical constructions indicate these numbers satisfy the property of Steuerwald's theorem or Maurer's theorem which are related to number theoretic solutions dealing with cyclotomic fields.
The critical component is that must possess properties of having a power of two times one more than a power of two, formally:
where and are nonnegative integers and not simultaneously zero. This condition ensures that we can indeed partition the structure congruently into isosceles triangles internal to the polygon.
### Conclusion
Hence, the possible values of that allow for such triangulation into only isosceles triangles of a regular polygon are: