Recently I read in Koshy’s book [1] on Catalan numbers some divisibility properties of the binomial coefficients I had not seen before. Koshy credits them to Hermite. They are particularly interesting to me because (as Koshy notes) some of the most famous divisibility properties of the binomial coefficients are immediate corollaries. This post will give proofs of Hermite’s properties (following those in Koshy) and discuss the corollaries.

**Divisibility properties**. Let . Let denote the greatest common divisor of and . Then

**(1) ** is divisible by , and

**(2)** is divisible by .

**Proofs**

**(1)** Let . By the Euclidean algorithm, there exist integers *A* and *B* such that . Thus

, by the absorption identity. Then

, where *C* is an integer.

Thus divides . In other words, divides .

**(2)** Let . Then there exist integers *P* and *Q* such that . Thus

.

Let . Clearly *R* is an integer. Then we have

.

Thus divides . In other words, divides .

**Corollaries**

- The central binomial coefficient is even.
*Proof*: The greatest common divisor of*2n*and*n*is*n*. From Divisibility Property (1), is divisible by .

- The Catalan number is an integer.
*Proof*: The greatest common divisor of and is 1. By Divisibility Property (2), is divisible by .

- For
*p*prime and values of*n*with , is divisible by*p*.*Proof*: For values of*n*with , the greatest common divisor of*p*and*n*is 1. By Divisibility Property (1), is divisible by*p*.

**References**

1. Thomas Koshy, *Catalan Numbers with Applications*, Oxford University Press, 2009.