Let be a set of points in the plane, no three of which are collinear. Initially these points are connected with segments so that each point in is the endpoint of exactly two segments. Then, at each step, one may choose two segments and sharing a common interior point and replace them by the segments and if none of them is present at this moment. Prove that it is impossible to perform or more such moves.
Solution
A line is said to be red if it contains two points of . As no three points of are collinear, each red line determines a unique pair of points of . Moreover, there are precisely red lines. By the value of a segment we mean the number of red lines intersecting it in its interior, and the value of a set of segments is defined to be the sum of the values of its elements. We will prove that (i) the value of the initial set of segments is smaller than and that (ii) each step decreases the value of the set of segments present by at least 2. Since such a value can never be negative, these two assertions imply the statement of the problem.
To show (i) we just need to observe that each segment has a value that is smaller than . Thus the combined value of the initial segments is indeed below .
It remains to establish (ii). Suppose that at some moment we have two segments and sharing an interior point , and that at the next moment we have the two segments and instead. Let denote the set of red lines intersecting the segment in its interior and let the sets , , and be defined similarly. We are to prove that .
As a first step in this direction, we claim that
Indeed, if is a red line intersecting, e.g. the segment in its interior, then it has to intersect the triangle once again, either in the interior of its side , or in the interior of its side , or at , meaning that it belongs to or to (see Figure 1). Moreover, the red lines and contribute to but not to . Thereby (1) is proved.

Figure 1
Figure 2
Figure 3
Similarly but more easily one obtains
Indeed, a red line appearing in belongs, for similar reasons as above, also to . To make the argument precise, one may just distinguish the cases (see Figure 2) and (see Figure 3). Thereby (2) is proved.
Adding (1) and (2) we obtain the desired conclusion, thus completing the solution of this problem.