MathDB
IMO Shortlist 2014 C7

Source:

July 11, 2015
IMO ShortlistcombinatoricsConvex hull

Problem Statement

Let MM be a set of n4n \ge 4 points in the plane, no three of which are collinear. Initially these points are connected with nn segments so that each point in MM is the endpoint of exactly two segments. Then, at each step, one may choose two segments ABAB and CDCD sharing a common interior point and replace them by the segments ACAC and BDBD if none of them is present at this moment. Prove that it is impossible to perform n3/4n^3 /4 or more such moves.
Proposed by Vladislav Volkov, Russia