Skip to content
Exercise 6.4 · Q3

Q.Show that, nC0+n+1C1+n+2C2+...+n+rCr=n+r+1Cr^nC_0 + {}^{n+1}C_1 + {}^{n+2}C_2 + ... + {}^{n+r}C_r = {}^{n+r+1}C_r (Hint: Write nC0=n+1C0^nC_0 = {}^{n+1}C_0)

CBSENCERTSubjective· 3mImportance★★★★★est
60% · 76/126 Questions
✓ Free question

Prove the identity by mathematical induction on rr, repeatedly applying Pascal's rule mCj+mCj+1=m+1Cj+1^{m}C_{j}+{}^{m}C_{j+1}={}^{m+1}C_{j+1}.

[!FORMULA] Pascal's rule: mCj+mCj+1=m+1Cj+1^{m}C_{j}+{}^{m}C_{j+1}={}^{m+1}C_{j+1}. Also, nC0=n+1C0=1^{n}C_{0}={}^{n+1}C_{0}=1 (the given hint), since every kC0=1^{k}C_0=1.

  1. Statement to prove: S(r): nC0+n+1C1+n+2C2+⋯+n+rCr=n+r+1CrS(r):\ {}^{n}C_{0}+{}^{n+1}C_{1}+{}^{n+2}C_{2}+\cdots+{}^{n+r}C_{r}={}^{n+r+1}C_{r} for every integer r≥0r\ge0.
  2. Base case r=0r=0: LHS =nC0=1={}^{n}C_{0}=1. RHS =n+0+1C0=n+1C0=1={}^{n+0+1}C_{0}={}^{n+1}C_{0}=1. LHS = RHS, so S(0)S(0) holds.
  3. Inductive hypothesis: assume S(k)S(k) holds, i.e. nC0+n+1C1+⋯+n+kCk=n+k+1Ck^{n}C_{0}+{}^{n+1}C_{1}+\cdots+{}^{n+k}C_{k}={}^{n+k+1}C_{k}.
  4. Inductive step: add the next term n+k+1Ck+1^{n+k+1}C_{k+1} to both sides: (nC0+n+1C1+⋯+n+kCk)+n+k+1Ck+1=n+k+1Ck+n+k+1Ck+1\big({}^{n}C_{0}+{}^{n+1}C_{1}+\cdots+{}^{n+k}C_{k}\big)+{}^{n+k+1}C_{k+1} = {}^{n+k+1}C_{k}+{}^{n+k+1}C_{k+1}.
  5. Apply Pascal's rule with m=n+k+1, j=km=n+k+1,\ j=k: n+k+1Ck+n+k+1Ck+1=n+k+2Ck+1^{n+k+1}C_{k}+{}^{n+k+1}C_{k+1}={}^{n+k+2}C_{k+1}.
  6. Note n+k+2=n+(k+1)+1n+k+2 = n+(k+1)+1, so the right side is exactly n+(k+1)+1Ck+1^{n+(k+1)+1}C_{k+1} — the RHS of S(k+1)S(k+1).
  7. Hence the extended sum up to n+k+1Ck+1^{n+k+1}C_{k+1} equals n+(k+1)+1Ck+1^{n+(k+1)+1}C_{k+1}, so S(k+1)S(k+1) holds whenever S(k)S(k) holds.
  8. By the principle of mathematical induction, S(r)S(r) holds for every integer r≥0r\ge0.
  9. Self-check with small numbers: let n=2,r=1n=2,r=1: LHS =2C0+3C1=1+3=4={}^{2}C_0+{}^{3}C_1=1+3=4; RHS =2+1+1C1=4C1=4={}^{2+1+1}C_1={}^{4}C_1=4 ✓.
✓Final answer

The identity nC0+n+1C1+n+2C2+⋯+n+rCr=n+r+1Cr^{n}C_{0}+{}^{n+1}C_{1}+{}^{n+2}C_{2}+\cdots+{}^{n+r}C_{r}={}^{n+r+1}C_{r} is proved true for all integers r≥0r\ge0 by induction.

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.