We say the set has property 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 has property .
(b) Prove that hasn't property .
Problem 1485
Official solution
### Part (a)
1. Base Case:
We start by verifying that the set has property . Indeed, we can partition into the triple , where .
2. Inductive Step:
Suppose has property . We need to show that and also have property .
- **For :**
We can partition into the following sets:
Additionally, the even integers can be partitioned as:
Since has property , also has property . Therefore, has property .
- **For :**
We can partition into the following sets:
Additionally, the even integers can be partitioned as:
Since has property , also has property . Therefore, has property .
3. Conclusion:
By induction, we have shown that if has property , then and also have property . We now check the specific cases:
- has property .
-
-
-
-
-
Therefore, has property .
### Part (b)
1. Sum of Elements:
The sum of the elements in is:
This sum is odd.
2. **Property Requirement:**
For a set to have property , 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 is odd, cannot have property .