MathDB
Assigning integers to rational points

Source: All-Russian MO 1999

December 31, 2012
inductionfunctioncombinatorics unsolvedcombinatorics

Problem Statement

Each rational point on a real line is assigned an integer. Prove that there is a segment such that the sum of the numbers at its endpoints does not exceed twice the number at its midpoint.