divisibility of central binomial coefficient
In this entry, we shall prove two results about thedivisibility of central binomial coefficientswhich were stated in the main entry.
Theorem 1.
If is an integer and is a prime number such that , then divides .
Proof.
We will examine the following expression for our binomial coefficient:
Since , we find appearing in the numerator. However, cannot appear in the denominator because the terms there are allsmaller than . Hence, cannot be cancelled, so it must divide.∎
Theorem 2.
If is an integer and is a prime number such that , then does not divide .
Proof.
We will again examine our expression for our binomial coefficient:
This time, because , we find appearing in the denominatorand appearing in the numerator. No other multiples will appear because,if , then . The two occurrences of noted above cancel, hence is not a prime factor
of .∎