# Proof by induction

## Homework Statement

$$\sum_{i=1}^{n} (i \prod_{j=1}^{i}_{j}) = \prod_{i=1}^{n+1}_{i} - 1$$

## The Attempt at a Solution

First show the base case. That easys just shows it holds for n=1. Not sure where to go from there? What term do I add to both sides? Not really sure what the i means in front of the $$\prod$$ on the left side

Homework Helper
Assume it holds for some k. Now try to evaluate for k + 1 and use the fact that it holds for k.

Assume it holds for some k. Now try to evaluate for k + 1 and use the fact that it holds for k.

Yes. This requires that I need to add some term to both sides. Not really sure what term I need to use to construct the induction for k+1

Homework Helper
You have and equality which you wish to show holds for k + 1. Evaluate the left side for k + 1 first - try to express this as a sum of two terms one of which equals the sum for k (which you assumed holds).

You have and equality which you wish to show holds for k + 1. Evaluate the left side for k + 1 first - try to express this as a sum of two terms one of which equals the sum for k (which you assumed holds).

Can you give an example?

Homework Helper
OK, here's how you should start:

$$\sum_{i=1}^{k+1} (i \prod_{j=1}^{i}_{j}) = \sum_{i=1}^{k} (i \prod_{j=1}^{i}_{j}) + (k+1) \prod_{j=1}^{k+1}_{j}$$

Ok so first I replaced all the sum stuff with the right hand side to make it easier to read. By substituting the right side of left side of the initial equality with the right side. That should work fine right?

The I have:

$$\prod_{j=1}^{k+1}_{j} - 1 = \prod_{j=1}^{k+1}_{j} - 1 + (k+1) \prod_{j=1}^{k+1}_{j}$$

But it doesn't seem right..

Homework Helper
Why wouldn't it seem right? You only need to factor out $$\prod_{j=1}^{k+1}_{j}$$.

$$\prod_{j=1}^{k+1}_{j} - 1 = \prod_{j=1}^{k+1}_{j} - 1 + (k+1) \prod_{j=1}^{k+1}_{j}$$

Ok so I also cancel out the -1 on both sides, then I factor out
$$\prod_{j=1}^{k+1}_{j}$$ and I get

$$\prod_{j=1}^{k+1}_{j} = 1 +(k+1)(\prod_{j=1}^{k+1}_{j})$$

then cancel out the prod_{j=1}^{k+1}_{j} ?

$$1 = 1 + (k+1)$$

$$k=-1$$

What now?

$$\sum_{i=1}^{k+1} (i \prod_{j=1}^{i}_{j}) = \sum_{i=1}^{k} (i \prod_{j=1}^{i}_{j}) + (k+1) \prod_{j=1}^{k+1}_{j} = \prod_{j=1}^{k+1}_{j} - 1 + (k+1) \prod_{j=1}^{k+1}_{j}$$
You are not canceling out different sides of the equation, you're only evaluating an equality - now factor out $$\prod_{j=1}^{k+1}_{j}$$.