Skip to main content
OlympiadHQ

Browse · MathNet

Print

Mathematica competitions in Croatia

Croatia geometry

Problem

One of the numbers or is assigned to every vertex of a regular polygon. Rudi divides the polygon to triangles by drawing some diagonals that intersect each other only in the vertices of the polygon, and then inside each triangle writes the sum of the numbers assigned to its vertices. Prove that Rudi can choose the diagonals to draw in such a way that the minimal and the maximal number inside the triangles differ by at most . (Estonia 2010)
Solution
Note that if the numbers assigned to all vertices are equal, then Rudi can choose any diagonals. Hence we assume there is at least one -vertex and at least one -vertex. (We shall call the vertices "0-vertex" or "1-vertex", according to the number assigned to it.) By the strong induction on the number of vertices we will prove that Rudi can choose diagonals in such a way that the number written in each triangle is either or . If , the statement is obviously true. The case is also easy. If there is a diagonal connecting a -vertex with a -vertex, then Rudi draws that diagonal. Otherwise he draws any diagonal and obtains equal numbers ( or ) in both triangles. Assume that the statement is true for all polygons with less than vertices (), such that there are both a -vertex and a -vertex. In a polygon with vertices, we can choose two adjacent vertices and so that is a -vertex and a -vertex. Let be a vertex which is not adjacent to or (such vertex exists since ). If is a -vertex, Rudi connects it to , otherwise to . In this way Rudi has divided the polygon into two polygons with smaller number of vertices and each of them has both a -vertex and a -vertex. By the inductive hypothesis each of the two smaller polygons can be divided into triangles such that the numbers and are written in all of them, so the same holds for the polygon with vertices. This finishes the inductive step.

Techniques

Constructions and lociInduction / smoothingColoring schemes, extremal arguments