An integer is written in each cell of a board of rows and columns. Prove that some columns (possibly none) can be deleted so that in each row the sum of the numbers left uncrossed out is even.
Problem 1375
Official solution
1. Define the sets and the board:
Let be the set of columns of the given board, where each column and for all and .
2. Define the power set and related sets:
Let be the power set of , i.e., the set of all subsets of , including the empty set and itself. Then .
Let . Then .
Let . Then .
3. **Pairing elements of with :**
We pair the elements of with the elements of according to the following rule:
if
for all and .
4. Application of the pigeonhole principle:
Since for all , by the pigeonhole principle, there must be at least two different elements that are paired with the same element in .
5. Constructing the desired set of columns:
Consider the sets and which are paired with the same element in . Define the symmetric difference of and as:
Since , this set is non-empty.
6. Ensuring the sum in each row is even:
If we remove all columns except the ones belonging to the set , the sum of the numbers left uncrossed out in each row will be even. This is because the sums corresponding to and are the same modulo 2, and the symmetric difference will ensure that the sums in each row are even.