Back to Mathematical Olympiad
Difficulty: 9/102020 IMO 2020 (Q3)

There are pebbles of weights . Each pebble is coloured in one of colours and there are four pebbles of each colour. Show that we can arrange the pebbles into two piles so that the following two conditions are both satisfied:

  • The total weights of both piles are equal.

  • Each pile contains two pebbles of each colour.

Options:

  • Such an arrangement always exists.

  • B.

    No such configuration exists under the given conditions.

  • C.

    The relation holds only for sufficiently large values in the system.

  • D.

    There is no general solution for all cases.

Guide / Hint

Hint 1: The total weight is . Each pile needs weight . Start by splitting each colour's 4 pebbles into 2+2 arbitrarily.

Hint 2: For each colour with pebbles , there are 3 ways to split into pairs. Each gives a different weight contribution to pile A. The difference between splits is always even.

Hint 3: Use a swapping argument: changing one colour's split adjusts the weight difference. Show the set of achievable total weights covers .

Solution

Step 1 (Total weight): The total weight is , which is even. Each pile should have weight .

Step 2 (Initial arrangement): For each colour, there are 4 pebbles. Place 2 in pile A and 2 in pile B (any initial split). This satisfies the colour condition.

Step 3 (Weight adjustment): If the weights are already equal, done. Otherwise, suppose pile A is heavier. We swap pebbles between piles, maintaining the colour condition, to equalize weights.

Step 4 (Swap graph): Consider swapping two pebbles of the same colour between piles. If colour has pebbles with in A and in B, swapping changes the weight difference by . The set of achievable weight changes through single-colour swaps generates all even integers in a range.

Step 5 (Reachability): For each colour , the three possible splits into pairs give three different weight contributions. Varying over all colours, the total weight differences form a connected set covering all even values in the needed range. By an intermediate value / parity argument (or flow-based argument), the weight for each pile is achievable.

Ready to track your progress and master these topics?

Create a free account