Maths Olympiad Prep

Library / /22 of 32

Geometry Difficulty 6.2 National Olympiad Prove it Estonia

Find all positive integers nn such that one can choose n3n-3 non-intersecting diagonals of a regular nn-gon that divide the nn-gon into triangles in such a way that every chosen diagonal is a side of minimal length in some triangle.

Solution

Let \triangle be the triangle containing the center OO of the nn-gon (colored in Fig. 23; if the center lies on a diagonal then choose either of the triangles having this diagonal as a side). Let dd be any side of \triangle. If dd is a diagonal of the nn-gon then dd separates \triangle from a neighboring triangle whose other two sides are shorter than dd. By assumption, dd has to be a side of minimal length in \triangle. But if dd is a side of the nn-gon then dd is also a side of minimal length in \triangle. Thus all
sides of \triangle are equally minimal, meaning that \triangle is equilateral. Consequently, there is a constant number of sides of nn-gon between the endpoints of every side of \triangle. Hence n=3s0n = 3s_0 for a positive integer s0s_0.

Figure 1
Fig. 23

Consider now an arbitrary triangle Δ\Delta' neighboring Δ\Delta. Let dd' be any of its two sides not common with Δ\Delta. If dd' is a diagonal of the nn-gon then dd' separates Δ\Delta' from a third triangle whose other sides are shorter than dd'. Thus dd' must be a side of minimal length in Δ\Delta'. But if dd' is a side of the nn-gon then dd' is also a side of minimal length in Δ\Delta'. Hence the sides of Δ\Delta' not common with Δ\Delta have equal length and there must be the same number of sides of the nn-gon between the endpoints of these sides of Δ\Delta'. Consequently s0=2s1s_0 = 2s_1 where s1s_1 is a positive integer.
If the sides of equal length of Δ\Delta' are sides of the nn-gon then s1=1s_1 = 1 and n=32n = 3 \cdot 2. Otherwise we can continue similarly to get s1=2s2s_1 = 2s_2 where either s2=1s_2 = 1 or s2=2s3s_2 = 2s_3, etc. Thus n=32kn = 3 \cdot 2^k for a natural number kk. A construction for every nn of the form 32k3 \cdot 2^k follows from the argumentation.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.