What's wrong with the following proof? (Strong induction)

**Statement: **For any integer

**Proof**

**Base Case:** For

**Induction hypothesis: **Assume that for some for all

**Induction step: **Consider . Note that

Using product rule,

By induction hypothesis, and . Therefore, . So the result holds by induction

I know this statement is obviously false, but I can't seem to find anything wrong with the proof that is provided.

I looked through my notes and it looks like every step of the induction process is followed correctly.

Can someone please help me figure out which part is wrong? or give me a hint?

Re: What's wrong with the following proof? (Strong induction)

Re: What's wrong with the following proof? (Strong induction)

Upon reflection, my post above is too curt.

When you show that $(x^0)' = 0$ you have proved that

$the\ set\ J\ such\ that\ i \in J \implies i \in \mathbb Z\ and\ i \ge 0\ and\ (x^i)' = 0\ is\ not\ empty.$

Thus I dislike the traditional phraseology "$Assume\ for\ some\ integer\ k \ge 0\ that\ (x^k)' = 0."$

You have proved that J contains at least one such integer. So I prefer to say, "Let k be any member of J." But you have not proved that 1 is in set J, and so (x^{1})' = 0 is not permissible (as well as being false).

Re: What's wrong with the following proof? (Strong induction)

Hi,

I hope this helps. Whenever doing a "strong" inductive proof, it's probably a bad idea to use n+1 as m as in the following:

http://i62.tinypic.com/5x5w29.png

Re: What's wrong with the following proof? (Strong induction)

Hint: what happens for k = 1?

A variation of this proof is used to prove that all horses are the same color. Basically, you are using the wrong base case.

Re: What's wrong with the following proof? (Strong induction)

Quote:

Originally Posted by

**nubshat** **Statement: **For any integer

**Proof** **Base Case:** For

**Induction hypothesis: **Assume that for some

for all

**Induction step: **Consider

. Note that

Using product rule,

By induction hypothesis,

and

.

This step does not work for k= 0 because you are using " before you have proved it.

Quote:

Therefore,

. So the result holds by induction

I know this statement is obviously false, but I can't seem to find anything wrong with the proof that is provided.

I looked through my notes and it looks like every step of the induction process is followed correctly.

Can someone please help me figure out which part is wrong? or give me a hint?