MathDB
Wot n' Minimization

Source: IMO SL 2019 A3

September 23, 2020
algebraIMO ShortlistIMO Shortlist 2019Sequence

Problem Statement

Let n3n \geqslant 3 be a positive integer and let (a1,a2,,an)\left(a_{1}, a_{2}, \ldots, a_{n}\right) be a strictly increasing sequence of nn positive real numbers with sum equal to 2. Let XX be a subset of {1,2,,n}\{1,2, \ldots, n\} such that the value of 1iXai \left|1-\sum_{i \in X} a_{i}\right| is minimised. Prove that there exists a strictly increasing sequence of nn positive real numbers (b1,b2,,bn)\left(b_{1}, b_{2}, \ldots, b_{n}\right) with sum equal to 2 such that iXbi=1. \sum_{i \in X} b_{i}=1.