Maths Olympiad Prep

Library / Final Round of National Olympiad /20 of 27

Final Round of National Olympiad

Geometry Difficulty 6.2 National Olympiad Prove it Estonia

Find all positive integers nn such that one can choose n−3n-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 d′d' be any of its two sides not common with Δ\Delta. If d′d' is a diagonal of the nn-gon then d′d' separates Δ′\Delta' from a third triangle whose other sides are shorter than d′d'. Thus d′d' must be a side of minimal length in Δ′\Delta'. But if d′d' is a side of the nn-gon then d′d' 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=3⋅2n = 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=3⋅2kn = 3 \cdot 2^k for a natural number kk. A construction for every nn of the form 3⋅2k3 \cdot 2^k follows from the argumentation.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.