Let be a positive integer. Prove that there is an odd number of odd numbers among the numbers
CroatianCompetitions
Solution
Let us consider the binomial coefficients for .
Recall that is odd if and only if, in the binary representation, every bit of is less than or equal to the corresponding bit of (Lucas' theorem).
But we can use a parity argument:
The sum of all binomial coefficients for a given is :
But we are interested in the parity of for .
Note that , so the sequence is symmetric about .
For and , (odd).
Let be the set .
Let be the set .
Since , the set and have the same number of odd elements.
Now, the total number of odd binomial coefficients in the row is a power of (Lucas' theorem):
Let in binary have ones, then the number of odd binomial coefficients is .
But and are both (odd), so the number of odd binomial coefficients among to is .
Since and are symmetric, the number of odd binomial coefficients in is .
But is odd for .
Therefore, there is an odd number of odd numbers among .