IMC 1994 · Problem 3

Day 113 points1st IMC · Plovdiv, Bulgaria

Statement

Given a set SS of 2n12n - 1, nNn \in \mathbb{N}, different irrational numbers. Prove that there are nn different elements x1,x2,,xnSx_1, x_2, \dots, x_n \in S such that for all non-negative rational numbers a1,a2,,ana_1, a_2, \dots, a_n with a1+a2++an>0a_1 + a_2 + \dots + a_n > 0 we have that a1x1+a2x2++anxna_1 x_1 + a_2 x_2 + \dots + a_n x_n is an irrational number.

Official solution

Hidden so you can work on the problem first.