MathDB
Equal signs needed easy

Source: Kyiv City MO 2023 Round 1, Problem 7.2

December 16, 2023
algebra

Problem Statement

You are given n3n \geq 3 distinct real numbers. Prove that one can choose either 33 numbers with positive sum, or 22 numbers with negative sum.
Proposed by Mykhailo Shtandenko