PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Pascal's rule (Proof)

The definition of $\binom{n}{k}$ is the number of $k$ -subsets out from an $n$ -set. Using this combinatorial meaning the proof is straightforward.

Let $x$ a distinct element from the $n$ -set. As previously stated, $\binom{n}{k}$ counts the number of subsets with $k$ elements, chosen from the set with $n$ elements. Now, some of these subsets will contain $x$ and some others don't.

The number of $k$ -subsets not containing $x$ is $\binom{n-1}{k}$ , since we need to choose $k$ elements from the $n-1$ elements different from $x$ .

The number of $k$ -subsets containing $x$ is $\binom{n-1}{k-1}$ , because if it is given that $x$ is in the subset, we only need to choose the remaining $k-1$ elements from the $n-1$ elements that are different from $x$ .

Thus$$ \binom{n}{k} = \binom{n-1}{k} + \binom{n-1}{k-1}.$$




"proof of Pascal's rule" is owned by drini. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contain, subsets, proof, number

This is version 2 of proof of Pascal's rule, born on 2005-02-17, modified 2006-07-21.
Object id is 6770, canonical name is ProofOfPascalsRule.
Accessed 2057 times total.

Classification:
AMS MSC05A19 (Combinatorics :: Enumerative combinatorics :: Combinatorial identities)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)