Mmedv

Binomial coefficient

A combination of elements taken at a time is a set of elements chosen from the given elements. In this context, sets that differ only in the order of the elements (but not in their composition) are considered identical. It is precisely this property of combinations that distinguishes them from permutations.

For example, consider a set of elements: \{1, 2, 3, 4, 5\}. The sets \{2, 1, 3\} and \{3, 2, 1\} are identical as combinations (though different as permutations) because they consist of the same elements \{1, 2, 3\}.

The formula for calculating the number of combinations of elements taken at a time is

C_n^{k} = {n! \over k! \cdot (n - k)!}

The numbers C_n^{k} are called binomial coefficients.

When we choose zero elements from a set of elements, we are essentially making an “empty” choice. The empty set, in this context, is considered a valid combination. Imagine you have a box with balls, and you want to choose of them. Even if you don’t choose anything, it is still a valid choice. Thus, C_n^{0} is the number of ways to choose elements from , which is equal to .

We can think of this as the one and only way to not choose any elements from the set, which gives the result of .

C_n^{0} = {n! \over 0! \cdot (n - 0)!} = {n! \over 1! \cdot n!} = 1

When we choose one element from a set of elements, we have options to choose from: we can choose any one of the elements. For example, if we have a set of numbers from to (\{1, 2, 3, 4, 5\}), we can choose one number from this set, and we have options for this choice.

The value C_n^{1} equals because there are ways to choose one element from a set of elements.

C_n^{1} = {n! \over 1! \cdot (n - 1)!} = n

When choosing elements from a set of elements, we form combinations of pairs. To build such a pair, we first choose one element, and then the second.

  • The first element can be chosen from elements.

  • After choosing the first element, we have elements left to choose the second element (since we cannot choose the same element again).

Thus, the total number of combinations of pairs of elements that can be chosen from a set of elements is the product of the number of ways to choose the first and second elements: n \cdot (n - 1).

However, each pair is counted twice, as the order of elements in the pair does not matter. For example, and are considered the same pair. To account for this, the total number of combinations should be divided by . Therefore, the value C_n^{2} equals n \cdot (n - 1) / 2.

C_n^{2} = {n! \over 2! \cdot (n - 2)!} = {n \cdot (n - 1) \over 2}

Symmetry rule: C_n^{k} = C_n^{n - k}.

The number of ways to choose elements from is equal to the number of ways to not choose elements from . There are C_n^{n - k} ways to not choose elements from . Therefore C_n^{k} = C_n^{n - k}.

Exercise. Calculate the values of the following binomial coefficients:

1) C_5^{2}

3) C_5^{4}

5) C_8^{1}

2) C_8^{3}

4) C_7^{5}

6) C_8^{5}

Summation formula: C_n^{k} = C_{n-1}^{k-1} + C_{n-1}^{k}.

Proof. Let’s calculate the value of the right-hand side of the equation:

C_{n-1}^{k-1} + C_{n-1}^{k} = {(n - 1)! \over (k - 1)! \cdot (n - k)!} + {(n - 1)! \over k! \cdot (n - k - 1)!} =
{(n - 1)! \cdot k + (n - 1)! \cdot (n - k) \over k! \cdot (n - k)!} = {(n - 1)! \cdot (k + n - k)\over k! \cdot (n - k)!} = {n! \over k! \cdot (n - k)!} = C_n^{k}

Binomial coefficients appear in Newton’s binomial:

(x + y)^n = \sum_{k=0}^n C_n^{k}x^{k}y^{n-k}

Let’s look at examples:

(x + y)^2 = C_2^{0}x^{2}y^{0} + C_2^{1}x^{1}y^{1} + C_2^{2}x^{0}y^{2} = x^2 + 2xy + y^2,
(x + y)^3 = C_3^{0}x^{3}y^{0} + C_3^{1}x^{2}y^{1} + C_3^{2}x^{1}y^{2} + C_3^{3}x^{0}y^{3} = x^3 + 3x^2y + 3xy^2 + y^3

Asymptotic nonations for the Binomial Coefficients

Theorem 1. There exists a relationship between the binomial coefficients:

C_n^0 < C_n^1 < ... < C_n^{\lfloor n/2 \rfloor} \ge C_n^{\lfloor n/2 \rfloor + 1} > ... > C_n^n

Theorem 2. C_{2n}^n < 4^n. Follows from the fact that \sum_{k = 0}^{2n} C_{2n}^k = (1 + 1)^{2n} = 2^{2n} = 4^n

Theorem 3. C_{2n}^n > {4^n \over 2n + 1}. Follows from the fact that \sum_{k = 0}^{2n} C_{2n}^k = 4^n, and the number of coefficients is 2n + 1. Therefore, the largest of the coefficients will be greater than {4^n \over 2n + 1}.

Theorem 4. Stirling formula. n! ≈ \sqrt{2 \pi n}\left({n \over e} \right) ^ n.

A more accurate approximation is:

n! ≈ \sqrt{2 \pi n} \left({n \over e} \right) ^ n \left( 1 + {1 \over 12n} + {1 \over 288n^2} - {139 \over 51849n^3} - {571 \over 2488320n^4} \right)

Theorem 5.

C_{2n}^n ≈ {\sqrt{4 \pi n}\left({2n \over e} \right) ^ {2n} \over \left( \sqrt{2 \pi n}\left({n \over e} \right) ^ n \right) ^2} = {4^n \over \sqrt{\pi n}}

Theorem 6.

C_n^k = {n! \over k!(n - k)!} = { n \cdot (n - 1) \cdot (n - 2) \cdot ... \cdot (n - k + 1) \over 1 \cdot 2 \cdot 3 \cdot ... \cdot k} =
{n! \over k!} \cdot \left( 1 - {1 \over n} \right) \cdot \left( 1 - {2 \over n} \right) \cdot ... \cdot \left( 1 - {k - 1 \over n} \right) =
{n! \over k!} \cdot e ^{ln \left( 1 - {1 \over n} \right) + ln \left( 1 - {2 \over n} \right) + ... + ln \left( 1 - {k - 1 \over n} \right)} \le (use~the~inequality~ln(1 - x) \le -x)
{n! \over k!} \cdot e ^{-{1 \over n} - {2 \over n} - ... - {k - 1 \over n}} = {n! \over k!} \cdot e^{-{k \cdot (k - 1) \over 2n}}

List of problems

38

Comments