TransWikia.com

Suppose that $N$ and $r$ are positive integers. Prove or disprove that if $N$ is an even integer and $r$ is odd, then $binom{N}{r}$ is even.

Mathematics Asked by s1mple on November 2, 2021

Suppose that $N$ and $r$ are positive integers. Prove or disprove that if $N$ is an even integer and $r$ is odd, then $binom{N}{r}$ is even.

My attempt:

Let $N=2m$ and $r=2k+1$. Then $$binom{N}{r}=binom{2m}{2k+1}=dfrac{(2m)!}{(2(m-k)-1)!(2k+1)!}$$
Also, we know that $binom{N}{r}$ is always an integer. How do I proceed to show it is even or odd?

Also note that $n!$ is even for all $nge2$.

3 Answers

I think the easiest way to see this is as follows. If $N$ is even and $r$ is odd then any selection of $r$ items from $N$ either has an odd number of items in the first half and an even number in the second half, or vice versa. By symmetry, each of these possibilities gives rise to the same number of selections.

Answered by Especially Lime on November 2, 2021

Suppose you have $n$ elements and you choose $r$ of them. Since $n$ is even, pair off the $n$ elements into $n/2$ pairs. Number the pairs $p_1, ... p_{n/2}$. Since $r$ is odd, at least one of the pairs has one chosen and one unchosen element. Let $i$ be the smallest index of such a pair.

Then, "swap" the choice in $p_i$. That is: if $p_i$ consists of objects $a$ and $b$, and $a$ was chosen in the original choice, then choose $b$ instead.

For every way to choose $r$ objects from a set of $n$, this "swap" gives a new way. Swapping twice results in the original way, and swapping once gives a different way.

Therefore, this "swap" corresponds to a function $f$ from $binom{n}{r}$ to itself that has no fixed points and $f circ f = id$. This can only happen on a set with an even number of elements.

Answered by David Lui on November 2, 2021

By Legendre's formula, the power of $2$ dividing $n!$ is $$v_2(n!)=sum_{i=1}^infty leftlfloorfrac{n}{2^i}rightrfloor.$$ So the power of $2$ dividing $binom{n}{r}=frac{n!}{r!(n-r)!}$ is $$sum_{i=1}^inftyleft( leftlfloorfrac{n}{2^i}rightrfloor-leftlfloorfrac{r}{2^i}rightrfloor-leftlfloorfrac{n-r}{2^i}rightrfloorright).$$

For each $i$, the term in parentheses is nonnegative since $lfloor arfloor + lfloor brfloor leq lfloor a+brfloor$ for any $a,b$. Do you see why the term for $i=1$ must be strictly positive, which would imply that the sum is also positive and give the conclusion you want?

Answered by pi66 on November 2, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP