Maths Olympiad Prep

Library / /2 of 2

, 2014

Geometry Difficulty 5.7 AIME, harder Prove it United States

Problem:

Consider a regular nn-gon with n>3n>3, and call a line acceptable if it passes through the interior of this nn-gon. Draw mm different acceptable lines, so that the nn-gon is divided into several smaller polygons.

a. Prove that there exists an mm, depending only on nn, such that any collection of mm acceptable lines results in one of the smaller polygons having 3 or 4 sides.

b. Find the smallest possible mm which guarantees that at least one of the smaller polygons will have 3 or 4 sides.

Solution

Solution:

We will prove that if mn4m \geq n-4, then there is guaranteed to be a smaller polygon with 3 or 4 sides, while if mn5m \leq n-5, there might not be a polygon with 3 or 4 sides. This will solve both parts of the problem.

Given a configuration of lines, let P1,,PkP_{1}, \ldots, P_{k} be all of the resulting smaller polygons. Let E(Pi)E\left(P_{i}\right) be the number of edges in polygon PiP_{i}, and let E=E(P1)++E(Pk)E=E\left(P_{1}\right)+\cdots+E\left(P_{k}\right). First, note that whenever a new polygon is formed, it must have been because a larger polygon was split into two smaller polygons by a line passing through it. When this happens, kk increases by 1 and EE increases by at most 4 (it might be less than 4 if the line passes through vertices of the larger polygon). Therefore, if adding an acceptable line increases the number of polygons by aa, then EE increases by at most 4a4a.

Now, assume mn4m \geq n-4. At the beginning, we have k=1k=1 and E=nE=n. If the number of polygons at the end is p+1p+1, then En+4pE \leq n+4p, so the average number of edges per polygon is less than or equal to n+4p1+p\frac{n+4p}{1+p}. Now, note that each acceptable line introduces at least one new polygon, so pmn4p \geq m \geq n-4. Also, note that as pp increases, n+4p1+p\frac{n+4p}{1+p} strictly decreases, so it is maximized at p=n4p=n-4, where n+4p1+p=5n16n3=51n3<5\frac{n+4p}{1+p}=\frac{5n-16}{n-3}=5-\frac{1}{n-3}<5. Therefore, the average number of edges per polygon is less than 5, so there must exist a polygon with either 3 or 4 edges, as desired.

We will now show that if mn5m \leq n-5, then we can draw mm acceptable lines in a regular nn-gon A1A2AnA_{1} A_{2} \ldots A_{n} such that there are no polygons with 3 or 4 sides. Let M1M_{1} be the midpoint of A3A4A_{3} A_{4}, M2M_{2} be the midpoint of A4A5A_{4} A_{5}, \ldots, Mn5M_{n-5} be the midpoint of An3An4A_{n-3} A_{n-4}. Let the mm acceptable lines be A1M1,A1M2,,A1MmA_{1} M_{1}, A_{1} M_{2}, \ldots, A_{1} M_{m}. We can see that all resulting polygons have 5 sides or more, so we are done.

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.