Olympiad Maths Prep

Track / Stage 7 / 85 of 300 #1485 of 2000

Problem 1485

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

We say the set {1,2,,3k} \{1,2,\ldots,3k\} has property D D if it can be partitioned into disjoint triples so that in each of them a number equals the sum of the other two.

(a) Prove that {1,2,,3324} \{1,2,\ldots,3324\} has property D D.

(b) Prove that {1,2,,3309} \{1,2,\ldots,3309\} hasn't property D D.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

### Part (a)

1. Base Case:
We start by verifying that the set D3={1,2,3} D_3 = \{1, 2, 3\} has property D D . Indeed, we can partition D3 D_3 into the triple {1,2,3} \{1, 2, 3\} , where 3=1+2 3 = 1 + 2 .

2. Inductive Step:
Suppose Dn={1,2,,n} D_n = \{1, 2, \ldots, n\} has property D D . We need to show that D4n D_{4n} and D4n+3 D_{4n+3} also have property D D .

- **For D4n D_{4n} :**
We can partition D4n D_{4n} into the following sets:
{1,2n+n,2n+n+1},{3,2n+n1,2n+n+2},{5,2n+n2,2n+n+3},,{2n1,2n+1,4n} \{1, 2n+n, 2n+n+1\}, \{3, 2n+n-1, 2n+n+2\}, \{5, 2n+n-2, 2n+n+3\}, \ldots, \{2n-1, 2n+1, 4n\}
Additionally, the even integers can be partitioned as:
{2,4,6,,2n}=2Dn \{2, 4, 6, \ldots, 2n\} = 2D_n
Since Dn D_n has property D D , 2Dn 2D_n also has property D D . Therefore, D4n D_{4n} has property D D .

- **For D4n+3 D_{4n+3} :**
We can partition D4n+3 D_{4n+3} into the following sets:
{1,2n+n+2,2n+n+3},{3,2n+n+1,2n+n+4},{5,2n+n,2n+n+5},,{2n+1,2n+2,4n+3} \{1, 2n+n+2, 2n+n+3\}, \{3, 2n+n+1, 2n+n+4\}, \{5, 2n+n, 2n+n+5\}, \ldots, \{2n+1, 2n+2, 4n+3\}
Additionally, the even integers can be partitioned as:
{2,4,6,,2n}=2Dn \{2, 4, 6, \ldots, 2n\} = 2D_n
Since Dn D_n has property D D , 2Dn 2D_n also has property D D . Therefore, D4n+3 D_{4n+3} has property D D .

3. Conclusion:
By induction, we have shown that if Dn D_n has property D D , then D4n D_{4n} and D4n+3 D_{4n+3} also have property D D . We now check the specific cases:
- D3 D_3 has property D D .
- 3×4=12 3 \times 4 = 12
- 12×4+3=51 12 \times 4 + 3 = 51
- 51×4+3=207 51 \times 4 + 3 = 207
- 207×4+3=831 207 \times 4 + 3 = 831
- 831×4=3324 831 \times 4 = 3324

Therefore, D3324 D_{3324} has property D D .

### Part (b)

1. Sum of Elements:
The sum of the elements in D3309={1,2,,3309} D_{3309} = \{1, 2, \ldots, 3309\} is:
i=13309i=3309×33102=5470095 \sum_{i=1}^{3309} i = \frac{3309 \times 3310}{2} = 5470095
This sum is odd.

2. **Property D D Requirement:**
For a set to have property D D , the sum of the elements in each triple must be even. Therefore, the sum of all elements in the set must also be even.

3. Conclusion:
Since the sum of the elements in D3309 D_{3309} is odd, D3309 D_{3309} cannot have property D D .

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