Maths Olympiad Prep

Track / Stage 6 / 89 of 400 #1089 of 1964

Problem 1089

National olympiad, first round
Geometry Difficulty 6.1 Prove it

8,9

a) In a convex nn-gon, all diagonals are drawn. They divide it into several polygons.

Prove that each of them has no more than nn sides.

b) Prove that if nn is even, then each of the resulting polygons has no more than n1n-1 sides.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

a) The line on which a side of the partition polygon lies passes through two vertices of the original polygon, and no more than two such lines can pass through each vertex of the original polygon. Therefore, the number of sides of the partition polygon is not greater than the number of vertices of the original polygon.

b) The same reasoning as in part a) shows that the resulting polygon has no more than nn sides, and if the number of its sides is nn, then exactly two diagonals emanate from each vertex of the original polygon, bounding the resulting polygon. Let the two diagonals emanating from vertex A1A_{1} be A1ApA_{1} A_{p} and A1AqA_{1} A_{q}, bounding the resulting polygon. Then ApA_{p} and AqA_{q} are adjacent vertices, since otherwise there would be a diagonal inside the angle ApA1AqA_{\mathrm{p}} A_{1} A_{\mathrm{q}} that would cut the resulting polygon.

Indeed, a vertex lying between ApA_{\mathrm{p}} and AqA_{\mathrm{q}} would have to be connected to a vertex lying between A1A_{1} and ApA_{\mathrm{p}} or between A1A_{1} and AqA_{\mathrm{q}}. By changing the direction of the vertex numbering if necessary, we can assume that q=p+1q=p+1 and pn/2p \leq n / 2. If we exclude the diagonal A1Ap+1A_{1} A_{p}+1, then any other diagonal bounding the resulting polygon connects one of the vertices numbered from 2 to pp with some vertex. Therefore, the resulting polygon can have no more than 1+(n21)2=n11+\left(\frac{n}{2}-1\right) \cdot 2=n-1 sides. To obtain an example of an nn-gon, the cutting of which results in an (n1)(n-1)-gon, one can take a regular (n1)(n-1)-gon and cut off a small triangle, i.e., instead of vertex A1A_{1}, take two vertices A1A_{1}' and AnA_{\mathrm{n}}, located on the sides A1A2A_{1} A_{2} and A1An1A_{1} A_{\mathrm{n}-1} near vertex A1A_{1}.

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