SOLUTION: Prove by math induction that C(j,j) + C(j+1,j) + C(j+2,j) + ... + C(n+j,j) = C(n+j+1, j+1) for all n >= 1 and arbitrary positive integer j.

Algebra.Com
Question 1183761: Prove by math induction that
C(j,j) + C(j+1,j) + C(j+2,j) + ... + C(n+j,j) = C(n+j+1, j+1)
for all n >= 1 and arbitrary positive integer j.

Answer by math_helper(2461)   (Show Source): You can put this solution on YOUR website!
Prove by math induction that
C(j,j) + C(j+1,j) + C(j+2,j) + ... + C(n+j,j) = C(n+j+1, j+1)
for all n >= 1 and arbitrary positive integer j.
----------------

C(n,j) = n!/((n-j)!j!)
Base case, n=1:
LHS: C(j,j)+C(1+j,j) = 1 + (j+1)!/j! = j+2
RHS: C(1+j+1,j+1) = (j+2)!/(j+1)! = j+2
Base Case holds

Hypothesis: Assume
C(j,j) + C(j+1,j) + C(j+2,j) + ... + C(n+j,j) = C(n+j+1, j+1) (*)
is true for n=k.

Step case: let n=k+1:
...goal is to show LHS = RHS for n=k+1, making use of (*) when possible...
LHS: + ... + + C(k+j+1,j)
where the green terms represent the n=k case and can be replaced (using (*)) by C(k+j+1, j+1):
LHS = C(k+j+1,j+1) + C(k+j+1,j)
= (k+j+1)!/(k!(j+1)!) + (k+j+1)!/((k+1)!j!)
...get this last expression over a common denominator...
= (k+1)(k+j+1)! / ((k+1)!(j+1)!) + (k+j+1)!(j+1) / ((k+1)!(j+1)!)
...factor out (k+j+1)! from numerator...
= (k+j+1)! ((k+1)+(j+1)) / ((k+1)!(j+1)!)
= (k+j+2)! / ((k+1)!(j+1)!) (1)
= C(k+j+2, j+1)
= RHS
This shows (*) holds for n=k+1, and the proof is complete.

-------
Alternate way to show LHS = RHS...

RHS: C((k+1)+j+1, j+1) = (k+j+2)!/((k+1)!(j+1)!) ( = (1) )

RELATED QUESTIONS

J (answered by Alan3354)
J (answered by Alan3354)
The compound inequality 4j + 2 > 6 and j < 3 simplifies to: A. j > 1 or j >... (answered by Fombitz)
p(1+r/n)=J solve for... (answered by Alan3354)
Please help me solve 1. n> (j>p) 2. (j>p)>(n>p) (answered by Edwin McCravy)
Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)
Given (x) = x / 1-x, show that 1/2 [j(x) + j(-x)] =... (answered by ikleyn)
 1. [J v (N & T)] 2.  ~(~T -> S)     /     J i need help solving this proof (answered by guest567)