Maths Olympiad Prep

Library / /29 of 115

Geometry Difficulty 7.0 National olympiad Find the answer

Let P \mathcal{P} be a convex polygon with n n sides, n3 n\ge3. Any set of n\minus3 n \minus{} 3 diagonals of P \mathcal{P} that do not intersect in the interior of the polygon determine a [i]triangulation[/i] of P \mathcal{P} into n\minus2 n \minus{} 2 triangles. If P \mathcal{P} is regular and there is a triangulation of P \mathcal{P} consisting of only isosceles triangles, find all the possible values of n n.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let P \mathcal{P} be a convex polygon with n n sides, where n3 n \geq 3 . We are interested in finding all possible values of n n such that there exists a triangulation of P \mathcal{P} into only isosceles triangles when P \mathcal{P} is regular.

A triangulation of P \mathcal{P} means choosing n3 n-3 diagonals such that the polygon is divided into n2 n-2 triangles. If all these triangles are isosceles then each angle of these triangles must be a rational multiple of π\pi due to the polygon being regular and having equal angles.

### Conditions for Isosceles Triangles

For a regular polygon, each internal angle is given by:

θ=(n2)πn \theta = \frac{(n-2)\pi}{n}

Consider the condition for the isosceles triangle inside P \mathcal{P} . For a triangle having two equal angles, say α\alpha, we know:

2α+β=π 2\alpha + \beta = \pi

Thus, α\alpha must be in the form of kπn\frac{k\pi}{n} for some integer kk.

### 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 π/n\pi/n.

This condition implies that:

- The central angles, which are subtended by two consecutive vertices forming a triangle, should be of the form 2mπn\frac{2m\pi}{n}
- The other two angles must be equal and kπn\frac{k\pi}{n}.

Important relationships can be derived based on symmetry, requiring nn to be such that:

1. There is an even lattice of division within π\pi.
2. The internal angles from the diagonals can resonate across all such constructions of isosceles triangles.

### Number Theoretic Characterization

It is required that nn 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 nn must possess properties of having a power of two times one more than a power of two, formally:

n=2a(2b+1) n = 2^a(2^b + 1)

where aa and bb 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 nn that allow for such triangulation into only isosceles triangles of a regular polygon are:

n=2a(2b+1) where a,b are nonnegative integers not both zero. \boxed{n = 2^a (2^b + 1) \text{ where } a, b \text{ are nonnegative integers not both zero.}}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.