Maths Olympiad Prep

Track / Stage 7 / 54 of 300 #1454 of 1964

Problem 1454

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Prove it

For a fixed kk with 4k94 \le k \le 9 consider the set of all positive integers with kk decimal digits such that each of the digits from 11 to kk occurs exactly once.

Show that it is possible to partition this set into two disjoint subsets such that the sum of the cubes of the numbers in the first set is equal to the sum of the cubes in the second set.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

To show that it is possible to partition the set of all positive integers with k k decimal digits (where 4k9 4 \le k \le 9 ) such that each of the digits from 1 1 to k k occurs exactly once into two disjoint subsets with equal sums of cubes, we can proceed as follows:

1. Define the Set:
Let S S be the set of all positive integers with k k decimal digits such that each digit from 1 1 to k k occurs exactly once. For example, for k=4 k = 4 , S S would include numbers like 1234, 1243, 1324, etc.

2. Count the Elements:
The number of elements in S S is k! k! because we are permuting k k distinct digits.

3. Sum of Cubes:
We need to show that the sum of the cubes of the numbers in S S can be partitioned into two equal parts. Let T T be the sum of the cubes of all elements in S S . We need to find two disjoint subsets A A and B B of S S such that:
aAa3=bBb3=T2 \sum_{a \in A} a^3 = \sum_{b \in B} b^3 = \frac{T}{2}

4. Existence of Partition:
The problem can be approached by considering the properties of the numbers and their cubes. For k=4 k = 4 , the set S S has 4!=24 4! = 24 elements. The sum of the cubes of these 24 numbers can be partitioned into two subsets with equal sums. This is a combinatorial problem that can be solved using computational methods or by leveraging symmetry and properties of permutations.

5. **Example for k=4 k = 4 **:
For k=4 k = 4 , the set S S includes numbers like 1234, 1243, 1324, etc. By computational methods, it has been found that there are multiple ways to partition these numbers into two subsets with equal sums of cubes. The provided link shows 5 such partitions.

6. Generalization:
The same approach can be extended to k=5,6,7,8,9 k = 5, 6, 7, 8, 9 . The key idea is that the sum of the cubes of the numbers in S S can always be partitioned into two equal parts due to the properties of permutations and the symmetry in the distribution of the digits.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.