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] ${n\choose r}$ is an integer (Theorem)
Theorem 1   For $n\ge r \ge 0$ , the binomial coefficient $$ {n \choose r} $$ is an integer.
Proof. The proof is by induction on $n$ . For $n=0$ , the claim is clear. Thus, suppose the claim holds for $n\ge 1$ . For $r=1,\ldots, n$ , Pascal's rule gives $$ {n +1 \choose r} = {n\choose r} + {n\choose r-1}. $$ That is, ${n +1 \choose 1}, \ldots, {n+1 \choose n}$ are integers. Since $$ {n +1\choose 0} = 1, \quad {n +1\choose n+1} = 1 $$ the proof is complete. $ \qedsymbol$




Anyone with an account can edit this entry. Please help improve it!

"${n\choose r}$ is an integer" is owned by matte.
(view preamble | get metadata)

View style:


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

Cross-references: complete, Pascal's rule, clear, induction, proof, integer, binomial coefficient
There is 1 reference to this entry.

This is version 3 of ${n\choose r}$ is an integer, born on 2005-02-14, modified 2005-02-14.
Object id is 6744, canonical name is NchooseRIsAnInteger.
Accessed 6073 times total.

Classification:
AMS MSC05A10 (Combinatorics :: Enumerative combinatorics :: Factorials, binomial coefficients, combinatorial functions)
 11B65 (Number theory :: Sequences and sets :: Binomial coefficients; factorials; $q$-identities)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
better proof n choose r (combinations) by polarbear on 2009-07-22 04:23:31
See here for a better proof, I don't like induction proofs in general
http://answers.yahoo.com/question/index?qid=20090721204009AA01cNo&r=w#TMF_WmTtUzXSve1xiTd0yTbppPVBtGYQF_aEEkCkr2tF6_vcSmeQ
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)