|This is an AoPSWiki Word of the Week for Nov 1-7|
A combination is a way of choosing objects from a set of where the order in which the objects are chosen is irrelevant. We are generally concerned with finding the number of combinations of size from an original set of size
The common forms of denoting the number of combinations of objects from a set of objects is:
Consider the set of letters A, B, and C. There are different permutations of those letters. Since order doesn't matter with combinations, there is only one combination of those three. In general, since for every permutation of objects from elements , there are more ways to permute them than to choose them. We have , or .
One of the many proofs is by first inserting in to the binomial theorem. Because the combinations are the coefficients of , and a and b cancel out because they are 1, the sum is .
We can prove this by putting the combinations in their algebraic form. . As we can see, . By the commutative property, . Because , by the transitive property, we can conclude that this is true for all non-negative integers n and r where n is greater than or equal to r. Another reason this is true is because that choosing what you don't what is the same as choosing what you do want, because by choosing what you don't want, you imply that you choose the rest. This identity is also the reason why Pascal's Triangle is symmetrical.