On a blackboard there are numbers. In each step we select two numbers from the blackboard and replace both of them by their sum. Determine all numbers for which it is possible to yield identical number after a finite number of steps.
Solution
We are given positive integers on a blackboard. At each step, we pick two numbers, say and , and replace them with their sum . We aim to determine all values of for which it is possible to make all numbers on the blackboard identical after a sequence of such operations.
To solve this problem, we consider the following steps:
1. Understanding the Operation: Each operation selects two numbers and replaces them with their sum. The total sum of all numbers on the blackboard remains constant throughout all operations. Let this total sum be .
2. Final Condition: For all numbers to be identical, each must equal . Therefore, must be divisible by .
3. Divisibility Constraint: Initially, consider numbers that are distributed arbitrarily. The sum of these numbers is fixed. To make all numbers the same, say , we need . Hence, must divide the initial sum .
4. Parity Argument: The crucial aspect is whether is even or odd:
- If is even, the sum of any set of numbers can be manipulated to be divisible by through a series of operations, stemming from the fact that each operation induces parity adjustments which explore all even divisions of the initial .
- If is odd, regardless of the initial numbers, at least one number’s parity will dominate the configuration (either more odds than evens), resulting in an inability to achieve an all-even or all-odd homogeneous setup without altering .
5. Conclusion:
- Operations that preserve divisibility imply that every operation change retains the evenness of concerning , when is even. Hence, equalizing all numbers is feasible when is even.
- In contrast, for odd , such parity balance required across the steps is generally not achievable starting from arbitrary initial conditions.
Thus, the values of for which it is possible for all numbers on the blackboard to become identical are when is even. Therefore, we conclude that the solution is: