olymmath

ISL 2019 C6

    Let n>1n>1 be an integer. Suppose we are given 2n2 n points in a plane such that no three of them are collinear. The points are to be labelled A1,A2,…,A2nA_{1}, A_{2}, \ldots, A_{2 n} in some order. We then consider the 2n2 n angles ∠A1A2A3,∠A2A3A4,…,∠A2n−2A2n−1A2n,∠A2n−1A2nA1\angle A_{1} A_{2} A_{3}, \angle A_{2} A_{3} A_{4}, \ldots, \angle A_{2 n-2} A_{2 n-1} A_{2 n}, \angle A_{2 n-1} A_{2 n} A_{1}, ∠A2nA1A2\angle A_{2 n} A_{1} A_{2}. We measure each angle in the way that gives the smallest positive value (i.e. between 0∘0^{\circ} and 180∘180^{\circ} ). Prove that there exists an ordering of the given points such that the resulting 2n2 n angles can be separated into two groups with the sum of one group of angles equal to the sum of the other group. Comment. The first three solutions all use the same construction involving a line separating the points into groups of nn points each, but give different proofs that this construction works. Although Solution 1 is very short, the Problem Selection Committee does not believe any of the solutions is easy to find and thus rates this as a problem of medium difficulty.

    Dataset text NuminaMath olympiads. Quoted with source.

    Official text: IMO 2019 Shortlist booklet, page 9.

    Solutions

    Official solution Solution 1 by the IMO Problem Selection Committee

    The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).

    Locator isl/2019/c6 · Tag PEZ041ABT9 · Edit this page on GitHub · Keys: j next, k previous