**Theorem. (Pascal’s Identity) Let n and k be positive integers. Then, **

.

**Proof.**

Let X be an n-set and fix an element x of X, and let Y denote the set . For any k-combination (i.e., a k-subset) A of X, either x is in A or x is not in A. In the first case, if B is the set , then B is a -subset of Y and hence, can be chosen in ways, while in the second case, A is itself a k-subset of Y and hence, can be chosen in ways. The proof is complete by invoking the addition principle.** QED.**

It is also easy to see that Pascal’s identity follows from the binomial theorem. (if we have proved the latter without using the former as ,we did). Pascal’s identity gives rise to the famous Pascal’s triangle, initial portion of which is drawn below. Each entry is obtained from the two entries directly above it as given in Pascal’s identity. This obtains all the binomial coefficients where n runs from 1 to 6 and the horizontal lines correspond to a fixed value of n. Note that Pascal triangle is an infinite triangle, only a finite portion of this triangle (from 1 to 6) is shown in the figure below/attached. A more familiar form of the binomial theorem is as follows:

which is obtained by letting in the binomial theorem. By making the substitution in the above expression, we obtain:

Stated in other words, the above identity tells us that a set of order n has subsets in all. Again, the susbstitution yields

.

Thus, in any set the number of subsets of odd order is the same as the number of subsets of even order.

A large number of identities involving binomial coefficients are actually proved either using a combinatorial identity or a known polynomial expression such as the binomial theorem and manipulating it. For example, to prove that

,

we observe that each summand on the left hand side (ignoring the sign) has the form :

.

Hence, the LHS reduces to the alternating sum

using the binomial theorem. Sim1ilarly, to find , we take the familiar form of the binomial theorem and integrate both sides (as polynomials in x) w.r.t. x from 0 to 1.

More later…

Nalin Pithwa

### Like this:

Like Loading...

*Related*