Show that ##^{n+1}C_r=^nC_r+^nC_{r-1}##

  • Thread starter Thread starter RChristenk
  • Start date Start date
  • Tags Tags
    Combinatorics
Click For Summary
SUMMARY

The discussion centers on proving the combinatorial identity ##^{n+1}C_r=^nC_r+^nC_{r-1}##, where ##^nC_r## represents combinations of n items taken r at a time. Participants clarify the formulas for combinations using factorial notation, emphasizing the equivalence of the two sides of the equation through algebraic manipulation. Key insights include the use of factorials to simplify the expressions and the importance of notation in LaTeX for clarity. The consensus is that the identity holds true, and the confusion arises from misinterpretation of the notation.

PREREQUISITES
  • Understanding of combinatorial mathematics and binomial coefficients
  • Familiarity with factorial notation and its application in combinations
  • Basic knowledge of LaTeX for mathematical typesetting
  • Ability to manipulate algebraic expressions involving combinations
NEXT STEPS
  • Study the properties of binomial coefficients and their applications in combinatorial proofs
  • Learn advanced LaTeX techniques for formatting mathematical expressions
  • Explore the concept of Pascal's Triangle and its relation to binomial coefficients
  • Investigate combinatorial identities and their proofs in greater depth
USEFUL FOR

Mathematicians, students studying combinatorics, educators teaching binomial theory, and anyone interested in mathematical proofs and notation clarity.

RChristenk
Messages
73
Reaction score
9
Homework Statement
Show that ##^{n+1}C_r=^nC_r+^nC_{r-1}##
Relevant Equations
Basic combination theory
##^nC_r=\dfrac{n(n-1)(n-2)...(n-r+2)(n-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

##^nC_{r-1}=\dfrac{n(n-1)(n-2)...(n-r+2)}{1\cdot2\cdot3...\cdot(r-1)}##

##^nC_r+^nC_{r-1}=\dfrac{[n(n-1)(n-2)...(n-r+2)](n-r+1+r)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}=\dfrac{(n+1)(n)(n-1)...(n-r+2)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

But ##^{n+1}C_r=\dfrac{(n+1)(n)(n-1)...(n-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

So where did I go wrong? Thanks.
 
Physics news on Phys.org
RChristenk said:
Homework Statement: Show that ##^{n+1}C_r=^nC_r+^nC_{r-1}##
Relevant Equations: Basic combination theory

##^nC_r=\dfrac{n(n-1)(n-2)...(n-r+2)(n-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

##^nC_{r-1}=\dfrac{n(n-1)(n-2)...(n-r+2)}{1\cdot2\cdot3...\cdot(r-1)}##

##^nC_r+^nC_{r-1}=\dfrac{[n(n-1)(n-2)...(n-r+2)](n-r+1+r)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}=\dfrac{(n+1)(n)(n-1)...(n-r+2)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

But ##^{n+1}C_r=\dfrac{(n+1)(n)(n-1)...(n-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##

So where did I go wrong? Thanks.
In your formula of
##^nC_r=\dfrac{n(n-1)(n-2)...(n-r+2)(n-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##
replacing n to n+1, we get
##^{(n+1)}C_r=\dfrac{(n+1)n(n-1)(n-2)...(n+1-r+2)(n+1-r+1)}{1\cdot2\cdot3...\cdot(r-1)\cdot r}##
, which is different from your last line. Which is correct ?
 
It is probably clearer to use factorial notation, noting that n - (r - 1) = n - r + 1 = n + 1 - r: <br /> \frac{n!}{(n-r)!r!} + \frac{n!}{(n-(r-1))!(r-1)!} =\frac{(n+1 - r)n! + r n!}{(n+1-r)!r!}
 
Beat me to it! Twice ! darn phone, darn ##\LaTeX## curly brackets :wink:

Comment on the notation: it's a lot easier when you write ## ^nC_r={n \choose r}={n!\over (n-r)! r!} ## : $$
\begin{align*}
{n+1 \choose r} &={(n+1!)\over (n+1-r)!\; r!}\\ \ \\ &= {n+1\over n+1-r}{n\choose r} \\ \ \\&={n\choose r} + {r\over n+1-r}{n\choose r}\\ \ \\&={n\choose r} + {r\over n-(r-1)}{n\choose r}\\ \ \\&={n\choose r} +{n\choose r-1}\end{align*}\\ \ \\ $$


Old dutch expression: too late, like mustard when the meal is already over :frown:

##\ ##
 
RChristenk said:
Homework Statement: Show that ##^{n+1}C_r=^nC_r+^nC_{r-1}##
We choose r elements from n+1 elements.
Say an element we look is not chosen, we choose r elements from the rest n elements.
Say an element we look is chosen, we choose r-1 elements from the rest n elements.
 
It's simpler to start with the right hand side:
$$\binom n r +\binom n {r-1} = \frac{n!}{(n-r)!r! }+ \frac{n!}{(n-r+1)!(r-1)!}$$$$=\frac{n!(n-r+1) +n!r}{(n-r+1)!r!}$$$$= \frac{(n+1)!}{(n+1-r)!r!} = \binom{n+1}r$$
 
BvU said:
Beat me to it! Twice ! darn phone, darn ##\LaTeX## curly brackets :wink:
You must have the patience of a god to type ##LATEX## on the phone.
 
Mere mortal :smile: -- after ' some frustration' had to retreat to the desktop in my study...
 
docnet said:
You must have the patience of a god to type ##LATEX## on the phone.
I'm doing all my posts on the phone this week.
 
  • #10
PeroK said:
I'm doing all my posts on the phone this week.
BvU said:
Mere mortal :smile: -- after ' some frustration' had to retreat to the desktop in my study...
Now I'm wondering what you all do for day work 🤔
 
  • #11
Speaking of ##\LaTeX## …

RChristenk said:
##^{n+1}C_r=^nC_r+^nC_{r-1}##

##^nC_r+^nC_{r-1}##
This looks quite miserable. You see, ##\LaTeX## interprets ^{} as belonging to whatever came before. Rater than ##= {}^nC_r## it has interpreted it as ##=^n## and then ##C_r##, etc.

There are packages that more or less solve this, but those generally won’t be available here. The closest you will get is something like {}^nC_r, which is what was used above. You can also opt for the alternative notation {n \choose r} ##{n \choose r}##.

PeroK said:
I'm doing all my posts on the phone this week.
I would say I do about 80% of my posts on mobile. Including some pretty heavy on ##\LaTeX## …
 
  • Like
  • Informative
Likes MatinSAR and docnet
  • #12
Orodruin said:
Speaking of ##\LaTeX## …


This looks quite miserable. You see, ##\LaTeX## interprets ^{} as belonging to whatever came before. Rater than ##= {}^nC_r## it has interpreted it as ##=^n## and then ##C_r##, etc.

There are packages that more or less solve this, but those generally won’t be available here. The closest you will get is something like {}^nC_r, which is what was used above. You can also opt for the alternative notation {n \choose r} ##{n \choose r}##.


I would say I do about 80% of my posts on mobile. Including some pretty heavy on ##\LaTeX## …
Good point! I didn't notice that before. So why not just put the ##^n## on the right like ##C^n_r##?
 
  • #13
docnet said:
Good point! I didn't notice that before. So why not just put the ##^n## on the right like ##C^n_r##?
That is an alternative notation, but presumably not the one used by OP’s course material.
 
  • #14
Orodruin said:
This looks quite miserable. You see, ##\LaTeX## interprets ^{} as belonging to whatever came before. Rater than ##= {}^nC_r## it has interpreted it as ##=^n## and then ##C_r##, etc.
You can also use the construct "{}^{a+b}_{\phantom{1}-\theta}X_{\pm}^{r+1}" to get fairly well-aligned prescripts: ##{}^{a+b}_{\phantom{1}-\theta}X_{\pm}^{r+1}##.
 
  • Like
Likes MatinSAR and docnet
  • #15
renormalize said:
You can also use the construct "{}^{a+b}_{\phantom{1}-\theta}X_{\pm}^{r+1}" to get fairly well-aligned prescripts: ##{}^{a+b}_{\phantom{1}-\theta}X_{\pm}^{r+1}##.
Sure, but that is not necessary in this case. \phantom also comes with its own limitations. Particularly when the characters you want to align have different widths, such as ##{}^{a+i}_{\phantom{a}-m}C##, which looks absolutely horrible.
 
  • Like
Likes MatinSAR and docnet

Similar threads

Replies
13
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
8
Views
2K