Let be a natural number.
An grid is drawn on a blackboard and each field with one of the numbers or labeled. Then the row and also the column sums calculated and the sum of all these sums determined.
(a) Show that for no odd number there is a label with .
(b) Show that if is an even number, there are at least six different labels with .
Solution
### Part (a)
1. Let be the number of fields labeled with and be the number of fields labeled with . Then we have:
2. The sum of all the row and column sums is calculated. Each field in the grid is counted twice in (once in its row sum and once in its column sum). Therefore, we can express as:
3. For to be zero, we need:
4. Since is odd, is also odd. Therefore, is odd. If , then would be even, which contradicts the fact that is odd.
5. Hence, for no odd number , there is a labeling such that .
### Part (b)
1. If is even, then is also even. We need to show that there are at least six different labelings such that .
2. For , we need . Since is even, we can have .
3. The number of ways to choose fields out of fields to label with is given by the binomial coefficient:
4. We need to show that this number is at least 6 for . For , we have:
5. For , is even larger. Therefore, there are at least six different labelings such that .